Type Inference, Pattern Matching, Modules, Compiler Design

Haiku Activity & Contract Report, October 2025
haiku-os.org·9h
🤖AI Agent
Flag this post
Exhaustive profiling toolkit: elfutils and libdwfl_stacktrace
developers.redhat.com·4h
🔧Functional Programming
Flag this post
Bjarne fix your freaking language
marler8997.github.io·6h·
Discuss: Hacker News
🔧Functional Programming
Flag this post
GSoC Wrap Up - Adding Witness Generation to cargo-semver-checks
glitchlesscode.ca·1d·
Discuss: r/rust
🤖LLM
Flag this post
Mandrake's Gaël Duval Debunks Clickbait Nonsense From ZDNet, a Non-Coder Pushing Bot-Made 'Code' (Plagiarism Done Poorly)
techrights.org·5h
🤖AI Agent
Flag this post
The Gem in S/SL: Why Dataless Languages Matter
programmingsimplicity.substack.com·2d·
Discuss: Substack
🔧Functional Programming
Flag this post
🎲 Weeknotes 2025 W45: Polymorphic
denisdefreyne.com·1d
🔧Functional Programming
Flag this post
Rust vs Go: a comparison of memory management
poltora.dev·10h·
Discuss: r/golang, r/golang
🔧Functional Programming
Flag this post
Build Type-Safe React Forms and Tables with TANCN Visual Builder
dev.to·9h·
Discuss: DEV
🔧Functional Programming
Flag this post
How To Make A Custom Type Iterable In Rust.
dev.to·15h·
Discuss: DEV
🔧Functional Programming
Flag this post
Building Pulse — a small language for deterministic concurrency in JavaScript
dev.to·2h·
Discuss: DEV
🔧Functional Programming
Flag this post
Investigating CoT Monitorability in Large Reasoning Models
arxiv.org·7h
🤖AI Agent
Flag this post
Box of bugs (exploded): Perils of cross-platform development
pvs-studio.com·1d·
Discuss: r/programming
🔧Functional Programming
Flag this post
I Read Sam Bhagwat's AI Agents Bible So You Don't Have to (But Probably Should)
kuber.studio·20h·
Discuss: Hacker News
🤖AI Agent
Flag this post
Kimi K2 thinking, GLM 4.6 and Minimax M2 - the new era of opensource models?
reddit.com·13h·
Discuss: r/LocalLLaMA
🤖AI Agent
Flag this post
FoCLIP: A Feature-Space Misalignment Framework for CLIP-Based Image Manipulation and Detection
arxiv.org·1d
🔧Functional Programming
Flag this post
TimeSense:Making Large Language Models Proficient in Time-Series Analysis
arxiv.org·1d
🔧Functional Programming
Flag this post
Synth: The New Data Frontier
pleias.fr·1d·
Discuss: Hacker News
🤖AI Agent
Flag this post
DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
arxiv.org·7h
🤖AI Agent
Flag this post
Choice of language/libraries - 2d graphics, functional
reddit.com·4d·
🔧Functional Programming
Flag this post