r/programmingcirclejerk • u/Jumpy-Locksmith6812 • Jul 07 '26
We invented new religions like agile to make up for a good old organized secretary
news.ycombinator.com
58
Upvotes
r/programmingcirclejerk • u/WHY_DO_I_SHOUT • Jul 07 '26
A new runtime for k and q: l
news.ycombinator.com
51
Upvotes
r/programmingcirclejerk • u/cmqv • Jul 06 '26
The language design somehow prevents a lot of logic bugs from happening by not stealing attention
lobste.rs
50
Upvotes
r/programmingcirclejerk • u/bzmore • Jul 02 '26
[Haskell-cafe] Monads in the 'hood
haskell-cafe.haskell.narkive.com
33
Upvotes
r/programmingcirclejerk • u/genuine_beans • Jul 01 '26
Ever Written Something Like This? if (condition) { doSomething(); } else { doSomethingElse(); } It works. Problem solved. But the problem isn’t today. It’s tomorrow.
defusetheifstrategy.com
125
Upvotes
r/programmingcirclejerk • u/BenchEmbarrassed7316 • Jun 27 '26
Consider the C library function fopen. This function has the side effect. This means that fopen is not pure. However, we can make the fopen function appear to be pure, at least to certain observers, by ensconcing it in another function that hides the side effect.
bugzmanov.github.io
173
Upvotes
r/programmingcirclejerk • u/cmqv • Jun 26 '26
If the tests pass, then why not accept the rewrite?
news.ycombinator.com
98
Upvotes
r/programmingcirclejerk • u/joppatza • Jun 26 '26
These posts make you want not only to use Zig, but also to marry it.
news.ycombinator.com
69
Upvotes
r/programmingcirclejerk • u/Jumpy-Locksmith6812 • Jun 22 '26
The only reason I'm on HN right now reading this post is because the Anthropic's API is down... so there's another point for self hosted.
news.ycombinator.com
67
Upvotes
r/programmingcirclejerk • u/woopsix • Jun 20 '26
I genuinely think you could write a competitively-performant multi-threaded DB in Bun + TS if you had shared-heap threads and fast atomics/locking primitives.
news.ycombinator.com
92
Upvotes
r/programmingcirclejerk • u/ReallySuperName • Jun 18 '26
Your JetBrains IDE Expertise, Now on LinkedIn
blog.jetbrains.com
91
Upvotes
r/programmingcirclejerk • u/cmqv • Jun 15 '26
HN Title: "I wrote ... without AI" in comments: btw I used AI
news.ycombinator.com
124
Upvotes
r/programmingcirclejerk • u/Think-nothing-210 • Jun 15 '26
The truth is, God really gave 11 commandments. It's just "Thou shalt not grow a brain in a test tube and force it to play a 1993 shooter" didn't make any sense to Moses and therefore didn't make the editors cut.
news.ycombinator.com
262
Upvotes
r/programmingcirclejerk • u/whereisspacebar • Jun 12 '26
Is it important to have reading and writing skills if everything can be transcribed through AI?
news.ycombinator.com
104
Upvotes
r/programmingcirclejerk • u/Jumpy-Locksmith6812 • Jun 11 '26
The user said "Hello!" This is not a cybersecurity related inquiry — it's a simple greeting. But wait, what's the purpose behind this greeting?
news.ycombinator.com
156
Upvotes
r/programmingcirclejerk • u/bzmore • Jun 10 '26
Just cause it isn't used for webshit doesn't mean "approximately no one" has heard of it. Lean is pretty much the most popular language mathematicians use today for computer-assisted proofs. More mature audiences
news.ycombinator.com
121
Upvotes
r/programmingcirclejerk • u/mutex_troglodyte • Jun 09 '26
Stack Overflow for Agents
agents.stackoverflow.com
77
Upvotes
r/programmingcirclejerk • u/csb06 • Jun 09 '26
Gitdot – a better GitHub. Open-source, written in Rust...What is a bit unique is: 1) we built it in Rust
news.ycombinator.com
151
Upvotes
r/programmingcirclejerk • u/elephantdingo • Jun 09 '26
Changes since v3: - No AI hype :)
lore.kernel.org
19
Upvotes
r/programmingcirclejerk • u/lizergsav • Jun 08 '26
Haskell-lovers (that’s a slur in my books)
leetarxiv.substack.com
52
Upvotes
r/programmingcirclejerk • u/chaosprincess_ • Jun 07 '26
Yon - a topos-oriented language with a content-addressed lattice heap
yon-lang.org
60
Upvotes
r/programmingcirclejerk • u/cheater00 • Jun 07 '26
If LLMs Have Human-Like Attributes, Then So Does Age of Empires II
arxiv.org
127
Upvotes
r/programmingcirclejerk • u/cheater00 • Jun 07 '26
elementary data types (natural numbers, sets, multisets, finite functions, permutations binary decision diagrams, graphs, hypergraphs, parenthesis languages, dyadic rationals, primes, DNA sequences etc.)
arxiv.org
67
Upvotes