Cure - Verification-First Programming for the BEAM
cure-lang.org·3d·
Discuss: Lobsters, Hacker News
🔧programming language design
Flag this post
Giannis Antetokounmpo to Marquette? Shaka Smart would love to make it happen
nytimes.com·5h
🦀Borrow Checker
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·1d·
Discuss: Hacker News, r/programming
🔧programming language design
Flag this post
Why Code Execution is Eating Tool Registries
levelup.gitconnected.com·1h·
Discuss: r/programming
📲local-first software
Flag this post
Automated Broadband Antenna Impedance Matching via Adaptive Genetic Algorithm Optimization
dev.to·3h·
Discuss: DEV
📲local-first software
Flag this post
Beyond Standard LLMs
magazine.sebastianraschka.com·2d·
Discuss: Hacker News, r/LLM
🧮Algebraic Effects
Flag this post
Welcome to r/P4lang — a community dedicated to the P4 programming language, designed for programming packet processors and software-defined networks.
reddit.com·13h·
Discuss: r/opensource
🔧programming language design
Flag this post
Built a GitHub PR security scanner (79+ checks, AI auto-fix). Need beta testers.
reddit.com·7h·
Discuss: r/devops
🦀Borrow Checker
Flag this post
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
github.com·1d·
Discuss: Hacker News, Hacker News
📲local-first software
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
Symmetry as a Superpower
dev.to·13h·
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·19h·
Discuss: DEV
🔧programming language design
Flag this post
Cj: a tiny no-deps JIT in C for x86-64 and ARM64
reddit.com·1d·
Discuss: r/programming
🔧programming language design
Flag this post
I ace CS exams but can’t code my way out of a loop — and my profs still picked me for competitive programming 😭 What do I do?
reddit.com·1d·
Discuss: r/AskProgramming
🔧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
Design-Based Supply Chain Operations Research Model: Fostering Resilience And Sustainability In Modern Supply Chains
arxiv.org·1d
🧰software development practices
Flag this post