Google Play Store Bans Wallets That Don't Have Banking License
therage.co·1d·
Discuss: Hacker News
✅formal methods
The First Federal Cybersecurity Disaster of Trump 2.0 Has Arrived
wired.com·1d·
Discuss: Hacker News
⚙️systems programming
What are the real numbers, really? (2024)
infinitelymore.xyz·22h·
Discuss: Hacker News
✅formal methods
I built ad-hoc analytics service with Reveal
vlaaad.github.io·3d·
Discuss: Hacker News
🔄compilers
Independent journalist Molly White knows how to follow the memecoin
niemanlab.org·22h·
Discuss: Hacker News
🌐network programming
Why Remediation Is the Hardest Problem in NHI Security
token.security·1d·
Discuss: Hacker News
✅formal methods
A Deep Dive into AI Inference Platforms – Part 1
procurefyi.substack.com·2d·
Discuss: Substack
⚙️systems programming
Radicle 1.3.0
radicle.xyz·3d·
Discuss: Lobsters, Hacker News
🔄compilers
ManagedCode.Communication – a complete Result Pattern project for .NET
github.com·2d·
Discuss: Hacker News
⚙️systems programming
Create a digital twin that joins meetings for you
joinly.ai·20h·
Discuss: Hacker News
✅formal methods
Nexus: An Open-Source AI Router for Governance, Control and Observability
nexusrouter.com·3d·
Discuss: Lobsters, Hacker News, r/LLM
⚙️systems programming
60% faster substring search with SIMD in Zig
aarol.dev·5d·
Discuss: Lobsters, Hacker News, r/Zig, r/programming
⚡query optimization
Dodgy Huawei chips nearly sunk DeepSeek's next-gen R2 model
theregister.com·20h·
Discuss: Hacker News
⚙️systems programming
How Well Do Coding Agents Use Your Library?
stackbench.ai·2d·
Discuss: Hacker News
⚙️systems programming
Designing the Built-in AI Web APIs
domenic.me·2d·
Discuss: Hacker News
⚙️systems programming
How the Internet Died
whatwelost.substack.com·19h·
Discuss: Substack
✅formal methods
OpenAI brings back GPT-4o after user revolt
arstechnica.com·2d·
Discuss: Hacker News, r/technews
🔄compilers
Programming languages and dimensions of units of measure
cl.cam.ac.uk·4d·
Discuss: Hacker News
✅formal methods
The Making of Gemini Plays Pokémon
blog.jcz.dev·21h·
Discuss: Hacker News
⚙️systems programming
Foundation models are going multimodal
twelvelabs.io·4d·
Discuss: Hacker News
🐫ocaml