Compsci Library π
Open in Telegram
Resource about my compsci study, random topic related mostly about system, compiler and programing language.
Show more208
Subscribers
No data24 hours
No data7 days
No data30 days
Posts Archive
The Cognitive Design of Tools of Thought
Barbara Tversky
http://gjgreenberg.bol.ucla.edu/docs/rpp/04_tversky.pdf
Yes, you now can program a (physical) matter like computer program, smart matter.
https://www.programmable-matter.com/home
On Zig vs Rust at work and the choice we made.
https://ludwigabap.bearblog.dev/zig-vs-rust-at-work-the-choice-we-made/
Theory of Computation Playlist
Video version of Michael Sipser's TOC book, it cover with plane sketch on it.
https://m.youtube.com/watch?v=9syvZr-9xwk&list=PLidiQIHRzpXIFFbyGrWkqXXVj0BztDcTF
Oh gyatt i forgor introduce the new channel administration... sigh
before departure of TypedLambdaCalculus the original creator of this channel... she/he/whatever thu pronouce transfer channel to me (Yb's)... hell i know the intent but here we are...
i manage to invite people to be admin to keep this channel alive... I assume that the original want implicitly
here new admin:
- Yb's
- Ρ
- Fiona(She tantrum and left, sadly, my bad)
may you had good quality content to share or interested become admin? Leave in the comment, What ever as long match with the channel bio
π¨π¨π¨
Due incompetence to keep up with Telegram, I as @TypedLambdaCalculus, step down and transfering channel to another admin, in order the channel not gone when I left.
πͺ«πββπ₯
I plan going total off-line, stil there a comm just and only to handle IRL hell business. TL;DR : mine going to be 2004 digital person in 2024, which challenging to do but reward me a peacefull state of mind, I guess. Like old time, spend lot time with manga, compsci with less distraction (I hope can be complete before 2024 end).
π²π²π²
Internet especially social media (including telegram) and its con somewhat suffocate me with something i can't name it. It was great place to form social cluster with like minded individuals even entities, awesome yet terrible one. that was when I grow but now the time has come, to leave.
π©Έπ©Έπ©Έ
The most pain point is finding place to sharing thing, that the reason why i create this channel, to share with other, I guess that is a desire to care others, it pain when you have thing to share but left behind because no place to unleash it then it will grow as loneliness at your soul and decaying your memory and desire for knowledge. Perhaps, i just writing in my web log to preserve my knowledge and kill boredom, lol, again like person in 2004.
Internet somehow tear part of me, or just weak i am toward ultra-fast faced world, I can't tell.
π¨βπ»π©βπ»π»
Keep your Compsci Nerdiness blooming as possible.
πππ
Thank you, for your subcribing and patience to bear with this channel until this moment.
OpenSSH CVE-2024-6387
https://www.qualys.com/2024/07/01/cve-2024-6387/regresshion.txt
Forth compiler in asm
http://git.annexia.org/?p=jonesforth.git;a=blob_plain;f=jonesforth.S;hb=HEAD
Why I Attack?
Nicolas Carlini
https://nicholas.carlini.com/writing/2024/why-i-attack.html
A reckless introduction to Hindley-Milner type inference
https://reasonableapproximation.net/2019/05/05/hindley-milner.html
