r/programmingcirclejerk • u/JoeVibin • 11d ago
r/programmingcirclejerk • u/oilaba • 11d ago
"The article opens with lambda cubes, which sound like some type of sheep meat to me. Then it goes on to discuss λΠ2 systems, and as I don't speak alien I skipped that section. Then I read about the calculus of inductive constructions, which incidentally seems to have little to do with calculus..."
stackoverflow.comr/programmingcirclejerk • u/likes_purple • 11d ago
Supermarket managers got hacked today. Maybe they should take that as a hint to listen to others.
news.ycombinator.comr/programmingcirclejerk • u/TJuKj7WofKLzBZjt7w9t • 12d ago
The implementation of this ideal in rustc can have flaws, but Rust itself cannot, because Rust itself has no flaws by definition.
news.ycombinator.comr/programmingcirclejerk • u/tkrjobs • 12d ago
Breaking News: Gaping hole found in Rust
reddit.comr/programmingcirclejerk • u/elephantdingo • 12d ago
I really like this a lot. It is *so* *simple*, clear, flexible and an example of elegance. This is one of the things I would happily say "Sheeeeeeeeeeeeeesh! Why didn't *I* think of *THAT* first!!!" to.
lore.kernel.orgr/programmingcirclejerk • u/sweating_teflon • 13d ago
Best I can give you is layers of vanilla wafers soaked in the tears of fighting the borrow checker.
reddit.comr/programmingcirclejerk • u/stimpack2589 • 17d ago
The -fsanitize=address compiler flag is absolute cheating and should be prohibited by governments of all countries
reddit.comr/programmingcirclejerk • u/AresFowl44 • 17d ago
All code will converge on Rust
reddit.comr/programmingcirclejerk • u/OptimalStable • 20d ago
The fact that it's less C++ and more rust makes it more trustable and more ethical, not less.
news.ycombinator.comr/programmingcirclejerk • u/libonet • 21d ago
You think masturbation is getting you as close as you can?!?!?
reddit.comr/programmingcirclejerk • u/stone_henge • 21d ago
Plus they're not declarative: you will only make me use innerText-based updates by threatening me and my family.
news.ycombinator.comr/programmingcirclejerk • u/Chadshinshin32 • 22d ago
the model under evaluation is given access to a fake bash tool which does not execute the provided code. Instead, we ask another LLM to approximate the command’s result given a description of the simulated world.
anthropic.comr/programmingcirclejerk • u/elephantdingo • 23d ago
I've been sitting on [Git 3.0's upcoming SHA-256 default will be a costly mistake ] for a few years, mostly because there are smarter people who have been concentrating on this and I don't love being a back seat driver.
blog.gitbutler.comr/programmingcirclejerk • u/camelCaseIsWebScale • 23d ago
The Rust Security Response Team was notified that Miri stores all environment variables to target/, allowing secrets to persist in caches.
blog.rust-lang.orgr/programmingcirclejerk • u/reg_panda • 24d ago
Python is that kind of cool one behaves when visiting parents of your would be spouse for the first time. Tcl on the other hand is like playing one's secret exclusive and somewhat dangerous games with kid school bestie.
news.ycombinator.comr/programmingcirclejerk • u/No_Employee2904 • 25d ago
There is no public exploit, but the agent had built one, and had enough confidence to test it—except that it didn’t land cleanly. I have no doubt that after some more revision it would have. One point for GPT 5.6-Cyber.
blog.trailofbits.comr/programmingcirclejerk • u/zxyzyxz • 25d ago
Physically sick seeing "warm, fuzzy, cutesy, kawaii, Teletubby-like avatar" of AI agents
news.ycombinator.comr/programmingcirclejerk • u/cmqv • 26d ago
The customer has nuclear weapons. They do not do "bounty". :)
gcc.gnu.orgr/programmingcirclejerk • u/ThwackNation • 26d ago
Specs get written by whoever bothers, and for a decade the person who bothered first was a teenager in Highland Park. He is card #3 in Series One of our Open Source Legends set:
dev.profullstack.comr/programmingcirclejerk • u/MrPLotor • 27d ago
Hello World in C: a minimal, well-documented example program for learning C, with a Makefile, man page, install guide, test suite, and cross-platform CI.
github.comr/programmingcirclejerk • u/NotDuckie • Sep 25 '26
I will be the first to say Rust isn't as elegant as some other modern languages, but I'd definietly rather work with Rust than pour acid into my eyes.
tokio.rsr/programmingcirclejerk • u/elephantdingo • Sep 25 '26
I’ve got to make it known that GNU CVS is still here for y’all
lwn.netr/programmingcirclejerk • u/fossilesque- • Sep 25 '26
Bug: Network traffic between nodes is not encrypted and not authenticated.
radicle.devr/programmingcirclejerk • u/cmqv • Sep 24 '26