Thailand: Former PM Thaksin Shinawatra acquitted of royal defamation charges
lemonde.fr·6h
📝ABNF Extensions
The theorem on formal functions
math.columbia.edu·6d
⚔️Lean Theorem
Indoor Mapping Data Format
docs.ogc.org·2d·
Discuss: Hacker News
🏗️OAIS Model
Working with Btrfs – Snapshots
fedoramagazine.org·2d·
Discuss: Hacker News
🗄️File Systems
pyghidra-mcp: Headless Ghidra MCP Server for Project-Wide, Multi-Binary Analysis
medium.com·2d
👁️System Observability
How "special register groups" invaded computer dictionaries for decades
righto.com·2d·
Discuss: Hacker News
🏛️BESM Computers
How the internet gets inside us (2011)
newyorker.com·4h·
Discuss: Hacker News
🏛Digital humanities
Marshal madness: A brief history of Ruby deserialization exploits
blog.trailofbits.com·3d·
Discuss: Hacker News
🔒Linear Types
High-Capacity and Low-PAPR BICM-OFDM Systems Using Non-Equiprobable and Non-Uniform Constellation Shaping With Clipping and Filtering
arxiv.org·8h
📡Audio Modulation
Carbon Dioxide Isn’t What You Think It Is
scientificamerican.com·16h
🌡️Preservation Physics
Managing soil fertilization levels can make for more efficient and productive crops
phys.org·14h
📜Document Physics
ConsciousCoin: A Working Proof-of-Consciousness Protocol
dev.to·12h·
Discuss: DEV
🔐Quantum Cryptography
OneUptime – open-source observability platform
github.com·3d·
Discuss: Hacker News
🌊Streaming Systems
Make Google Search Clean Again!
dev.to·2d·
Discuss: DEV
🔍BitFunnel
Design and Implementation of a Controlled Ransomware Framework for Educational Purposes Using Flutter Cryptographic APIs on Desktop PCs and Android Devices
arxiv.org·3d
🔑Cryptographic Protocols
Content Accuracy and Quality Aware Resource Allocation Based on LP-Guided DRL for ISAC-Driven AIGC Networks
arxiv.org·3d
⧗Information Bottleneck
Research on Conversational Recommender System Considering Consumer Types
arxiv.org·2d
🎯Content Recommendation
Breaking the SFT Plateau: Multimodal Structured Reinforcement Learning for Chart-to-Code Generation
arxiv.org·2d
📊Learned Metrics
AI Fluency: Build Smarter Code
dev.to·2h·
Discuss: DEV
⚡Proof Automation
One prompt can train your AI. One bad prompt can leak your secrets.
dev.to·2d·
Discuss: DEV
⚡Proof Automation