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·1h
🦀Borrow Checker
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·1d·
🔧programming language design
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
Choosing a dependency
dev.to·12h·
Discuss: DEV
🦀Borrow Checker
Flag this post
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
lightcapai.medium.com·2d·
Discuss: Hacker News
🧮Algebraic Effects
Flag this post
Built a GitHub PR security scanner (79+ checks, AI auto-fix). Need beta testers.
reddit.com·3h·
Discuss: r/devops
🦀Borrow Checker
Flag this post
LazyLLM, Easiest and laziest way for building multi-agent LLMs applications
github.com·21h·
Discuss: Hacker News
📲local-first software
Flag this post
📚Enterprise Design Patterns: Table Module with Python Example
dev.to·1d·
Discuss: DEV
🧰software development practices
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·1d
🔧programming language design
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·2d
🔧programming language design
Flag this post
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
github.com·1d·
📲local-first software
Flag this post
Symmetry as a Superpower
dev.to·9h·
Discuss: DEV
🧮Algebraic Effects
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·1d·
Discuss: DEV
🦀Borrow Checker
Flag this post
Automated Infrastructure as Code (IaC) Drift Detection and Remediation with Predictive Analytics
dev.to·15h·
Discuss: DEV
🔧programming language design
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·21h·
Discuss: Hacker News
🔧programming language design
Flag this post