CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.beยท2h
๐ŸŒŠStream Ciphers
The continuation monad: a mathematical introduction
wildonblog.wordpress.comยท10h
๐Ÿ”—Functional Compilers
Connecting A Fresh Node
tedium.coยท1d
๐Ÿ–ฅ๏ธTerminal Renaissance
#359
weeknotes.barrucadu.co.ukยท1d
ฮปLambda Formalization
weeknotes, 33/25
meiadeleite.comยท20h
๐ŸŽตAudio Codecs
Show HN: SamwiseOS โ€“ A web-based, AI-first OS with a Python kernel in Pyodide
samwiseos.neocities.orgยท4hยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Dirty Coding Tricks
gamedeveloper.comยท1dยท
Discuss: Lobsters
๐ŸŽฎGame Decompilation
Time, Fences and the Ordering of Events in TSO
arxiv.orgยท4h
โšกHardware Transactional Memory
From Individual to Multi-Agent Algorithmic Recourse: Minimizing the Welfare Gap via Capacitated Bipartite Matching
arxiv.orgยท4h
โšกIncremental Computation
You Will Need a Single Prompt to Get Desired AI Responses
dev.toยท1dยท
Discuss: DEV
โšกProof Automation
Automated Anomaly Detection & Predictive Maintenance via Graph Neural Network Fusion in High-Throughput Manufacturing
dev.toยท17hยท
Discuss: DEV
๐ŸŒŠStream Processing
Apriel-Nemotron-15B-Thinker
arxiv.orgยท4h
๐Ÿ’ปLocal LLMs
The 4-Hour Weekly Workflow That Keeps My Codebase Clean
dev.toยท1hยท
Discuss: DEV
๐Ÿ“Code Metrics
Failures to Surface Harmful Contents in Video Large Language Models
arxiv.orgยท4h
๐Ÿง Learned Codecs
Note on Selection Bias in Observational Estimates of Algorithmic Progress
arxiv.orgยท4h
๐ŸงฎKolmogorov Bounds
Enhanced High-k Dielectric Thin Film Characterization via Machine Learning-Driven Spectroscopic Mapping
dev.toยท5hยท
Discuss: DEV
๐ŸŒˆSpectroscopy
Automated Sterilization Protocol Optimization via Dynamic Bayesian Network Analysis
dev.toยท15hยท
Discuss: DEV
๐Ÿ“„Document Digitization
Data-Driven Deepfake Image Detection Method -- The 2024 Global Deepfake Image Detection Challenge
arxiv.orgยท4h
๐Ÿ”Vector Forensics
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
arxiv.orgยท4h
๐Ÿ’ปProgramming languages
Retro-Expert: Collaborative Reasoning for Interpretable Retrosynthesis
arxiv.orgยท4h
๐ŸงฎTheorem Proving