#birthday #math #ComputerScience
computerscience
#birthday #math #ComputerScience
#lispyGopherClimate Sunday morning in Europe with #lisp # live @kentpitman
Going over proto #emacs, #cref, #lispm #computerScience #softwareEngineering #GUI history ! Ask questions in #lisp on #irc now please !
https://toobnix.org/w/gXLXQqxf5MYg1NDF2Ua6oA 15 minutes to live.
Finally, an updated #introduction: Hello! From #Shanghai to #Montreal, now in #NewYorkCity. Master #student in #ComputerScience at #NYU Tandon, still struggling to figure out what I gonna do next. Gained notoriety for making Barinsta, now I hang out in #Matrix and ActivityPub circles and code stuff once in a while. Am a #FediAdmin. Fervent user of #PublicTransport. Knows too little of too many things. Posts are #SliceOfLife + minor commentaries. Happy to have an IRL #meetup with y'all!
Lewis & Clark College in Portland, Oregon will be hiring adjuncts to teach Data Structures (in Python) (fall '25) and CS0 (spring '26). You must be in person and have a Master's degree.
If you happen to be interested, DM me.
#ComputerScienceEducation #CSEd #hiring #ComputerScience #education #pdx #portland
#AI #GenAI #GenerativeAI #LLMs #tech #dev #DataScience #science #ComputerScience #EcologicalRationality
Apparently Giles Deleuze and Felix Guatarri were influenced by this book and Butler's other writings on machine life. The Butlerian Jihad of Dune is possibly named after him (so far haven't found a definitive statement of this, though a very similar event happens in Erewhon). Even Alan Turing references it. Butler, in turn, was heavily influenced by Darwin's On the Origin of Species. So there is a fascinating confluence around this book.
Without spoiling it, does anyone have thoughts about Erewhon?
#Erewhon #Butler #fiction #SciFi #ScienceFiction #evolution #MachineIntelligence #AI #ArtificialLife #ComputerScience #EvolutionaryBiology
1. Economists from the physiocrats (18th century) onward promised society freedom from material deprivation and hard physical labor in exchange for submitting to an economic arrangement of society
2. In a country like the US, material deprivation and hard physical labor have been significantly reduced since then:
Though too many clearly still suffer too much, a large proportion of people live free from fear of starvation or lack of shelter
The US has deindustralized, meaning hard physical labor is not the reality for a lot of people. For a lot of people labor is emotional or symbolic (“knowledge work”)
In other words, for lots of people the economic promise has been fulfilled
It is not coincidental that “Gas Town”’s announcement post mentioned Towers of Hanoi, an undergraduate CS student homework problem that for most students requires thinking hard. It’s designed to encourage a kind of “eureka” moment where recursion as a computer programming technique becomes more clear. GT claims to fulfill the promise of not having to think hard like this anymore: the LLMs will do that thinking for you
It is not coincidental that Gas Town is described as being very expensive. Economic power in the form of asset accumulation is what earns you freedom in this way of conceiving things. If you want the freedom from having to think hard, you’d better accumulate assets
Since the promise is greater collective freedom, endeavoring to accumulate assets is, in this view, a collective good
This differs from effective altruism and other “do good by doing well” conceptions. Rather, the very mechanism of economics produces collective wealth, so the story goes, which means the more active one is as an economic agent, the more collective good one produces (“wealth” and “good” being conflated)
Accumulation of assets is the scorecard, so to speak, of such enhanced economic activity, and the individual reward can then be freedom from having to think hard
Lotka’s maximum power principle (supposedly) dictates that those entities that transform the most power into useful organization are most fit from an evolutionary standpoint
Ernst Juenger’s notion of “total mobilization” brings this principle to politics/political economy/geopolitics: those nations that “totally” mobilize their national resources are the ones that will dominate geopolitically
See, for instance, the RAND Corporation’s Commission on the National Defense Strategy: “The Commission finds that the U.S. military lacks both the capabilities and the capacity required to be confident it can deter and prevail in combat. It needs to do a better job of incorporating new technology at scale; field more and higher-capability platforms, software, and munitions; and deploy innovative operational concepts to employ them together better.” (emphasis mine). In summary: the US is about to be outcompeted (lacks fitness); in response, it should go big (“at scale”, “more”) in an organized way (“deploy innovative operational concepts”, “employ them together better”)
The rhetoric around LLM-based AI includes similar language, exemplified in the GT post: burn through as much infrastructural resources as possible to produce organized outputs “at scale”, while avoiding having human beings think too hard to produce those outputs, an indication that the power was burned to produce useful organization
LLM-based AI plays a prominent role in US federal government strategy, particularly military strategy, with language about dominance serving to justify its use
It is not coincidental that Gas Town uses many orders of magnitude more resources to solve the Towers of Hanoi problem (“Burn All The Gas” Town). This rhetoric dovetails perfectly with the “total mobilization” concept
Perhaps the most (in)famous and illustrious American computer scientist and acknowledged principal pioneer of the discipline now known as artificial intelligence (AI), Professor Marvin Minsky of MIT, once pronounced—a belief he still holds—that ‘‘the brain is merely a meat machine.’’ It is significant that the English language distinguishes between ‘‘flesh’’ on the one hand, and ‘‘meat’’ on the other. The latter is dead and may be eaten, thrown in the garbage, fed to pigs, and so on. Flesh, on the other hand, is living matter and, as such, deserves the respect and dignity for life of which, among others, Albert Schweitzer spoke eloquently. The word ‘‘merely’’ in Minsky’s sentence means essentially ‘‘nothing but,’’ that is, also not deserving unusual respect. His statement is a clear reflection of a profound contempt for life that, as I see it, is shared explicitly by important sectors of the AI community, the artificial intelligentsia, as well as many scientists, engineers, and ordinary people. Daniel C. Dennett, an important American philosopher, once said that we must give up our awe of life if we are to make further progress in AI.
#AI #ComputerScience #life #brain #mind
AAAI Launches AI-Powered Peer Review Assessment System
https://aaai.org/aaai-launches-ai-powered-peer-review-assessment-system/
No.
Speaking as someone who has co-organized an AAAI symposium and among other things did a bunch of editorial work.
#NoAI #AI #GenAI #GenerativeAI #LLMs #aIOutOfScience #science #ComputerScience #PeerReview
To riff on this a bit from a very different field at a very different scale, as a pretext to share an anecdote:
When I was a graduate student I spent a fair amount of time (an embarrassing amount of time) trying to get a computer to learn how to play Tic-Tac-Toe (naughts and crosses) by self play, given minimal help. Why? Because it turns out to be significantly harder than you might think based on the simplicity of the game, and I was curious why. It's not that hard in the grand scheme of things, but it's weirdly harder than you'd (well, I'd) expect (1). So, I went about coding up a Tic-Tac-Toe implementation that could play as quickly as possible, since gameplay would be the inner loop of a search algorithm, tested it some, and set a self-play-based search I was working on loose. Before too long my search was logging data that suggested it had found at least one optimal player. I was excited because I had opinions about how to use self-play to guide strategy search and it seemed like I might have some data supporting those opinions (calling them "hypotheses" would be giving my past self too much credit).
After quite a bit of testing, I discovered that my Tic-Tac-Toe implementation had a bug: in a small set of configurations of the board, my code would flag two in a row as a win instead of three in a row. My "optimal players" turned out to exploit this fact, choosing moves to drive the game into that set of configurations, then "winning" with two in a row. Oops. (2)
I noticed the problem because some of my discovered players were beating a minimax player during post hoc testing, which I knew to be impossible. I was able to sort out why because Tic-Tac-Toe is small enough to exhaustively test: you can enumerate the < 6,000 board configurations (3), run a function or strategy on all of them, and analyze the output in a reasonable amount of time and without too much trouble. I was able to spot by eye what was wrong.
One might ask: why didn't you have unit tests to do this sort of thing? Well, after that experience I did do more routine testing. However, speaking more generally now, there's an infinite regress when it comes to checking whether or not an implementation of a set of rules is faithful to the intention of that set of rules. Barring some kind of theoretical guarantee you'd need some other implementation of the rules to perform that sort of test. How can you be certain that implementation is comprehensive and also doesn't have a bug? You sometimes can't, practically speaking, and sometimes you can't theoretically speaking either. When the domain becomes large and complicated enough that both the above features about Tic-Tac-Toe I took advantage of---a sure indicator grounded in theory, and the ability to comprehensively and satisfactorily test---fail to hold, you're a bit adrift. (4)
I'm not very familiar with Lean, but I do know a bit about type theory, and modern type checkers tend to be Turing complete. Formal verification of a Turing complete programming language is not easy. I understand that practical type systems are designed to make type judgments of interest decidable, but that does not mean they're easy nor that the rules are easy to implement faithfully or test. It seems to me to be a tough problem, which is one of many reasons why I've taken the claims about LLMs doing this or that math thing with a big grain of salt. (5) I've expected to see the analog of my two-in-a-row "optimal" Tic-Tac-Toe players emerge to much fanfare for awhile now, and I expect to see many more.
#AI #LLM #FormalizedMath #math #Lean #ComputerScience #LearningBySelfPlay #SelfPlay #TicTacToe
(1) Donald Michie reported his MENACE system, which was a rudimentary form of reinforcement learning, could learn a decent game of Tic-Tac-Toe within a few hundred games. Christopher Rosin reported his coevolution-based Tic-Tac-Toe learner, a variant of learning by self play, required tens of billions of games to achieve less competence. Arthur Samuel's system learned master-level checkers by self play faster than this.
(2) Debugging a system by wrapping a search or optimization algorithm around it is an underappreciated technique I've used many times. It's a bit like fuzzing with an incentive to cause trouble.
(3) When I said "given minimal help", I meant it: I didn't give the players knowledge of the board symmetries.
(4) Personally I think it's incumbent on computer science professionals to flag when this is the case, since that's something we're educated to know (at least in principle).
(5) "Under the assumption that the implementation of system Y is correct, a human-written formalization of problem X in system Y produced output that a team of humans verified could be adapted into a proof of theorem Z" would grab fewer headlines than "AI proves Z", though.
Computer theorists thus form a neo-mechanistic school of philosophy. Their tenacious defense of some grossly exaggerated claims of what computers can and will do is more understandable if we realize that they represent a school of metaphysics.
#AI #ComputerScience #CognitiveScience #mind #PhilosophyOfMind
#ComputerScience #SoftwareDevelopment #tech #dev #politics
Even a particularly simple system such as a spinning disk that is painted half white ("1") and half black ("0"), where what we observe is a string of 0's and 1's corresponding to the colors, can have this property.
#ComputerScience #systems #ComplexSystems #observability #computationalism
The archivist preserving decaying floppy disks
It's a race against time (and magnetic decay) to preserve decades of cultural history stored on obsolete hardware.
by Mack DeGeurin
FWIW and for sharing the joy: I have just successfully defended my #dissertation. 🥰 It is titled:
”Societal IT systems development. Towards a discursive process-oriented multi-perspective approach to co-designing, -operating, -assessing, and -regulating societally relevant IT systems” 😅
So many wonderful people were supporting me all along the way, it's always teamwork, thank you so much. 🙏
The #summary can be found here: https://rainer-rehak.eu/files/dissertation-summary/ and after some revisions, corrections, editing etc. it will of course be freely available. #CCBY #OA #computerscience @tuberlin @Weizenbaum_Institut
I realize this is beside the point, but personally I view the fact that code review is not considered interesting as a serious failure of computer science education. I'm invested in the latter, so it stands out for me.
On the whole writers tend to love to read. I think they love it in part because their education led them to realize that learning to read well is both a good in itself and helps you become a better writer. Programming languages were designed to be human readable so that humans could read them. Yet we have a couple generations of people writing code most of whom were never explicitly taught how to read it, let alone learn to love reading it.
#tech #dev #software #SoftwareDevelopment #ComputerProgramming #ComputerScience #ComputerScienceEducation
[🇬🇧] Hello, World!
I am currently looking for a junior position in IT or a science-related field.
I am studying Software Systems (Engineering) at Vilnius University and have around 10 years of independent experience in IT, working on everything from software development and systems administration to infrastructure, automation and open-source projects.
Alongside my studies, I have been actively building practical experience through personal projects, research and volunteering. I am particularly interested in software development, systems engineering, DevOps/infrastructure, cybersecurity and research, but I am open to opportunities where I can contribute and learn thereby grow as a whole.
I am a passionate, curious, hardworking candidate who enjoys solving problems, learning, and being useful to the team.
I may be looking for my first formal opportunity in the industry, but I am certainly not starting from zero.
I've attached my CV and would be very happy to hear from anyone who might have a suitable opportunity or recommendation. Feel free to contact me via e-mail or LinkedIn DMs!
CV URL: https://ari.lt/static/cv/en.pdf
#OpenToWork #JobHunting #JuniorDeveloper #SoftwareEngineering #IT #ComputerScience #DevOps #SystemsEngineering #Cybersecurity #Research #Vilnius #Lithuania
[🇱🇹] Sveiki!
Šiuo metu ieškau jaunesniojo (junior) specialisto pozicijos IT arba mokslo srityje.
Šiuo metu studijuoju programų sistemas Vilniaus universitete, o savarankiškai IT srityje darbuojuosi jau apie 10 metų. Per šį laiką teko dirbti su programavimu, sistemų administravimu bei inžinerija, infrastruktūra, automatizavimu bei įvairiais atvirojo kodo projektais.
Greta studijų aktyviai kaupiu praktinę patirtį per asmeninius projektus, mokslinę veiklą ir savanorystę. Labiausiai domina programavimas, sistemų inžinerija, DevOps/infrastruktūra, kibernetinis saugumas ir moksliniai tyrimai, tačiau esu atvira ir kitoms galimybėms, kuriose galėčiau mokytis ir prisidėti bei, aišku, augti.
Esu motyvuota, smalsi ir kruopšti kandidatas, mėgstanti spręsti problemas, gilintis į technologijas ir būti naudinga komandai.
Nors ieškau pirmosios formalios galimybės šiose srityse, į tai tikrai einu ne nuo nulio.
Prisegu savo CV ir būsiu labai dėkinga už bet kokią tinkamą darbo galimybę ar rekomendaciją. Susisiekti galite el. paštu arba asmenine žinute per LinkedIn!
CV URL: https://ari.lt/static/cv/lt.pdf
#IeškauDarbo #DarboPaieška #IT #Programavimas #ProgramųSistemos #DevOps #SistemųAdministravimas #KibernetinisSaugumas #Mokslas #Vilnius #Lietuva