Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·5d·
Discuss: Lobsters, Hacker News, r/programming
📐Interval Arithmetic
Spotify’s new ‘smart filters’ let you screen library content by activity, genre or mood
techcrunch.com·1d
🎯Content Recommendation
GPT-5 Thinking in ChatGPT (aka Research Goblin) is shockingly good at search
simonw.substack.com·2d·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Cloud Engineer Transforms Legacy Healthcare Systems Through Advanced Automation Framework
hackernoon.com·5d
🌊Streaming Systems
The New Math of Quantum Cryptography
wired.com·2d·
Discuss: Hacker News
🔐Quantum Security
OntoMotoOS: An "Operating System" Between Delusion and Scholarship
medium.com·1d·
Discuss: Hacker News
⚖️Emulation Ethics
Distilling Impact and Prioritizing the Right Things
taoem.com·5d·
Discuss: Hacker News
📊Feed Optimization
Tuning Block Size for Workload Optimization in Consortium Blockchain Networks
arxiv.org·5d
🤝Distributed Consensus
A look at the ongoing impact of Google.org’s projects in Latin America
blog.google·1d
🌍Cultural Computing
Nimalyzer – Static code analyzer for Nim
github.com·1d·
Discuss: Hacker News
📊Static Analysis
Burger King hacked, systems described as 'solid as a paper Whopper wrapper in the rain’ – hackers 'impressed by the commitment to terrible security practices,' ...
tomshardware.com·2d·
Discuss: Hacker News, r/technews
🔓Hacking
How Long Does It Take to Set Up a Google Voice Bank Account? {@Smmbundle}
dev.to·2d·
Discuss: DEV
🔊Acoustic Forensics
Kentik Traffic Costs: Real-Time Network Cost Intelligence
kentik.com·6d·
Discuss: Hacker News
📡Network Monitoring
Neuron V2 Released – AI Agentic Workflows in PHP
github.com·5d·
Discuss: Hacker News, r/programming, r/webdev
🔄Language Evolution
Tiny chip can sort and count nanoplastics for better pollution monitoring
phys.org·23h
💿Optical Forensics
BridgeBio Pharma, Inc. (BBIO) Presents At Morgan Stanley 23rd Annual Global Healthcare Conference (Transcript)
seekingalpha.com·19h
🖥️Modern Terminals
Formula One Group (FWONK) Presents At Goldman Sachs Communacopia & Technology Conference (Transcript)
seekingalpha.com·19h
⏱️SMPTE Timecode
US tech companies enabled the surveillance and detention of hundreds of thousands in China
the-independent.com·13h
🇨🇳Chinese Computing
Heterogeneous Processor-Aware Dynamic Graph Pruning for Real-Time SLAM on Autonomous Robots
dev.to·6d·
Discuss: DEV
🖥️Hardware Architecture
Major Drilling Group International Inc. (MDI:CA) Q1 2026 Earnings Call Transcript
seekingalpha.com·3h
🔤EBCDIC Mining