Triple Threat: Signal's Ratchet Goes Post-Quantum
blog.quarkslab.com·2d
🔐Quantum Security
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·2d
📏Code Metrics
UX Writing: a new(ish) craft in mobile games
patriciagomezj.substack.com·13h·
Discuss: Substack
🎨Nordic UX
Higher-Level Design Patterns
qouteall.fun·5d·
Discuss: Hacker News
✨Algebraic Effects
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·2d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
⚡Modern Compression
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·2d·
Discuss: Hacker News
🧠Intelligence Compression
Delegating the Grunt Work: AI Agents for UI Test Development
blog.scottlogic.com·2d·
Discuss: Hacker News
⚡Proof Automation
Language Agnostic Programming: Why you may still need code
joaquimrocha.com·3d·
Discuss: Hacker News
💻Programming languages
Organizing Cursor Rules & Commands Across Projects with Symlinks
dev.to·2d·
Discuss: DEV
🌳Git Internals
Intertemporal Pricing of Time-Bound Stablecoins: Measuring and Controlling the Liquidity-of-Time Premium
arxiv.org·22h
🌊Streaming Systems
SurveyBench: How Well Can LLM(-Agents) Write Academic Surveys?
arxiv.org·2d
🗣️Domain-Specific Languages
Language, Culture, and Ideology: Personalizing Offensiveness Detection in Political Tweets with Reasoning LLMs
arxiv.org·2d
📊Feed Optimization
Adventures on the AI Coding side of things
medium.com·2d·
Discuss: Hacker News
🌍Cultural Algorithms
Interview: Why hospital IT is under pressure
heise.de·15h
⚖️Lossy Compression Ethics
Goodbye Valve Spec Nightmares: AI's Got Your Back
dev.to·3d·
Discuss: DEV
⚙️Proof Engineering
A Hierarchical Geometry-guided Transformer for Histological Subtyping of Primary Liver Cancer
arxiv.org·22h
🌀Hyperbolic Geometry
Real-Time Seismic Anomaly Detection via Spatio-Temporal Neural Field Regression
dev.to·12h·
Discuss: DEV
📰RSS Archaeology
Adaptive Social Navigation via Hierarchical Reinforcement Learning with Probabilistic Interaction Models
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
Bamboo: LLM-Driven Discovery of API-Permission Mappings in the Android Framework
arxiv.org·1d
🔒WASM Capabilities
[Call for Participants] Legitimacy of Legal Decisions Adopted Under Radical Uncertainties - University of Lille
europeanlawblog.eu·13h
⚖️Legal Compliance