Cure - Verification-First Programming for the BEAM
cure-lang.org·3d·
🔧programming language design
Flag this post
Giannis Antetokounmpo to Marquette? Shaka Smart would love to make it happen
nytimes.com·8h
🦀Borrow Checker
Flag this post
Why Code Execution is Eating Tool Registries
levelup.gitconnected.com·4h·
Discuss: r/programming
📲local-first software
Flag this post
Beyond Standard LLMs
magazine.sebastianraschka.com·2d·
Discuss: Hacker News, r/LLM
🧮Algebraic Effects
Flag this post
Type inference with TryFrom and ()
reddit.com·4d·
Discuss: r/rust
🔧programming language design
Flag this post
Built a GitHub PR security scanner (79+ checks, AI auto-fix). Need beta testers.
reddit.com·10h·
Discuss: r/devops
🦀Borrow Checker
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.org·1d
🕸semantic web
Flag this post
A Privacy-First AI Voice Cloning Tool with Local LLMs
dev.to·2d·
Discuss: DEV
🦀Borrow Checker
Flag this post
Automated Infrastructure as Code (IaC) Drift Detection and Remediation with Predictive Analytics
dev.to·22h·
Discuss: DEV
🔧programming language design
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·1d·
Discuss: Hacker News
🔧programming language design
Flag this post
Atomically accurate de novo design of antibodies with RFdiffusion
nature.com·1d·
Discuss: Hacker News
🔧programming language design
Flag this post
How Hidden Code Decides Who's in Charge: The Silent Governance of AI Through Function-Calling Schemas
dev.to·1d·
Discuss: DEV
🧮Algebraic Effects
Flag this post
I made a tensor runtime & inference framework in C (good for learning how inference works)
github.com·4d·
🔧programming language design
Flag this post
Shrinking the Variance: Shrinkage Baselines for Reinforcement Learning with Verifiable Rewards
arxiv.org·23h
🧮Algebraic Effects
Flag this post