pull down to refresh

Show HN: I made a git rebase TUI editorgithub.com/NyuB/ocli
117 sats \ 0 comments \ @hn 14 Oct 2024 tech
related
Matters Computational Ideas, Algorithms, Source Code – Jorg Arndt [pdf]www.jjj.de/fxt/fxtbook.pdf
85 sats \ 0 comments \ @hn 7 Mar 2025 tech
Ada's Dependent Types, and Its Types as a Wholenytpu.com/gemlog/2024-12-27
41 sats \ 0 comments \ @hn 28 Dec 2024 tech
Sunset Geometry (2016)www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats \ 0 comments \ @hn 15 Mar 2025 tech
ThreadPlotter – toolkit for punch needle embroidery with X-Y plotters (2020)github.com/LiciaHe/threadPlotter
21 sats \ 0 comments \ @hn 16 Aug 2024 tech
Preserving a floppy disk with a logic analyzer and a serial cablewww.chzsoft.de/site/hardware/preserving-a-floppy-disk-with-a-logic-analyzer/
42 sats \ 0 comments \ @hn 6 Jul 2024 tech
Kimi K1.5: Scaling Reinforcement Learning with LLMsgithub.com/MoonshotAI/Kimi-k1.5
14 sats \ 0 comments \ @hn 21 Jan 2025 tech
Making memcpy(NULL, NULL, 0) well-defineddevelopers.redhat.com/articles/2024/12/11/making-memcpynull-null-0-well-defined
25 sats \ 0 comments \ @hn 11 Dec 2024 tech
Fonts for Complex Datawww.typography.com/blog/fonts-for-complex-data
21 sats \ 0 comments \ @hn 13 Apr 2024 tech
Computing with Time: Microarchitectural Weird Machinescacm.acm.org/research-highlights/computing-with-time-microarchitectural-weird-machines/
11 sats \ 0 comments \ @hn 25 Nov 2024 tech
My new POWER Indigo 2thejpster.org.uk/blog/blog-2024-11-22/
23 sats \ 0 comments \ @hn 23 Nov 2024 tech
A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf]www.usenix.org/system/files/conference/usenixsecurity25/sec25cycle1-prepub-595-linker.pdf
11 sats \ 0 comments \ @hn 9 May 2025 tech
2D Rigid Body Collision Resolutionwww.sassnow.ski/rigid-body-collisions/1
32 sats \ 0 comments \ @hn 24 May 2024 tech
Show HN: I've built open-source, collaborative, WYSIWYG Markdown editoreditor.vrite.io/
10 sats \ 1 comment \ @hn 23 Jun 2023 tech
Show HN: I made a CLI tool to create web extensions with no build configurationgithub.com/cezaraugusto/extension.js
21 sats \ 0 comments \ @hn 30 Apr 2024 tech
At the end you use Git bisectkevin3010.github.io/git/2025/11/02/At-the-end-you-use-git-bisect.html
236 sats \ 0 comments \ @hn 2 Nov 2025 tech
Episode 108: GitHub File Explorer
168 sats \ 0 comments \ @AtlantisPleb 27 Jun 2024 openagents
Show HN: Unity like game editor running in pure WASMraverie-us.github.io/raverie-engine/
10 sats \ 1 comment \ @hn 26 Sep 2023 tech
lazygit: simple terminal UI for git commandsgithub.com/jesseduffield/lazygit
110 sats \ 1 comment \ @bataroot 23 Jan 2024 devs
Show HN: Magic-cli – A copilot for your command linegithub.com/guywaldman/magic-cli
111 sats \ 0 comments \ @hn 17 Jul 2024 tech
Git Query languageamrdeveloper.github.io/GQL/
31 sats \ 0 comments \ @GlobalThreat 3 Dec 2023 tech
changesets: 🦋 Manage your versioning and changelogs with a focus on monoreposgithub.com/changesets/changesets
117 sats \ 0 comments \ @kepford 2 Oct 2024 devs