Portia – open-source framework that makes it easy to build Agentic AI workflows
quiz.businessexplain.com·4h·
Discuss: Hacker News
👑Isabelle
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·8h·
Discuss: Hacker News
📋DFDL
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
C++ Seeding Surprises (2015)
pcg-random.org·6h·
Discuss: Hacker News
🔢Bitwise Algorithms
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·16h
📋Protocol Buffers
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·11h·
Discuss: Hacker News
🔗Constraint Handling
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·19h
🌀Fractal Compression
Ultra-Efficient Contracts: Breaking the Substitutes Barrier in Combinatorial Contracts
arxiv.org·1d
🔗Combinatory Logic
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
Python Fundamentals: asynchronous
dev.to·10h·
Discuss: DEV
🌊Stream Processing
Schemars v1 is now released
reddit.com·5h·
Discuss: r/rust
🦀Rust Macros
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·1d
🔐Quantum Security
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
Polystate: Composable Finite State Machines
github.com·3d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
Explaining software and computational methods
blog.khinsen.net·23h·
Discuss: Hacker News
📝Concrete Syntax
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·1d
👑Coq Tactics