fat's Top FindsLoading...
Handbook of Satisfiability (2021)
iospress.com·4d·
Discuss: Hacker News
📐Formal Methods
Flag this post
Show HN: Farseer, rust rewrite of prophet with some extra goodies
ryanbieber.github.io·5d·
Discuss: Hacker News
📈Time Series
Flag this post
FreeBSD Officially Supported in OCI Runtime Specification v1.3
freebsdfoundation.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌐Distributed systems
Flag this post
Technocalvinism
blog.cosmos-institute.org·22h·
Discuss: Hacker News
Flag this post
GEN-0: SoTA 10B+ Foundation Model for Robotics with Harmonic Reasoning
generalistai.com·1d·
Discuss: Hacker News
Flag this post
Analysis of NGate malware campaign (NFC relay)
cert.pl·3d·
Discuss: Hacker News
🔐Security Patterns
Flag this post
How Should You Trade a Nuclear War? (2019)
thediff.co·1d·
Discuss: Hacker News
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Show HN: I'm open sourcing my Chrome extension that uses AI to modify websites
github.com·11h·
Discuss: Hacker News
Flag this post
Show HN: Code tours and feedback with your Agent in VSCode – local and cloudless
intraview.ai·19h·
Discuss: Hacker News
Flag this post
The Evolution from RAG to Agentic RAG to Agent Memory
leoniemonigatti.com·2d·
Discuss: Hacker News
🚀Query Engines
Flag this post
OneNote's Genesis (2004)
web.archive.org·1d·
Discuss: Hacker News
💻Programming languages
Flag this post
Think for Yourself
kevlinhenney.medium.com·1d·
Discuss: Hacker News
Flag this post
Atomically accurate de novo design of antibodies with RFdiffusion
nature.com·20h·
Discuss: Hacker News
Flag this post
CHERIoT 1.0 Released
cheriot.org·2d·
Discuss: Lobsters, Hacker News
💻Programming languages
Flag this post
Leo: Auto-Typing Tool for Teaching Coding
github.com·1d·
Discuss: Hacker News
💻Programming languages
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·2d·
Discuss: Hacker News
📮Message Queues
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·4d·
Discuss: Hacker News
💹Rust Finance
Flag this post
Inside MyPrize's Plan on Turning 1 Million Gamers Into Market Intelligence Forecasters
hackernoon.com·1d
📊Quant Trading
Flag this post
Why AI Can't Write Good Software
blog.jpillora.com·1d·
Discuss: Hacker News
💻Programming languages
Flag this post
Ghosts in the Codex Machine
docs.google.com·3d·
Discuss: Hacker News
🦆DuckDB
Flag this post