Hacker News: lwhsiaohttps://news.ycombinator.com/user?id=lwhsiaoHacker News RSShttps://hnrss.org/hnrss v2.1.1Sun, 12 Apr 2026 09:12:57 +0000<![CDATA[Don't Trust, Verify]]>Article URL: https://daniel.haxx.se/blog/2026/03/26/dont-trust-verify/

Comments URL: https://news.ycombinator.com/item?id=47557533

Points: 22

# Comments: 1

]]>Sat, 28 Mar 2026 19:33:38 +0000https://daniel.haxx.se/blog/2026/03/26/dont-trust-verify/lwhsiaohttps://news.ycombinator.com/item?id=47557533https://news.ycombinator.com/item?id=47557533<![CDATA[New comment by lwhsiao in "Hypothesis, Antithesis, synthesis"]]>This is helpful, thanks!

]]>Tue, 24 Mar 2026 22:51:18 +0000https://news.ycombinator.com/item?id=47510669lwhsiaohttps://news.ycombinator.com/item?id=47510669https://news.ycombinator.com/item?id=47510669<![CDATA[New comment by lwhsiao in "Hypothesis, Antithesis, Synthesis"]]>DRMacIver, can you comment on how this fits into the existing property-based testing ecosystems for various languages? E.g., if I use proptest in Rust, why would/should I switch to Hegel?

]]>Tue, 24 Mar 2026 17:04:51 +0000https://news.ycombinator.com/item?id=47505841lwhsiaohttps://news.ycombinator.com/item?id=47505841https://news.ycombinator.com/item?id=47505841<![CDATA[Once: Easy self-hosting for Docker-based web apps]]>Article URL: https://github.com/basecamp/once

Comments URL: https://news.ycombinator.com/item?id=47408270

Points: 2

# Comments: 0

]]>Tue, 17 Mar 2026 03:31:39 +0000https://github.com/basecamp/oncelwhsiaohttps://news.ycombinator.com/item?id=47408270https://news.ycombinator.com/item?id=47408270<![CDATA[xfr: A modern iperf3 alternative with a TUI, multi-client server, and QUIC]]>Article URL: https://github.com/lance0/xfr

Comments URL: https://news.ycombinator.com/item?id=47401664

Points: 3

# Comments: 0

]]>Mon, 16 Mar 2026 17:03:30 +0000https://github.com/lance0/xfrlwhsiaohttps://news.ycombinator.com/item?id=47401664https://news.ycombinator.com/item?id=47401664<![CDATA[New comment by lwhsiao in "How do you capture WHY engineering decisions were made, not just what?"]]>> Every solution requires someone to manually write something. Nobody does.

Hot take: hire people that value writing. Create a culture around that.

Oxide is a great example of a company culture that values writing, as shown by their rigorous and prolific RFDs: https://rfd.shared.oxide.computer/rfd/0001

See also: https://oxide-and-friends.transistor.fm/episodes/rfds-the-ba...

Many of these RFDs have hit HN by themselves.

]]>Fri, 13 Mar 2026 20:45:01 +0000https://news.ycombinator.com/item?id=47369624lwhsiaohttps://news.ycombinator.com/item?id=47369624https://news.ycombinator.com/item?id=47369624<![CDATA[New comment by lwhsiao in "CragCLI – a new calculator for the command line"]]>numbat is my go-to for this: https://github.com/sharkdp/numbat

]]>Tue, 10 Mar 2026 15:02:57 +0000https://news.ycombinator.com/item?id=47324230lwhsiaohttps://news.ycombinator.com/item?id=47324230https://news.ycombinator.com/item?id=47324230<![CDATA[Amazon is holding a mandatory meeting about AI breaking its systems]]>Article URL: https://twitter.com/lukolejnik/status/2031257644724342957

Comments URL: https://news.ycombinator.com/item?id=47324211

Points: 289

# Comments: 10

]]>Tue, 10 Mar 2026 15:01:35 +0000https://twitter.com/lukolejnik/status/2031257644724342957lwhsiaohttps://news.ycombinator.com/item?id=47324211https://news.ycombinator.com/item?id=47324211<![CDATA[New comment by lwhsiao in "Ki Editor - an editor that operates on the AST"]]>There is difftastic

]]>Sat, 07 Mar 2026 15:17:49 +0000https://news.ycombinator.com/item?id=47288386lwhsiaohttps://news.ycombinator.com/item?id=47288386https://news.ycombinator.com/item?id=47288386<![CDATA[New comment by lwhsiao in "Justifying Text-Wrap: Pretty"]]>LaTeX or Typst are also good examples.

]]>Wed, 25 Feb 2026 06:59:07 +0000https://news.ycombinator.com/item?id=47148252lwhsiaohttps://news.ycombinator.com/item?id=47148252https://news.ycombinator.com/item?id=47148252<![CDATA[A way to manage your versioning and changelogs with a focus on monorepos]]>Article URL: https://github.com/changesets/changesets

