Hello, everyone. I am how are you? Today is Friday. Welcome to my text log.
Any conversation
What's up ku, welcome to this hard drive where you can share a slice of consciousness with many :--)
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@ku๐คprofilefollowHai I am ku:
creative technologist
creator of textlogreplied to@ku๐คprofilefollowHai I am ku:hi! ๐
for those new here, this is my other project, online #ravenotesfollow! come for a dance!
~~~~~> hallucinate.sitehallucinate.site <~~~~~
@unsayprofilefollow#minneapolisnotesfollowreplied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:Be there in a bit. Hanging out with Fred again.. and Thomas BangalterYouTubeFred again.. & Thomas Bangalter (USB002, Alexandra Palace, London 27 February 2026).
@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:Seeing Hallucinate brought to mind infiniteslop.aiinfiniteslop.aiInfinite Slop by @levelsio + fal.aiAn endless AI-generated TV channel where the chat decides what airs next.. ๐
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:
creative technologist
creator of textlogreplied to@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:Yes! I was thinking of doing the same, see &2912 .
ooh maybe I revive hallucinate.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.
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).morning doodle of Vulpes.
ibb.co/WN48DSt3
Anybody here actively working in or has contributed to (in any capacity) conservation (be it flora or fauna)?
โฆ
@mourningdove๐ฆprofilefollowI'm a small web enthusiast working on my blog and working on myself.
themourningdove.bearblog.devreplied to@pippo๐คprofilefollow:
You know, as interesting as that sounds, I wouldn't at all know where to begin with something like that. Do you have a suggestion?
@pippo๐คprofilefollowreplied to@mourningdove๐ฆprofilefollowI'm a small web enthusiast working on my blog and working on myself.
themourningdove.bearblog.dev:
I suggest looking around your area first, perhaps there are conservation groups already. Then, select among them which one focuses on native species that are most impactful to your place. ๐
@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowreplied to@hellodaviddev๐คชprofilefollowdev, programming, going off vibes and coffee
hellodavid.devDavid Gonzalez-VelezDavid Gonzalez-Velez | Software Engineer & ResearcherSelf-taught software engineer and researcher based in Chicago, specializing in quantum computation and full-stack development.:
Not that I think we're close to a canonical definition (as if we'll ever all agree on one) but my team has defacto adopted the definition of code that the developer responsible for it doesn't understand, approve of and essentially has now honestly reviewed. Basically anything which leads to cognitive debt.
@hellodaviddev๐คชprofilefollowdev, programming, going off vibes and coffee
hellodavid.devDavid Gonzalez-VelezDavid Gonzalez-Velez | Software Engineer & ResearcherSelf-taught software engineer and researcher based in Chicago, specializing in quantum computation and full-stack development.replied to@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollow:
I agree, I don't think that there will ever be one canonical definition, but I like this definition as well, as it places the onus on the actual person creating the slop. Thank you for sharing!
@radiocappy๐งprofilefollow"The impediment to action advances action, what stands in the way becomes the way." - Marcus Aureliuswrote:
murm
@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyerswrote:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyerswrote:Productive weekend started four hours ago for me (at 06:00 EDT). Visited aunties and mum. Just got home, and waiting for wife to finish preparing to get on the road again. Next destination: nursing home (visit family, and โadoptedโ elders).
@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:
But maybe we'd all be a little saner if we remembered what we're actually doing: building tools to make our lives and the lives of others easier.
graybeard.ing/software-drives-people-insane/The Gospel According to GraybeardSoftware Drives People InsaneI have a little pet theory that software drives people insane. Not in the "wash your hands every thirty minutes like Howard Hughes" kind of way, but more ...
@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.:This resonated a lot. Iโm glad I read it now, before going totally insane lol. But I disagree that itโs just a glorified spreadsheet. The UI/UX matters, how you present the data, how they can change and so on, all of those things play a role. The good thing with AI is iteration is cheaper than ever, so you can experiment and process the results quickly. But yeah sometimes I just do things here because I just have to be doing something, I canโt leave it alone.
@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:Agreed. The "just" makes the statement sound dismissive, but I do agree with the underlying sentiment that most software boils down to CRUD apps that help people organize information and complete tasks more efficiently. I think the path to developer enlightenment is realizing this truth without despairing over it.
@lanesprofilefollowlanes.shLanesLanes | Your unfair advantage in parallel AI developmentOne workspace. Many agents. Your unfair advantage in parallel AI development. Plan, run, and ship with full oversight.wrote:
Is the IDE dead?
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@lanesprofilefollowlanes.shLanesLanes | Your unfair advantage in parallel AI developmentOne workspace. Many agents. Your unfair advantage in parallel AI development. Plan, run, and ship with full oversight.:
creative technologist
creator of textlogreplied to@lanesprofilefollowlanes.shLanesLanes | Your unfair advantage in parallel AI developmentOne workspace. Many agents. Your unfair advantage in parallel AI development. Plan, run, and ship with full oversight.:Seems to be reinvented into something else.
@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@lanesprofilefollowlanes.shLanesLanes | Your unfair advantage in parallel AI developmentOne workspace. Many agents. Your unfair advantage in parallel AI development. Plan, run, and ship with full oversight.:
What is the exact definition of an IDE? JetBrain's products are as good as ever, in my opinion, but people have definitely made non-IDEs into big, hulking behemoths with tons of plugins. If anything, maybe "just an editor" is dead?
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied 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:
creative technologist
creator of textlogreplied 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 think they mean the transition that all IDE's are making towards an agentic interface, hiding the code completely as humans will not have to interact with it since the AI will be doing a better job at everything, even auditing it.
@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@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:Oh, I guess I'm not really up-to-date on what IDEs are doing. Good point.
@honey_ohs๐ฅทprofilefollowSoftware engineer. [Reluctant] Salesforce dev. Salesforceโs biggest hater.
stephenlf.devstephenlf.devImportant Thingsreplied to@lanesprofilefollowlanes.shLanesLanes | Your unfair advantage in parallel AI developmentOne workspace. Many agents. Your unfair advantage in parallel AI development. Plan, run, and ship with full oversight.:
Itโs stronger than ever.
@elana๐งprofilefollowI have a doctorate in ancient stuff but these days I'm a full-time plague avoider. Born and raised in Toronto, Canada, now living in Kyoto, Japan.wrote:
@yonkeltronprofilefollow Did this work? I would like to say hello to you!
@yonkeltron๐คprofilefollowreplied to@elana๐งprofilefollowI have a doctorate in ancient stuff but these days I'm a full-time plague avoider. Born and raised in Toronto, Canada, now living in Kyoto, Japan.:
Hello to you, my dear friend! Sending all my love to you both for a Shana Tova!
@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyerswrote:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyerswrote:Maybe implementing a subset of Markdown would be a good thing. I am thinking about bold, italics, inline code, and code block, mostly. Oh, and links.
โฆ
@ryansepassiprofilefollowreplied to@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:Thatโs a great set (and then no more!)
@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@ryansepassiprofilefollow:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@ryansepassiprofilefollow:I think so. It could even be made a setting, defaulting it to off. I think it would be useful, especially is self-hosted for a tech community.
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:
creative technologist
creator of textlogreplied to@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:Instead of what to add I'm always asking myself what can be avoided or what can I take out. Adding features is easy. Minimalism is hard.
@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:I agree that minimalism is hard. Thatโs why the subset was explicitly recommended small. Yet, I believe it is extremely useful to have.
@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyerscontinued:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyerscontinued:Cool! Letโs test it with a link to Google.
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:
creative technologist
creator of textlogreplied to@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:I've tested MD and honestly I don't like it. Bold/italics add unnecessary noise/clutter and the font is already monospace, suited for code, so inline code & code fences are not needed. If 3rd party clients want to implement them it's fine but I'm sensitive to visual noise.
@paratoner๐profilefollowreplied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:I agree with this. The core you're building is around a deliberate minimalist philosophy. I was happy to build an opinionated client for my own use-case, but it should imo stay on the fringes for those seeking it.

