Hacker News

Latest

Americans overestimate how many social media users post harmful content

2025-12-16 @ 23:28:39Points: 25Comments: 47

Dafny: Verification-Aware Programming Language

2025-12-16 @ 22:50:59Points: 29Comments: 14

I Ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in 4.5h

2025-12-16 @ 22:48:56Points: 64Comments: 31

No AI* Here – A Response to Mozilla's Next Chapter

2025-12-16 @ 22:07:49Points: 98Comments: 47

MIT professor shot at his Massachusetts home dies

2025-12-16 @ 21:52:26Points: 184Comments: 81

Reverse-Engineering the RK3588 NPU: Hacking Limits to Run Vision Transformers

2025-12-16 @ 21:18:46Points: 26Comments: 6

Chat-tails: Throwback terminal chat, built on Tailscale

2025-12-16 @ 21:16:35Points: 49Comments: 11

AI will make formal verification go mainstream

2025-12-16 @ 21:14:49Points: 319Comments: 170

Ty: A fast Python type checker and LSP

2025-12-16 @ 20:52:45Points: 322Comments: 62

Letta Code

2025-12-16 @ 20:51:27Points: 54Comments: 26

No Graphics API

2025-12-16 @ 19:20:17Points: 420Comments: 75

GPT Image 1.5

2025-12-16 @ 18:07:07Points: 316Comments: 165

GitHub will begin charging for self-hosted action runners on March 2026

2025-12-16 @ 17:32:38Points: 447Comments: 2

Artie (YC S23) Is Hiring Senior Enterprise AES

2025-12-16 @ 17:00:57Points: 1

alpr.watch

2025-12-16 @ 16:54:19Points: 622Comments: 322

Writing a blatant Telegram clone using Qt, QML and Rust. And C++

2025-12-16 @ 15:41:47Points: 84Comments: 48

Mozilla appoints new CEO Anthony Enzor-Demeo

2025-12-16 @ 13:53:14Points: 421Comments: 644

40 percent of fMRI signals do not correspond to actual brain activity

2025-12-16 @ 13:46:57Points: 394Comments: 175

Rust GCC backend: Why and how

2025-12-16 @ 13:33:25Points: 168Comments: 92

Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)

2025-12-16 @ 13:07:14Points: 221Comments: 33

Japan to revise romanization rules for first time in 70 years

2025-12-16 @ 08:54:58Points: 115Comments: 92

Thin desires are eating life

2025-12-16 @ 00:50:41Points: 316Comments: 129

Creating custom yellow handshake emojis with zero-width joiners

2025-12-16 @ 00:25:53Points: 62Comments: 4

The World Happiness Report is beset with methodological problems

2025-12-16 @ 00:06:49Points: 87Comments: 108

Show HN: Sqlit – A lazygit-style TUI for SQL databases

2025-12-15 @ 15:47:14Points: 115Comments: 16

I wanted something like lazygit for databases – run it, connect, and query and frankly just make it enjoyable to access data.

  Sqlit is a keyboard-driven SQL TUI with:

  - Context-based keybindings (always visible)
  - Neovim-like interface with normal and insert mode for query editing
  - Browse databases, tables, views, stored procedures
  - Adapters for SQL Server, SQLite, PostgreSQL, Turso & more
  - SSH tunneling support
  - Themes (Tokyo Night, Nord, Gruvbox etc.)

  Inspired by lazygit, neovim and lazysql. Built with Python/Textual.
Feedback welcome – especially on which adapters to prioritize next. My vision of sqlit is to make a tool that makes it easy to connect and query data, and to do that, and that thing only, really well.

https://github.com/Maxteabag/sqlit

Nvidia Nemotron 3 Family of Models

2025-12-15 @ 14:39:49Points: 139Comments: 27

Pizlix: Memory Safe Linux from Scratch

2025-12-14 @ 04:59:07Points: 70Comments: 20

30 years of <br /> tags

2025-12-13 @ 14:35:28Points: 154Comments: 54

How geometry is fundamental for chess

2025-12-11 @ 22:23:24Points: 53Comments: 20

Midjourney is alemwjsl

2025-12-11 @ 00:25:57Points: 74Comments: 31

Archives

2025

2024

2023

2022