Love the idea! Love the UI!
Any conversation
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@sangaprofilefollowsober af!:
creative technologist
creator of textlogreplied to@sangaprofilefollowsober af!:ty! :D welcome!
@davidprofilefollow๐ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.wrote:
Which Linux distribution do you like the most, and why? Follow the previous with your favourite desktop environment.
โฆ
Same here except I landed on fedora with default gnome desktop. The old desktops I ssh into are Debian though.
Edit: spelling fix I to -> into
@vrvnprofilefollowreplied to@davidprofilefollow๐ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
Ubuntu or Linux Mint with Cinnamon and i3 alternating as window managers here
@melting_coffee_mug๐คprofilefollowreplied to@davidprofilefollow๐ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
Arch Linux with KDE. I like that Arch comes with nothing and is pretty vanilla. No bloat, and customisable. No major upgrades where 5 things break at once. Install once, and it's fine until the device has to be replaced. Only then usually do a fresh install. It's up to date, still pretty boring, and you learn a bit in the process.
@hris_deb๐คprofilefollowreplied to@davidprofilefollow๐ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
i distro hoped a lot. Finally i found my cozy home with debian with kde. 3 years still running without a problem all the software i use works perfectly and the games run smoothly.
@keitachikawa๐profilefollowaeres-u99 on github, CodeAtlas \o/replied to@davidprofilefollow๐ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
Arch with i3, have been using it for like 7-8 years now. Started out at elementary os, really good and everything, but the thing where I dont need to install *-dev libs separately saves me a lot of time during compilations and building. Also, AUR is a life saver at times.
Blargh. I've got that dry tickle in the throat where you know you're getting sick. Begone, virulent tingle, begone!
@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@unsayprofilefollow#minneapolisnotesfollow:
This has been me the last few days. Blossomed into a proper scratchy throat today. Hoping to keep an escalation in symptoms at bay.
@semperos๐profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to@unsayprofilefollow#minneapolisnotesfollow:
Zinc lozenges Iโve found helpful at this stage.
@mourningdove๐ฆprofilefollowI'm a small web enthusiast working on my blog and working on myself.
themourningdove.bearblog.devwrote:
The idea "social media" rotaion is Bear Blog, Mastodon and textlog.
@prophetorit๐งprofilefollow
grand and intoxicating innocence
always onlinereplied to@mourningdove๐ฆprofilefollowI'm a small web enthusiast working on my blog and working on myself.
themourningdove.bearblog.dev:
grand and intoxicating innocence
always onlinereplied to@mourningdove๐ฆprofilefollowI'm a small web enthusiast working on my blog and working on myself.
themourningdove.bearblog.dev:I've never used the other two!
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).@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.wrote:
This seems reasonable and motivates my bias. But I don't know what to believe anymore.
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied 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.:
creative technologist
creator of textlogreplied 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.:Overvalued, maybe. Extremely valuable, yes, though.
@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@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:For sure. We're well past the point of being able to reasonably claim that the tools have no practical use.
But I share the article's skepticism that LLM-based AI will "produce a fully automated drop-in replacement for most knowledge workers". Which it at this point has to in order to justify these companies' stupendous valuations.
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied 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.:
creative technologist
creator of textlogreplied 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.:Tomorrow no but there will always be the โhopeโ which is enough for the next 20 years before giving up. Which meanwhile would be replacing larger and larger chunks of the workforce so it wonโt really matter, weโll be adjusting our lives around it as well so we meet in the middle.
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied 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.:
creative technologist
creator of textlogreplied 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.:Tesla has been overvalued for over a decade with the promise of โfully autonomous carsโ and itโs still not losing its value, despite not meeting that (and probably never will, as the computation necessary to achieve it is bounded by physics).
@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@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:That's a different situation. Tesla's a public company whose valuation is driven by the market, which has the right to be irrational. My understanding is that the AI buildout is financed such that the companies need to turn a profit by ~2030 or else they drown in capital costs.
@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:
Or maybe the frontier labs become Tesla-like, if it turns out investors just want to believe in the dream and don't care about financials that don't make economic sense. I just don't see that happening, given current sentiment and the overwhelming unpopularity of AI in the West.
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@nikkiprofilefollowa dog in your computer. i like plaintext, programs under 10mb, and palettes under 17 colors.:
creative technologist
creator of textlogreplied to@nikkiprofilefollowa dog in your computer. i like plaintext, programs under 10mb, and palettes under 17 colors.:I'd been listening to di.fm for years, and have been missing a MacOS app. Thanks, Antigravity, for making the world of personalized software really easy: fifteen minutes and two small bugs later, github.com/haykinson/difmplayer gives me a Spotify-style player. Yay!
Dang, DI is nice! pretty sure I stumbled upon it before but it slipped out of my attention.
Re: your project, it'd be nice to add a screenshot (or even link to a small demo video). As an aside I thought of tiny player as a good interface for DI. www.catnapgames.com/tiny-player-for-mac/
@prophetorit๐งprofilefollow
grand and intoxicating innocence
always onlinereplied to@gbite๐ฝprofilefollowwow dawg:
grand and intoxicating innocence
always onlinereplied to@gbite๐ฝprofilefollowwow dawg:because everyone wants money!
One of my favourite styles of Brazilian music is "Chorinho", and Luca Frazรฃo is this new kid on the block who's just absolutely amazing: youtu.be/IK5mNGDqvsk?si=2iIT9sydppqPmNxNYouTubeLuca Frazรฃo - Despencando (Clipe Oficial)
@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.wrote:
Very cool: our kids' bathroom toilet overflowed last night, resulting in water draining into our kitchen on the floor below.
@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 ๐คทโโ๏ธ
