HackEurope 2026: A short rant on AI and hackathons(duti.dev)

48 points by mindracer 2 months ago | 39 comments

Notepad Tab(notepadtab.com)

167 points by gamekingro 2 years ago | 122 comments

Removed all counters, replies, following/ers, timestamps, from textlog(textlog.cc)

62 points by stagas 2 months ago | 28 comments

Wayland set the Linux Desktop back by 10 years?(omar.yt)

245 points by omarroth 7 months ago | 263 comments

Bend – A language that blocks AI mistakes via proof, on CPU and GPU(bend-lang.com)

564 points by nicolas-siplis 1 month ago | 287 comments

Landing page for Bend, a fast programming language with Python-like syntax, CUDA parallelism, and Lean-style proofs to verify AI-written code.

Attention people who think UB is fine(blog.habets.se)

11 points by signa11 1 day ago | 9 comments

Blog post demonstrating with GCC and Clang assembly output that undefined behavior in C/C++ can cause unexpected effects like falling through into unrelated functions.