frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Interop 2025: A Year of Convergence

https://webkit.org/blog/17808/interop-2025-review/
1•ksec•8m ago•0 comments

JobArena – Human Intuition vs. Artificial Intelligence

https://www.jobarena.ai/
1•84634E1A607A•12m ago•0 comments

Concept Artists Say Generative AI References Only Make Their Jobs Harder

https://thisweekinvideogames.com/feature/concept-artists-in-games-say-generative-ai-references-on...
1•KittenInABox•16m ago•0 comments

Show HN: PaySentry – Open-source control plane for AI agent payments

https://github.com/mkmkkkkk/paysentry
1•mkyang•18m ago•0 comments

Show HN: Moli P2P – An ephemeral, serverless image gallery (Rust and WebRTC)

https://moli-green.is/
1•ShinyaKoyano•27m ago•0 comments

The Crumbling Workflow Moat: Aggregation Theory's Final Chapter

https://twitter.com/nicbstme/status/2019149771706102022
1•SubiculumCode•32m ago•0 comments

Pax Historia – User and AI powered gaming platform

https://www.ycombinator.com/launches/PMu-pax-historia-user-ai-powered-gaming-platform
2•Osiris30•33m ago•0 comments

Show HN: I built a RAG engine to search Singaporean laws

https://github.com/adityaprasad-sudo/Explore-Singapore
1•ambitious_potat•38m ago•0 comments

Scams, Fraud, and Fake Apps: How to Protect Your Money in a Mobile-First Economy

https://blog.afrowallet.co/en_GB/tiers-app/scams-fraud-and-fake-apps-in-africa
1•jonatask•38m ago•0 comments

Porting Doom to My WebAssembly VM

https://irreducible.io/blog/porting-doom-to-wasm/
1•irreducible•39m ago•0 comments

Cognitive Style and Visual Attention in Multimodal Museum Exhibitions

https://www.mdpi.com/2075-5309/15/16/2968
1•rbanffy•41m ago•0 comments

Full-Blown Cross-Assembler in a Bash Script

https://hackaday.com/2026/02/06/full-blown-cross-assembler-in-a-bash-script/
1•grajmanu•46m ago•0 comments

Logic Puzzles: Why the Liar Is the Helpful One

https://blog.szczepan.org/blog/knights-and-knaves/
1•wasabi991011•57m ago•0 comments

Optical Combs Help Radio Telescopes Work Together

https://hackaday.com/2026/02/03/optical-combs-help-radio-telescopes-work-together/
2•toomuchtodo•1h ago•1 comments

Show HN: Myanon – fast, deterministic MySQL dump anonymizer

https://github.com/ppomes/myanon
1•pierrepomes•1h ago•0 comments

The Tao of Programming

http://www.canonical.org/~kragen/tao-of-programming.html
2•alexjplant•1h ago•0 comments

Forcing Rust: How Big Tech Lobbied the Government into a Language Mandate

https://medium.com/@ognian.milanov/forcing-rust-how-big-tech-lobbied-the-government-into-a-langua...
3•akagusu•1h ago•0 comments

PanelBench: We evaluated Cursor's Visual Editor on 89 test cases. 43 fail

https://www.tryinspector.com/blog/code-first-design-tools
2•quentinrl•1h ago•2 comments

Can You Draw Every Flag in PowerPoint? (Part 2) [video]

https://www.youtube.com/watch?v=BztF7MODsKI
1•fgclue•1h ago•0 comments

Show HN: MCP-baepsae – MCP server for iOS Simulator automation

https://github.com/oozoofrog/mcp-baepsae
1•oozoofrog•1h ago•0 comments

Make Trust Irrelevant: A Gamer's Take on Agentic AI Safety

https://github.com/Deso-PK/make-trust-irrelevant
7•DesoPK•1h ago•4 comments

Show HN: Sem – Semantic diffs and patches for Git

https://ataraxy-labs.github.io/sem/
1•rs545837•1h ago•1 comments

Hello world does not compile

https://github.com/anthropics/claudes-c-compiler/issues/1
35•mfiguiere•1h ago•20 comments

Show HN: ZigZag – A Bubble Tea-Inspired TUI Framework for Zig

https://github.com/meszmate/zigzag
3•meszmate•1h ago•0 comments

Metaphor+Metonymy: "To love that well which thou must leave ere long"(Sonnet73)

https://www.huckgutman.com/blog-1/shakespeare-sonnet-73
1•gsf_emergency_6•1h ago•0 comments

Show HN: Django N+1 Queries Checker

https://github.com/richardhapb/django-check
1•richardhapb•1h ago•1 comments

Emacs-tramp-RPC: High-performance TRAMP back end using JSON-RPC instead of shell

https://github.com/ArthurHeymans/emacs-tramp-rpc
1•todsacerdoti•1h ago•0 comments

Protocol Validation with Affine MPST in Rust

https://hibanaworks.dev
1•o8vm•2h ago•1 comments

