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
๐คLisp Machines
Flag this post
Show HN: Qordinate โ AI that talks for you (coordination-first, early build)
๐๏ธWhisper
Flag this post
Olsrt โ OverLab Streams Runtime
๐Linear Types
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
๐ฆ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
Equation Discovery, Parametric Simulation, and Optimization Using the Physics-Informed Neural Network (PINN) Method for the Heat Conduction Problem
arxiv.orgยท18h
๐ง Machine Learning
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
โPrecision Brewing
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
Loading...Loading more...