Could the root of Alzheimer's be magnetic?
1393.xyzยท6hยท
Discuss: Hacker News
๐ŸฉนSelf-Healing Systems
Flag this post
Creating a Gridogram
gridogram.comยท14hยท
Discuss: Hacker News
๐ŸŽฎVerification Games
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.toยท7hยท
Discuss: DEV
๐Ÿ•ธ๏ธGraph Theory
Flag this post
Oops, My UUIDs Collided
alexsci.comยท2dยท
Discuss: Hacker News
๐ŸŽฏGADT
Flag this post
Yes, you should understand backprop (2016)
karpathy.medium.comยท19hยท
Discuss: Hacker News
๐Ÿ“šAutomata Learning
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.comยท1dยท
Discuss: Substack
โšกProcess Calculi
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.comยท1dยท
Discuss: Hacker News
๐Ÿ“ฆOpam
Flag this post
GraphMD โ€“ LLMs Powered Literate Programming Environment for Markdown Documents
github.comยท11hยท
Discuss: Hacker News
โœ“Automated Theorem Proving
Flag this post
A functional programming course in 6 books
ericnormand.substack.comยท4dยท
Discuss: Substack
ฮปFunctional Programming
Flag this post
Is 'human' a risky AGI target
nullsy.comยท1dยท
Discuss: Hacker News
๐Ÿ“šAutomata Learning
Flag this post
Using FreeBSD to make self-hosting fun again
jsteuernagel.deยท13hยท
Discuss: Lobsters, Hacker News
๐Ÿ–ฅSelf-Hosting
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.ioยท1dยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.orgยท2d
๐ŸงฎSMT Solvers
Flag this post
Java's Agentic Framework Boom Is a Code Smell
gnanaguru.comยท1dยท
Discuss: Hacker News
๐Ÿ’ŽRefinement Types
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
dev.toยท6hยท
Discuss: DEV
๐ŸŒActivityPub
Flag this post
I Let AI Vote for Me in the Nix SC Election
jackson.devยท7hยท
Discuss: Hacker News
โ„๏ธNixOS
Flag this post
Rouille โ€“ Rust Programming, in French
dev.toยท2dยท
Discuss: DEV
๐Ÿ”€OCaml Multicore
Flag this post
ParallelMind Engine: First AI System with Parallel Logical Reasoning (202+ problems/sec)
github.comยท15hยท
Discuss: r/programming
๐Ÿ”€OCaml Multicore
Flag this post
Ghosts in the Compilation
predr.agยท3dยท
Discuss: Lobsters, Hacker News, r/rust
๐Ÿ”Formal Verification
Flag this post
The Cargo Cult in the Machine: Why LLMs Are the Ultimate Imitators
steviee.medium.comยท12hยท
Discuss: Hacker News
๐Ÿ“šAutomata Learning
Flag this post