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.