Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.infoยท1d
๐Ÿ”‘Cryptographic Protocols
Flag this post
A problem that takes quantum computers an unfathomable amount of time to solve
phys.orgยท11h
โš›๏ธQuantum Storage
Flag this post
Agentic Coding Workshop on Vanishing Gradients
everything.intellectronica.netยท14h
โš”๏ธLean Tactics
Flag this post
Autumn Lisp Game Jam 2025
itch.ioยท1dยท
Discuss: Hacker News
๐Ÿค–Lisp Machines
Flag this post
Show HN: Qordinate โ€“ AI that talks for you (coordination-first, early build)
qordinate.aiยท6hยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
Flag this post
Olsrt โ€“ OverLab Streams Runtime
news.ycombinator.comยท7hยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Verification
Flag this post
Decentralized Causal Discovery using Judo Calculus
arxiv.orgยท2d
โšกEffectful Programming
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.orgยท18h
๐ŸŽฏGradual Typing
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.toยท4hยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Flag this post
๐Ÿ‘จโ€๐Ÿณ Part 4: Coroutines Waiters Who Listen
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
Flag this post
Artificial Intelligence Based Predictive Maintenance for Electric Buses
arxiv.orgยท2d
๐Ÿง Machine Learning
Flag this post
Automated Calibration of Open-Loop Control Systems via Adaptive Fourier Analysis
dev.toยท20hยท
Discuss: DEV
โ˜•Precision Brewing
Flag this post
Durable execution workflow system based on Postgres
github.comยท8hยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Flag this post
InputDSA: Demixing then Comparing Recurrent and Externally Driven Dynamics
arxiv.orgยท18h
๐ŸงฎKolmogorov Complexity
Flag this post
Combining SAR Simulators to Train ATR Models with Synthetic Data
arxiv.orgยท1d
๐Ÿ”Vector Forensics
Flag this post
Self interest cumulative subtraction games
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Flag this post
A General Incentives-Based Framework for Fairness in Multi-agent Resource Allocation
arxiv.orgยท18h
๐Ÿ”ฒCellular Automata
Flag this post
Metis-SPECS: Decoupling Multimodal Learning via Self-distilled Preference-based Cold Start
arxiv.orgยท18h
๐Ÿ“ŠLearned Metrics
Flag this post