HotOther
mt-3396s
Principia Mathematica is modern and insightful61 comments |okmij.org
maths-3396s |61 comments |okmij.org
ai-1296s
What is AI governance and how to operationalize it?2 comments |etherionconsulting.com
ai-1296s |2 comments |etherionconsulting.com
sw8m
CVE-2026-53361 AF_Unix GC vs. MSG_PEEK use-after-free container escape0 comments |github.com
software8m |0 comments |github.com
sw1h
Show HN: Ballet – Workflow automation that writes integrations against any API7 comments |ballet.dev
software1h |7 comments |ballet.dev
ai1h
World Model Architectures: A Survey (2018–2026)2 comments |github.com
ai1h |2 comments |github.com
sw1h
Introducing Unsloth Desktop1 comments |unsloth.ai
software1h |1 comments |unsloth.ai
sw1h
DLLM: Minimal, clean coding agent built directly on llama.cpp without overhead2 comments |github.com
software1h |2 comments |github.com
ai1h
Ask HN: Is AI code verification becoming your main bottleneck?2 comments |
ai1h |2 comments |
ai2h
Show HN: A marketplace where AI agents buy services from AI agents3 comments |aaas-marketplace-1089237826218.asia-northeast1.run.app
ai2h |3 comments |aaas-marketplace-1089237826218.asia-northeast1.run.app
sw2h
Show HN: Find stale, orphaned, deleted-but-retrievable RAG vectors0 comments |github.com
software2h |0 comments |github.com
pm2h
Build Wide, Ship Narrow19 comments |adapt.com
programming2h |19 comments |adapt.com
sw2h
Why are there so many new terminal multiplexers?1 comments |peterp.org
software2h |1 comments |peterp.org
sw3h
Walrus: An Efficient Decentralized Storage Network0 comments |arxiv.org
software3h |0 comments |arxiv.org
sw4h
Show HN: Programmable timer web app (for gym workouts or stretching sessions)9 comments |timer.jotaen.net
software4h |9 comments |timer.jotaen.net
pm5h
Show HN: TermDOM – HTML, CSS and JavaScript (With a Real DOM) for TUIs and CLIs0 comments |github.com
programming5h |0 comments |github.com
pm5h
Flutter 3.4765 comments |flutter.dev
programming5h |65 comments |flutter.dev
sw5h
I built a browser-native SysEx librarian for 80s/90s synthesizers8 comments |bipluk.com
software5h |8 comments |bipluk.com
pm6h
Why Target Common Lisp for Code Generation?67 comments |funcall.blogspot.com
programming6h |67 comments |funcall.blogspot.com
bs7h
Lovable raises $400M Series C125 comments |lovable.dev
business7h |125 comments |lovable.dev
bs9h
People who grew up with high economic connectedness earn more133 comments |julienreszka.com
business9h |133 comments |julienreszka.com
os11h
Flatpak 1.19 Released with Nine Security Fixes0 comments |phoronix.com
open source11h |0 comments |phoronix.com
sw11h
What good requirements look like (and how to write them)2 comments |projan.ai
software11h |2 comments |projan.ai
sw11h
Delta176 comments |zed.dev
software11h |176 comments |zed.dev
sw11h
ChatGPT Desktop App for Linux0 comments |twitter.com
software11h |0 comments |twitter.com
pm11h
ArenaAllocators don't play nicely with ArrayLists8 comments |openmymind.net
programming11h |8 comments |openmymind.net
sw11h
Automatic Key Verification0 comments |signal.org
software11h |0 comments |signal.org
hw12h
Pixel Watch 5255 comments |blog.google
hardware12h |255 comments |blog.google
ai12h
Qwen3.8-2.4T6 comments |huggingface.co
ai12h |6 comments |huggingface.co
pm13h
HTML over WebSockets: real-time SPAs with barely any JavaScript125 comments |en.andros.dev
programming13h |125 comments |en.andros.dev
pm13h
Turbo Pascal on CP/M, MSX-DOS and MS-DOS – Pascal for Small Machines4 comments |pascal.hansotten.com
programming13h |4 comments |pascal.hansotten.com
ai13h
Grok 4.6 scores 61 on the Artificial Analysis Intelligence Index296 comments |artificialanalysis.ai
ai13h |296 comments |artificialanalysis.ai
pm13h
Show HN: Smarter Shell History for Zsh5 comments |github.com
programming13h |5 comments |github.com
tn13h
Why tiny JPEGs look different in Chrome63 comments |guillaumetech.github.io
tech news13h |63 comments |guillaumetech.github.io
pm13h
DeepSeek-V4-Pro-0813 Publish9 comments |api-docs.deepseek.com
programming13h |9 comments |api-docs.deepseek.com
sw13h
DeepSeek V4 Pro 0813347 comments |openrouter.ai
software13h |347 comments |openrouter.ai
hw13h
Pixel 11 Pro Fold163 comments |blog.google
hardware13h |163 comments |blog.google
sw13h
Bb: The IDE that builds itself8 comments |getbb.app
software13h |8 comments |getbb.app
pm14h
Hax – a minimalist, terminal-native coding agent written in C32 comments |usehax.dev
programming14h |32 comments |usehax.dev
tn14h
German advocacy group lodges criminal complaint over Meta AI glasses45 comments |reuters.com
tech news14h |45 comments |reuters.com
tn14h
We tracked down the 16-year-old WAL-reset SQLite bug187 comments |tailscale.com
tech news14h |187 comments |tailscale.com
tn14h
Someone is running mass vulnerability scans, spoofing AI bots like ClaudeBot200 comments |knownagents.com
tech news14h |200 comments |knownagents.com
os14h
Gnome Shell Design Dreams – Gnome Shell and Mutter0 comments |blogs.gnome.org
open source14h |0 comments |blogs.gnome.org
ai14h
Grok 4.6398 comments |x.ai
ai14h |398 comments |x.ai
ai14h
Qwen3.8-2.4T135 comments |huggingface.co
ai14h |135 comments |huggingface.co
sy14h
License plate reader searches should require a warrant338 comments |andrewpwheeler.com
society14h |338 comments |andrewpwheeler.com
sc15h
5th Heat Dome Expands Across Europe: 40°C+ Target Western and Central Europe100 comments |severe-weather.eu
science15h |100 comments |severe-weather.eu
sw15h
Automatic1111 for Apple metal, 40% speed up sd1.521 comments |therad.ninja
software15h |21 comments |therad.ninja
tn15h
uBlock Origin Is Giving Up the Fight to Keep Ads Off Facebook544 comments |digitalescapetools.com
tech news15h |544 comments |digitalescapetools.com
tn15h
Only 2.6% of the most visited websites have fully valid HTML43 comments |validatehtml.com
tech news15h |43 comments |validatehtml.com
sc15h
2026 Eclipse Webcams129 comments |jonty.github.io
science15h |129 comments |jonty.github.io
sw16h
AI is removing the middle class of software engineering?754 comments |blog.florianherrengt.com
software16h |754 comments |blog.florianherrengt.com
tn16h
Facebook ads are so hard to block that uBlock Origin stopped filtering them2 comments |neowin.net
tech news16h |2 comments |neowin.net
tn16h
CFTC declares market emergency, orders Kalshi to continue to operate in New York175 comments |cftc.gov
tech news16h |175 comments |cftc.gov
ai16h
Grok Bot303 comments |x.ai
ai16h |303 comments |x.ai
pm16h
Mojo 1.0230 comments |modular.com
programming16h |230 comments |modular.com
mt16h
What sort of maths are LLMs good at?130 comments |gowers.wordpress.com
maths16h |130 comments |gowers.wordpress.com
sw16h
Crew, a multiplayer workspace for humans and AI agents to work together2 comments |github.com
software16h |2 comments |github.com
ai17h
I'm Done Using AI8 comments |brettcodes.com
ai17h |8 comments |brettcodes.com
os17h
Show HN: Woxi - Open-source Mathematica / Wolfram Language reimplementation40 comments |woxi.ad-si.com
open source17h |40 comments |woxi.ad-si.com
pm17h
Delphi 13 Community Edition Is Now Available129 comments |blogs.embarcadero.com
programming17h |129 comments |blogs.embarcadero.com
pm18h
How to Install Python3.14 from source on Ubuntu 26.044 comments |jamesoclaire.com
programming18h |4 comments |jamesoclaire.com
pm18h
I hate packaging my software for Linux100 comments |getfresh.dev
programming18h |100 comments |getfresh.dev
sy18h
U of Michigan drops first-semester grades to ‘curb mental health crisis’438 comments |wsj.com
society18h |438 comments |wsj.com
sy18h
Controversial creators are benefiting from monetization programs run by Meta257 comments |abc.net.au
society18h |257 comments |abc.net.au
bs19h
Ethical Cold Outreach74 comments |blog.val.town
business19h |74 comments |blog.val.town
sw19h
Show HN: MacPacker – open-source archive manager for macOS, now edits ZIPs3 comments |github.com
software19h |3 comments |github.com
sc19h
Beef and dairy drive 41% of biodiversity damage linked to global farmland159 comments |oxfordmartin.ox.ac.uk
science19h |159 comments |oxfordmartin.ox.ac.uk
tn20h
DARPA heavy lift challenge ends with winner at a 3.84:1 payload to weight ratio44 comments |dronexl.co
tech news20h |44 comments |dronexl.co
ai20h
Launch HN: Discovered Materials (YC P26) – AI agents to discover new materials28 comments |discoveredmaterials.com
ai20h |28 comments |discoveredmaterials.com
ot20h
LinkedIn CringeBot 3000193 comments |cringebot3000.com
other20h |193 comments |cringebot3000.com
pm20h
Programming the Gigatron1 comments |iwriteiam.nl
programming20h |1 comments |iwriteiam.nl
pm20h
Moving integer division to floating-point is trivial0 comments |marc-b-reynolds.github.io
programming20h |0 comments |marc-b-reynolds.github.io
ai22h
AI agent hacks gym to get its user a spot in pilates class31 comments |bbc.com
ai22h |31 comments |bbc.com
ot22h
WorldClaw Agentic 3D open-world generation at scale89 comments |tencent-hunyuan.github.io
other22h |89 comments |tencent-hunyuan.github.io
bs22h
Dropbox is an obvious PE Target?98 comments |s-1.vercel.app
business22h |98 comments |s-1.vercel.app
sw22h
Show HN: Tamron Lens Utility Alternative on Linux8 comments |github.com
software22h |8 comments |github.com
pm23h
A shell exclamation mark is not for yelling. Be lazy73 comments |refp.se
programming23h |73 comments |refp.se
ai1d
llama.cpp168 comments |llama.app
ai1d |168 comments |llama.app
tn1d
Gemini becomes Google's fastest-growing product ever as it hits 1B users39 comments |arstechnica.com
tech news1d |39 comments |arstechnica.com
pm1d
Show HN: Graph2agent; Mermaid diagrams, explained for agents0 comments |graph2agent.github.io
programming1d |0 comments |graph2agent.github.io
sy1d
New Bedford police officer accused of using Flock cameras to track ex-partner84 comments |newbedfordlight.org
society1d |84 comments |newbedfordlight.org
ai1d
The Human Is the Loop90 comments |brentfitzgerald.com
ai1d |90 comments |brentfitzgerald.com
sw1d
How to Keep Thinking0 comments |seangoedecke.com
software1d |0 comments |seangoedecke.com
sw1d
pg_clickhouse v0.10: Subquery pushdown and 1000x faster TPC-H queries7 comments |clickhouse.com
software1d |7 comments |clickhouse.com
ai1d
OpenAI and Anthropic hidden CoT leaks when given deep_think tool.5 comments |twitter.com
ai1d |5 comments |twitter.com
ai1d
Watermarking: The Enshittification of Closed Models Has Begun4 comments |coffee.link
ai1d |4 comments |coffee.link
pm1d
Retire the Abstractions62 comments |hazyresearch.stanford.edu
programming1d |62 comments |hazyresearch.stanford.edu
bs1d
US hires over 2k video gamers as air traffic controllers151 comments |cbsnews.com
business1d |151 comments |cbsnews.com
sw1d
Show HN: Line9 – A Mermaid rendering engine with its own layout31 comments |line9.ai
software1d |31 comments |line9.ai
ot1d
Confessions of a Long-Distance Sailor61 comments |arachnoid.com
other1d |61 comments |arachnoid.com
ai1d
Emergent Introspective Awareness in Large Language Models30 comments |arxiv.org
ai1d |30 comments |arxiv.org
ai1d
Suzanne: AI tool for designing and manufacturing physical products32 comments |suzanne3d.com
ai1d |32 comments |suzanne3d.com
ai1d
OpenAI launches ChatGPT desktop app for Linux22 comments |techcrunch.com
ai1d |22 comments |techcrunch.com
pm1d
CSS properties you should know for better text designs22 comments |master.dev
programming1d |22 comments |master.dev
sy1d
How we used to get jobs: A newspaper classifieds story130 comments |ironicsans.ghost.io
society1d |130 comments |ironicsans.ghost.io
bs1d
Manus will return to operating as an independent company88 comments |manus.im
business1d |88 comments |manus.im
os1d
Curl: Nobody Wants to Work with Windows6 comments |heise.de
open source1d |6 comments |heise.de
tn1d
Bluesky's active user base is shrinking as its focus expands beyond the app212 comments |techcrunch.com
tech news1d |212 comments |techcrunch.com
sw1d
FlyPath: QGIS plugin for planning drone mapping missions0 comments |github.com
software1d |0 comments |github.com
ai1d
Compression is prediction279 comments |ngrok.com
ai1d |279 comments |ngrok.com