Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·2d·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
Bold Devlog - October Summary
bold-edit.com·7h·
Discuss: r/programming
📚Forth Compilers
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·3d·
Discuss: Substack
⚡functional programming
Flag this post
The Rise of AI-Driven Formal Methods: How Machine Learning Is Revolutionizing Software Verification in 2025
reddit.com·1d·
Discuss: r/compsci
🎭Program Synthesis
Flag this post
Making Mathematical Reasoning Adaptive
paperium.net·1d·
Discuss: DEV
🏗️MLIR
Flag this post
Friday 21 November - 11am
informatics.ed.ac.uk·2d
🔍ML Language
Flag this post
Vibe coding needs a spec, too
stackoverflow.blog·1d
🎭Program Synthesis
Flag this post
Down with template (or not)!
cedardb.com·1d
📋Template Compilers
Flag this post
OpenAI’s Apps SDK: A Developer’s Guide to Getting Started
thenewstack.io·7h
🎮Language Ergonomics
Flag this post
Convex Optimization (or Mathematical Programming) in Go
github.com·2h·
Discuss: r/golang
🐹Minimal Go
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·2d·
Discuss: Hacker News, r/rust
🔒Rust Borrowing
Flag this post
Linkage
11011110.github.io·20h
🪢Rope Data Structures
Flag this post
A portable picokernel for async I/O
ryansepassi.com·16h·
Discuss: Hacker News
🤖Embedded Go
Flag this post
Keeping Your Claude Code Subagents Aligned
dev.to·18h·
Discuss: DEV
⚡Incremental Parsing
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·1d·
Discuss: Hacker News
🏁Language Benchmarks
Flag this post
[Open Source] We deployed numerous agents in production and ended up building our own GenAI framework
reddit.com·13h·
Discuss: r/LocalLLaMA
🌙Lua
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2d
🔗Go Generics
Flag this post
Let's rename the app to Boris - Gigi
dergigi.com·16h
💬Interactive REPLs
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.io·23h
🎭Program Synthesis
Flag this post
The top 4 JVM languages and why developers love them
infoworld.com·3d
🔮Clojure
Flag this post