Cure - Verification-First Programming for the BEAM
cure-lang.org·3d·
Discuss: Lobsters, Hacker News
🔧programming language design
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·1d·
Discuss: Hacker News, r/programming
🔧programming language design
Flag this post
Beyond Standard LLMs
magazine.sebastianraschka.com·2d·
Discuss: Hacker News, r/LLM
🧮Algebraic Effects
Flag this post
Building Sortable Tree — A Lightweight Drag & Drop Tree in Vanilla TypeScript
dev.to·1h·
Discuss: DEV
🔧programming language design
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·7h·
Discuss: r/opensource
🔧programming language design
Flag this post
Hypergraph Embedding Optimization for Graph Database Query Acceleration via Differential Evolution
dev.to·1d·
Discuss: DEV
🕸semantic web
Flag this post
Optional Is Not Optional in C++ (and Definitely Not a Pointer)
dev.to·1d·
Discuss: DEV
🔧programming language design
Flag this post
Choosing a dependency
dev.to·9h·
Discuss: DEV
🦀Borrow Checker
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
github.com·2d·
Discuss: Hacker News
🦀Borrow Checker
Flag this post
Automated Cost-Benefit Analysis for Synthetic Biology Gene Synthesis Services
dev.to·1d·
Discuss: DEV
🧮Algebraic Effects
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·
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
LazyLLM, Easiest and laziest way for building multi-agent LLMs applications
github.com·19h·
Discuss: Hacker News
📲local-first software
Flag this post
Symmetry as a Superpower
dev.to·6h·
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·12h·
Discuss: DEV
🔧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