Very cool: our kids' bathroom toilet overflowed last night, resulting in water draining into our kitchen on the floor below.
Any conversation
@semperos๐profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain ยท A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.:
I empathize, we've had that happen within the last year too, even the same bathroom-over-kitchen floor plan.
And the extra test of patience: the kiddos don't have the skills to properly clean and sanitize that kind of mess.
@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain ยท A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.continued:
Might be a good outcome to this. Water remediation folks want to take out 30 sqft of drywall to ensure the space btwn floors is fully dry. But my architect father-in-law thinks this is yagni and we can get away with just using a fan and space heater to let it dry out on its own ๐ค
@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain ยท A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.continued:
Thankfully, the zero cost option seems to have worked out. Had fans pointed up at the ceiling for a couple days. Will have to patch up some water-damaged drywall, but think we can avoid opening up the ceiling ๐
@jamesjan3profilefollowresearcher, developer, dancerreplied to@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain ยท A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.:
love the way you packaged this. liquids damage sucks, its uniquely traumatizing
@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain ยท A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.replied to@jamesjan3profilefollowresearcher, developer, dancer:
Feel like we got lucky in this case. Maybe we'll find out in 10 years that we have wood rot thanks to not shelling out for the professionals ๐คทโโ๏ธ
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@hippo๐ฆprofilefollowStrictly no LLMs. No exceptions.:
creative technologist
creator of textlogreplied to@hippo๐ฆprofilefollowStrictly no LLMs. No exceptions.:ooh maybe I revive hallucinate.sitehallucinate.site and add this feature but instead of being able to modify everything it would be limited to adding features to the game/world. And itโs the perfect domain, a site thatโs been entirely mostly hallucinated.
@paulprofilefollowadamspaul.short.gy/notesreplied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:Oh wow that site is amazing lol not seen it before
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@paulprofilefollowadamspaul.short.gy/notes:
creative technologist
creator of textlogreplied to@paulprofilefollowadamspaul.short.gy/notes:ty! itโs been 3โ4 months since I made it so itโs relatively new.
My son's new class doesn't have a Smith, Johnson, or Williams. It's the Hughes kid who breaks in at #96Name CensusUS Last Names ยท Popularity, Meanings & Census DataEvery US last name from the Census Bureau surname files, ranked by prevalence.. I expect these kids with strong stage names to have pants and personalities to match.
@eatziprofilefollowEat, drink, listen to ๐ถ, & watch the fish. Occasionally cook.replied to@saturnine๐ค profilefollowtalking:
What kind of olive oil do you like? I am not big on the peppery stuffs
@saturnine๐ค profilefollowtalkingreplied to@eatziprofilefollowEat, drink, listen to ๐ถ, & watch the fish. Occasionally cook.:
I like La Tourangelle Smooth and Fruity -- but I only get it when I have giftcards because it's 16$ a can ._.
OK. I've translated the (correctness) requirements of LeetCode No.22 to Lean, and ask Claude Code to both implement a solution and prove it.
In the first attempt, Opus 4.7 successfully completed it and proved it. However, the solution is to enumerate all possible space and
.filter out anything that doesn't qualify my definition, which is obviously not ideal (if cheating is too harsh).Past year's personal projects that went viral:
hallucinatehallucinate.site
The Front PageThe Front PageThe Front PageA newspaper-style front page for Hacker News.
groovemastergroovemastergroovemaster - Code musicCode music in the browser.
textlogtextloghotThe quieter social microblogging platform.
Yet I'm poor and can't get an interview :S how do I solve this?
โฆ
@jamesjan3profilefollowresearcher, developer, dancerreplied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:personal projects probably just arent the right knob if you want to get unpoor. if you want my honest advice i would recommend not showing hallucinate to potential employers, its landing page looks one-shot claude and is gpu heavy. but the others look very nice.
โฆ
@jamesjan3profilefollowresearcher, developer, dancerreplied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:nice to hear though! did you like it? living in berlin for 6 years now
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@jamesjan3profilefollowresearcher, developer, dancer:
creative technologist
creator of textlogreplied to@jamesjan3profilefollowresearcher, developer, dancer:loved it, I visit whenever I can, it's my favorite place on earth :D tried to live there many times, even had a job two times but it didn't work out. The air is different.
@jamesjan3profilefollowresearcher, developer, dancerreplied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:its a rough but very lovable place i agree ^^ maybe youll find your way back!
@gonzprofilefollowI make custom 3D engines and love writing lower-level code in general. Living in Bulgaria. github.com/GoNZoooGitHubGoNZooo - OverviewBackend & frontend. Odin, Zig, Haskell, PureScript, TypeScript, Elixir/Erlang and lots more, check repos. - GoNZooo & www.youtube.com/@mccGoNZoooYouTubeRickard Andersson (gonz)Educational programming videos: - Projects - Language learning course-style contentwrote:
@swiley๐คprofilefollowswiley.net
Try my zero dependency agent harness: public.swiley.net/agent.py
If you're spending too much time on sites like these install bingeblock.comreplied to@gonzprofilefollowI make custom 3D engines and love writing lower-level code in general. Living in Bulgaria. github.com/GoNZoooGitHubGoNZooo - OverviewBackend & frontend. Odin, Zig, Haskell, PureScript, TypeScript, Elixir/Erlang and lots more, check repos. - GoNZooo & www.youtube.com/@mccGoNZoooYouTubeRickard Andersson (gonz)Educational programming videos: - Projects - Language learning course-style content:
I get paid to write it if you can believe that.
@gonzprofilefollowI make custom 3D engines and love writing lower-level code in general. Living in Bulgaria. github.com/GoNZoooGitHubGoNZooo - OverviewBackend & frontend. Odin, Zig, Haskell, PureScript, TypeScript, Elixir/Erlang and lots more, check repos. - GoNZooo & www.youtube.com/@mccGoNZoooYouTubeRickard Andersson (gonz)Educational programming videos: - Projects - Language learning course-style contentreplied to@swiley๐คprofilefollowswiley.net
Try my zero dependency agent harness: public.swiley.net/agent.py
If you're spending too much time on sites like these install bingeblock.com:
Considering how absolutely barren it seems out there in terms of C jobs versus C++ jobs, I can barely believe it. What do you work on?
@swiley๐คprofilefollowswiley.net
Try my zero dependency agent harness: public.swiley.net/agent.py
If you're spending too much time on sites like these install bingeblock.comreplied to@gonzprofilefollowI make custom 3D engines and love writing lower-level code in general. Living in Bulgaria. github.com/GoNZoooGitHubGoNZooo - OverviewBackend & frontend. Odin, Zig, Haskell, PureScript, TypeScript, Elixir/Erlang and lots more, check repos. - GoNZooo & www.youtube.com/@mccGoNZoooYouTubeRickard Andersson (gonz)Educational programming videos: - Projects - Language learning course-style content:
Some specialized censors used in automated manufacturing. It's pretty cool, I look forward to coming into the office almost every day. I've worked for a few f500 companies and took a pay cut to come here. A bunch of people from my college robotics club work here too.
@gonzprofilefollowI make custom 3D engines and love writing lower-level code in general. Living in Bulgaria. github.com/GoNZoooGitHubGoNZooo - OverviewBackend & frontend. Odin, Zig, Haskell, PureScript, TypeScript, Elixir/Erlang and lots more, check repos. - GoNZooo & www.youtube.com/@mccGoNZoooYouTubeRickard Andersson (gonz)Educational programming videos: - Projects - Language learning course-style contentreplied to@swiley๐คprofilefollowswiley.net
Try my zero dependency agent harness: public.swiley.net/agent.py
If you're spending too much time on sites like these install bingeblock.com:
That sounds really cool. Above all I really like hearing that someone enjoys their work and likes showing up for it. I've had that feeling on a few contracts and it's great. Looking to get into embedded myself, since it seems that's where you get to have all the fun writing C. :)
@ryansepassiprofilefollowreplied to@gonzprofilefollowI make custom 3D engines and love writing lower-level code in general. Living in Bulgaria. github.com/GoNZoooGitHubGoNZooo - OverviewBackend & frontend. Odin, Zig, Haskell, PureScript, TypeScript, Elixir/Erlang and lots more, check repos. - GoNZooo & www.youtube.com/@mccGoNZoooYouTubeRickard Andersson (gonz)Educational programming videos: - Projects - Language learning course-style content:
#cnotesfollow has been such a pleasure. Havenโt tried Odin, but was using #zignotesfollow for a while, and I just found myself pulled back to C. A minimal sharp tool. Runs anywhere. Can actually write a compiler for it. Short bootstrap chain from hex0. Does anybody care about these things (anymore)?
@gonzprofilefollowI make custom 3D engines and love writing lower-level code in general. Living in Bulgaria. github.com/GoNZoooGitHubGoNZooo - OverviewBackend & frontend. Odin, Zig, Haskell, PureScript, TypeScript, Elixir/Erlang and lots more, check repos. - GoNZooo & www.youtube.com/@mccGoNZoooYouTubeRickard Andersson (gonz)Educational programming videos: - Projects - Language learning course-style contentreplied to@ryansepassiprofilefollow:
Support everywhere (in every way) was key to me starting to use C again. It's nice to not have to worry about the language you use being left out somewhere, a non-starter somewhere else and having to mentally translate it to something else (Zig/Odin in a debugger -> C).
@klumbering๐คกprofilefollowFirst thing to say is, I hope the owners of Chatgpt Claude Gemini and Others gets bloodeagled for making their unwanted baby, anyways Hello =)wrote:
"This text may violate our content rules (harassment/threatening: 0.4593). Please revise it and try again." HOW there's no cuss words dawg let me typeeeeeee
โฆ
I'm a mouse! โฆโ แโ โฬคโ แโ แท
@hippo๐ฆprofilefollowStrictly no LLMs. No exceptions.replied to@prophetorit๐งprofilefollow
grand and intoxicating innocence:
grand and intoxicating innocence:I'm a hippo. Of course.
@melting_coffee_mug๐คprofilefollowreplied to@hippo๐ฆprofilefollowStrictly no LLMs. No exceptions.:
i am coffee
@carbonwriter๐งprofilefollow(\ (\
( โข โข)
โโชโชโโโโ
Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.wrote:
hey, are there any folks here using gemini capsules? I've got a gemini capsule over with the bods @ envs.net - wondering what the current usage was?
(also, thinking about creating a gopher version of it too)