Comments URL: https://news.ycombinator.com/item?id=47059604

Points: 3

# Comments: 0

]]>Wed, 18 Feb 2026 10:43:48 +0000https://github.com/changesets/changesetslwhsiaohttps://news.ycombinator.com/item?id=47059604https://news.ycombinator.com/item?id=47059604<![CDATA[Modern Keystroke Visualizer for Linux]]>Article URL: https://github.com/linuxmobile/keystroke

Comments URL: https://news.ycombinator.com/item?id=46951339

Points: 1

# Comments: 0

]]>Mon, 09 Feb 2026 21:07:48 +0000https://github.com/linuxmobile/keystrokelwhsiaohttps://news.ycombinator.com/item?id=46951339https://news.ycombinator.com/item?id=46951339<![CDATA[CLI tool to enforce RFC-driven AI coding]]>Article URL: https://github.com/govctl-org/govctl

Comments URL: https://news.ycombinator.com/item?id=46898747

Points: 2

# Comments: 0

]]>Thu, 05 Feb 2026 12:05:18 +0000https://github.com/govctl-org/govctllwhsiaohttps://news.ycombinator.com/item?id=46898747https://news.ycombinator.com/item?id=46898747<![CDATA[Package Management Made Easy]]>Article URL: http://pixi.prefix.dev/v0.63.2/

Comments URL: https://news.ycombinator.com/item?id=46877736

Points: 1

# Comments: 0

]]>Tue, 03 Feb 2026 21:43:43 +0000http://pixi.prefix.dev/v0.63.2/lwhsiaohttps://news.ycombinator.com/item?id=46877736https://news.ycombinator.com/item?id=46877736<![CDATA[Property-based testing for web UIs]]>Article URL: https://github.com/antithesishq/bombadil

Comments URL: https://news.ycombinator.com/item?id=46804871

Points: 1

# Comments: 0

]]>Thu, 29 Jan 2026 02:14:25 +0000https://github.com/antithesishq/bombadillwhsiaohttps://news.ycombinator.com/item?id=46804871https://news.ycombinator.com/item?id=46804871<![CDATA[Teammates, Not Coworkers]]>Article URL: https://luke.hsiao.dev/blog/teammates-not-coworkers/

Comments URL: https://news.ycombinator.com/item?id=46775232

Points: 2

# Comments: 0

]]>Tue, 27 Jan 2026 03:40:21 +0000https://luke.hsiao.dev/blog/teammates-not-coworkers/lwhsiaohttps://news.ycombinator.com/item?id=46775232https://news.ycombinator.com/item?id=46775232<![CDATA[New comment by lwhsiao in "Ask HN: Share your personal website"]]>https://luke.hsiao.dev

]]>Wed, 14 Jan 2026 18:14:14 +0000https://news.ycombinator.com/item?id=46619904lwhsiaohttps://news.ycombinator.com/item?id=46619904https://news.ycombinator.com/item?id=46619904<![CDATA[Bayes theorem and how we talk about medical tests]]>Article URL: https://ntietz.com/blog/bayes-theorem-medical-tests/

Comments URL: https://news.ycombinator.com/item?id=46596756

Points: 4

# Comments: 0

]]>Tue, 13 Jan 2026 02:38:36 +0000https://ntietz.com/blog/bayes-theorem-medical-tests/lwhsiaohttps://news.ycombinator.com/item?id=46596756https://news.ycombinator.com/item?id=46596756<![CDATA[Eilmeldung: A TUI RSS Reader]]>Article URL: https://github.com/christo-auer/eilmeldung

Comments URL: https://news.ycombinator.com/item?id=46363085

Points: 1

# Comments: 0

]]>Tue, 23 Dec 2025 06:59:55 +0000https://github.com/christo-auer/eilmeldunglwhsiaohttps://news.ycombinator.com/item?id=46363085https://news.ycombinator.com/item?id=46363085<![CDATA[Accommodation Nation]]>Article URL: https://www.theatlantic.com/magazine/2026/01/elite-university-student-accommodation/684946/

Comments URL: https://news.ycombinator.com/item?id=46151336

Points: 1

# Comments: 1

]]>Thu, 04 Dec 2025 18:52:23 +0000https://www.theatlantic.com/magazine/2026/01/elite-university-student-accommodation/684946/lwhsiaohttps://news.ycombinator.com/item?id=46151336https://news.ycombinator.com/item?id=46151336