Compsci Library 📚

62 views02:12

Compsci Library 📚

Forwarded from epic links / resources (kλletaa)

1710.09756.pdf

1.1 MB

Linear Haskell: practical linearity in a higher-order polymorphic language

https://arxiv.org/abs/1710.09756

63 views03:11

Compsci Library 📚

https://borretti.me/article/parsing-menhir-forth

Fernando Borretti

Parsing with Menhir, Part I: Forth

A tutorial on parsing Forth with Menhir.

103 views03:42

Compsci Library 📚

24027B.pdf

1.9 MB

One Parser to Rule Them All
Ali Afroozeh & Anastasia Izmaylova

67 viewsedited 04:22

Compsci Library 📚

Forwarded from Deleted Account

For_Dummies_John_Paul_Mueller_Functional_Programming_for_Dummies.pdf

8.1 MB

80 views12:28

Compsci Library 📚

Forwarded from /archive/ (Técnico de Informática)

Study essential topics to computer science

https://teachyourselfcs.com/

Teachyourselfcs

Teach Yourself Computer Science

All the resources you need to give yourself a world class computer science education

75 views12:31

Compsci Library 📚

Forwarded from p.file (G)

#learning #programming #julia #math

Introduction to Computational Thinking.

https://computationalthinking.mit.edu/Fall20/

73 views04:26

Compsci Library 📚

https://www.philosophybro.com/

Philosophy Bro

Sup? Philosophy Bro explains complex ideas of philosophy in easy to understand language, created by Tommy Maranges, the author of Descartes' Meditations, Bro.

79 views01:49

Compsci Library 📚

https://google.github.io/comprehensive-rust/

74 views11:11

Compsci Library 📚

Lessons from Writing a Compiler
Fernando Borreti

https://borretti.me/article/lessons-writing-compiler

Fernando Borretti

Lessons from Writing a Compiler

Collected tips from building the Austral compiler.

👍1

192 viewsedited 11:44

Compsci Library 📚

https://m-cacm.acm.org/magazines/2023/1/267976-the-end-of-programming/fulltext

74 views12:26

Compsci Library 📚

https://www.cs.princeton.edu/courses/archive/spring20/cos320/LL1/

69 views00:32

Compsci Library 📚

Forwarded from Dromtek Public Index

https://www.cis.upenn.edu/%7Ebcpierce/courses/670Fall04/GreatWorksInPL.shtml

68 views00:40

Compsci Library 📚

Forwarded from Programming Books

Data_Oriented_Programming_Reduce_Complexity_by_Rethinking_Data_Yehonathan.pdf

7.1 MB

Data-Oriented Programming - Reduce Complexity by Rethinking Data - Yehonathan Sharvit (Manning, 2022)

67 views01:31

Compsci Library 📚

https://gallium.inria.fr/~fpottier/menhir/manual.pdf

66 views09:57

Compsci Library 📚

https://iucompilercourse.github.io/IU-P423-P523-E313-E513-Fall-2020/

IU-P423-P523-E313-E513-Fall-2020

Course Webpage for Compilers (P423, P523, E313, and E513)

Web page for IU Compiler Course for Fall 2020

65 views19:20

Compsci Library 📚

https://arxiv.org/abs/2212.11082

66 views16:25

Compsci Library 📚

https://thomasbandt.com/model-view-update

Thomasbandt

Model-View-Update (MVU) – How Does It Work?

MVU (also known as The Elm Architecture) seems to be one of those things which are a mystery to most of us. Until all of a sudden, we understand it and never wanna miss it again. It's not all that complicated.

65 views15:14

Compsci Library 📚

https://borretti.me/article/unbundling-tools-for-thought

Fernando Borretti

Unbundling Tools for Thought

Disparate thoughts on personal information management after traversing the hype cycle.

64 views15:22

Compsci Library 📚

Forwarded from epic links / resources (Model Komputasi)

The Mathematical Hacker
Evan Miller

https://www.evanmiller.org/mathematical-hacker.html

www.evanmiller.org

The Mathematical Hacker – Evan Miller

53 views13:21

Compsci Library 📚

Forwarded from Deleted Account

https://cichocinski.dev/blog/trying-new-programming-languages-helped-grow-software-engineer

cichocinski.dev

How Trying New Programming Languages Helped Me Grow as a Software Engineer

Use new programming languages knowledge to level up your Software Engineer career!

63 views15:40

About

Blog

Apps

Platform