persadon.com یکی از بسیاری از سرورهای مستقل ماستودون است که می توانید از آن برای شرکت در fediverse استفاده کنید.
با دوستان خود گفتگو کنید و دوستان تازه بیابید. عکس، ویدیو، و نوشته‌های خود را به اشتراک بگذارید. پرسادون بخشی از شبکهٔ اجتماعی ماستودون است و می‌خواهد محیطی ایمن و پایدار برای کاربران فارسی‌زبان باشد.

به مدیریت:

آمار کارساز:

۵۰
کاربر فعّال

#computerscience

۰ فرسته۰ مشارکت کننده۰ فرسته امروز

My paper "Continuous and algebraic domains in univalent foundations" with @MartinEscardo was accepted for publication by the Journal of Pure and Applied Algebra! 🎉
martinescardo.github.io/papers

This paper has its origin in my very first paper with Martín (and my second paper overall) "Domain Theory in Constructive and Predicative Univalent Foundations" which appeared at Computer Science Logic (CSL) back in 2021.

Since then I wrote my PhD thesis on this topic (and worked on other things in type theory after) and the present paper is both a revision of the CLS'21 paper and my PhD thesis (which I completed in 2022).

Everything in the paper has been formalized and an HTML rendering of the Agda file that directly links the code to the paper can be found here: martinescardo.github.io/TypeTo

#typetheory#agda#logic
AI has a greater chance of failure the longer it works on a task

I was browsing over this research paper by Toby Ord who talks about comparing an LLM working on a lengthy task as compared to a human working on the same lengthy task. The longer it takes to complete the task, the greater the odds of failure for the LLM, in fact the odds of failure increase exponentially with time. Naturally, larger LLMs with more computing power can go for longer, but the exponential odds of failure with respect to time trend are the same no matter what.

So for example you might be able to get the LLM to work on a task for 1 hour with a 8-billion parameter model and expect it will succeed at the task 50% of the time. Maybe you can get 2 hours out of a 16-billion parameter model where you can expect it will succeed at the task 50% of the time (I am guessing these parameter sizes). But after that “half life” the odds of the LLM succeeding taper-off to zero percent.

I haven’t read the little details yet, like how do you judge when the task is done (I presume when the LLM claims that it has finished the job), or do these tests allow multiple prompts (I presume it is just fed an input once and allowed to churn on that input until it believes it is finished). So that makes me wonder, could you solve this problem, increase the AI’s rate of success, if you combine it with classical computing methods? For example, perhaps you can ask the LLM to list the steps it would perform to complete a task, then parse the list of steps into a list of new prompts, then feed-back each of those prompts to the LLM again, each one producing another list of sub tasks — could you keep breaking-down the tasks and feeding them back into the AI to increase it’s odds of success?

It is an interesting research question. I am also interested to see how much energy and water this takes as compared to a human working on the same task, including the caloric intake of food, and perhaps the energy used to harvest, process, and deliver the food.

Toby OrdIs there a Half-Life for the Success Rates of AI Agents? — Toby OrdBuilding on the recent empirical work of Kwa et al. (2025), I show that within their suite of research-engineering tasks the performance of AI agents on longer-duration tasks can be explained by an extremely simple mathematical model — a constant rate of failing during each minute a human would take
#tech#AI#LLM

#softwareEngineering #computerScience #programming #lisp #commonLisp #interview #macro #discussion with historical notes-

screwlisp.small-web.org/show/V

My quick notes on the downloadable interview discussion with @vnikolov and @kentpitman About Vassil's assertables classed toggleable assertion macro design.

Provokes lots of fascinating historical notes from Kent about what the ANSI CL and earlier standardisations were doing and had in mind.

screwlisp.small-web.orgVassil Nikolov’s assertables with Kent Pitman

#computerScience #engineering #commonLisp #show #live #lispyGopherClimate communitymedia.video/w/uBZexon

#climateCrisis #haiku @kentpitman

We have @vnikolov talking about common lisp and type checking macros

+:
We do not have incredible artist @shizamura who has her fourth #scifi comic volume finished being funded or something (?) sarilho.net/en/ (if you speak english and not portuguese).
She promises to record something about semantics for us in the future.

#lambdaMOO live chat

در رشته پاسخ داده

#archive screwlisp.small-web.org/show/K
#programming #engineering #software #computerscience #history #interview
#lispyGopherClimate
screwlisp.small-web.org/show/K
@kentpitman unpublished essay reading and #live

Also Cross-Referencing Editor Facility Kent wrote at Open University in England one summer on the Zmacs/Zwei #emacs substrate.

Live chat in #lambdaMOO as always, and I will also be watching #emacsconf on #irc. Please do engage with Kent directly live (through my voice)

#pleaseBoost @hairylarry

#computerScience #programming #hyperlinks #engineering #history screwlisp.small-web.org/show/u #urgent #boost
See the page - Interviewing @kentpitman Live in less than 23 hours about his writing of the CREF editor tagging/hyperlinking/answer-generating (kind of) in the 80s. Links to Kent's thread on the page.

The SDF Mastodon is down can cannot be expected to recover before the show. PLEASE boost this one for visibility, and Kent's thread (and add questions/comments to address there).

screwlisp.small-web.orgURGENT Kent Pitman Live Interview 23 Hours

Computer Science as a degree is kind of weird. Most people are training for software development jobs but it doesn't really teach software development skills.

Community colleges have job oriented certs and stuff, but as far as universities go, it's pretty much still just CS as an option, right?

Like a CS degree generally doesn't have stuff like source control, APIs, dependencies, etc. as curriculum - it's a degree for how computers work at a base level.

New account, so new #introduction. Let's do it again!

I have a
#MastersDegree in #ComputerScience and #ComputerEngineering. I went to #NMU for undergrad and #MSU for my graduate degree. I currently work at #UChicago for the #TMWCenter, which focuses on helping young children acquire language (and therefore other learning skills) faster.

In my spare time, I develop
#OpenSourceSoftware such as
- a
#SphinxDoc extension that embed #Fediverse comments on your page
- a library to talk to
#ManifoldMarkets from native #Python
- a
#PredictionMarket manager using the above
- a
#transpiler from a subset of Python to #OpenStreetMaps's #OverpassQL
- bug fixes to many other projects, including
#mypy, #base58, #attrs, #CPython, & more

I spend a fair bit of my time these days on
#MathResearch, specifically into the #ThueMorse Sequence and its extensions.

I'm also a hobbyist editor on OpenStreetMap.

#Demisexual, #transfem, and happily engaged to my #enby sweetheart.

We have two cats:
#OpheTheLoaf and #MayalaranTheCat (yes, from #StormlightArchive) See here for more on them!

I speak English fluently, Spanish haltingly, and am trying to learn Chinese

#queer #Chicago

TransFem SpaceOlivia A-C (@LivInTheLookingGlass)These are our cats, #OpheTheLoaf and #MayalaranTheCat. Ophelia was originally my partner's, we live together full time now, and are an integrated family Fun facts about Ophelia: * She is missing a tooth, so her lip sometimes gets stuck open in a cute way * She has an "activation noise" that sounds kinda like a pigeon * She will often do 10/10 loafs, hence the nickname Some facts about Maya: * Her favorite hobby is judging the neighbors * She is very anxious * She has an incredibly dainty play style * She has a series of increasingly ridiculous nicknames: Mayalaran -> Maya -> Mayo -> Aioli -> Au Jus (Follow the hashtags if you want just my cats) #CatsOfMastodon #CatsOfFedi (📎8)

medium.com/@screwlisp/live-int
#lisp #live #interview #computerScience Kent Pitman, MIT in the 60s, lisp, everything, the #climateCrisis, #haiku (read *by Kent* this time)

Please do #boost / #retoot ! Ask questions live:

telnet lambda.moo.mud.org 8888
co guest
@join screwtape
"Hey how could lisp's condition system drastically improve #python ?

Medium · Live Interview With Kent Pitman Incoming - screwlisp - Mediumاز screwlisp

#lispyGopherClimate @kentpitman #live #interview #computerScience #programming #lisp #commonLisp #python with some special announcements and releases.
#teco #emacs #conditions

archives.anonradio.net/2025021

#archive Thanks for the incredible interview and livechat everyone!

Interview 1 / ?

Please drop questions here beforehand or join us live in #lambdaMOO as always !
telnet lambda.moo.mud.org 8888
co guest
@join screwtape

@nosrednayduj @sacha @hairylarry @pkw @rat @pizzapal

Has anyone ever seen code reviews working well in an academic setting?

One of my lab mates just paid a very high price for a small bug, and we're talking about using code reviews to prevent this. Coming from industry myself, I like this idea and volunteered to help figure this out, but I can also imagine lots of reasons this might not work in a lab full of grad students and postdocs.

In particular, I'm worried about training people to actually give good code reviews, sharing the workload fairly, and agreeing on a standard for code quality. I'm very familiar with how to deal with those issues on a software engineering team, but they would all be very different in this setting...

The ERCIM #postdoctoral Fellowship Program for 2025 is now open for applications! 🚀 A unique opportunity to work with leading European research institutes, collaborate on cutting-edge projects, and expand your network.

📅 Apply by: 31 March 2025
🔗 More info & application: fellowship.ercim.eu/

Don't miss out—share with your network! #Research #Fellowship #ERCIM #Postdoc #ercim-news #mathematics #Computerscience #Informationtechnologies

fellowship.ercim.euERCIM Fellowship programmeERCIM Alain Bensoussan Fellowship programme

#TodayInHistory 1925 – Douglas Engelbart, American computer scientist, invented the computer mouse, is born. (d. 2013)

Best known for his work in the field of human–computer interaction, particularly while at his Augmentation Research Center Lab in SRI International, which resulted in creation of the computer mouse, and the development of hypertext, networked computers, and precursors to graphical user interfaces. These were demonstrated at The Mother of All Demos in 1968.