Researchers mimic cell membranes to tune ion transport in artificial water filters
phys.org·7h
⚛️Information Physics
A pretty decent retry, and not a library
notes.billmill.org·2d
🌳Incremental Parsing
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·4d
🦀Rust Macros
How to find Microsoft SharePoint Server installations on your network
runzero.com·1d
🛡️eBPF Security
[P] Fine-Tuning YOLO to Watch Football (Soccer) Matches
poeticoding.com·1d
📊Learned Metrics
Introducing the Herb Linter, Formatter, and a Vision for the Future of Rails Views
marcoroth.dev·4d·
Discuss: Lobsters, r/programming
🌀Brotli Internals
Confidence in AI Results (CAIR)
blog.langchain.com·1d
📏Code Metrics
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·5d·
Discuss: Hacker News
🌊Stream Processing
Show HN: I made an extension for VSCode that integrates opencode
marketplace.visualstudio.com·2d·
Discuss: Hacker News
🪟Awesome windows command-line
The Tool for Shopee Multi-Site Operations
news.ycombinator.com·17h·
Discuss: Hacker News
🔄Sync Engine
I Used Arch, BTW: macOS, Day 1
yberreby.com·2d·
Discuss: Hacker News
🖥️Vintage Macintosh
Microsoft: Chinese Technicians looked after the US Department of Defense cloud
heise.de·9h
🛡Cybersecurity
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·4d·
Discuss: Hacker News
🤝Distributed Consensus
Quark’s Outlines: Python Integers
dev.to·20h·
Discuss: DEV
✅Format Verification
🚀 The Complete Guide to Prompt Engineering: From Zero-Shot to AI Agents
dev.to·1d·
Discuss: DEV
⚡Proof Automation
SoilSync
hackster.io·9h
⚙️Cassette Mechanics
🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Automatic Classification and Segmentation of Tunnel Cracks Based on Deep Learning and Visual Explanations
arxiv.org·23h
🌀Riemannian Computing
Introducing XMLUI
blog.jonudell.net·2d·
Discuss: Lobsters, Hacker News, Hacker News
🦋Format Metamorphosis
Microsoft Fix Targets Attacks on SharePoint Zero-Day
krebsonsecurity.com·12h·
Discuss: Hacker News
🔓Hacking