Functorio: Build Factorio factories in the Lean 4 (github.com)

1 points by adamnemecek 26s ago 0 comments

The choices facing Britain's next MI6 chief (economist.com)

1 points by bookofjoe 50s ago 1 comments

Naming Wombie (sahar.io)

1 points by indigodaddy 1m ago 0 comments

Google to make sideloading Android apps safer by verifying developer identity (androidauthority.com)

1 points by jmsflknr 1m ago 0 comments

US gov websites are getting "America by Design" redesign headed by DOGE insider (theregister.com)

1 points by rntn 2m ago 0 comments

Nvidia Jetson Thor Unlocks Real-Time Reasoning for Robotics and Physical AI (blogs.nvidia.com)

2 points by kjhughes 5m ago 0 comments

PDF Hell: Why Is Extracting Data Still a Nightmare? (2024) (unstract.com)

1 points by naren87 5m ago 0 comments

Is Today's Self-Help Teaching Everyone to Be a Jerk? (nytimes.com)

1 points by mikhael 5m ago 0 comments

Trump signs order aimed at ending cashless bail, flag burning (washingtonpost.com)

1 points by hypeatei 5m ago 1 comments

3D Content Creation for Everyone (cr8-xyz.online)

1 points by thamsanqaDream 6m ago 1 comments

FTC warns tech giants not to bow to foreign pressure on encryption (bleepingcomputer.com)

2 points by guerrilla 7m ago 0 comments

How to Ask Questions the Smart Way (catb.org)

1 points by pykello 8m ago 0 comments

Nvidia announces 4-bit training with NVFP4 (developer.nvidia.com)

1 points by opcode84 9m ago 1 comments

How to Argue with an AI Booster (wheresyoured.at)

2 points by spking 12m ago 0 comments

Bacteria-based search for drugs against flu yields a potent channel blocker (pnas.org)

1 points by PaulHoule 12m ago 0 comments

Ditch MCP's Middlemen with UTCP (nextgenprodman.substack.com)

3 points by juanviera23 15m ago 0 comments

Computing Technology I Use (verber.com)

2 points by boolean 16m ago 0 comments

Show HN: stagewise (YC S25) – the frontend coding agent for real codebases (stagewise.io)

3 points by glenntws 17m ago 0 comments

SimpleX – the first messaging network operating without user identifiers (github.com)

3 points by pykello 17m ago 0 comments

The MiniPC Revolution (jadarma.github.io)

8 points by ingve 18m ago 0 comments

Show HN: We are Ubik – A new AI workspace for turning ideas into citations (app.ubik.studio)

1 points by ieuanking 20m ago 0 comments

Show HN: Start+Up is an album made by Claude Code using Suno (cen.so)

2 points by ajmalasver 21m ago 0 comments

Show HN: InferMesh – Open-source, GPU-aware inference mesh for large AI serving (github.com)

2 points by tommihip 21m ago 0 comments

'Positive Obsession' Is a Fresh Look at Octavia E. Butler (nytimes.com)

1 points by mitchbob 23m ago 1 comments

Show HN: SecretMemoryLocker – File Encryption Without Static Passwords

1 points by YuriiDev 24m ago 0 comments

Show HN: RefForge – A WIP modern, lightweight reading list/reference manager (github.com)

3 points by amanasci 24m ago 0 comments

Trilium: Build your personal knowledge base with Trilium Notes (github.com)

3 points by thunderbong 25m ago 0 comments

As Measles Exploded Officials in Texas Looked to CDC Scientists. No One Answered (kffhealthnews.org)

3 points by tzs 26m ago 1 comments

Use assertions for possibly null values (programming.protips.wiki)

2 points by markl42 26m ago 0 comments

Scientists turn spin loss into energy, unlocking ultra-low-power AI chips (sciencedaily.com)

2 points by LAsteNERD 27m ago 0 comments

Direct download fix for payment processor modal overlay (github.com)

2 points by colkr 28m ago 1 comments

TypeScript: Enable Strict Mode by Default (github.com)

3 points by mariuz 29m ago 0 comments

Humans ask, computers propose, humans decide (jakemccrary.com)

2 points by indigodaddy 29m ago 0 comments

Learning from Jack Dorseys's approach to AI-assisted development (engineering.block.xyz)

2 points by amrrs 29m ago 1 comments

Tell HN: Stack Overflow has become unwelcoming

2 points by busymom0 30m ago 0 comments

AlphaAgents: LLM Based Multi-Agents for Equity Portfolio Constructions (arxiv.org)

1 points by rbanffy 32m ago 0 comments

Building LLM Agents for Hacking (theori.io)

1 points by tylerni7 34m ago 0 comments

SEOTip – Your SEO on Automatic (seotip.site)

1 points by menensito 36m ago 1 comments

Show HN: 'Message Me Now' QR Codes (qr.clv.ws)

1 points by jacobn 38m ago 0 comments

Jepsen‑style chaos CI before clustering (github.com)

2 points by boulevard 39m ago 1 comments

AetherCode: Evaluating LLMs' Ability to Win in Premier Programming Competitions (arxiv.org)

2 points by pella 40m ago 1 comments

Technical Deep Dive: Isovalent Load Balancer (isovalent.com)

1 points by tanelpoder 41m ago 0 comments

Show HN: Knowdeck,an Advanced Visualisation Tool

1 points by maskeen 42m ago 0 comments

The All-Female Hacker House Trying to Break AI's Glass Ceiling (nytimes.com)

2 points by runjake 43m ago 1 comments

Sharing Is Scaring: Why Is Cloud File-Sharing Hard? (blog.brownplt.org)

1 points by todsacerdoti 43m ago 0 comments

Genetic modification transmits the behavior of one species of fly to another (english.elpais.com)

2 points by PaulHoule 44m ago 0 comments

Nvidia's new 'robot brain' goes on sale for $3,499 (cnbc.com)

22 points by tiahura 44m ago 14 comments

The dark web's main browser helps pedophile networks flourish, experts say (theguardian.com)

2 points by Hard_Space 46m ago 0 comments

TrustNet isn't just secure–it's emotionally intelligent (indiehackers.com)

1 points by imwithsyed 46m ago 0 comments

K.no.b.1 – A Low Profile Mechanical Keyboard (knob.design)

2 points by neom 46m ago 2 comments

Global inequality is huge – but so is the opportunity to support the poor

1 alphabetatango 0 8/25/2025, 2:21:05 PM ourworldindata.org ↗

Comments (0)

No comments yet