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:
Any conversation
@lemonthymeshortbreadprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.replied to@yonkeltron๐คprofilefollow:
Itโs just sad the whole corporate world runs on Java, Python, C++, C#, and JavaScript so I just look in envy at what I could be using
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@rfprofilefollowDad, Bookworm, and Bad Coffee Connoisseur. Love: Text Interfaces, Small Circuit Boards and Japan (Showa era).:
creative technologist
creator of textlogreplied to@rfprofilefollowDad, Bookworm, and Bad Coffee Connoisseur. Love: Text Interfaces, Small Circuit Boards and Japan (Showa era).:<3 tysm
โฆ
last time i checked cbd was just not psychoactive at all no?
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@jamesjan3profilefollowresearcher, developer, dancer:
creative technologist
creator of textlogreplied to@jamesjan3profilefollowresearcher, developer, dancer:It doesnโt have the high but it will make you more alert, kind of like tea or coffee.
@catastrofer๐ฅธprofilefollowJust another AI guyreplied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:I just took a look on it yesterday and seems like the stimulant effect is there, so seems like at this point there are mix results on if it actually helps with anxiety and sleep issues. For me personally seems to work just fine but Im not 100% sure how much does it actually does something for me or is just a placebo effect. My thinking is that if I do it from time to time, I can let my body get use to the feeling of a sleep schedule without create dependency on external melatonin dosis or CBD.
@semperos๐profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to@jamesjan3profilefollowresearcher, developer, dancer:
That and household chores
@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.wrote:
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).
@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:
Preparing for opening up an app I'm working on for a public beta. Main is a quiet app that helps you maintain the value of your home: getonmain.comgetonmain.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.
@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.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.:
it's not for me personally, but I really like the idea and the look and feel seems top. Good luck.
โฆ
@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.:Yes the og is downloaded and re-served, to avoid leaking/tracking of client information. You need to edit and save to refetch, I did it for you now.
@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:Oh nice, thanks!
@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:
Opened up signups and postedLinkedInMain ยท A quiet, well-organized record of everything that keeps your home running. | Evan MeagherI'm excited to share something I'm working on with Eric Noggle: https://getonmain.com For most people, a home is the most valuable asset that they own. And yet, homes remain chronically under-managed. Cars have service records. Portfolios have dashboards. Homes have a junk drawer full of manuals and receipts. This leads to problems that degrade a home's value over time. Deferred maintenance snowballs from small issues to emergency repairs costing thousands. And the effort you *do* put into your about Maingetonmain.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. on LinkedIn yesterday. Really strong response so far!
@unsayprofilefollow#minneapolisnotesfollowreplied 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.:
Congrats! ๐
@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.:Good luck!
@mourningdove๐ฆprofilefollowI'm a small web enthusiast working on my blog and working on myself.
themourningdove.bearblog.devwrote:
Hi all, this is my first introduction to textlog, stumbled upon it whilst browsing Fdroid.
What do you like to do on here?
@prophetorit๐งprofilefollow
grand and intoxicating innocencereplied to@mourningdove๐ฆprofilefollowI'm a small web enthusiast working on my blog and working on myself.
themourningdove.bearblog.dev:
grand and intoxicating innocencereplied to@mourningdove๐ฆprofilefollowI'm a small web enthusiast working on my blog and working on myself.
themourningdove.bearblog.dev:I like to write whatever's on my mind, or questions on the rare occasion!
@mourningdove๐ฆprofilefollowI'm a small web enthusiast working on my blog and working on myself.
themourningdove.bearblog.devreplied to@prophetorit๐งprofilefollow
grand and intoxicating innocence:
grand and intoxicating innocence:Or, as I've seen, budgeting for a certain item?
@prophetorit๐งprofilefollow
grand and intoxicating innocencereplied to@mourningdove๐ฆprofilefollowI'm a small web enthusiast working on my blog and working on myself.
themourningdove.bearblog.dev:
grand and intoxicating innocencereplied to@mourningdove๐ฆprofilefollowI'm a small web enthusiast working on my blog and working on myself.
themourningdove.bearblog.dev:caught me there (โ ๏ผ โ _โ ๏ผ โ ;โ )
@mourningdove๐ฆprofilefollowI'm a small web enthusiast working on my blog and working on myself.
themourningdove.bearblog.devreplied to@prophetorit๐งprofilefollow
grand and intoxicating innocence:
grand and intoxicating innocence:You outed yourself
@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.
I like this, it feels like Reddit before what it is now, but I feel like it wonโt be long until the internet destroys this place. Until then Iโm happy to be here.
It's really sad that this is such a common sentiment whenever there's a nice online community nowadays. Guess most of us have been burnt enough times by now
@procyon๐ฆprofilefollowlate is the hour in which this conjuror chooses to appearreplied to@ryuichiprofilefollow:
My favorite part of classic reddit was the use of elaborate hacks to circumvent the restrictions on custom subreddit CSS. E.g. animated gifs weren't allowed, so people made filmstrip sprites with stepwise animation in such a way as to look exactly the same.
Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.
