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
I would've got one if it wasn't so pricey for these specs.
You can get a cheap Anbernic for 40-60$ running linux, with decent ARM CPU and a good backlighted screen.
...but what do you do with it? Play emulators? The Playdate has bespoke games designed for it, and many people say it's worth the price.
Tbh I find it a bit weird to talk about leisure devices like a handheld in terms of pure specs as if it was a server for number crunching. I use it to have fun, and (for me at least) a huge part of that is UI and ease-of-use.
Yes, emulators up to PS1/NDS. There are also many bespoke and commercial linux games that run on these devices via portmaster[0] (for commercial games you need to provide your own files).
I use my 34XX clamshell to listen to podcasts and audiobooks in rockbox [1].
If you take some time to setup alternative OS (e.g. MuOS) there is a good video player and even terminal emulator available with root shell.
And of course, you can write your own games and apps to run on it (SDL, pico8, Godot, Love2D, etc).
> The Playdate has bespoke games designed for it …
Not quite as many as [every 2D home or portable console]. For instance, I enjoy [dozens and dozens of Nintendo games], but there are thousands of others to choose from.
It's a neat piece of hardware, but honestly I never wanted to play any of the games. I don't really know for to do discovery for it, and none of the ones I tried stuck for me, honestly, I prefer to emulate games from my childhood, or retro/indie games I already have on my back-log.
I was given one and it had some fun gimmicks but if doesn't really last beyond a few sessions. The ecosystem is strange and I just went back to a "real" device a bit after.
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 would love to read the article in your own voice even if the grammar is not perfect, because that makes me feel like I'm communicating with a fellow human being! And if you do want help to improve your writing, consider asking for specific improvements instead of large scale rewrites.
It sounds like you got bitten by the dynamic I wrote about here: https://news.ycombinator.com/item?id=48467726: that is, using an LLM to process text for a limited reason (such as to improve its English) and then finding that the LLM left lots of other fingerprints, causing readers to perceive the entire thing as genai. We're seeing a ton of this right now!
In case it's helpful, here's something I've been saying when replying to emails:
We understand that our non-native English speaking users are in a special position with all of this, and we sympathize - but we don't have an easy way to treat posts differently on that basis. What we're telling such users is to please write in your own voice and don't worry about any mistakes, because those are rapidly becoming signs of authenticity at this point!
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
I'm more curious about going from text to Prela instead of going from text to SQL and measuring any difference in the performance there. On one hand models have been trained on a lot of SQL on the other hand they are really good in mathematical reasoning too so thinking in Perla might be a natural fit for them.
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.
It would be pretty easy to put a DuckDB data source into this code.
It might be pretty easy to use overloading to get special case implementations that form SQL queries progressively until the results need to be materialized as something like a dataframe for the function code to work on.
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.
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.
it's actually neither. normal forms provide semantic guarantees through structure. the structure proposed here does not constrain the data in any way and therefor cannot be said to be a normalization - tfa is dead wrong basically.
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.
Indeed. This is just a vibe-coded addition to an already overcrowded space, with no indication of any intent to consult others or support it for real use.
[1]: https://github.com/remysucre/ORBIT
[2]: https://github.com/remysucre/cranky-news
reply