Verifying and testing timeliness constraints of Haskell programs
⚡Interpreter Optimization
Flag this post
Dealing with domain modelling mismatches on external services
blog.shalvah.me·7h
🛡️Error Ergonomics
Flag this post
![Modular [Hyprland] Dotfiles Component Separation](https://i.redd.it/0bpjg5bmfz2g1.jpeg){kind=link}
Learning Tractable Distributions Of Language Model Continuations
arxiv.org·2d
📊LR Parsing
Flag this post
Will Rust get pattern types?
🔧API Design
Flag this post
AI assistance in Development
⚡Live Coding
Flag this post
## Automated Construction & Demolition Waste Sorting via Hybrid AI & Robotic Vision: Real-Time Material Identification and Segregation for Circular Economy Enha...
freederia.com·1d
✨Effect Inference
Flag this post
How to turn AI from a random code generator into a reliable teammate
🎭Program Synthesis
Flag this post
My code is 100% AI generated
jda.bearblog.dev·17h
📚Self-Documenting Code
Flag this post
The Secret Life of Python: Bytecode Secrets - What Python Really Runs
📜Bytecode Interpreters
Flag this post
Introspection in LLMs: A Proposal For How To Think About It, And Test For It
lesswrong.com·19h
⚖️Inference Rules
Flag this post
SDA: Steering-Driven Distribution Alignment for Open LLMs without Fine-Tuning
arxiv.org·2d
🔍ML Language
Flag this post
YASA (Yet Another Static Analyzer)
🔍Static Analysis
Flag this post
I built a task system that survives Claude sessions and works across any AI tool - entirely made with Claude Code
💬Interactive REPLs
Flag this post
Loading...Loading more...