Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
λHaskell
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·21h
λHaskell
Flag this post
When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug
mensfeld.pl·14h·
Discuss: Hacker News
Algebraic Effects
Flag this post
Writing Your First Compiler - Part 3: Lexical Analysis
dev.to·1d·
Discuss: DEV
🧮Functional Programming
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
gilesthomas.com·1d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
[TUI] Ricing the original Rogue
github.com·6h·
Roguelike
Flag this post
I just created go-picker: a small Go library for picking values from maps, typically parsed JSON.
github.com·5h·
Discuss: r/golang
🧮Functional Programming
Flag this post
How to evaluate and benchmark Large Language Models (LLMs)
together.ai·1d
λHaskell
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.org·21h
🧮Functional Programming
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
reddit.com·2d·
🎨Procreate
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·21h
Algebraic Effects
Flag this post
How I built an AI productivity assistant with Vercel AI Elements
blog.logrocket.com·1d
Roguelike
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·1d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
Do I want Coders to Code?
yeikoff.xyz·1d·
Discuss: Hacker News
🎲Roguelike development
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·1d·
Discuss: Hacker News, r/cpp
λHaskell
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
dev.to·8h·
Discuss: DEV
λHaskell
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·1h·
Algebraic Effects
Flag this post
OSS updates September and October 2025
blog.michielborkent.nl·2d
Algebraic Effects
Flag this post
Decoding Kiroween
dev.to·13h·
Discuss: DEV
🧮Functional Programming
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·1d·
Discuss: Substack
λHaskell
Flag this post