The Constrained Application Protocol (CoAP)
datatracker.ietf.org·1d·
Discuss: Hacker News
🤝Protocol Design
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·2h·
Discuss: DEV
🧭SMT Solvers
Flag this post
Aligning LLM agents with human learning and adjustment behavior: a dual agent approach
arxiv.org·15h
🎲Probabilistic Programming
Flag this post
Hans-Juergen Schoenig: Counting Customers in PostgreSQL
cybertec-postgresql.com·14h
🗄️Database Theory
Flag this post
Using eBPF to attribute packet drops to netfilter rules
developers.redhat.com·1d
🔌Network Programming
Flag this post
The Hidden Ops Layer of Agent Platforms
neon.com·1h
🌍Distributed Systems
Flag this post
Simple rule of thumb for deciding code architecture?
reddit.com·23h·
Discuss: r/godot
🏗️Software Architecture
Flag this post
Prog8
github.com·4h·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
reddit.com·17h·
🔗Parser Combinators
Flag this post
Towards Automated Petrography
arxiv.org·15h
🎲Probabilistic Programming
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·2d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
How Perplexity Built an AI Google
blog.bytebytego.com·1d
🔗Parser Combinators
Flag this post
Modeling the geopolitics of AI development
lesswrong.com·2h
🧫Cellular Automata
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·15h
🔗Parser Combinators
Flag this post
The Exhaust Port of Cohesion: Precision Provocation in LLMs
blog.gopenai.com·4h·
Discuss: Hacker News
🧭SMT Solvers
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·15h
Formal Verification
Flag this post
Day 23: Python Positive Sum Function – Calculate the Sum of Positive Numbers in a List
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.org·15h
🎲Probabilistic Programming
Flag this post
Building a Production-Ready AI Agent
api.github.com·23h·
Discuss: DEV
🏗️Software Architecture
Flag this post