remywang

7 ms·

61.
by remywang 6mo ago
This is exactly domain key normal form! https://en.wikipedia.org/wiki/Domain-key_normal_form
62.
by remywang 6mo ago
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
63.
by remywang 6mo ago
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.camb
64.
by remywang 6mo ago
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=
65.
by remywang 6mo ago
Have a motherfucking website [1] and you’ll be ready for agents or whatever [1]: https://motherfuckingwebsite.com/
66.
Mailmate(freron.com)
2 points by remywang 6mo ago|1 comments
67.
by remywang 6mo ago
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.
68.
by remywang 7mo ago
Anton also wrote the fantastic codapi [1] for embedding executable code snippets with wasm [1]: https://codapi.org/
69.
by remywang 7mo ago
There's so much wrong with this article. For starters, no one speaks Classical Chinese/Wenyanwen. Not now, not ever. It was designed for writing only, and the conciseness was to preserve bamboo (but stayed because it conveyed a se
70.
Ask HN: Brian Kernighan's "Q"?
4 points by remywang 7mo ago|0 comments
71.
A Critique of Snapshot Isolation(arxiv.org)
1 points by remywang 7mo ago|0 comments
72.
by remywang 7mo ago
Thanks a lot for the wonderful slides, I used them to learn suffix arrays!
73.
Proof Theory and Logic Programming(lix.polytechnique.fr)
11 points by remywang 7mo ago|0 comments
74.
The LCA problem revisited [pdf](www3.cs.stonybrook.edu)
37 points by remywang 7mo ago|7 comments
75.
by remywang 7mo ago
Spoiler alert: there is at least one typo in the slides. A preprint of the paper is available here: https://web.archive.org/web/20250708141740/https://www.ics.u...
76.
by remywang 7mo ago
Yes that's correct. edit: I guess an easy fix is to append a cryptographic hash to the post ID, but yeah currently I'm assuming you trust your friends.
77.
by remywang 7mo ago
1. Right after initialization you'll be prompted to export the private key and store it somewhere safe, e.g. your password manager 2. You don't need to know unless you want to implement the protocol! To use (the very barebones) im
78.
Show HN: s@: decentralized social networking over static sites(satproto.org)
414 points by remywang 7mo ago|218 comments
79.
Show HN: sAT Protocol – static social networking(github.com)
3 points by remywang 7mo ago|1 comments
80.
by remywang 8mo ago
Basic question: will this be able to run any app built for M chip? I suppose so because both a18 and the M chips are ARM?
81.
by remywang 8mo ago
Said paper in html rendered by texmacs [1] and past discussion [2] 1: https://www.texmacs.org/joris/ffnlogn/ffnlogn.html 2: https://news.ycombinator.com/item?id=24991447
82.
by remywang 8mo ago
The animation in presentation mode is really impressive, I’ve never seen something like that not even in ppt
83.
by remywang 8mo ago
What was the main motivation for the fork? Looks like texmacs itself is still actively maintained: https://github.com/texmacs/texmacs
84.
GNU Texmacs(texmacs.org)
191 points by remywang 8mo ago|61 comments
85.
B+tree Visualizer(bptvisualizer.netlify.app)
3 points by remywang 8mo ago|0 comments
86.
The Ipe extensible drawing editor(ipe-web.otfried.org)
2 points by remywang 9mo ago|0 comments
87.
CIDR 2026 Proceedings(vldb.org)
1 points by remywang 9mo ago|0 comments
88.
Debunking the Myth of Join Ordering: Toward Robust SQL Analytics(arxiv.org)
3 points by remywang 9mo ago|0 comments
89.
Postmortem on TreeTracker Join: Simple, Optimal, Fast(zhu45.org)
2 points by remywang 9mo ago|0 comments
90.
by remywang 9mo ago
What are the columns and why are there so many of them? The standard approach is to explode into many tables and introduce joins as you said. Why don’t you want joins?

More ›