Hardest Question From Chinaโ€™s University Entrance Exam
mindyourdecisions.comยท2d
๐ŸงฎSMT Solvers
Random NihAV news
codecs.multimedia.cxยท22h
๐ŸŽž๏ธMKV Internals
Meta: Slow Blogging Ahead
blog.dshr.orgยท1dยท
Discuss: www.blogger.com
๐Ÿ“œTEI Encoding
Writing experience: My decade with Org
lmno.lolยท15h
๐Ÿฆ‹Format Metamorphosis
InfoSec News Nuggets 7/23/2025
aboutdfir.comยท2d
๐Ÿ”“Hacking
Playing Leaptiger: Estonian Innovations in Education
deepbaltic.comยท1dยท
Discuss: Hacker News
๐Ÿ‡ซ๐Ÿ‡ฎFinnish Computing
UK starts porn age verification. How do the internet age checks work and will usersโ€™ data be safe?
euronews.comยท15h
๐ŸŒWARC Forensics
Google DeepMind Formal Conjectures
google-deepmind.github.ioยท4dยท
Discuss: Hacker News
๐Ÿ•ธ๏ธAlgebraic Topology
Use Your Type System
dzombak.comยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
AI-powered microscope predicts and tracks protein aggregation linked to brain diseases
phys.orgยท1d
๐ŸงฒMagnetic Resonance
Why BI in the AI Age
towardsdatascience.comยท1d
๐Ÿง Intelligence Compression
AI is an over-confident pal that doesn't learn from mistakes
theregister.comยท23hยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
Application of Whisper in Clinical Practice: the Post-Stroke Speech Assessment during a Naming Task
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
Social media uptake of scientific journals: A comparison between X and WeChat
arxiv.orgยท1d
๐Ÿ“ŠCitation Graphs
Show HN: Go-respec โ€“ Generate OpenAPI specs from Go code, no annotations needed
github.comยท19hยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
From Flat to Round: Redefining Brain Decoding with Surface-Based fMRI and Cortex Structure
arxiv.orgยท2d
๐Ÿ’ŽInformation Crystallography
Beyond Binary Rewards: Training LMs to Reason About Their Uncertainty
arxiv.orgยท2d
๐Ÿง Intelligence Compression
Advanced PDF Optimization Techniques - 1753260
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Text Compression
Designing for Learning with Generative AI is a Wicked Problem: An Illustrative Longitudinal Qualitative Case Series
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata