Hacker News: remywang

New comment by remywang in "GameBoy Workboy"

remywang — Sun, 14 Jun 2026 05:19:59 +0000

I really like my playdate! Lots of indie games, and their Lua API is very good, coming from someone with no prior experience with Lua or games programming.

New comment by remywang in "GameBoy Workboy"

remywang — Sat, 13 Jun 2026 22:14:22 +0000

I had some good fun writing non-gaming apps for the playdate console including a browser [1] and Kagi news mirror [2] and feel the device has great potential as an alternative to android/iOS duopoly

[1]: https://github.com/remysucre/ORBIT

[2]: https://github.com/remysucre/cranky-news

New comment by remywang in "Adaptive PDFs"

remywang — Fri, 12 Jun 2026 20:29:17 +0000

You’re not supposed to use the “brainmade” watermark on an AI generated article.

New comment by remywang in "Passing DBs through continuations"

remywang — Tue, 09 Jun 2026 05:09:16 +0000

CPS was also the OG "AI psychosis" when it appeared in Sussman and Steele's AI Memo #349: https://en.wikisource.org/wiki/Scheme:_An_Interpreter_for_Ex...

Passing DBs through continuations

remywang — Sun, 07 Jun 2026 01:17:40 +0000

Article URL: https://remy.wang/blog/cps.html

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

Points: 82

# Comments: 18

New comment by remywang in "Show HN: Prela – Purely Algebraic Relation Combinators"

remywang — Thu, 04 Jun 2026 17:51:54 +0000

Select-Project-Join, not Simon Peyton Jones :)

New comment by remywang in "Show HN: Prela – Purely Algebraic Relation Combinators"

remywang — Thu, 04 Jun 2026 17:38:16 +0000

There are fewer foot guns in Prela in particular no NULLs which should help both humans and robots.

New comment by remywang in "Show HN: Prela – Purely Algebraic Relation Combinators"

remywang — Thu, 04 Jun 2026 17:36:35 +0000

Yes, maybe not the language itself, but the ideas behind it. Tarski's Algebra of Relations is actually a better model for modern columns stores than the standard relational algebra, because a column is a binary relation from the primary key into its value.

New comment by remywang in "Show HN: Prela – Purely Algebraic Relation Combinators"

remywang — Thu, 04 Jun 2026 16:48:17 +0000

Claude had no problem translating SQL into Prela, and because you have fine grained control over the query plan (a Prela query is a plan), it was able to optimize queries to be very fast

Show HN: Prela – Purely Algebraic Relation Combinators

remywang — Mon, 01 Jun 2026 13:26:01 +0000

Prela is an embedded query language based on Tarski's Algebra of Relations. Its queries are concise, clear, and fast. It is implemented by shallow embedding in a host programming language: Prela operators are regular functions in the host. The implementation follows continuation-passing style which compiles to efficient columnar execution.

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

Points: 72

# Comments: 13

New comment by remywang in "What Do Gödel's Incompleteness Theorems Mean?"

remywang — Thu, 21 May 2026 18:59:11 +0000

The best way to understand the theorems is to try to understand the proofs, and the short book “Gödel’s proof” by Nagel and Newman is excellent for that. Just like Douglas Hofstadter wrote in the foreword, I found the book an absolute page turner and finished in one afternoon.

Simple and correct snapshot isolation

remywang — Thu, 30 Apr 2026 23:54:36 +0000

Article URL: https://remy.wang/blog/si.html

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

Points: 32

# Comments: 4

New comment by remywang in "To my students"

remywang — Tue, 28 Apr 2026 01:37:46 +0000

He is not giving advice to the industry, he is giving advice to aspiring programmers and computer scientists. He has no experience in industry, but has produced lots of high quality software and research.

New comment by remywang in "Columnar Storage Is Normalization"

remywang — Wed, 22 Apr 2026 14:11:57 +0000

This is exactly domain key normal form!

https://en.wikipedia.org/wiki/Domain-key_normal_form

New comment by remywang in "The seven programming ur-languages (2022)"

remywang — Sun, 19 Apr 2026 19:20:21 +0000

Here’s the accompanying code on github but we never got to that part in class: https://github.com/nrnrnr/build-prove-compare-student-code

New comment by remywang in "The seven programming ur-languages (2022)"

remywang — Sun, 19 Apr 2026 15:24:08 +0000

We got to build mini versions of the first 4 languages (imperative, lisp, ML, Smalltalk) in the PL course at tufts which is now published as a textbook [1]. There used to be a prolog part that sadly got cut.

[1]: https://www.cambridge.org/ir/universitypress/subjects/comput...

New comment by remywang in "Show HN: MDV – a Markdown superset for docs, dashboards, and slides with data"

remywang — Sat, 18 Apr 2026 17:51:23 +0000

All of these are supported in pandoc markdown:

> .mdv is strict CommonMark plus four additions:

> YAML front-matter for title, theme, named styles, and dataset references.

> Fenced blocks for data/visuals: ```chart type=bar x=region y=sales.

> ::: containers for styled regions and layout: ::: callout / ::: columns.

> ::: toc for an auto-generated table of contents.

New comment by remywang in "Scan your website to see how ready it is for AI agents"

remywang — Fri, 17 Apr 2026 14:20:04 +0000

Have a motherfucking website [1] and you’ll be ready for agents or whatever

[1]: https://motherfuckingwebsite.com/

Mailmate

remywang — Thu, 09 Apr 2026 15:25:01 +0000

Article URL: https://freron.com/

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

Points: 2

# Comments: 1

New comment by remywang in "Ask HN: Any interesting niche hobbies?"

remywang — Thu, 09 Apr 2026 03:29:50 +0000

Read manuals to learn niche software, right now I’m reading about LyX and TeXmacs (their manuals are very well written). Lots of these more niche software can always use more love and users.