Hacker News: xiaodai

New comment by xiaodai in "Show HN: Wyrm – Solve algebra by touch, built on an open-source soundness engine"

xiaodai — Sat, 11 Jul 2026 12:23:39 +0000

I have always wanted to make this! Can it accept user-define algebra stuff? like group theory stuff so more rules can be implemented.

New comment by xiaodai in "GLM 5.2 is nearly as accurate as a human book keeper"

xiaodai — Fri, 10 Jul 2026 00:26:25 +0000

i suspect the key word here is nearly.

New comment by xiaodai in "Road to Elm 1.0"

xiaodai — Tue, 07 Jul 2026 00:06:06 +0000

wait? elm is not dead?

New comment by xiaodai in "Python 3.14 compiled to metal – no interpreter"

xiaodai — Mon, 06 Jul 2026 23:23:11 +0000

it's been tried 10 million times. so yeah

New comment by xiaodai in "It's not about physical vs. digital games, it's about ownership"

xiaodai — Mon, 06 Jul 2026 03:27:11 +0000

we gotta accept that "owning" a digital asset will be a thing of the past. ppl need to update their mental model and evolve.

Interactive video game recommendation engine

xiaodai — Fri, 03 Jul 2026 09:46:00 +0000

Article URL: https://nodal.gg

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

Points: 2

# Comments: 0

New comment by xiaodai in "Why jet engines aren't made in China"

xiaodai — Thu, 02 Jul 2026 06:03:10 +0000

Assuming China has spent 50 years already on jet engines, yeah. All these article just write off China.

Rote learning, no democracy. Proper jet engines WILL come out of China soon. lol. Just watch this space.

New comment by xiaodai in "macOS Container Machines"

xiaodai — Wed, 10 Jun 2026 03:27:16 +0000

so basically dockers

New comment by xiaodai in "How to convert between wealth and income tax"

xiaodai — Sat, 23 May 2026 10:52:20 +0000

should this article be renamed "How to count your chickens before the eggs even hatch?"

New comment by xiaodai in "A Theory of Deep Learning"

xiaodai — Wed, 06 May 2026 22:03:11 +0000

What a beautifully written article. It's extremely that I favourite an article but this is one.

New comment by xiaodai in "Learning Lean: Part 1"

xiaodai — Thu, 19 Feb 2026 06:52:19 +0000

i am a mathematician wanna-be. I have an undergrad honours degree in maths. As a retirement or pre-retirement project, I want to learn LEAN and contribute to it either via development or via developing the Mathlib or both!

Pointers welcome. As long as they are not null. Btw, I am also interested in compilers.

New comment by xiaodai in "Tao Te Ching – Translated by Ursula K. Le Guin"

xiaodai — Sat, 24 Jan 2026 23:11:30 +0000

we have a tendency to look thousands of years in the past for wisdom. weird.

Anthropic – Prompt engineering guide for developer

xiaodai — Wed, 25 Jun 2025 12:43:11 +0000

Article URL: https://docs.anthropic.com/en/docs/build-with-claude/prompt-engineering/overview

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

Points: 3

# Comments: 0

Mathematicians move the needle on the Kakeya conjecture

xiaodai — Thu, 13 Mar 2025 22:58:03 +0000

Article URL: https://phys.org/news/2025-03-mathematicians-needle-kakeya-conjecture-decades.amp

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

Points: 3

# Comments: 0

New comment by xiaodai in "JesseSort: A novel sorting algorithm that is faster than Python's default sort."

xiaodai — Fri, 14 Feb 2025 00:58:35 +0000

Python's default is gallop sort however radixsort is much faster and performs in O(n).

New comment by xiaodai in "Roc rewrites the compiler in Zig"

xiaodai — Tue, 04 Feb 2025 20:39:30 +0000

R has that too.

New comment by xiaodai in "Snowdrop OS – a homebrew operating system from scratch, in assembly language"

xiaodai — Sat, 25 Jan 2025 12:09:19 +0000

Totally RAD!

New comment by xiaodai in "Solving the first 100 Project Euler problems using 100 languages"

xiaodai — Fri, 17 Jan 2025 10:45:14 +0000

the julia solution was bad

New comment by xiaodai in "Why I Chose Common Lisp"

xiaodai — Sun, 12 Jan 2025 22:09:23 +0000

Cos shipping things is not a concern

New comment by xiaodai in "Salesforce will hire no more software engineers in 2025, says Marc Benioff"

xiaodai — Thu, 09 Jan 2025 01:54:17 +0000

They should hire English teachers to fix their grammar. “Will hire no more engineers.” Wtf