Pictures of Models folded by Shuzo Fujimoto from Roberto Morassi’s Collection
origami.kosmulski.org·1d
📖Nordic Typography
Weaponizing AI Assistants: With Their Permission
cryptologie.net·2d
⚡Proof Automation
InfoSec News Nuggets 7/22/2025
aboutdfir.com·2h
🔓Hacking
Joy & Curiosity #46
registerspill.thorstenball.com·2d
🖥️Terminal Renaissance
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·5d·
Discuss: Hacker News
✨Algebraic Effects
GHC will start maintaining an LTS release/branch in the near future
blog.haskell.org·3d·
Discuss: Hacker News
🔒Linear Types
Recursive Functions To Piss Off Your CS Professor
inventwithpython.com·3d·
Discuss: Hacker News, r/programming
🔗Lisp
Show HN: The Influencer AI – consistent AI "models" for photos and talking video
theinfluencer.ai·3h·
Discuss: Hacker News
⚖️Feed Ranking
Agentic AI Identity Management Approach
cloudsecurityalliance.org·18h·
Discuss: Hacker News
🔐Capability Systems
The risk we chose: when compromise becomes the default
techradar.com·1d
🎯Threat Hunting
Critical SharePoint Zero-Day (CVE-2025-53770) Under Active Exploitation
cisa.gov·1d·
Discuss: Hacker News
💣ZIP Vulnerabilities
Breaking to Build: Fuzzing the Kotlin Compiler
blog.jetbrains.com·5d·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·4d·
Discuss: Hacker News, Hacker News, Hacker News
🧮SMT Solvers
Navigating AI Dementia: Strategies for Safe Rollback
news.ycombinator.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Show HN: An Intuitive Go Library for Handling Complex Permission/RBAC
github.com·2d·
Discuss: Hacker News, r/golang
🔐Capability Systems
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·6d·
Discuss: DEV
🌀Brotli Internals
Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad
deepmind.google·22h·
Discuss: Lobsters, Hacker News
🧮SMT Solvers
Deep Micro Solvers for Rough-Wall Stokes Flow in a Heterogeneous Multiscale Method
arxiv.org·1d
🌀Riemannian Computing
B4Ugo: Building with Bolt - WLH Challenge
dev.to·42m·
Discuss: DEV
🔄Reproducible Builds
Kyruus builds a generative AI provider matching solution on AWS
aws.amazon.com·21h
🌀Brotli Internals