Toy Binary Decision Diagrams
philipzucker.com·5d
🧮Algebraic Datatypes
A Hands-On Review of Conductor, an AI Parallel Runner App
thenewstack.io·8h
🖥️Modern Terminals
The Day I Hacked XCTrack
blog.syrac.org·1d·
Discuss: Hacker News
🔐PKI Archaeology
Experiments With Sonnet 4.5's Fiction
lesswrong.com·6h·
Discuss: Hacker News
🔗Concatenative Languages
Social Science PhD Tech Stack
kevinbryanecon.com·2d·
Discuss: Hacker News
🔄Archive Workflows
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·2d·
Discuss: Hacker News
💻Local LLMs
Paper2Agent: Research Papers as Interactive AI Agents
huggingface.co·1d·
Discuss: Hacker News
🤖AI Curation
VLLM Predicted Outputs
cascadetech.ai·1d·
Discuss: Hacker News
💻Local LLMs
Intent Weaving for AI Coding Agents
autohand.ai·1d·
Discuss: Hacker News
⚡Proof Automation
Show HN: An open-source starter kit for implementing OWASP ASVS 5.0
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
📜Manuscript Algebras
Bayesian Optimization for Dynamic Sample Size Allocation in A/B Testing
dev.to·2h·
Discuss: DEV
🧮Kolmogorov Bounds
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.org·3d
🎯Performance Proofs
Show HN: Collaborate on Documents with Claude Code
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·6d·
Discuss: DEV
⚡SMT Integration
An enough week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
📈Linear programming
The Conveyor Belt Protocol: Understanding Iterators
dev.to·18h·
Discuss: DEV
🧬Functional Programming
In-Depth Analysis: "Attention Is All You Need"
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·2d
💻Programming languages
Krish Naik: Open AI Recent Announcement- App Inside Chatgpt, Agentkit, Sora 2
dev.to·2h·
Discuss: DEV
🔓Open Source Software