Favourites of July 2025
brainbaking.com·6h
🕸️Knowledge Graphs
What Is Mining?
cryptowatchnews.com·1d·
Discuss: Hacker News
🔗Hash Chains
I guess I'm an insurance salesman now
nicolasbouliane.com·1h·
Discuss: Hacker News
🎯Gradual Typing
Many prediction markets would be better off as batched auctions
lesswrong.com·2d·
Discuss: Hacker News
🔍BitFunnel
Product-Market Fit: When Startups Become Scale-Ups
senkorasic.com·5h·
Discuss: Hacker News
🦋Format Metamorphosis
Introduction to Unikernel: Building, Deploying Lightweight, Secure Applications
tallysolutions.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
📦Container Security
The cofounder of Wiz, Google's $32 billion acquisition target, says vibe coding must be met with 'vibe security'
businessinsider.com·4h
🎯Threat Hunting
Scientists design superdiamonds with theoretically predicted hexagonal crystal structure
phys.org·25m
💎Information Crystallography
Show HN: We built an internal MCP to improve Plaid engineering's productivity
plaid.com·4d·
Discuss: Hacker News
🔌Interface Evolution
Master TensorFlow Distributed Training: MirroredStrategy, TPUStrategy, and More
hackernoon.com·3d
⚙️Batch Processing
Pied Piper a AI Dorker v3.0 - Advanced OSINT Tool for AI Service Security Research
dev.to·2d·
Discuss: DEV
🏺Kerberos Archaeology
Opacity as Authority: Arbitrariness and the Preclusion of Contestation
arxiv.org·3d
🏛Digital humanities
Comparing Normalizing Flows with Kernel Density Estimation in Estimating Risk of Automated Driving Systems
arxiv.org·4d
🧠Machine Learning
DragonFly DRM Updated to Linux Version 4.20.17
discoverbsd.com·3d
🔌Operating system internals
Dyad: A Local-First AI App Builder That Puts You in Control
dev.to·22h·
Discuss: DEV
🌐WASI
A Scalable Pipeline for Estimating Verb Frame Frequencies Using Large Language Models
arxiv.org·4d
🔗Monadic Parsing
FNDB: A Well-Rounded Value ETF
seekingalpha.com·7h
🔍BitFunnel
Blaugust 2025: Goals
nkantar.com·13h
⚖️Constraint Logic
The Prompt-Intent Gap: Why We're All Bad at Talking to AI
news.ycombinator.com·23h·
Discuss: Hacker News
⚡Proof Automation
Parsec — Terminal-Based File Summarizer TUI in Go with Multi-language Support
reddit.com·3d·
Discuss: r/golang
🧠Lisp Dialects