What's the point of HTTP Signatures? (All open source)
orangestack.substack.com·2d·
Discuss: Substack
🌐NetworkProtocols
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·1d
🧪Property-Based Testing
Flag this post
Scraping Next.js web sites in 2025
trickster.dev·1d·
Discuss: Hacker News
🔌APIs
Flag this post
Adaptive Stemming via Graph-Augmented Recurrent Variational Autoencoders
dev.to·4h·
Discuss: DEV
📚Automata Learning
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·2d·
Discuss: Lobsters, Hacker News
🔍Type Inference
Flag this post
AI scrapers request commented scripts
cryptography.dog·1d·
Discuss: Lobsters, Hacker News
🔒Protocol Verification
Flag this post
Building an Intelligent RAG System with Query Routing, Validation and Self-Correction
dev.to·1d·
Discuss: DEV
🧮SMT Solvers
Flag this post
Day 18: Python Palindrome Checker Tutorial – Ignore Case, Spaces & Punctuation
dev.to·3d·
Discuss: DEV
🔤Kleene Algebra
Flag this post
Let's Poison Your LLM Application: A Security Wake-Up Call
dev.to·2d·
Discuss: DEV
🛡️seL4
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·1d·
Discuss: r/golang
🎯GADT
Flag this post
Chatbots, My Rules of Engagement
christophedujarric.com·1d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·11h·
Discuss: Substack
🧩Parser Combinators
Flag this post
ArkRegex: A drop in replacement for new RegExp() with types
arktype.io·4d·
Discuss: Hacker News, r/javascript, r/node, r/programming, r/typescript
❓Existential Types
Flag this post
Building Code Mentor: An AI Agent That Creates Learning Roadmaps Using Mastra & Telex
dev.to·16h·
Discuss: DEV
🌐ActivityPub
Flag this post
Building a Self-Improving RAG System with Smart Query Routing and Answer Validation
dev.to·1d·
Discuss: DEV
🧮SMT Solvers
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
DDD and the Simplicity Gospel
oluatte.com·11h·
Discuss: Hacker News, r/programming
🔤DSLs
Flag this post
Nim 2.2.6
nim-lang.org·1d·
Discuss: Hacker News
📦Opam
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Writing an LLM from scratch, part 25 – instruction fine-tuning
gilesthomas.com·3d·
Discuss: Hacker News
📚Automata Learning
Flag this post