Large 7-Segment Displays
hackster.ioยท9h
โš™๏ธDIY Electronics
Flag this post
HigherOrderCO/Bend2
github.comยท3d
๐Ÿ”—Functional Compilers
Flag this post
Quantum-Enhanced XAI for Robust Anomaly Detection in Quantum Circuit Optimization
dev.toยท2hยท
Discuss: DEV
โš›๏ธQuantum Circuits
Flag this post
Robust Bayesian Inference of Stochastic Differential Equations via Adaptive Particle Filtering
dev.toยท14hยท
Discuss: DEV
๐ŸงฎKolmogorov Bounds
Flag this post
Evaluating Cooling Center Coverage Using Persistent Homology of a Filtered Witness Complex
arxiv.orgยท1d
๐Ÿ•ณ๏ธPersistent Homology
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.orgยท2dยท
Discuss: Hacker News
๐Ÿ“Format Grammars
Flag this post
Human-AI Collaborative Uncertainty Quantification
arxiv.orgยท1d
๐Ÿง Intelligence Compression
Flag this post
Automated Anomaly Detection in High-Dimensional Sensor Fusion Data using Adaptive Sparse Autoencoders
dev.toยท8hยท
Discuss: DEV
๐Ÿง Machine Learning
Flag this post
Convert any GitHub repo to coding puzzles
github.comยท13hยท
Discuss: Hacker News
โšกProof Automation
Flag this post
PhysToolBench: Benchmarking Physical Tool Understanding for MLLMs
dev.toยท6hยท
Discuss: DEV
๐Ÿ”FPGA Verification
Flag this post
Verifiable Delay Functions: A brief and gentle introduction
medium.comยท5dยท
Discuss: Hacker News
๐ŸŒŠStream Ciphers
Flag this post
**Automated Wear Debris Analysis & Predictive Maintenance via Acoustic Fingerprinting and Machine Learning**
dev.toยท1hยท
Discuss: DEV
๐ŸŽตAcoustic Fingerprinting
Flag this post
How Reliable Are Your AI Agents?
dev.toยท1hยท
Discuss: DEV
โš™๏ธProof Engineering
Flag this post
Non-Singularity of the Gradient Descent map for Neural Networks with Piecewise Analytic Activations
arxiv.orgยท4h
๐Ÿง Machine Learning
Flag this post
The Hallelujah Algorithm
dev.toยท4dยท
Discuss: DEV
๐ŸŽจGraph Coloring
Flag this post
Adaptive Hybrid Control via Multi-Modal Data Fusion and Bayesian Optimization
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠStream Processing
Flag this post