Hacker News: xiaodai

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

New comment by xiaodai in "Show HN: I made a web app to bring children's drawings to life"

xiaodai — Fri, 27 Dec 2024 23:50:19 +0000

Scammy. I can’t even preview one

New comment by xiaodai in "Siyuan: Privacy-first, self-hosted personal knowledge management software"

xiaodai — Fri, 27 Dec 2024 04:25:40 +0000

can't bring myself to trust anything about privacy from a software with a weird-ass Chinese name.

The Jank: Programming Language

xiaodai — Sat, 21 Dec 2024 07:05:08 +0000

Article URL: https://compiler-research.org/blogs/jank_intro/

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

Points: 6

# Comments: 3

New comment by xiaodai in "Gukesh becomes the youngest chess world champion in history"

xiaodai — Thu, 12 Dec 2024 21:49:12 +0000

Also as a great symbolism of our times: An Indian beat a Chinese. India is rising while China is already in decline.

New comment by xiaodai in "My son (9 yrs old) used plain JavaScript to make a game, and wants your feedback"

xiaodai — Tue, 03 Dec 2024 22:35:13 +0000

get outta here!

New comment by xiaodai in "Show HN: Zyme – An Evolvable Programming Language"

xiaodai — Sun, 17 Nov 2024 13:11:26 +0000

interesting idea to say the least.

New comment by xiaodai in "When Abstractions Break"

xiaodai — Sun, 17 Nov 2024 08:05:13 +0000

Leaky abstractions.

Emit: A time travelling programming language

xiaodai — Mon, 11 Nov 2024 08:44:07 +0000

Article URL: https://github.com/nimrag-b/emiT-C

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

Points: 2

# Comments: 0

New comment by xiaodai in "DuckDB over Pandas/Polars"

xiaodai — Wed, 06 Nov 2024 01:21:21 +0000

lack of UDF is an issue

New comment by xiaodai in "What sank the Bayesian superyacht in Italy?"

xiaodai — Fri, 01 Nov 2024 04:22:23 +0000

the Frequentists?