Home /
Monthly Highlights
781.
λProlog: Logic programming in higher-order logic (lix.polytechnique.fr)
166 points by ux266478 3 weeks ago | 37 comments
782.
The Isolation Trap: Erlang (causality.blog)
165 points by enz 4 days ago | 69 comments
783.
Raspberry Pi Pico 2 at 873.5MHz with 3.05V Core Abuse (learn.pimoroni.com)
165 points by Lwrless 3 weeks ago | 57 comments
784.
Electric motor scaling laws and inertia in robot actuators (robot-daycare.com)
165 points by o4c 4 days ago | 34 comments
785.
Paul Brainerd, founder of Aldus PageMaker, has died (blog.adafruit.com)
165 points by fortran77 1 week ago | 30 comments
786.
Nmap in the movies (2008) (nmap.org)
165 points by homebrewer 2 days ago | 20 comments
787.
The window chrome of our discontent (pxlnv.com)
164 points by zdw 1 week ago | 110 comments
788.
Cannabinoids remove plaque-forming Alzheimer's proteins from brain cells (2016) (salk.edu)
164 points by anjel 1 day ago | 109 comments
789.
Emulated Windows 3.11 in the Browser (pieter.com)
164 points by jalev 3 weeks ago | 83 comments
790.
MyFirst Kids Watch Hacked. Access to Camera and Microphone (kth.se)
164 points by jidoka 1 week ago | 38 comments
791.
The Misuses of the University (publicbooks.org)
163 points by ubasu 2 weeks ago | 148 comments
792.
F-Droid Board of Directors nominations 2026 (f-droid.org)
163 points by edent 2 weeks ago | 137 comments
793.
Index, Count, Offset, Size (tigerbeetle.com)
163 points by ingve 3 weeks ago | 78 comments
794.
Overall, the colorectal cancer story is encouraging (hankgreen.com)
162 points by ZeroGravitas 3 weeks ago | 152 comments
795.
It took four years until 2011’s iOS 5 gave everyone an emoji keyboard (unsung.aresluna.org)
162 points by tobr 1 week ago | 89 comments
796.
Show HN: The Mog Programming Language (moglang.org)
162 points by belisarius222 1 week ago | 81 comments
797.
You need to rewrite your CLI for AI agents (justin.poehnelt.com)
162 points by justinwp 1 week ago | 64 comments
798.
Life as an OnlyFans 'chatter' (bbc.com)
161 points by 1659447091 5 days ago | 260 comments
799.
Training students to prove they're not robots is pushing them to use more AI (techdirt.com)
161 points by PretzelFisch 1 week ago | 175 comments
800.
Long overlooked as crucial to life, fungi start to get their due (e360.yale.edu)
161 points by speckx 4 days ago | 50 comments
801.
Hollywood Enters Oscars Weekend in Existential Crisis (theculturenewspaper.com)
160 points by RickJWagner 1 day ago | 528 comments
802.
Launching the Claude Partner Network (anthropic.com)
160 points by gmays 2 days ago | 102 comments
803.
Show HN: µJS, a 5KB alternative to Htmx and Turbo with zero dependencies (mujs.org)
160 points by amaury_bouchard 1 week ago | 88 comments
804.
The Perils of ISBN (rygoldstein.com)
160 points by evakhoury 3 weeks ago | 83 comments
805.
Show HN: OneCLI – Vault for AI Agents in Rust (github.com)
160 points by guyb3 4 days ago | 50 comments
806.
"Cancel ChatGPT" movement goes mainstream after OpenAI closes deal with U.S. Dow (windowscentral.com)
160 points by AndrewKemendo 2 weeks ago | 48 comments
807.
Uncovering insiders and alpha on Polymarket with AI (twitter.com)
159 points by somerandomness 3 weeks ago | 167 comments
808.
Why does C have the best file API (maurycyz.com)
159 points by maurycyz 2 weeks ago | 159 comments
809.
I Don't Like Magic (adactio.com)
159 points by edent 3 weeks ago | 124 comments
810.
Show HN: Klaus – OpenClaw on a VM, batteries included (klausai.com)
159 points by robthompson2018 5 days ago | 93 comments