Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
λHaskell
Flag this post
News for October 2025
ptreview.sublinear.info·1d
🧮Functional Programming
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·8h·
Discuss: Lobsters, Hacker News
⚡Algebraic Effects
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·1d·
Discuss: Hacker News
⚡Algebraic Effects
Flag this post
I made a tensor runtime & inference framework in C (good for learning how inference works)
github.com·2d·
Discuss: r/C_Programming
λHaskell
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·3h·
Discuss: DEV
🧮Functional Programming
Flag this post
DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning
arxiv.org·4h
🌳BSP Trees
Flag this post
Build Interactive Node-Based Diagrams with fg-next-draw-canvas: A React Developer's Guide
dev.to·18h·
Discuss: DEV
⚡Algebraic Effects
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·18h·
Discuss: Hacker News
🗺️Pathfinding Algorithms
Flag this post
Q-Sat AI: Machine Learning-Based Decision Support for Data Saturation in Qualitative Studies
arxiv.org·4h
🌳BSP Trees
Flag this post
Approximation by Certain Complex Nevai Operators : Theory and Applications
arxiv.org·4h
🧮Functional Programming
Flag this post
100 Techniques for Writing Readable Rust Code
reddit.com·5h·
Discuss: r/rust
λHaskell
Flag this post
Building Custom Components in Langflow 🛠️
dev.to·1h·
Discuss: DEV
⚡Algebraic Effects
Flag this post
Autark: Rethinking build systems – Integrate, Don’t Outsource
dev.to·2h·
Discuss: DEV
🎲Roguelike development
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·1d
🌳BSP Trees
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·7h·
Discuss: Hacker News
🗺️Pathfinding Algorithms
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.org·4h
🔲Cellular Automata
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·16h·
Discuss: DEV
🧮Functional Programming
Flag this post
What Are Tables in Lua in 2025?
dev.to·2d·
Discuss: DEV
⚔Roguelike
Flag this post
Between Rules and Meaning: Building a Website That Understands Language
dev.to·7h·
Discuss: DEV
🧮Functional Programming
Flag this post