Computational Complexity and Explanations in Physics
gilkalai.wordpress.comยท2d
โš›๏ธQuantum Algorithms
Flag this post
The Rosetta Code of Being โ€“ When Philosophy Compiles Itself
ontocode.orgยท12hยท
Discuss: Hacker News
๐Ÿ›๏ธPhilosophy
Flag this post
Build Your First HTTP Server in Python
thenewstack.ioยท6h
๐ŸŒNetwork Protocols
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.comยท1dยท
Discuss: Hacker News
๐ŸคDistributed Consensus
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.orgยท1dยท
Discuss: Hacker News
โฌ†๏ธLambda Lifting
Flag this post
The Evolution from RAG to Agentic RAG to Agent Memory
leoniemonigatti.comยท17hยท
Discuss: Hacker News
๐Ÿ’พPersistence Strategies
Flag this post
Reforging the ReScript Build System
rescript-lang.orgยท13hยท
๐Ÿ”„Reproducible Builds
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.comยท4hยท
๐Ÿ”ฉSystems Programming
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.aiยท5hยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Flag this post
CompAgent: An Agentic Framework for Visual Compliance Verification
arxiv.orgยท1d
๐Ÿค–Advanced OCR
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.orgยท2d
๐Ÿง Intelligence Compression
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.orgยท2d
๐Ÿ”—Concatenative Languages
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.orgยท1d
๐Ÿ”จCompilers
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.orgยท1d
โšกIncremental Computation
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.orgยท1d
โš›๏ธQuantum Archives
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.orgยท1d
๐Ÿ“ŠLearned Metrics
Flag this post
Causal Graph Neural Networks for Healthcare
arxiv.orgยท43m
๐ŸŒ€Riemannian Computing
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.orgยท2d
๐ŸŒ€Differential Geometry
Flag this post
How I Use AI to Build Frontend Apps: My Candid, Messy Process
dev.toยท1dยท
Discuss: DEV
๐ŸŒCultural Algorithms
Flag this post
Part 2: Building MCP Servers to Control a Home Coffee Roaster - An Agentic Development Journey with Warp Agent
dev.toยท2dยท
Discuss: DEV
๐Ÿ HomeLab
Flag this post