Finally a real job offer
job-boards.greenhouse.io·2d·
Discuss: r/programming
💻CS
Marathon fusion claims to invent alchemy, making 5000 kgs gold per gigawatt
marathonfusion.com·2d·
Discuss: Hacker News
🧗Climbing Tech
Asymmetry of Verification and Verifier's Law
jasonwei.net·5d·
Discuss: Hacker News, Hacker News
🎮Verification Games
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.dev·3d·
Discuss: Hacker News
🐫Embedded OCaml
Why I said "no" for a year: rethinking dev-to-prod environment promotion · Logto blog
blog.logto.io·3d·
Discuss: r/programming
🧱Immutable Infrastructure
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Vibe Coding and Robocop
remysharp.com·1d·
Discuss: Hacker News
🤖Program Synthesis
3-line exploit revealed for critical Nvidia Container Toolkit flaw
scworld.com·1d·
Discuss: Hacker News
⎈Kubernetes
Iterative Isoscelizing
mathpages.com·1d·
Discuss: Hacker News
🏹Effect Systems
Re-reading Technopoly
surfingcomplexity.blog·1d·
Discuss: Hacker News
🔬Unikernels
Assistants Aren't the Future of AI
blog.sshh.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Multi-Centre Validation of a Deep Learning Model for Scoliosis Assessment
arxiv.org·3h
✓Automated Theorem Proving
Ask HN: Where is Git for my Claude Code conversations?
news.ycombinator.com·1d·
Discuss: Hacker News
🤖Program Synthesis
My rack!
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Outbound Modeling for Inventory Management
arxiv.org·5d
👁️System Observability
When Seeing Overrides Knowing: Disentangling Knowledge Conflicts in Vision-Language Models
arxiv.org·3h
✓Automated Theorem Proving
HCOMC: A Hierarchical Cooperative On-Ramp Merging Control Framework in Mixed Traffic Environment on Two-Lane Highways
arxiv.org·4d
🔄Finite State Machines
Learning Deblurring Texture Prior from Unpaired Data with Diffusion Model
arxiv.org·3h
🐫Embedded OCaml
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·4d
🐫OCaml
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.org·4d
✓Automated Theorem Proving