seafoamteal

5 ms·

1.
Testing Can Be Fun, Actually(giacomocavalieri.me)
5 points by seafoamteal 8mo ago|2 comments
2.
by seafoamteal 10mo ago
Hi Jake! Cool article, and it's something I'll keep in mind when I start giving my self-hosted setup a remodel soon. That said, I have to agree with the parent comment and say that the LLM writing style dulled what would otherwise
3.
by seafoamteal 10mo ago
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
4.
Formally verifying Advent of Code using Dijkstra's program construction(haripm.com)
57 points by seafoamteal 10mo ago|8 comments
5.
by seafoamteal 11mo ago
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
6.
The Docker Container Only Works on My Computer(haripm.com)
1 points by seafoamteal 1y ago|1 comments
7.
by seafoamteal 1y ago
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.
8.
by seafoamteal 1y ago
I think in that situation, you could have an enum value that contains Bear and whatever other categories you are looking at.
9.
by seafoamteal 1y ago
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.
10.
by seafoamteal 1y ago
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 usi
11.
by seafoamteal 1y ago
I'm one of today's lucky 10_000 apparently! Only learned that just now.
12.
by seafoamteal 1y ago
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 g
13.
by seafoamteal 1y ago
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.
14.
by seafoamteal 1y ago
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,
15.
by seafoamteal 1y ago
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.
16.
by seafoamteal 1y ago
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 no
17.
by seafoamteal 1y ago
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 (n
18.
by seafoamteal 1y ago
This was an absolutely beautiful eulogy.
19.
by seafoamteal 1y ago
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.
20.
by seafoamteal 1y ago
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 i
21.
by seafoamteal 1y ago
So... one stop shop to generate slop and send it out into the ether to be recycled into more slop.
22.
by seafoamteal 1y ago
I don't know about Reddit, but Bluesky would never in a million years partner themselves publicly with OpenAI. I can't comment on the opinions of the team themselves because I just don't know, but the users would revolt. Loud
23.
by seafoamteal 1y ago
Seems cool, but overloading the term agentic development is a risky play. I almost clicked away when I saw that because, my opinions about LLMs for development aside, I do not want them anywhere near my blog, because that's where I wan
24.
by seafoamteal 1y ago
AI studio is not a consumer interface. It's targeted at people building products that integrate LLMs.
25.
by seafoamteal 1y ago
Has the Proton CEO acknowledged just how farcically off base he was when he said the GOP was the party of small businesses?
26.
by seafoamteal 1y ago
Florida?
27.
by seafoamteal 1y ago
Every day. There are some questions I have that are too vague and descriptive to ask a traditional SE, so I direct those to an LLM, but on the whole I don't want to have to specify to my search engine to not give me a 500 word essay ev
28.
by seafoamteal 2y ago
I've seen Anubis a couple times irl, mostly on Sourcehut, and the first time I saw it I was like, "Hey, I remember that blog post!" Congratulations on making something both useful and usable!
29.
by seafoamteal 2y ago
I've heard a similar story about a little boy and snail eggs at the beach. Did a quick search and it seems to have happened multiple times in the past. Perhaps the barnacle story isn't an urban myth after all.
30.
The UChicago χ-Projects(chi.cs.uchicago.edu)
1 points by seafoamteal 2y ago|0 comments

More ›