#cs

Now, for everyone feeling smug the CS1 handouts were easy, CS2 brings drops Computer Science on you. The task here -and why I found it painful at first-, is not to skim through recognising symbols or words, it is to go through *proving every assertion*. Not done that for a long time. Maybe this is my chance to play with Lean. Note: this is the preliminaries chapter. If you can't get past here, game over https://github.com/steveloughran/edinburgh_cs/blob/main/1986-cs2/1986-cs2-foundations-01-mathematical-preliminaries.pdf #computerscience #cs

Currently reading: Edinburgh Uni Computer Science 2h foundations course handouts from 1986/87. Even partway through the mathematical preliminaries chapter and I have a headache. I am going to scan all of this and put online to share the joy #computerscience #cs

Admission requirements for the five-year integrated Computer Engineering degree programme at NTNU in Trondheim are being lowered for the fourth year in a row. Apparently, the uncertainty due to the AI craze is dampening young people's interest in the CE programme. #computerscience #CS #computerengineering #CE #NTNU #Trondheim https://www.universitetsavisa.no/arbeidslivsrelevans-fakultet-for-informasjonsteknologi-og-elektroteknikk-institutt-for-datateknologi-og-informatikk/poenggrensen-pa-datateknologi-falt-med-nesten-ti-poeng/461450

@niekonkurencyjny@wspanialy.eu @74@101010.pl Dla lepszej kondycji. #csżmp

"Humans welcome to observe": A First Look at the Agent Social Network Moltbook https://arxiv.org/abs/2602.10127 #cs.SI #cs.AI #cs.CR

Can anyone recommend me some (online available ;) ) CS textbook that explains Elias-Fano encoding (and SELECT queries on it specifically) in a readable manner? The original papers are annoying and my advisor just told me "it's popular enough that you can just ask your favourite LLM about it" and hell no #csacademia #csresearch #cs #academicchatter #shadowlibrary #bookrecommendations #bookrecs #llm