๐Ÿ“Š Static Analysis

Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

The Curious Case of the โ€œๆžโ€ Token Bug in DeepSeek V3.1
pixelstech.netยท2d
โœ…Format Verification
Light-based AI image generator uses almost no power
newscientist.comยท1dยท
Discuss: Hacker News
๐ŸŒˆHolographic Archives
The Curious Case of Flunking My Anthropic Interview (Again)
taylor.townยท2dยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
You need a kitchen slide rule
entropicthoughts.comยท2dยท
Discuss: Hacker News
๐ŸงฎAlgorithmic Cooking
Security Flaws in the WebMonetization Site
shkspr.mobiยท2dยท
Discuss: Hacker News, shkspr.mobi
๐Ÿ“กFeed Security
Writing Speed-of-Light Flash Attention for 5090 in CUDA C++
gau-nernst.github.ioยท5dยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธTerminal Renaissance
Grammatical errors make prompt injections more likely
heise.deยท1d
โšกProof Automation
Two Citrix bugs, Git repo flaw added to exploited vulnerabilities list
scworld.comยท1dยท
Discuss: Hacker News
๐Ÿ”“Hacking
Affective Polarization across European Parliaments
arxiv.orgยท2d
๐Ÿ“ฅFeed Aggregation
Salesloft breached to steal OAuth tokens for Salesforce data-theft attacks
techradar.comยท1d
๐ŸŽซKerberos Attacks
When the Creator Becomes the Target: A Human Tale in the Age of AI
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Proxmox Cluster Mini Rack
i.redd.itยท2dยท
Discuss: r/homelab
๐Ÿ Homelab Clusters
Optimizing Hydrogen Production via Dynamic Membrane Reactor Control with Bayesian Optimization
dev.toยท22hยท
Discuss: DEV
๐ŸŒ€Differential Geometry
Urn Modeling of Random Graphs Across Granularity Scales: A Framework for Origin-Destination Human Mobility Networks
arxiv.orgยท2d
๐Ÿ“กBGP Archaeology
Dac-Fake: A Divide and Conquer Framework for Detecting Fake News on Social Media
arxiv.orgยท4d
๐Ÿ”BitFunnel
Generative Foundation Model for Structured and Unstructured Electronic Health Records
arxiv.orgยท4d
๐Ÿท๏ธMetadata Standards
CyPortQA: Benchmarking Multimodal Large Language Models for Cyclone Preparedness in Port Operation
arxiv.orgยท4d
๐ŸงฎKolmogorov Complexity
DiCache: Let Diffusion Model Determine Its Own Cache
arxiv.orgยท3d
๐Ÿง Machine Learning
Do Multimodal LLMs See Sentiment?
arxiv.orgยท3d
๐Ÿค–Advanced OCR
Multi-Agent Visual-Language Reasoning for Comprehensive Highway Scene Understanding
arxiv.orgยท3d
๐ŸŽ™๏ธWhisper