Prompting Tips
klatz.co·2d
📐Proof Assistants
Launch HN: Slashy (YC S25) – AI that connects to apps and does tasks
news.ycombinator.com·1d·
Discuss: Hacker News
🌀Brotli Internals
A friendly starter paper - Entropy-Guided Loop: Achieving Reasoning through Uncertainty-Aware Generation [R]
reddit.com·3d·
Discuss: r/MachineLearning
🔗Constraint Handling
Esoteric Languages Challenge Coders to Think Way Outside the Box
spectrum.ieee.org·1d·
Discuss: Hacker News, r/technews
💻Programming languages
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·5d·
Discuss: Hacker News, r/programming
🌊Stream Ciphers
Should we revisit Extreme Programming in the age of AI?
hyperact.co.uk·7h·
Discuss: Hacker News
🔄Language Evolution
RoguelikeDev Does the Complete Roguelike Tutorial 2025 in Odin
github.com·2d·
Discuss: Hacker News
🦀Rust Macros
Evals are a scam. And we're being gaslit into believing they aren't
hacktrace.substack.com·2h·
Discuss: Substack
📏Code Metrics
Are We Vibecoding Our Way to Disaster?
softwarearthopod.substack.com·1d·
Discuss: Substack
🧠Intelligence Compression
I tested Claude Code, Gemini CLI, and OpenAI Codex for 3 months – here's the verdict
dev.to·1d·
Discuss: DEV
📏Code Metrics
Casual Productivity with LLMs
kylekukshtel.com·3d·
Discuss: Hacker News
🦀Rust Macros
Supercharge Your Simulations: Taming Complexity with Automatic Differentiation
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·2d·
Discuss: Hacker News, Hacker News, shkspr.mobi, r/programming
📏Code Metrics
ECCFROG522PP: An Enhanced 522-bit Weierstrass Elliptic Curve
arxiv.org·1d
🔧Reed-Solomon
Automated Reproducibility Validation via Federated Graph Neural Networks & HyperScore Ranking
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
ANNIE: Be Careful of Your Robots
arxiv.org·2d
🔲Cellular Automata
PromptCOS: Towards System Prompt Copyright Auditing for LLMs via Content-level Output Similarity
arxiv.org·2d
🏺ZIP Archaeology
Automated Circuit Fault Diagnosis via Dynamic Graph Neural Network Fusion
dev.to·14h·
Discuss: DEV
⚡Circuit Design
Phase 4.6: Breaking the Monolith - A Strategic Repository Split
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
DevOps from the Driver's seat part 1
dev.to·1d·
Discuss: DEV
❄️Nix Adoption