Show HN: Building an AI-native mini-OS for developers (vibemind.space)

1 points by stephbeaugoss 25s ago 0 comments

Ardent: Python package for fast dynamical detection limits w. radial velocities (arxiv.org)

1 points by BruceEel 27s ago 0 comments

ChickadeeOS, a teaching operating system for Harvard's CS 161 (github.com)

1 points by ekzhang 1m ago 0 comments

Rediscovery (m15y.com)

1 points by marissamary 1m ago 0 comments

Configuration files are user interfaces (ochagavia.nl)

3 points by todsacerdoti 3m ago 0 comments

Show HN: Quarkkit, Django SaaS boilerplate optimized for AI coding (quarkkit.com)

1 points by jancek 4m ago 0 comments

GWSC Three Factor Authentication RFC (Draft-GWC-27001-3A) (gwsc-3fa.org)

1 points by gjsman-1000 4m ago 0 comments

Why do some gamers invert their controls? (theguardian.com)

1 points by bookofjoe 6m ago 0 comments

What I learned building a programming language with LLM agents (eddmann.com)

1 points by edd_mann 6m ago 0 comments

Salt can turn frozen water into a weak power source (sciencenews.org)

1 points by gmays 6m ago 0 comments

Mark Zuckerberg's smart glasses demo goes wrong (telegraph.co.uk)

2 points by mot2ba 7m ago 0 comments

Building tenets: Intelligent context aggregation for AI pair programming (jddunn.github.io)

1 points by johnnyfived 7m ago 0 comments

Satya Nadella is haunted at the prospect of Microsoft not surviving the AI era (theverge.com)

2 points by jbernardo95 8m ago 0 comments

Help Us Raise $200k to Free the JavaScript from Oracle (deno.com)

1 points by mikece 9m ago 1 comments

Show HN: Playing Doom Using a Phone Call (github.com)

1 points by Jitendra2333 10m ago 0 comments

Updates to the pf packet filter in FreeBSD and pfSense software (netgate.com)

2 points by currysausage 10m ago 0 comments

Amazon violated online shopper protection law: judge ahead of Prime signup trial (reuters.com)

2 points by giuliomagnifico 10m ago 0 comments

Show HN: dk, a Windows-friendly, Nix-like build system (github.com)

1 points by beckford 11m ago 0 comments

Fifty Years After History's Most Brutal Boxing Match (theatlantic.com)

2 points by petethomas 11m ago 0 comments

Systematic Analysis of Kernel Security Performance and Energy Costs (dl.acm.org)

1 points by tanelpoder 11m ago 0 comments

Solving Impossible Problems (aha.io)

2 points by FigurativeVoid 12m ago 0 comments

Reducing Stopped Time on Brevets (markallen.io)

1 points by dsego 12m ago 0 comments

How to Test MCP Servers (codely.com)

2 points by rgomezcasas 14m ago 0 comments

Coding as the epicenter of AI progress and the path to general agents (interconnects.ai)

2 points by Philpax 14m ago 0 comments

Two million seashells encompass the history of human ambition (english.elpais.com)

2 points by PaulHoule 15m ago 0 comments

Publicly-funded NGOs riding the coattails of a movement that no longer exists (peaked.substack.com)

1 points by flungen 16m ago 0 comments

Project Go-Big: Internet-Scale Humanoid Pretraining and Human-to-Robot Transfer (figure.ai)

1 points by bpierre 16m ago 0 comments

Scale to One (vercel.com)

2 points by cramforce 17m ago 0 comments

I haven't paid a parking meter in 5 years. My app helps you do the same (parkremark.com)

1 points by benlimner 17m ago 1 comments

Ticketmaster, Live Nation Sued by FTC over Ticket Resales (bloomberg.com)

1 points by corvad 18m ago 0 comments

Why your attention keeps slipping away (and how to get it back) (bigthink.com)

3 points by speckx 18m ago 0 comments

InsForge – An open source backend for AI coding agents (insforge.dev)

6 points by ddmdd 19m ago 1 comments

Show HN: One prompt generates an app with its own database (manyminiapps.com)

2 points by stopachka 21m ago 0 comments

Show HN: CLI for Managing Mentat Agents (mentat.ai)

1 points by ja3k 22m ago 0 comments

Can a Data Race Happen on a Single-Core Machine? (aoli.al)

2 points by aoli-al 22m ago 0 comments

OneDev – Self-hosted Git server with CI/CD, Kanban, and packages (onedev.io)

2 points by jcbhmr 22m ago 0 comments

A Fairly Hostile Subtext (win-vector.com)

1 points by jmount 23m ago 0 comments

FTC sues Ticketmaster, Live Nation, alleging 'illegal' ticket resale tactics (cnbc.com)

2 points by koolba 23m ago 0 comments

Water Vapor Could Cool Your Next iPhone (spectrum.ieee.org)

1 points by Brajeshwar 23m ago 0 comments

A Deaf Quarterback Changed Sports Forever by Inventing the Huddle (smithsonianmag.com)

2 points by Brajeshwar 23m ago 0 comments

Gaia's Got a Fever (nautil.us)

1 points by Brajeshwar 23m ago 0 comments

Outside In (youtube.com)

1 points by JimmyBuckets 26m ago 0 comments

Faster Argmin on Floats (algorithmiker.github.io)

1 points by return_to_monke 26m ago 0 comments

Show HN: Track Token Usage from Codex CLI with Splitrail (OSS, Rust) (github.com)

1 points by bl-ue 26m ago 0 comments

Java 25 LTS and IntelliJ Idea (blog.jetbrains.com)

2 points by sea-gold 26m ago 0 comments

Outsourcing critical IT and cybersecurity functions risks UK economic security (doublepulsar.com)

1 points by Mgtyalx 28m ago 0 comments

ABC Pulls Jimmy Kimmel Off Air After FCC Pressure (nytimes.com)

31 points by sega_sai 29m ago 2 comments

Ask HN: best way to resolve Cloudflare problem?

1 points by logicallee 30m ago 0 comments

UniFi UNAS 2 Review (nascompares.com)

1 points by ksec 30m ago 0 comments

OneUptime – Complete open-source monitoring and observability platform (oneuptime.com)

1 points by ndhandala 31m ago 0 comments

Using GPT-5 to prove new theorems on matrix multiplication

1 frozenseven 0 9/18/2025, 2:58:06 PM rybindmitry.github.io ↗

Comments (0)

No comments yet