I built a tool to generate docs (NDA/PP/ToS/GDPR/ToS) automatically. Free plan included. Feedback welcome.
aidocs.app·1h·
Discuss: r/webdev
🔄Incremental Lexing
Flag this post
Verifying and testing timeliness constraints of Haskell programs
well-typed.com·3d·
Discuss: Hacker News
Interpreter Optimization
Flag this post
Block propagation & miner revenue, resolving multi-party protocols - Optech #381
bitcoinops.org·2d
📮Message Queues
Flag this post
Post-Conj update
ericnormand.substack.com·1d·
Discuss: Substack
🔮Clojure
Flag this post
Joy & Curiosity #63
registerspill.thorstenball.com·7h
💬Interactive REPLs
Flag this post
Trying to understand what actually makes Design System workflows difficult. What’s your experience?
reddit.com·1d·
Discuss: r/reactjs
🎮Language Ergonomics
Flag this post
May-June 2025 Progress in Guaranteed Safe AI
lesswrong.com·2d
🎭Program Synthesis
Flag this post
Industries Where Your C Code Saves Lives (And They're Hiring)
dev.to·11h·
Discuss: DEV
🔌Microcontrollers
Flag this post
Models not making it clear when they're roleplaying seems like a fairly big issue
lesswrong.com·1d
🎲Parser Fuzzing
Flag this post
Reliability-centered tool RUL prediction under time-varying processing parameters
sciencedirect.com·1h
🔄Loop Optimization
Flag this post
A Complete Guide to AI Coding Tools: Choosing the Right Tools Without the Hype
practicalsecurity.substack.com·2d·
Discuss: Substack
🎯99-Line Tools
Flag this post
Necessary Conditions GPT Must Satisfy for Producing Complex Code
dev.to·4h·
Discuss: DEV
🎨Domain-Specific Languages
Flag this post
When to Use (and Avoid) `collect()` in Rust 1.91.1
dev.to·4h·
Discuss: DEV
🔗Borrowing Extensions
Flag this post
Breaking News: OpenAI Rebrands to OpaqueAI
dev.to·17h·
Discuss: DEV
🥾Bootstrapping Strategies
Flag this post
Need honest feedback on my AI workflow library (2 months of work, feeling stuck)
reddit.com·5h·
Discuss: r/opensource
🌈Gradual Languages
Flag this post
Built a self-hosted semantic cache for LLMs (Go) — cuts costs massively, improves latency, OSS
reddit.com·4h·
Discuss: r/LLM
💬Smalltalk VMs
Flag this post
RTK Query vs Custom Axios Hooks: What Actually Happens When Your Project Grows
dev.to·4h·
Discuss: DEV
📦Monorepos
Flag this post
My Thoughts on Claude Code Web - Non-SDE
reddit.com·3h·
Discuss: r/ClaudeAI
Live Coding
Flag this post