Female Asian Elephant Calf Born at the Smithsonian National Zoo

https://www.si.edu/newsdesk/releases/female-asian-elephant-calf-born-smithsonians-national-zoo-an...
5•gmays•2h ago•1 comments

Show HN: Zest – A hands-on simulator for Staff+ system design scenarios

https://staff-engineering-simulator-880284904082.us-west1.run.app/
1•chanip0114•2h ago•1 comments
Open in hackernews

E.W.Dijkstra Archive

https://www.cs.utexas.edu/~EWD/welcome.html
143•surprisetalk•1mo ago

Comments

coderatlarge•1mo ago
what a charming time it was when that generation discovered a bunch of stuff that now undergirds daily life:

“ Dijkstra always believed it a scientist’s duty to maintain a lively correspondence with his scientific colleagues. To a greater extent than most of us, he put that conviction into practice. For over four decades, he mailed copies of his consecutively numbered technical notes, trip reports, insightful observations, and pungent commentaries, known collectively as “EWDs”, to several dozen recipients in academia and industry. Thanks to the ubiquity of the photocopier and the wide interest in Dijkstra’s writings, the informal circulation of many of the EWDs eventually reached into the thousands. “

random sample of a trip note in which he is in ited to consult on a project that he thinks ought to be killed:

https://www.cs.utexas.edu/~EWD/ewd06xx/EWD601.PDF

fghiop•1mo ago
> ... cannot be expected from the average programmer

Ha! He had to deal with the political B.S. of well-spoken self-important people who spend excessively long and write excessively long code/proofs getting accolades over those that just get things done in the best way! I feel for him!

throwaway0xTA•1mo ago
Digistra’s writing, trip report to Munich, a mechanical repair where a three-fold deduction takes place between 26-27 Nov. 1976.

The prose strikes one in the vein of a 20th century existential writer.

kensai•1mo ago
Nonetheless, Prof. Baurer was not a loser. According to some sources he contributed to the invention of the notion of "stack" and "software engineering" among other things.

https://en.wikipedia.org/wiki/Friedrich_L._Bauer

usr1106•1mo ago
Good read. Completely off topic: He traveled by sleeper train and mentioned that he slept reasonably well and very well on the return trip. In the beginning of my career I made nearly the opposite trip to Brussels by sleeper to a completely useless lobbying/networking event with little tangible content. Often sleep in sleepers is not very good. But on the return trip I only wake up when the train had already stopped at my destination and had to get off very hastily. Not only CS was more fun without AI slop, but traveling, too ;)
throwaway0xTA•1mo ago
In this thesis, we restrict ourselves to a tape reader (150 characters per second) and a tape punch (25 characters per second).

Dijkstra’s I/O apparatus corresponds to communication mechanisms for tape reading.

jonjacky•1mo ago
Many of these EWD notes are hand written with a lot of mathematical notation, and no corrections. For example:

https://www.cs.utexas.edu/~EWD/ewd10xx/EWD1063.PDF

I am reminded of Salieri's reaction to Mozart's manuscripts in the movie Amadeus.

KPGv2•1mo ago
> and no corrections

There of course could have been 100 corrections. He just threw those papers out and started again. Which is what we old timers did when we wrote things that we wanted to look nice. I did this with every math assignment at uni: do the work, get it right, then hand-copy a legible version to hand in.

jonjacky•1mo ago
Oh sure, he might have made several, or many, drafts on scratch paper. But even then it is impressive. Many of these are around 12 pages of hand written text and math in ink with no corrections -- he famously used a Mont Blanc fountain pen. How many people could do that at all, even if they were copying from a rough draft? And there are so many -- more than 1300 EwDs!
KPGv2•1mo ago
Well he only needs to write one mistake-free page at a time. On page two, a mistake, you just stat page two over again.

But your point about doing 1300 of these is well-taken.

(For what it's worth, this would be easier with a fountain pen because a big selling point of them is they fly over the paper so easily compared to a ballpoint pen. I switched to a fountain pen, and I had to un-learn how hard to grip the pen and press on the page.)

Not to undersell things, but doing this for hundreds of pages is what everyone did before 1868, when the typewriter was invented. I think perhaps it's less about the physical act of doing it and more about the mental act of deciding to do it over and over again.

Ologn•1mo ago
Dijkstra's notions about provable functions are probably more important during these times where LLMs are churning out hallucinated code.
rramadass•1mo ago
Do you mean something specific or his general approach to program correctness i.e. guarded commands, weakest precondition calculus etc. ?
commandersaki•1mo ago
My favourite is EWD1303: https://www.cs.tufts.edu/comp/150FP/archive/edsger-dijkstra/...

It is Dijkstra's recounting of Operating System design with the notion of the first concurrent computer and interrupt.

anonzzzies•1mo ago
I met the man a few times (friend of my father) and I was programming when already when I did: both my father and him always told me to not just write code, but proofs first. I am rather happy for him he is not alive with this LLM stuff. He would've considered it the worst thing ever.