👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

Show HN: SamwiseOS – A web-based, AI-first OS with a Python kernel in Pyodide
samwiseos.neocities.org·1d·
Discuss: Hacker News
🚀Indie Hacking
Study of 281 MCP plugins: 72% expose high-privilege actions; 1 in 10 fully exploitable
pynt.io·1h·
Discuss: r/programming
🛡️CLI Security
SQL Injection in Cyber Security Prevention Guide
securityscorecard.com·13h
🗃️Database Forensics
Show HN: I built an app that turns random fridge items into real meals
apps.apple.com·1d·
Discuss: Hacker News
🧮Algorithmic Cooking
This Week in Security: The AI Hacker, FortMajeure, and Project Zero
hackaday.com·3d
🔓Hacking
Handling long-running LLM streams in a stateful backend
blog.leap.new·4d·
Discuss: Hacker News
🌊Streaming Systems
AI Is a Mass-Delusion Event
theatlantic.com·11h·
Discuss: Lobsters, Hacker News
🔲Cellular Automata
Specialist or Generalist?
hackernoon.com·11h
🎯Content Recommendation
external-secrets/external-secrets
github.com·4d
🦠Parasitic Storage
Show HN: Skilfut – 138 UI components to help devs build faster and prettier
news.ycombinator.com·1h·
Discuss: Hacker News
🌀Brotli Internals
My Year of Rust
xavd.id·5d·
Discuss: Hacker News
🦀Rust Macros
DoodlePi: a Raspberry Pi Pico Pixel Art Drawing Toy
hackster.io·3d
⚡Homebrew CPUs
New ESXi 8 motherboard
reddit.com·3h·
Discuss: r/homelab
🖥Home Lab Setup
Language models align with brain regions that represent concepts across modalities
arxiv.org·1d
🔢Denotational Semantics
How to set up Trello MCP server with Claude and Cursor for efficient task tracking🚀
dev.to·5d·
Discuss: DEV
🔄Sync Engine
AI Made This Modern Personal Portfolio Template
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Quantization vs Pruning: Insights from the Strong Lottery Ticket Hypothesis
arxiv.org·1d
📊Quantization
Bandit-Based Charging with Beamforming for Mobile Wireless-Powered IoT Systems
arxiv.org·4h
🕸️Mesh Networking
Efficient High-Resolution Visual Representation Learning with State Space Model for Human Pose Estimation
arxiv.org·1d
🌀Hyperbolic Geometry
How to Find Profitable AI Freelancing (Tips, Tools & Knowledge You Need in 2025)
dev.to·38m·
Discuss: DEV
🚀Indie Hacking