Europe’s future depends on confrontation, not compromise
politico.com·21h
🇸🇪Swedish Cryptanalysis
News for July 2025
ptreview.sublinear.info·2d
🎯Performance Proofs
img2blocks
scruss.com·3d
🔠Terminal Fonts
Footnotes, Gödel exercises, Purcell
logicmatters.net·3d
👑Isabelle
Linkage from Montreal
11011110.github.io·3d
🎨Graph Coloring
Why I don't allow AI-generated content on my blog
seangoedecke.com·2d
⚡Proof Automation
AI Tools Gave False Information About Tsunami Advisories
slashdot.org·1d
🧠Intelligence Compression
Keep calm and carry on
boston.conman.org·2d·
Discuss: Lobsters, Hacker News
🖋Typography
Lawyers fought to reclaim stolen wages. Then they took millions in fees
abc.net.au·5h
⚡HTMX
GitHub - stelcodes/multiterm-astro: A coder-ready Astro blog theme with 60 of
github.com·3d
🌀Brotli Internals
Limits and Strengths of LLMs in Engineering
blog.kierangill.xyz·13h·
Discuss: Hacker News
⚙️Proof Engineering
[D] What’s the realistic future of Spiking Neural Networks (SNNs)? Curious to hear your thoughts
reddit.com·12h·
Discuss: r/MachineLearning
🧠Learned Codecs
Title: The Mind-Bending Reality of the Self: How Our Brain Creates Our Identity
dev.to·1d·
Discuss: DEV
🏛Digital humanities
Caleb Azumah Nelson: ‘Virginia Woolf’s London is the London I know’
theguardian.com·15h
🏛Digital humanities
Non-Terrestrial Network Models Using Stochastic Geometry: Planar or Spherical?
arxiv.org·1h
🕸️Network Topology
QWIKTHREADS FOR REDIS WINNING HACKATHON
dev.to·1d·
Discuss: DEV
⚡Redis Internals
Argumentatively Coherent Judgmental Forecasting
arxiv.org·3d
📊Feed Optimization
Uncovering the Fragility of Trustworthy LLMs through Chinese Textual Ambiguity
arxiv.org·3d
🔍Z3 Parsing
Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
arxiv.org·3d
✨Algebraic Effects
Code pollution
dev.to·23h·
Discuss: DEV
📏Code Metrics