antti Profile Banner
Antti Holvikari Profile
Antti Holvikari

@antti

Followers
325
Following
2K
Media
53
Statuses
3K

PureScript & Nix

Helsinki, Finland
Joined January 2007
Don't wanna be here? Send us removal request.
@antti
Antti Holvikari
4 days
RT @christophcsmith: Hardest part of SWE is when you get genuinely stuck for a while and rewrite your code a bunch of times, and then have….
0
3
0
@antti
Antti Holvikari
28 days
RT @rockthejvm: A reminder that AI is not a higher abstraction, and plain English is not a programming language.
0
9
0
@antti
Antti Holvikari
2 months
The thing that bothers me about modern software development is that you can't apply expertise. Deliberate practice doesn't work because we rely on frameworks and tools rather than thinking.
0
0
0
@antti
Antti Holvikari
2 months
RT @onehappyfellow: I'm not a fan of the C programming language but I give credit where credits due:. The "tends towards" operator --> is a….
0
103
0
@antti
Antti Holvikari
2 months
Yes, and your body can be used as the only weight.
@awesomekling
Andreas Kling
2 months
If you're not regularly training with weights, your life will 100% improve once you start.
0
0
0
@antti
Antti Holvikari
2 months
RT @Hasen_Judi: Programming is a weird thing that doesn't really align with how most human brains work. If you understand the fundamentals….
0
54
0
@antti
Antti Holvikari
2 months
Lisp having linked list as its only data structure might seem too limiting, to the point of being useless. But in fact it's just the AST to build your own data structures!.
0
0
0
@antti
Antti Holvikari
2 months
If you use AI for coding you are missing the essence of programming: thinking. Thinking hard on the problem and finding the most precise solution. Abstract first, then specialize - not the other way around.
0
0
0
@antti
Antti Holvikari
2 months
Why do I like PureScript so much?. I guess I like small things. That's why I'm also drawn to scheme. Also, why I now work on a PureScript to scheme compiler.
0
0
1
@antti
Antti Holvikari
2 months
Tweet media one
0
150
0
@antti
Antti Holvikari
2 months
This is why I don't use LLMs for coding.
@itsalexvacca
Alex Vacca
2 months
Here's the terrifying part: When researchers forced ChatGPT users to write without AI, they performed worse than people who never used AI at all. It's not just dependency. It's cognitive atrophy. Like a muscle that's forgotten how to work.
0
0
0
@antti
Antti Holvikari
3 months
RT @burkov: Apple did more for AI than anyone else: they proved through peer-reviewed publications that LLMs are just neural networks and,….
0
875
0
@antti
Antti Holvikari
3 months
RT @JohnDCook: A blockchain is a data structure. When I hear about "the blockchain community" I think about, say, the linked list communit….
0
16
0
@antti
Antti Holvikari
3 months
RT @Hasen_Judi: Hustler types really love the idea of you doing something without having to be good at it. I really hate it.
0
3
0
@antti
Antti Holvikari
5 months
RT @racketlang: Rhombus is ready for early adopters. Learn more and get it now at
Tweet media one
0
26
0
@antti
Antti Holvikari
6 months
FP is really only about composition. Composition is what makes good abstraction. From this perspective we can apply functional design in non-functional languages: even if the implementation uses mutation internally it can still provide a compositional API for the user.
0
0
0
@antti
Antti Holvikari
8 months
RT @usgraphics: Not a fan of "building in public" culture. You end up creating an average of all loud opinions, burn yourself to mediocrity….
0
25
0
@antti
Antti Holvikari
8 months
RT @stylewarning: the problem with harping on "complexity" is that very few people in the biz can actually articulate a definition that isn….
0
11
0
@antti
Antti Holvikari
11 months
RT @tnm: So the hard drive would spin around like a record player, and it was so slow you couldn’t really do joins. Oh and a record player….
0
1
0
@antti
Antti Holvikari
11 months
I've been using NixOS on my home laptop for two years now. It has never failed on me. It is simply amazing. #nixos.
0
0
0