Compsci Library ๐Ÿ“š
@compsciresources
225 subscribers
13 photos
86 files
434 links
Resource about my compsci study, random topic related mostly about system, compiler and programing language.
Download Telegram
About
Blog
Apps
Platform
Join
Compsci Library ๐Ÿ“š
225 subscribers
Compsci Library ๐Ÿ“š
Forwarded from /v/โ€˜s Video Memes (แ…  แ… )
yuzu-latest-builds-4th-march-2024_archive.torrent
10.4 KB
binaries + source
citra-nightly-2104_archive.torrent
20.1 KB
and citra for anyone who wants it, since it was also taken down
168 views
Compsci Library ๐Ÿ“š
https://github.com/RPISEC/MBE
GitHub
GitHub - RPISEC/MBE: Course materials for Modern Binary Exploitation by RPISEC
Course materials for Modern Binary Exploitation by RPISEC - RPISEC/MBE
184 views
Compsci Library ๐Ÿ“š
https://yzena.com/2024/03/what-computers-cannot-do-the-consequences-of-turing-completeness/
Yzena, LLC
What Computers Cannot Do: The Consequences of Turing-Completeness
I have found a lot of programmers that do not understand the Halting Problem and its implications, so here is my attempt to fix that.
๐Ÿ‘1
174 views
Compsci Library ๐Ÿ“š
https://www.cs.purdue.edu/homes/comer/essay.criticize.html
๐Ÿ‘1
145 views
Compsci Library ๐Ÿ“š
https://github.com/ossu/computer-science

LGTM if you have a lot time to finish this course (approx. 2 yr)
GitHub
GitHub - ossu/computer-science: ๐ŸŽ“ Path to a free self-taught education in Computer Science!
๐ŸŽ“ Path to a free self-taught education in Computer Science! - ossu/computer-science
๐Ÿ‘1
190 views
Compsci Library ๐Ÿ“š
Writting Interpreter in Go (2020)
Throsten Ball

https://edu.anarcho-copy.org/Programming%20Languages/Go/writing%20an%20INTERPRETER%20in%20go.pdf
๐Ÿ‘3โšก1
218 views
Compsci Library ๐Ÿ“š
Type System for Memory Safety

https://borretti.me/article/type-systems-memory-safety
Fernando Borretti
Type Systems for Memory Safety
A survey of type systems for memory safety.
๐Ÿ‘1
189 views
Compsci Library ๐Ÿ“š
https://xnacly.me/posts/2023/write-your-own-programming-language/

https://xnacly.me/posts/2023/language-performance/
xnacly.me
You should write your own programming language
Why i think you should write your own programming language
โคโ€๐Ÿ”ฅ2
731 viewsedited  
Compsci Library ๐Ÿ“š
Choose Your Weapon: Survival Strategies for Depressed AI Academics

https://ar5iv.labs.arxiv.org/html/2304.06035
ar5iv
Choose Your Weapon: Survival Strategies for Depressed AI Academics
โคโ€๐Ÿ”ฅ2
209 views
Compsci Library ๐Ÿ“š
lambda.pdf
334 KB
Programming with Lambda Calculus
Brandl Helmut
โคโ€๐Ÿ”ฅ1
206 views
Compsci Library ๐Ÿ“š
cc.pdf
509.7 KB
Typed Lambda Calculus (2022)
Brandl Helmut
โคโ€๐Ÿ”ฅ1๐Ÿ”ฅ1๐Ÿคฏ1
240 views
Compsci Library ๐Ÿ“š
https://programming-journal.org/2023/7/6/
The Art, Science, and Engineering of Programming
A Theory of Composing Protocols
In programming, protocols are everywhere. Protocols describe the pattern of interaction (or communication) between software systems, for example, between a user-space program and the kernel or between a local application and an online service. Ensuring conformanceโ€ฆ
โคโ€๐Ÿ”ฅ1
232 views
Compsci Library ๐Ÿ“š
https://thecoder08.github.io/hello-world.html
โคโ€๐Ÿ”ฅ1
326 views
Compsci Library ๐Ÿ“š
student.pdf
1.2 MB
Implementing Functional Languages:
a tutorial
Simon Peyton Jones

This practical tutorial, worth peek imo.
โคโ€๐Ÿ”ฅ2
188 views
Compsci Library ๐Ÿ“š
Forwarded from GOJO
obfus.h is a macro-only library for compile-time obfuscating C applications, designed specifically for the Tiny C (tcc). It is tailored for Windows x86 and x64 platforms and supports all versions of the compiler.

https://github.com/DosX-dev/obfus.h
โคโ€๐Ÿ”ฅ3
213 views
Compsci Library ๐Ÿ“š
Why we use semicolon as statement terminator

https://ntietz.com/blog/researching-why-we-use-semicolons-as-statement-terminators/
โคโ€๐Ÿ”ฅ3
425 views
Compsci Library ๐Ÿ“š
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/knuthmorrispratt-illustrated/8EFA77D663D585B68630E372BCE1EBA4
Cambridge Core
Knuthโ€“Morrisโ€“Pratt illustrated | Journal of Functional Programming | Cambridge Core
Knuthโ€“Morrisโ€“Pratt illustrated - Volume 34
โคโ€๐Ÿ”ฅ2
185 views
Compsci Library ๐Ÿ“š
Forwarded from GOJO
๐—ง๐—ต๐—ฒ ๐—น๐—ฒ๐—ด๐—ฒ๐—ป๐—ฑ ๐—ผ๐—ณ "๐˜…๐Ÿด๐Ÿฒ ๐—–๐—ฃ๐—จ๐˜€ ๐—ฑ๐—ฒ๐—ฐ๐—ผ๐—ฑ๐—ฒ ๐—ถ๐—ป๐˜€๐˜๐—ฟ๐˜‚๐—ฐ๐˜๐—ถ๐—ผ๐—ป๐˜€ ๐—ถ๐—ป๐˜๐—ผ ๐—ฅ๐—œ๐—ฆ๐—– ๐—ณ๐—ผ๐—ฟ๐—บ ๐—ถ๐—ป๐˜๐—ฒ๐—ฟ๐—ป๐—ฎ๐—น๐—น๐˜†"

Link ๐Ÿ”—:-
https://fanael.github.io/is-x86-risc-internally.html
fanael.github.io
The legend of "x86 CPUs decode instructions into RISC form internally" - Fanael's random ruminations
A dive into what x86 instruction are decoded into various processors, to determine the truth of the idea that they're just RISC-like internally.
โคโ€๐Ÿ”ฅ2
207 views
Compsci Library ๐Ÿ“š
https://blog.jeffsmits.net/compsci/2024/04/07/parsing-and-all-that/
blog.jeffsmits.net
LL Parsing and Recursive Descent
A web log. Mostly about computer science-y stuff.
โคโ€๐Ÿ”ฅ1
210 views