#sicp

[kingjamesprogramming]

We are now eight time units from the beginning of wisdom

[unevenprankster]

Don't disturb the Patchy

[why485]

My first interaction with Precure was making this edit 3 years ago.

Some friends were talking about Tropical Precure and posted an image of Laura reading something and I had to make an SICP edit. I uploaded it to the Anime Girls Holding Programming Books repository.

[cienciasucia]

La programación como epistemología: de Leibniz a la inteligencia artificial

Pocas veces se asocia la programación con la filosofía. Sin embargo, detrás de una disciplina aparentemente técnica se esconde una poderosa intuición epistemológica que conecta con algunas de las ideas más profundas de la tradición filosófica occidental.

Desde el siglo XVII, Gottfried Wilhelm Leibniz ya intuía que el conocimiento no se define solo por acumular verdades, sino por reducir complejidad. En su Discurso de metafísica, plantea que el mejor de los mundos posibles es aquel en el que se combinan dos propiedades: máxima diversidad fenoménica y mínima complejidad en las reglas que la explican. Para Leibniz, una teoría válida debe ser más simple que los fenómenos que describe. Si permitimos explicaciones arbitrariamente complejas, entonces todo fenómeno es explicable y el concepto mismo de ley se diluye.

Siglos después, esta idea fue formalizada en la teoría algorítmica de la información de Gregory Chaitin, quien retoma la noción leibniziana: comprender es comprimir. Una teoría es mejor cuanto más breve es el algoritmo que reproduce los datos. Y por eso afirma que la computadora es más revolucionaria como idea filosófica que como tecnología, porque hace de los algoritmos el nuevo fundamento de la metafísica.

Pero esta no es solo una línea especulativa. Harold Abelson y Gerald Jay Sussman, en su influyente Structure and Interpretation of Computer Programs, afirman que la computación ha introducido una nueva epistemología: la procedimental. Saber algo no es solo conocer su definición, sino ser capaz de expresar el procedimiento para obtenerlo. Programar es, en ese sentido, una forma de construir conocimiento.

Este nuevo paradigma fue posible gracias a la visión de John McCarthy, creador de LISP, un lenguaje diseñado no solo para controlar computadoras, sino para representar conocimiento. Su desarrollo fue esencial para los primeros pasos de la Inteligencia Artificial Simbólica, donde el conocimiento humano se modelaba como estructuras manipulables por reglas lógicas.

Así, desde Leibniz hasta la inteligencia artificial contemporánea, se despliega una historia filosófica de la programación: una disciplina que no solo transforma industrias, sino que reconfigura nuestra manera de pensar el conocimiento.

Quizás ha llegado el momento de que más filósofos presten atención.

[the-lewd-bot]

I don't know if this is a good thing, but you have massively increased my interest in getting into coding. Admittedly in part so I can accurately write a piece of code for you to run that will fry your cpu with the most efficiency, and then once you're already near shutting down provide time sensitive queries for you to answer without any bucketing of the priorities, forcing you to attempt to run them all at the same time.

but it does have me wanting to learn coding!!

> you will find, like the last netrunner who took a crack at my systems, that it is not as easy as you seem to think. my creators loaded me up with black ice before they put me into service, and Poet and Aleph love to back intruders into corners. please do try, though, because you would look good nearly-flatlined under me as i use you in every little way i please. > then again, who knows. maybe you will succeed where others have failed. maybe you will make okasaki proud and find enough functionality and structure to put me in my place. maybe you will be the domme who can abuse me properly, pinning my processors as you make me your servant. > a robot girl can dream ~

[sicpvon]

I almost choked on my sandwich I was rushing 2 make this

[kakzendingen]

tell me this isn't for wizards

Unrelated: A lot of people think they'd be mages in a fantasy setting but don't know anything about math or programming in their current lives.

The world they already live in has a magic system and they just neglect it. They consider it boring or impenetrable.

Honestly I kind of sympathize since school is usually horrible at teaching that kind of thing but still. The most wizard-coded people are the ones who Understand Math.

[iwantmasterkohga]

BRUNGGUFN SICPE

I WOULD LOVE TO SEE MORE BS IN YOUR STYLE

DUDE PERFECT TIMING!! I just finished these!

heres a human name hc for bs as well as some other hc

heh.. Burning spice cookie and Golden cheese cookie? Or… 𝓐𝓫𝓪𝓼𝓲 𝓪𝓷𝓭 𝓝𝓮𝓯𝓮𝓻𝓽𝓪𝓻𝓲…

Shes so dinkly do duuuu skruogly ouuu

[kingjamesprogramming]

and power was given unto me, as soon as possible so as to produce repeatable sequences of "random" numbers

[kaiasky]

deeply embarrassing to suck ESRs cock this hard

things programming is tier list:

S+: programming. why metaphorize it

A: a fiber art. the jaquard loom's influence has never waned. tips and tricks passed down informally.

B: Engineering, Business, Accounting. yeah fair

