57
points
seafoamteal
Joined 261 karma
https://haripm.com
- Hi! Yes, I talk about this a little bit at the end and I solve Part 2 the normal way. This is a toy example that I did for fun. The objective was to introduce people to Program Construction and show how you can use formal methods to derive correct programs. Whether the juice is worth the squeeze is a judgement call that you make depending on how critical the software you are writing is.
- It's compiled to Erlang, not BEAM bytecode, as the latter is not a stable, backward-compatible API to target, and you lose all of the optimization work put into the Erlang compiler. It's also compiled to JavaScript, so it can run on both the front-end and back-end.
- 1 point
- I second this. It's what I read a few months ago when I first started using Nix and it's highly approachable for beginners.
- I think in that situation, you could have an enum value that contains Bear and whatever other categories you are looking at.
- I only recently learned about this piece after reading Gabrielle Zevin's Tomorrow and Tomorrow and Tomorrow. It's on the cover and it plays a somewhat important role in the story.
- I still find videos I like on YouTube from the people I subscribe to, and I've also noticed that YouTube sometimes shows me interesting videos for new or smaller creators, but that second one is very hit or miss.
What really got me using YouTube less was using uBlock to zap the shorts feeds. That alone improved my experience by orders of magnitude, along with disabling (not deleting, unfortunately) YouTube on my phone.
- I'm one of today's lucky 10_000 apparently! Only learned that just now.
- I mean, the game itself isn't making any money, but it seems like an ad for an AI coding platform (seeing as leap.new's webpage says it's still in beta) so you might actually have a point.
They're probably not going to get sued but still.
- I had a reply typed out to the parent but decided I didn't want to take the bait, so thank you for putting my concern (your second point) into words.
- I generally use Neovim, but Zed was the first code editor that made me go, "Wow, I can see myself actually using this." My only gripe is the "Sign In" button at the top that I can't seem to remove.
But apropos TFA, it's nice to see that telemetry is opt-in, not opt-out.
- Zooming out actually makes the thumbnails bigger, because they grow to fill the space ceded by the rest of the UI. Just incredible design all the way through.
- Mostly just exams this month haha, but technically a self-hostable workout tracking app.
The only self-hosted option I found was wger.de and while it looks great, it's a bit too much for my needs. I want something lightweight (so as not to hog resources on my cheap VPS) that does what it needs to do and nothing more.
It's been a while since I've done web dev, so I'm going to try out Deno (TypeScript) with htmx.
- It does feel like they've dialed up the model's tendency to agree with users and are dialing down the safety. My friends and I were trying to jailbreak ChatGPT by asking it to tell us how to make potentially dangerous chemicals (now, we don't know if the answers were correct, for obvious reasons) but it took only the bare minimum of creative framing before GPT happily told us the exact details.
We didn't even try anything new. Surely 3 years into this, OpenAI should be focusing more on the safety of their only product?
- This was an absolutely beautiful eulogy.
- I considered it, but there were hundreds of lines of data and I cba to verify all of them once they'd been through the LLM.
- Yesterday, I used vim motions to clean up some JMH benchmark log data to a CSV. It was genuinely so useful to be able to precisely delete and replace based on regexes. I'm sure I could have done with a graphical find and replace, but it was definitely faster via vim, especially after recording macros to automate the repetitive edits.
- So... one stop shop to generate slop and send it out into the ether to be recycled into more slop.
I'm glad you're up to writing more of your own posts, though! I'm right there with you that writing is difficult, and I've definitely got some posts on similar topics up on my site that are overly long and meandering and not quite good, but that's fine because eventually once I write enough they'll hopefully get better.
Here's hoping I'll read more from you soon!