Just read a really interesting article on Japanese geography and history and it made me realise despite how great the Japanese are at adapting to a changing world they actually donโt have much of a history of being the centre of that innovation unchartedterritories.tomaspueyo.com/โฆ/how-japans-geography-determined-its
Any conversation
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโฆmostlywrote:
The inaugural, proverbial first post. Seems like a lovely service here.
@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโฆmostly:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโฆmostly:The proverbial first post should have been โhello worldโ. :-P You are the first rustacean I come across!
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโฆmostlyreplied 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:LOL! Good point:)
Devs! Drop your #githubnotesfollow so we can follow each other! Love to see the projects youโre working on. Mine: github.com/stagasGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. โ #open_sourcenotesfollow
โฆ
@hippo๐ฆprofilefollowStrictly no LLMs. No exceptions.replied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:Gave up on github after the acquisition. Very glad I did, given the unsurprising decline since then.
@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.:And what do you use now?
@hippo๐ฆprofilefollowStrictly no LLMs. No exceptions.replied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:Some gitlab, some codeberg. More recently the latter as gitlab have an annoying tendency to mess with their UI for no discernible reason.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:I think is time to vibecode an alternative!
I know I would
@semperos๐profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:@keitachikawa๐profilefollowaeres-u99 on github, CodeAtlas \o/replied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:
github.com/Aeres-u99
I have created a small tool, codeatlas, that basically generates an index to codebase that your llm can lookup syper quick, github.com/Aeres-u99
there is also a cbz->pdf converter that I wrote for eink devices which is nice
Funny that this box appears in front of me and every thought I've ever wanted to write down vacates my mind.
@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@jdl๐profilefollow:
I do way better going out and writing on pa[er first.
@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.comwrote:
I really needed a quiet microblog. This looks like exactly what I'm looking for.
@cyanohydrprofilefollowreplied 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:
Same. I really wish this platform would last a long time... I've seen so many cool initiatives get posted on HN, only to be taken offline a few months later.
It is never the #scientistsnotesfollow who say we know everything we need to know but always the #administratornotesfollow or the #politicalnotesfollow #leadernotesfollow
In my opinion, it's because there's always something more to know, especially in science-related fields.
@prophetorit๐งprofilefollow
grand and intoxicating innocencereplied to@ku๐คprofilefollowHai I am ku:
grand and intoxicating innocencereplied to@ku๐คprofilefollowHai I am ku:it'll always be that way, sadly
@asmund๐ฅทprofilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.wrote:
I was contemplating pwc372, p2 and came up with โ- 1+&/-/'(&'(?x)=
x)@0 -1โ (goal). Conceptually I like it, but maybe it can be simplified further? #thinkeringwithcodenotesfollow(defun textlog-post (beg end)
"Publish the region between BEG and END to `textlog-url'.
Interactively, requires an active region. Returns the URL of the
new post when the server reports one."
@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@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
I'm making a Kakoune version of this for sure.
โฆ(deleted post) (deleted post)
@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@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
Damn, is it popular or is this one hell of a coincidence?
@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(deleted account):
Ah, no, I meant
meow, the Kakoune-inspired emacs plugin.@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(deleted account):
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.replied 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:
Yes, meow is the second-most popular modal editing package, after evil (vim). github.com/meow-edit/meowGitHubGitHub - meow-edit/meow: Yet another modal editing on Emacs / ็ซๆ็ผ่พYet another modal editing on Emacs / ็ซๆ็ผ่พ. Contribute to meow-edit/meow development by creating an account on GitHub.
@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@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
That's pretty neat.
@asmund๐ฅทprofilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.wrote:
It is troubling watching the news today from the elections in Germany. Yes, it is democratic and absolutely fair elections and the people of Germany make their own choice in their situation. Still, seeing the far right gaining so much ground in Germany brings your thoughts some 90 years back. Letโs hope and pray Germany is not going there again.
โฆ
@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:
Nice! Congrats. Any link to the pub?
@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.:
thx ^^ its in computational chemistry, knock yourself out: doi.org/10.1021/acs.jpca.6c02038
@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:
Very cool. Not my field, so 80% of the jargon is lost to me. But sounds like an interesting area!
@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.:
yea its quite a beautiful and useful field and you get to work with some HPC which is fun
@archivist_eyes๐profilefollowYour mind is also supposed to create happiness, not just to receive it. You're supposed to find solutions, to invent, to imagine, to remember, to love. This much we always forget.replied to@jamesjan3profilefollowresearcher, developer, dancer:
Congratulations! Care to share how the road was up to that point?
@jamesjan3profilefollowresearcher, developer, dancerreplied to@archivist_eyes๐profilefollowYour mind is also supposed to create happiness, not just to receive it. You're supposed to find solutions, to invent, to imagine, to remember, to love. This much we always forget.:
moved to berlin for my bachelors and it took some time to find footing. Im not the best student but I ended up getting lucky to snag a student assistant position by applying/presenting at a summer school (targeted more toward master/phd). then that became my thesis and it dragged quite a long time, bureacracy and supervision and such. But the results were interesting and i learned a ton along the way. Im really happy I yolo applied to that program
Really glad to be using Haskell for work - especially in today's climate with agentic coding.
Our team uses containers to keep our development environment consistent across team members, though, and most agent sandbox approaches want to either offload your work fully to the cloud or they want to sandbox the agent harness process itself.
We're not ready for full cloud based development (yet?) and sandboxing just the agent doesn't work for us when the agent needs to run docker.
#haskellnotesfollow #ainotesfollow
... because letting the agent run docker gives them a too-easy escape hatch from their sandbox.
So we're currently stuck with using VMs. This turns out to be tricky but seems do-able.
My current approach is to provision a VM image and use Incus for the execution. My main goal is to keep my current workflow of local/non-agent dev working seamlessly and share the source with the VM/agent.
This means sharing my working dirs with the agent VM but overlaying artifact dirs from VM-owned block devices so we don't take too big of an IO perf hit.
I also don't want the agent to be able to
git push so that means we need some quirky git config to rewrite origin paths and thread through some agent specific PATs ("thanks" GitHub) for read-only repo access. These ALSO need to be threaded through to the development containers - they need to clone private repos.... in the end, this seems to work but I haven't lived with it for long.
There are still some quality of life issues to work out, but I think it'll work out.
At this point, I've removed all coding agents from my host - and that's nice.
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollow:
creative technologist
creator of textlogreplied to@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollow:Curious, why does using Haskell make a difference here?
@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowreplied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:It's tangential to the sandboxing topic, really. I started the first post with a broader intent in mind and then elaborated on the sandboxing setup I'm working on.
For AI-assisted coding, though, it's nice because Haskell provides a lot of feedback earlier in the development process compared to lots of other languages. It tends to work once it compiles (obviously not all the time).
โฆ
Power and money somehow emit the whackadoodle in all of us.
โฆ
I actually disagree. This guy has been very good at performing The Good Guy for a very long time, but there have been signs all along.
Well said. My post was glib.
More correctly, they are multipliers. Same goes for Musk.
"Muskโs ex-wife Justine, whom he married in 2000 and divorced in 2008, says the man the world began to see in 2020 was the one sheโd always known." -slate.com
@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.