Viewing profile — remywang

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 cha…

That’s because syntax is the least interesting part of F*.

Isn’t a disproof of the Collatz conjecture easy to check as it should just be a counterexample? Or is the proof not constructive?

Does this work for release builds or just debug builds now?

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…

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…

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 com…

Current models are still notoriously bad at writing prose. It's not just the easily recognizable tics like "load-bearing" and "genuinely". The text is just sloppy, pompous, and ful…

Please link to https://developers.google.com/custom-search/v1/overview instead of whatever this is.

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.

> 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…

Just stop using that cursed website

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.

> 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 t…

I'm excited to share "take 2" of the Prela query language. After sharing the previous version here, I've received some valuable feedback, the main one being the weird unicode-based…

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.

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 a…

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

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...

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

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