Liveness Analysis with Datalog (bernsteinbear.com)

1 points by todsacerdoti 25s ago 0 comments

James Baldwin's Apotheosis (hudsonreview.com)

1 points by apollinaire 1m ago 0 comments

Show HN: MBCompass – FOSS Compass and Navigation App (compassmb.github.io)

1 points by nativeforks 2m ago 0 comments

Debian-based Linux Distro shuts down (neowin.net)

1 points by bundie 2m ago 0 comments

Am I (still?) in Mozilla's target audience? (neilzone.co.uk)

2 points by edent 9m ago 0 comments

Why Are Some Places Cracking Down So Hard on E-Bikes, and Is It About Fuel Tax? (rideapart.com)

2 points by harambae 15m ago 0 comments

IntelliJ IDE Command Completion (jetbrains.com)

1 points by saikatsg 16m ago 0 comments

Baby Shark did not plagiarise – South Korean top court (bbc.com)

1 points by defrost 24m ago 0 comments

A Social Network of Wisdom and Compassion (wisdomrivers.net)

1 points by Rune_Tree 24m ago 0 comments

Richest Americans Die Earlier Than the Poorest Europeans (vice.com)

2 points by LtWorf 25m ago 0 comments

Thunk (en.wikipedia.org)

1 points by aragonite 26m ago 0 comments

Voice Interaction for Robots Powered by Nvidia Small-Form-Factor GPU Board (forums.developer.nvidia.com)

1 points by seawolf2357 29m ago 0 comments

Convo-Lang: LLM Programming Language and Runtime (learn.convo-lang.ai)

10 points by handfuloflight 35m ago 2 comments

Show HN: GEDKeeper – Personal Genealogical Database (github.com)

1 points by forlorn 39m ago 0 comments

Darknet KYC Vendors and Fraud Tools – Q3 2025 Osint Dataset (reestrintelligence.gumroad.com)

1 points by reestr 40m ago 1 comments

Building a high-speed iPhone-to-PC photo backup tool (400 GB without iCloud) (albumsbackup.framer.website)

2 points by piaoying 40m ago 1 comments

LLM Hallucination Seems Like a Big Problem, Not a Mere Speedbump (freddiedeboer.substack.com)

1 points by wyclif 42m ago 0 comments

The Problem of Uncertain Significance (stetson.substack.com)

2 points by pluripote 43m ago 0 comments

Show HN: Coding Agent on Top of BigQuery (hunch.dev)

1 points by matankleym 43m ago 1 comments

Coffee Is Mostly Safe, Study Finds, but Some Contaminants Remain (cnn.com)

1 points by XzetaU8 44m ago 1 comments

Show HN: AI Voice Agent for Airbnb/Vrbo Hosts (app.bluestairs.ai)

1 points by edgware674 44m ago 0 comments

Eastern Caribbean Weather and Hurricane Tracker (dewedda.com)

3 points by ashitlerferad 47m ago 0 comments

How I Started Contributing to Tinygrad – My First 4 Merged PRs (ninoristeski.github.io)

4 points by inatreecrown2 51m ago 0 comments

State of torch.compile for training (August 2025) (blog.ezyang.com)

1 points by matt_d 59m ago 0 comments

Show HN: Mersenne - A Bluesky bot that lets you play Witness puzzles (bsky.app)

1 points by NormalExisting 1h ago 0 comments

Prompt Optimizer Tool (platform.openai.com)

2 points by pizza 1h ago 0 comments

Building a bigger qwen out of two qwen models (snwy.substack.com)

1 points by pieterk 1h ago 1 comments

Among the Blasphemers (nplusonemag.com)

1 points by lermontov 1h ago 0 comments

H-1B Worker Weighted Selection Rule Clears White House Review (news.bloomberglaw.com)

2 points by TMWNN 1h ago 0 comments

Soft-banned from LINE (boussejra.com)

2 points by malikolivier 1h ago 1 comments

AI Is Different (antirez.com)

2 points by jedixit 1h ago 2 comments

Show HN: Supercharge Your Product Visibility (startuplist.ing)

1 points by thevinodpatidar 1h ago 0 comments

Microsoft is still releasing paid security updates for Windows Server 2008 x86 (support.microsoft.com)

2 points by sugarpimpdorsey 1h ago 0 comments

Welcome to the World of Statecharts (statecharts.dev)

2 points by jedixit 1h ago 0 comments

GPT-5 Prompting Guide (cookbook.openai.com)

1 points by kiyanwang 1h ago 1 comments

QuitarFondo.art – Free AI-Powered Background Removal Tool (quitarfondo.art)

1 points by yszhu 1h ago 0 comments

Persuasion as a Form of Attack in LLMs (notion.so)

1 points by thinkevovle 1h ago 1 comments

Continuous Access Evaluation Protocol for Real-Time Access Control (guptadeepak.com)

1 points by guptadeepak 1h ago 1 comments

Jerome Powell and the Authoritarian Sirens of Odysseus (forkingpaths.co)

2 points by bryanrasmussen 1h ago 0 comments

I made a public toilet locator app (neartoilets.com)

2 points by kevin11111 1h ago 0 comments

Qwen3-4B-Thinking: "This is art–pelicans don't ride bikes " (simonwillison.net)

3 points by nnx 1h ago 0 comments

ESO Stops New Releases (github.com)

1 points by akhayam 1h ago 0 comments

Youths Buried in Anglo-Saxon Cemeteries Carried West African DNA (science.org)

5 points by Teever 1h ago 0 comments

Show HN: Generate random gradients like on OpenAI's website (gradients.venki.dev)

3 points by venkii 1h ago 3 comments

Show HN: I just built a tool to turn any photo into pixel art (phototopixel.art)

2 points by z946719919 2h ago 1 comments

Show HN: FallacyTag – Surfacing reasoning flaws through lightweight UI

1 points by CoherentDrift 2h ago 0 comments

Show HN: ImageSlim – Local Image Compression Tool for macOS (No Cloud Upload)

1 points by fangjunyu 2h ago 0 comments

Astral Launches Pyx: A Python-Native Package Registry (socket.dev)

2 points by feross 2h ago 1 comments

Ask HN: How to Learn to Solve Exercises?

1 points by shivajikobardan 2h ago 0 comments

On Surviving Burnout (eco-business.com)

1 points by ezekg 2h ago 1 comments

Astral Launches Pyx: A Python-Native Package Registry

2 feross 1 8/14/2025, 4:02:38 AM socket.dev ↗

Comments (1)

WantonQuantum · 2h ago

See also for discussion: https://news.ycombinator.com/item?id=44892209