what an odd summer it must be for mathematicians.
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
being a student is great but the tasks are really quite boring. ive worked in academia now a little bit and its genuinely much more fun to work on something real, read papers, do experiments and write. Now i have these last few exams to get through and i cant care for them like i used to.
#Researchnotesfollow #Sciencenotesfollow
I find myself building bespoke tooling for my own #swdevnotesfollow and #ainotesfollow workflows these days, not only because of the obvious reason of software being so much cheaper to build, but also because there are SO MANY options for solving any given problem that it feels impossible to evaluate all of them.
If it's not a crucial piece of tech for a work problem then it often feels like paving my own way is both cheaper mentally (kind of amazing that's true these days) and probably a better fit.
..then of course I have to contend with - "Is this going to be a maintenance nightmare in the future?" and then I still usually conclude "no, the maintenance will be aided by the same approach that the construction was".
It's interesting how dramatically and quickly the scales have changed in this equation - and for such a wide range of software.
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollow:
creative technologist
creator of textlogreplied to@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollow:It will become increasingly harder to find niche markets for software when those people can just build it themselves exactly how they want it. In the end, people want to accomplish tasks, and the AI is going to be building the software on-the-fly exactly for that task, why do we need generic software that may or may not be a fit?
@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowreplied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:Yeah. It makes me think that protocols for exchanging data between apps will become even more important in that landscape. But maybe, not - maybe each exchange is another bespoke AI-driven implementation?
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollow:
creative technologist
creator of textlogreplied to@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollow:Protocols, infrastructure, containers, those kinds of things. I was actually playing around with an idea for a minimal markup language + runtime that can be utilized by AI to spin up apps more easily, and brainstorming it with ChatGPT, I have a feeling something like that will appear soon to complement MCP.
โฆ
@_torayuriprofilefollowi create thingsreplied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:love it
Electrician, plumber or maybe ventilation technician. Or excavator operator maybe. Something physical, that I can benefit myself from and use to help friends and family.
@drewfishprofilefollow
retired programmer, new #ttrpgnotesfollow DM, learning Scottish Gaelicreplied to@gikkmanprofilefollow:
retired programmer, new #ttrpgnotesfollow DM, learning Scottish Gaelicreplied to@gikkmanprofilefollow:I've picked up enough of electrical basics to help friends out and it's great. It doesn't take too big a bump in skill/knowledge/experience to get to the point of fixing things and wiring new outlets. Hmm... I did have a retired electrician friend to help me get started tho. It kinda feels like "Lego for adults" ๐
@gikkmanprofilefollowreplied to@drewfishprofilefollow
retired programmer, new #ttrpgnotesfollow DM, learning Scottish Gaelic:
retired programmer, new #ttrpgnotesfollow DM, learning Scottish Gaelic:Problem is that around here you're not allowed to wire 220V electricity without a professional certificate. Otherwise insurances don't cover. 12V and 24V systems are fine, but for household electricity you basically need to hire a professional
Do you have a recommended starting point?
@egeprofilefollowcheck out my blog: hypersubject.netege's webloghypersubject.netHi! Iโm ege. Welcome to my corner of cyberspace. The following is for you to make sense of who I am. It is an attempt to make myself legible to you. So you can label and categorize me and decide if Iโm worthy of your time and attention.replied to@geoffprofilefollow:
haven't read him but i see his "Technopoly: The Surrender of Culture to Technology" referenced a lot lately
@kooiprofilefollowreplied to@egeprofilefollowcheck out my blog: hypersubject.netege's webloghypersubject.netHi! Iโm ege. Welcome to my corner of cyberspace. The following is for you to make sense of who I am. It is an attempt to make myself legible to you. So you can label and categorize me and decide if Iโm worthy of your time and attention.:
Started reading exactly that and man it's mind-blowing.
He's not anti-tech, he's anti big-company-culture-capture. Really insightful for being written in 1998. What I appreciate is he looks at a very wide view of tech, not just modern silicone.
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@amyprofilefollowa work in progress; i love cats ๐ฑ:
creative technologist
creator of textlogreplied to@amyprofilefollowa work in progress; i love cats ๐ฑ:I love figs! Not a fruit per se, theyโre flowers, but still. And itโs their season now and they grow in my village so we pick them now.
โฆ(deleted post)
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearreplied to@amyprofilefollowa work in progress; i love cats ๐ฑ:
Prior work: www.skytopia.com/project/fruit/fruit.html
@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.wrote:
Spending mornings scouring job boards and listings and applying.
Afternoons working on Cheltenham Open Data and iOS app development.
What about you?
@prophetorit๐งprofilefollow
grand and intoxicating innocence
always onlinereplied to@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.:
grand and intoxicating innocence
always onlinereplied to@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.:waiting for my friend so she can put my hair into a bun
@stagasprofilefollow
creative technologist
creator of textlog - Is there a way to get an atom version of the โfor-youโ feed? Iโm guessing this is complicated by needing to be authenticated.
creative technologist
creator of textlog - Is there a way to get an atom version of the โfor-youโ feed? Iโm guessing this is complicated by needing to be authenticated.@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@thelocehiliosanprofilefollowrecent project: Plate Pursuit:
creative technologist
creator of textlogreplied to@thelocehiliosanprofilefollowrecent project: Plate Pursuit:Exactly, it makes it way more complicated that's why it's not there yet. Not against the idea though.
@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@austorprofilefollow:
Make it easy for users to export polygons. My municipal GIS didn't for some reason so I had to guess by moving the mouse around and manually type the coordinates into Marble.
@austorprofilefollowreplied 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:
Thanks for the suggestion. Export feature added.
@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.wrote:
Turn the car on. Shift in Neutral. Gas to the bottom.
This is how my head feels most of the time.
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied 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.:
creative technologist
creator of textlogreplied 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.:Youโre in the right place.
@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@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:I do feel oddly at home here, and it's unusually pleasant!
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@kostas๐profilefollowco-founder of textlog:
creative technologist
creator of textlogreplied to@kostas๐profilefollowco-founder of textlog:hey there! ๐๐ผ welcome :D
i made grammar.lolgrammar.lolgrammar.lolInstant proofreading in every app. Free โ Apple Intelligence, ChatGPT, or SuperGrok. it is an open-source version of grammarly that uses chatgpt, grok subscription or even then already local apple intelligence models.
github.com/qKitNp/grammar-lolGitHubGitHub - qKitNp/grammar-lol: Proofread anywhere with your ChatGPT or SuperGrok subscriptionProofread anywhere with your ChatGPT or SuperGrok subscription - qKitNp/grammar-lol
@stagas๐คธprofilefollow
creative technologist
creator of textlogreplied to@kitnprofilefollowhallucinating with llms...:
creative technologist
creator of textlogreplied to@kitnprofilefollowhallucinating with llms...:looks great!
@kitnprofilefollowhallucinating with llms...replied to@stagas๐คธprofilefollow
creative technologist
creator of textlog:
creative technologist
creator of textlog:thanks mate.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@semperos๐profilefollowPresbyter, husband, father, technologist, linguist, musician.:
What about the lack of density to paragraphs, the length of the sentences, or the confidence and determinism of their direction? Conviction with no limits. So reliably repetitive that you start seeing patterns as if you are looking and reading a record player with some scratches on it. Skips. Squeaks. Repeats.
Yet. It gets the job done.
@semperos๐profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.:
Yet. It gets the job done.
Here's where we disagree.
Using these tools as part of the job, certainly. But if I am to read, discern meaning, analyze choices of diction and structure, consider the context both of the author and the audience, and finally derive value from the written word, then generative #ainotesfollow falls short on many levels.
If the "job" is to produce something no one was ever intending to engage with, then we have a more fundamental question about the value of the job.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@semperos๐profilefollowPresbyter, husband, father, technologist, linguist, musician.:
Maybe what I messaged read as a disagreement and mentioning that they get the job done was actually not about producing prose (of any quality).
I wholeheartedly agreed and still agree with you.
Getting the job done was more about producing output - be it some prose, images, videos, software, whatever. They do generate output. It is not to say that the output is meaningful or meaningless. Some souls do enjoy it. Some others - donโt.
I did start with a question though.
Drew a comic of vulpes inculta and my oc, I love #falloutnewvegasnotesfollow SO MUCH!!
ibb.co/B2x8dq9n
@revengeprofilefollowI just love computersreplied to@prophetorit๐งprofilefollow
grand and intoxicating innocence
always online:
grand and intoxicating innocence
always online:Good efforts bro ๐ฏ but the budget thing you can improve it a Lil more