λProlog: Logic programming in higher-order logic
2026-02-20 hackernews Hacker News
Diode – Build, program, and simulate hardware
2026-02-20 hackernews Hacker News
Turn Dependabot Off
2026-02-20 hackernews Hacker News
I found a Vulnerability. They found a Lawyer
2026-02-20 hackernews Hacker News
Wikipedia deprecates Archive.today, starts removing archive links
2026-02-20 hackernews Hacker News
Facebook is cooked
2026-02-20 hackernews Hacker News
Keep Android Open
2026-02-20 hackernews Hacker News
Lil' Fun Langs
2026-02-20 hackernews Hacker News
Trump's global tariffs struck down by US Supreme Court
2026-02-20 hackernews Hacker News
I found a useful Git one liner buried in leaked CIA developer docs
2026-02-20 hackernews Hacker News
Show HN: A native macOS client for Hacker News, built with SwiftUI
2026-02-20 hackernews Hacker News
Ggml.ai joins Hugging Face to ensure the long-term progress of Local AI
2026-02-20 hackernews Hacker News
How to Stop Being Boring
2026-02-20 hackernews Hacker News
The path to ubiquitous AI (17k tokens/sec)
2026-02-20 hackernews Hacker News
I tried building my startup entirely on European infrastructure
2026-02-20 hackernews Hacker News
Reading the undocumented MEMS accelerometer on Apple Silicon MacBooks via iokit
2026-02-20 hackernews Hacker News
Mystery donor gives Japanese city $3.6M in gold bars to fix water system
2026-02-20 hackernews Hacker News
Consistency diffusion language models: Up to 14x faster, no quality loss
2026-02-20 hackernews Hacker News
An ARM Homelab Server, or a Minisforum MS-R1 Review
2026-02-20 hackernews Hacker News
MuMu Player (NetEase) silently runs 17 reconnaissance commands every 30 minutes
2026-02-20 hackernews Hacker News
Show HN: Ghostty-based terminal with vertical tabs and notifications
2026-02-19 hackernews Hacker News
Micropayments as a reality check for news sites
2026-02-19 hackernews Hacker News
0 A.D. Release 28: Boiorix
2026-02-19 hackernews Hacker News
Justifying Text-Wrap: Pretty
2026-02-19 hackernews Hacker News
A terminal weather app with ASCII animations driven by real-time weather data
2026-02-19 hackernews Hacker News
Sub-$200 Lidar could reshuffle auto sensor economics
2026-02-19 hackernews Hacker News
Gemini 3.1 Pro
2026-02-19 hackernews Hacker News
Show HN: Micasa – track your house from the terminal
2026-02-19 hackernews Hacker News
Gemini 3.1 Pro
2026-02-19 hackernews Hacker News
America vs. Singapore: You can't save your way out of economic shocks
2026-02-19 hackernews Hacker News