remywang

5 ms·

31.
by remywang 2mo ago
Looks like Andy's here, so if you see this - please also try to convince ClickHouse to consider funding DB research in academia. With all the money being poured into AI and the chaos in government funding, there is almost nothing for D
32.
by remywang 3mo ago
That’s because syntax is the least interesting part of F*.
33.
by remywang 3mo ago
Isn’t a disproof of the Collatz conjecture easy to check as it should just be a counterexample? Or is the proof not constructive?
34.
by remywang 3mo ago
Does this work for release builds or just debug builds now?
35.
by remywang 3mo ago
Does he read his tests and constraints? You’d need lots of tests to have that kind of confidence (SQLite has 500+ lines of tests per line of code), at which point it’s not a lot of additional work to just read the code.
36.
by remywang 3mo ago
If anyone wants a great mail client, I highly recommend Mailmate which among other things lets you write messages in markdown: https://freron.com/ it’s maintained by a solo dev for 15+ years and charges a fair price
37.
by remywang 3mo ago
I’ll gladly use AI to write if it were good at writing as much as how it is good at coding. But it’s just a terrible writer, and currently it’s easier to type things out myself compared to yelling at Claude.
38.
Ask HN: How to make AI better at writing prose?
4 points by remywang 3mo ago|6 comments
39.
Value Polymorphism in Rust(remy.wang)
2 points by remywang 3mo ago|0 comments
40.
by remywang 3mo ago
Please link to https://developers.google.com/custom-search/v1/overview instead of whatever this is.
41.
by remywang 3mo ago
It’s time to pull yourself out of your tunnel vision and look at the wasteland left behind by the ruthless machine you are building.
42.
by remywang 4mo ago
> This will probably prevent git-annex from taking advantage of most new improvements to the Haskell language going forward. That is deeply unfortunate. This is the main reason why git-annex is not guaranteed to never change to depend on
43.
Tarski's influence on computer science [pdf](math.stanford.edu)
1 points by remywang 4mo ago|0 comments
44.
by remywang 4mo ago
Just stop using that cursed website
45.
by remywang 4mo ago
Currently the worst assault on open source is PR spam and the collapse of trust and culture that comes with it. Focus on that if you really want to defend open source.
46.
by remywang 4mo ago
> Telling people “you must read all the code generated by an LLM” is definitely meaningful—but it is not at all moderate (so most people won’t do it) But they should! The code is the best source of truth on what the software is doing aft
47.
Show HN: Prela – A Compositional and Controllable Query Language(prela-lang.org)
6 points by remywang 4mo ago|0 comments
48.
by remywang 4mo ago
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.
49.
by remywang 4mo ago
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&#
50.
by remywang 4mo ago
You’re not supposed to use the “brainmade” watermark on an AI generated article.
51.
by remywang 4mo ago
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...
52.
Passing DBs through continuations(remy.wang)
82 points by remywang 4mo ago|18 comments
53.
by remywang 4mo ago
Select-Project-Join, not Simon Peyton Jones :)
54.
by remywang 4mo ago
There are fewer foot guns in Prela in particular no NULLs which should help both humans and robots.
55.
by remywang 4mo ago
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 prim
56.
by remywang 4mo ago
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
57.
Show HN: Prela – Purely Algebraic Relation Combinators(github.com)
73 points by remywang 5mo ago|13 comments
58.
by remywang 5mo ago
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
59.
Simple and correct snapshot isolation(remy.wang)
32 points by remywang 6mo ago|4 comments
60.
by remywang 6mo ago
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.

More ›