frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Prominent Haskell defector pilloried by anti-AI purists

https://www.theregister.com/devops/2026/07/15/prominent-haskell-defector-pilloried-by-anti-ai-purists/5272124
2•galaxyLogic•1h ago

Comments

davydm•39m ago
honestly makes me want to learn haskell and find a company that focuses on it.

I'm so tired (so incredibly tired) of all the ai slop I've seen, just in my company, and the ai-bros frothing at the mouth about the next terminal to run their agents and how it's making them "so much faster"; even a comment yesterday (with supporting sentiment) that having to do something without ai was tediously slow. The problem is that the _generation_ part is fast. So people only remember that. They don't remember the time taken to craft a good prompt that gets to a reasonable output. They don't remember the time wasted in PR over swathes of comments. They don't remember the days I spent having to unfuck the project from aigen code that literally broke checkout. They got their little dopamine hit, and moved on.

I use ai - claude, to be specific - as an "interactive stack-overflow", to ask questions about the code, and to help me learn how to be better. I still firmly believe that the biggest problem with ai-gen adoption is that the people who think they're getting the most out of it are the same people who don't understand what it output, so are unable to push back when it does something stupid.

I have to push back _regularly_. Like at least 30-50% of the time.

The tools are only useful (imo) when an expert can verify the results - even in cases where I wasn't sure of the actual workings of the code (eg getting Claude to use the typescript ast to do clever linting or type-file generation), I can verify via tests - the box can remain black if I can verify the output. The average vibe-coder verifies nothing directly - it launches, so it's good, right? Oh, how did our checkout screen end up infinitely putting-and-polling at two endpoints? No problem - give it to a real engineer to solve it.

I'm with Linus on this - ai is a _tool_. And much like how we wouldn't allow shit code from any other tool (ide, compiler, linter, whatever) to sift into prod, we should be on top of what we're using this tool for - not putting the onus on someone else to clean up the garbage. AI codegen is most dangerous in the hands of people who have no idea what it's doing - they're firmly stuck in the initial Dunning-Krueger peak, unaware of just what a mess they've made.

Not to mention duplication - literally just had to ask someone to refactor so that we're not sending two components which are 90% the same to the client, but rather pulling out the 90% core into a mixin. Code is so over-commented, it simply _has_ to be ai-gen. But I also can't call it out, because now it's dev egos in the mix too.

The one golden hope I'm leaning on is that eventually everything will implode, people will see the light, and go back to using a tool as a tool, instead of just trusting the bag of words to do it right. In particular, I've learned that ai is to be incorporated in some ingestion pipeline where the final result has financial implications. That's going to be hilarious when it makes a proper goof.

kreyenborgi•8m ago
> one of its most prominent users

Was this written by AI?

Writing GPU shaders in plain Rust [video]

https://www.youtube.com/watch?v=MK_dHFsBQsc
1•ibobev•2m ago•0 comments

Computing Camera Rays

https://momentsingraphics.de/CameraRays.html
1•ibobev•2m ago•0 comments

New AMD Radeon Developer Tool Suite update brings shader source code

https://gpuopen.com/learn/radeon-developer-tool-suite-shader-source-code/
1•ibobev•2m ago•0 comments

The early Research Unix exec(2) argv size limit

https://utcc.utoronto.ca/~cks/space/blog/unix/EarlyUnixExecArgvSizeLimit
2•ingve•4m ago•0 comments

AI Reviewing AI

https://twitter.com/GergelyOrosz/status/2077479764604883339
2•TheAnkurTyagi•7m ago•0 comments

Show HN: KindScan – product safety checker for your whole family

https://kindscan.com/
1•trulayer•10m ago•0 comments

Building a Financial Exchange from first principles

https://harshiyer.in/blog/farzi-exchange
2•proximuz•11m ago•0 comments

Browser Fingerprint Test–20 Signals your Browser Reveals Each Website You Visit

https://mysysinfo.com
1•hackstar•12m ago•0 comments

