Information-Theoretic Bounds and Task-Centric Learning Complexity for Real-World Dynamic Nonlinear Systems
arxiv.org·2d
🔄Finite State Machines
Billion-Line Days Demand Billion-Test Nights
momentic.ai·1d·
Discuss: Hacker News
🤖Program Synthesis
Stop writing CLI validation. Parse it right the first time
hackers.pub·4d·
Discuss: Lobsters, Hacker News, r/programming, r/typescript
🛡️seL4
An Inline Cache Isn't Just a Cache
mgaudet.ca·10h·
Discuss: Hacker News
💎Refinement Types
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.org·2d
⚙Operational Semantics
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·1d·
Discuss: Hacker News
⚙️PL Implementation
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·16h·
Discuss: Hacker News, r/rust
🧮Lambda Calculus
Is this the end of hand-written Java? Building an app with AI-generated code (OpenXava + Vibe Coding)
reddit.com·13h·
Discuss: r/programming
🤖Program Synthesis
Deliberate Abstraction
entropicthoughts.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
Quantum Algorithm Zoo
quantumalgorithmzoo.org·8h·
Discuss: Hacker News
🧠Automated Reasoning
How OpenAI Operator Works with AI Agents
anchorbrowser.io·14h·
Discuss: Hacker News
🧠Automated Reasoning
Real-Time Detection of Hallucinated Entities in Long-Form Generation
hallucination-probes.com·10h·
Discuss: Hacker News
📚Automata Learning
Supply chains and watering holes
cryptography.dog·1d·
Discuss: Lobsters
💎Refinement Types
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·1d·
Discuss: Hacker News
🤖Program Synthesis
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·2d·
Discuss: Hacker News
📊Runtime Verification
Close the loop: analytics that teach your chatbot to fix itself
hoverbot.ai·1d·
Discuss: Hacker News
👁️System Observability
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·2d
💎Refinement Types
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.org·2d
🐫OCaml