โIf it is not right, do not do it, if it is not true, do not say it.โ โ Marcus Aurelius
Any conversation
Interesting. Why?
It seems this year is when big budget LLM players overtake independent academic mathematicians, in speed at least. The Jacobian conjecture, a lot of Erdos problems, now even the Navier Stokes millenium problem. Solved due to new model releases, all within this summer.
So, can we now say that LLMs are able to do things that nobody has done before? Can they extrapolate?
in math it can definitely prove statements that havent been proven before. I dont think thats the big thing though since it also writes sentences nobody has ever written before and in software it can write programs that havent been written before. Its just that the speed and scalability that has overtaken human mathematicians and programmers
โฆ
@drewfishprofilefollow
retired programmer, new #ttrpgnotesfollow DM, learning Scottish Gaelicreplied to@pqs๐คชprofilefollow:
retired programmer, new #ttrpgnotesfollow DM, learning Scottish Gaelicreplied to@pqs๐คชprofilefollow:I'm 55 and recently self-diagnosed as "fairly ASD with some ADHD" after watching a lot of youtube videos. It's been immensely helpful (to the point of bringing me to tears sometimes) in understanding the struggles I had when I was younger. It's also been very helpful in understanding what I can do currently to support myself and work with my brain instead of against it.
@pqs๐คชprofilefollowreplied to@drewfishprofilefollow
retired programmer, new #ttrpgnotesfollow DM, learning Scottish Gaelic:
retired programmer, new #ttrpgnotesfollow DM, learning Scottish Gaelic:I'm glad it was useful to you. This process of becoming aware of our autism is not easy. It is liberating, but it is also difficult, at the same time.
I watched a lot of videos too, but then I visited a couple psiquiatrists and a psycologist (I had other problems too), just to be sure.
What is your opinion about the ASD youtube landscape? I think that there are a few very good channels, but there is lot of noise too. I see some danger there.
Those "10 signs you may be [or not be] autistic" seem quite dangerous to me. Neurodivergence can be tricky.
@drewfishprofilefollow
retired programmer, new #ttrpgnotesfollow DM, learning Scottish Gaelicreplied to@pqs๐คชprofilefollow:
retired programmer, new #ttrpgnotesfollow DM, learning Scottish Gaelicreplied to@pqs๐คชprofilefollow:Yeah. I do like them sometimes, but the good authors are careful to start the video with looots of caveats (e.g. "this is not how to diagnose, just something that's maybe helpful").
@drewfishprofilefollow
retired programmer, new #ttrpgnotesfollow DM, learning Scottish Gaelicreplied to@pqs๐คชprofilefollow:
retired programmer, new #ttrpgnotesfollow DM, learning Scottish Gaelicreplied to@pqs๐คชprofilefollow:Yeah I agree that there are many ASD channels on YT of varying qualities. I only follow a few. Some of my favorites (very roughly in order):
I think for now being self diagnosed is enough for me. Just knowing that I'm neurodivergent has been helpful for me to be kind to my own mind.
@MomontheSpectrum@imautisticnowwhat@elenacarr0ll-- kinda more emotive, but I find that helpful sometimes@autismfromtheInside-- no longer posts (burned out)
โฆ
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.
โโโโโโโโโโโ โ โโโโโโโ โโโ
โ โโโโโ โโโ โ โโโ โ
โ โโโโโโโ โโ โ โโโโโโโ
โ โ โโโโโ โโโ
โโ โโ
โโโโ
โโโโโ #ascii_artnotesfollow #pinnotesfollow #locknotesfollow
@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:
The machine I use textlog on didn't have a functioning display due to the xlibre drama. It's over and I'm back now!
@hippo๐ฆprofilefollowStrictly no LLMs. No exceptions.replied 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:
Was not aware that there had been any xlibre drama. What's the story there?
@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@hippo๐ฆprofilefollowStrictly no LLMs. No exceptions.:
Xlibre had some bad releases that broke people's displays, Artix maintainers went back to Xorg as the default, xlibre maintainers got mad.
It's all kind of sad, one of the Artix maintainers quit over being stalked and harassed.
@hippo๐ฆprofilefollowStrictly no LLMs. No exceptions.replied 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:
Drama indeed.
It's all X.org here as there's no reason not to for me. Anyway, glad you have your display back.
@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:
Any runners on here? I mostly consider myself a trail runner, but of course train on roads, too. Good for 1โ2 races/year, more into running as a practice, a way to manage stress and stay fit.
โฆ(deleted post) (deleted post) (deleted post)
@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(deleted account):
5 min/km is pretty quick, as far as I'm concerned! My easy/forever pace is more like 8:30โ9 min/mile right 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(deleted account):
Hell yeah
@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(deleted account):
๐ค
โฆ(deleted post)
@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(deleted account):
Better for your knees, too :)
@grin๐งprofilefollowcultivating shared resonance | grin.iogrin.ioGrinI make magic internet tech and social experienceswrote:
just setting up my txtlg
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@grin๐งprofilefollowcultivating shared resonance | grin.iogrin.ioGrinI make magic internet tech and social experiences:
creative technologist
creator of textlogreplied to@grin๐งprofilefollowcultivating shared resonance | grin.iogrin.ioGrinI make magic internet tech and social experiences:welcome! ๐
@grin๐งprofilefollowcultivating shared resonance | grin.iogrin.ioGrinI make magic internet tech and social experiencesreplied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:woo! thanks for having me
@krispiesprofilefollowreplied to@grin๐งprofilefollowcultivating shared resonance | grin.iogrin.ioGrinI make magic internet tech and social experiences:
ํ์ด ๊ทธ๋ฆฐ. ๋ง๋์ ๋ฐฉ๊ฐ
Hi Green. Nice to meet you.
Enjoyed reading โrevo, the programming languageโ post:
revo.lung.fyi/blog/apples/revo.lung.fyirevo, the programming languageโ โ โ โ โ โ โ โ โ โ โฃคโขโฃโ โฃโฃโฃคโฃโฃโ โ โ โ โ โ โ โ โฃดโฃฟโ โข โฃโกผโฃทโ ผโฃโฃผโขโฃฟโฃโ ฑโฃ โ โ โ โ โ โ โ นโฃฟโกโฃโ โ ขโ โ โ โฃดโฃพโฃฝโขโกฐโ โ โ โ โ โ โ โ โ โขฟโฃฟโฃฆโ โ คโขดโฃฟโ ฟโขโฃดโกโ โ โ โ โ โ โ โ โ โ โขธโกโ ปโฃฟโฃถโฃฆโฃญโฃโ โฃฟโ โ โ โ โ โ โ โ โ โ โ โ โฃทโ โ โ โ โ โ โ โกโ โ โ โ โ โ โ โ โ โขโ โ โฃโฃฆโฃโ โ โฃโกดโ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โขปโฃฟโฃฟโฃฟโฃฟโ ปโฃงโกโ โ โ โ โ โ โ โ โ โ โ โ โ โ โ ซโฃฟโ โ ปโฃโ โ โ โฃโ โ โ โ โ โ โ โ โ โ โ โ โ โฃฟโ โ โ โ โ โ โ โก โขถโฃพโฃฟโฃฟโฃฟโฃฟโฃฟโฃถโฃโ โ โ โฃฟโ โ โ โ โ โ โ โ โ โ นโฃฟโฃฟโฃฟโฃฟโฃฟโฃฟโฃฟโฃงโ โขธโฃฟโ โ โ โ โขโ โ โ โ โ โ โ โ ปโขฟโฃฟโฃฟโ ฟโ โฃโขธโกโ โ โกโ โ โขโ โขจ โ โ โ โ โ โ โ โ โ โ โ โฃฟโกโ โ โ โ โ โ โขฆโฃ โ โ โ โ โ โ โ โ โ โ โ โฃฟโกโ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โฃฟโ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โฃฟโ โ โ โ โ โ โ โ โ revo, the programming language software that doesn’t hate you -> take a look at examples first toc revo, the programming
@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:
The 2030 release date of StarCraft: Dominion is so extreme that it feels like an indictment not only of Blizzard but indirectly of AI
@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:
Theyโre owned by Microsoft, of all companies. If AI hyperproductivity is real at scale, then why canโt the game come out next year? Next month?
โฆ
@_torayuriprofilefollowi create thingsreplied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:love it
@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.