Republic of letters (2024) a first social network?

https://bigthink.com/strange-maps/republic-of-letters/
1•czw2•18m ago•1 comments

The Refusal Residue: When Probes Catch Alignment Faking and When They Don't

https://arxiv.org/abs/2607.13346
1•sbulaev•21m ago•0 comments

Ask HN: Has anyone used Online casino?

https://geekyants.com/case-studies/secure-casino-web-platform-kyc-payments-geo-compliance
2•aneesharasannan•21m ago•0 comments

Show HN: I made ts-node alternative, ttsc/ttsx, a TypeScript-go toolchain

https://github.com/samchon/ttsc
2•autobe•22m ago•0 comments

Can we trust open weight models?

https://twitter.com/insiderphd/status/2077037121869664410
1•mef•22m ago•1 comments

GPT-Red: an LLM super-hacker OpenAI built to make its models safer

https://www.technologyreview.com/2026/07/15/1140514/meet-gpt-red-an-llm-super-hacker-openai-built...
1•joozio•27m ago•0 comments

A bunch of stuff I used to not know about K&R C

https://sebsite.pw/w/20260712-kandr.html
2•birdculture•27m ago•0 comments

The Looting of Science Fiction

https://aeon.co/essays/silicon-valley-has-a-science-fiction-problem
3•gajju3588•28m ago•0 comments

Uber moves to acquire Delivery Hero for €12.5B

https://www.reuters.com/business/finance/uber-nears-125bn-deal-acquire-delivery-hero-ft-reports-2...
1•ProjectBarks•29m ago•0 comments

Is There a Reliable Way to Generate Figma Designs from Code?

https://geekyants.com/blog/how-we-built-the-missing-bridge-from-code-to-figma
2•varda_62892•33m ago•0 comments

Building This Blog: Jekyll on GitHub Pages from Zero to 130 Posts

https://mcgarrah.org/setting-up-jekyll-blog-github-pages/
1•ankitg12•36m ago•0 comments

What is the real point of Codex Micro? [video]

https://www.youtube.com/watch?v=m8uUUUsMD3Y
1•hsuduebc2•46m ago•1 comments

Notes on Structured Programming [pdf]

https://www.cs.utexas.edu/~EWD/ewd02xx/EWD249.PDF
2•andsoitis•52m ago•0 comments

20-20-20 Rule: Are These Numbers Justified?

https://pubmed.ncbi.nlm.nih.gov/36473088/
1•ankitg12•55m ago•0 comments

From Microservice to Subprocess

https://kerkour.com/from-microservice-to-subprocess
1•enz•59m ago•0 comments

Notes on structured concurrency, or: Go statement considered harmful

https://vorpus.org/blog/notes-on-structured-concurrency-or-go-statement-considered-harmful/
4•Redoubts•1h ago•0 comments

What Psychology Says About HITL

https://aviatrix.ai/
2•karthik-a2z•1h ago•0 comments

Linus Torvalds tells AI haters to fork off

https://www.theregister.com/ai-and-ml/2026/07/15/linus-torvalds-tells-ai-haters-to-fork-off/5271894
8•galaxyLogic•1h ago•2 comments

Are U.S. Consumers Ready to Use Pay-by-Bank at the Point of Sale?

https://www.kansascityfed.org/research/payments-system-research-briefings/are-us-consumers-ready-...
1•toomuchtodo•1h ago•0 comments

Prominent Haskell defector pilloried by anti-AI purists

https://www.theregister.com/devops/2026/07/15/prominent-haskell-defector-pilloried-by-anti-ai-pur...
2•galaxyLogic•1h ago•2 comments

Celebrity influencers paid up to £1M to advertise deodorant on Instagram

https://www.bbc.co.uk/news/articles/cvgegqrp656o
2•mmarian•1h ago•1 comments

Vercel Native Awesome List

https://github.com/henryoman/awesome-vercel-native
1•henryoman•1h ago•0 comments