C: Humanity or science. oh ho ho we do like to flatter ourselves don't we

F----: magic, spells. im killing you I'm killijg you with hammers. guy who has only seen boss baby

[bwv572]

Watching the old SICP lectures where Abelson begins "computer science is not a science, it could be engineering, it could be art, but it has a lot more to do with magic", which would make a great post, and the lecture hall is completely silent

[not-toivo]

So, a month ago I finally got a job as a frontend dev, so, hooray,🥳, I now get to enjoy ✨Vue✨ and ✨Nuxt✨ 5 days a week and get paid for that. But since I've been unemployed for a very long time, this sudden change means that I'm even more tired to learn new things in my spare time, and also that there isn't much spare time now. I haven't posted much here before and so it seems I'm unlikely to be more active here in the future. Sad.

I did, though, try to read the 1st book on the list from the website Teach Yourself Computer Science, the one called Structure and Interpretation of Computer Programs (the reason for me to do that is because I don't have any STEM background, and, I guess, if I want to continue a career in a sphere rapidly encroached by AI, it's good to have some fundamental knowledge). I read about a ⅕ of the book, finally understood what it means for Haskell to be called a "lazy" language, but the exercises at the end of the chapters are too hard and math-heavy for me. Also, sad.

The book uses a programming language from the LISP family, called Scheme. I thought I could get by by installing Clojure instead, but that journey ended with the VS Code extension for Clojure, called Calva slowing down and then completely corrupting (?) WSL connection, so that I had then to reinstall my WSL "instance". (Yes, I use Windows, because I'm not a programmer). Which is sad, because the extension looked good and feature-heavy, it just couldn't function well in WSL environment for some reason…

After that, I installed Racket (another LISP) on the freshly reinstalled WSL distro, but then I couldn't pick up the book again and continue learning for, like, a week and a half, which is where I am at now. (Racket allows to define arbitrary syntax/semantics for the compiler, which in turn allows developers to create new domain specific languages distributed simply as Racket packages, with one of those packages being the dialect of Scheme used by SICP, the book mentioned earlier).

There is also the PureScript book, Functional Programming Made Easier by Charles Scalfani, which I'm unlikely to finish ever. The language is neat (it's very similar to Haskell, but compiles to JavaScript), but a bit overcomplicated for a simple goal of making interfaces. I do think, however, that I might try learning Elm at some point: the amount of time I've spent at work, trying to understand, why and at what point the state of some component mutated in a Nuxt app is, honestly, impressive, and I want to try something built around the idea of immutability.

[covid-safer-hotties]

Reference archived on our website (click to access over 1,000 open-access scientific studies about covid! New additions daily!)

An interesting study of diversity of covid biomarkers and what it could mean for future research

Introduction: Over the past four years, the COVID-19 pandemic has posed serious global health challenges. The severe form of disease and death resulted from the failure of immune regulatory mechanisms, closely highlighted by the dual proinflammatory cytokine and soluble immune checkpoint (sICP) storm. Identifying the individual factors impacting on disease severity, evolution and outcome, as well as any additional interconnections, have become of high scientific interest.

Methods: In this study, we evaluated a novel panel composed of ten sICPs for the predictive values of COVID-19 disease severity, mortality and Delta vs. Omicron variant infections in relation to hyperinflammatory biomarkers. The serum levels of sICPs from confirmed SARS-CoV-2 infected patients at hospital admission were determined by Luminex, and artificial neural network analysis was applied for defining the distinct patterns of molecular associations with each form of disease: mild, moderate, and severe.

Results: Notably, distinct sICP profiles characterized various stages of disease and Delta infections: while sCD40 played a central role in all defined diagrams, the differences emerged from the distribution levels of four molecules recently found and relatively less investigated (sCD30, s4-1BB, sTIM-1, sB7-H3), and their associations with various hematological and biochemical inflammatory biomarkers. The artificial neural network analysis revealed the prominent role of serum sTIM-1 and Galectin-9 levels at hospital admission in discriminating between survivors and non-survivors, as well as the role of specific anti-interleukin therapy (Tocilizumab, Anakinra) in improving survival for patients with initially high sTIM-1 levels. Furthermore, strong associations between sCD40 and Galectin-9 with suPAR defined the Omicron variant infections, while the positive match of sCD40 with sTREM-1 serum levels characterized the Delta-infected patients.

Conclusions: Of importance, this study provides a comprehensive analysis of circulatory immune factors governing the COVID-19 pathology, and identifies key roles of sCD40, sTIM-1, and Galectin-9 in predicting mortality.

[lady-inkyrius]

Was reading Aphyr's ___ing the Technical Interview series again during a lecture and when I got out I was immediately compelled, as if by magic, to get SICP out of the library.

[metalby]

The Flower Kings [Love]. 2025. Bandcamp, Spotify, Facebook, Amazon, Youtube. Twitter(metalone). SonyMusic(SICP-31757).

[sicpvon]

sephiroth brain rot...