home
-
all
|
technology
-
piracy
-
linux
-
selfhosted
-
memes
-
world
-
asklemmy
-
privacy
-
games
-
nostupidquestions
-
opensource
-
mildlyinfuriating
-
youshouldknow
-
technology
-
technology
-
programmerhumor
-
showerthoughts
-
fediverse
-
worldnews
-
lemmyshitpost
-
more »
log in
or
sign up
|
settings
susam@lemmy.ml
overview
[+]
[–]
susam
joined 3 years ago
MODERATOR OF
susam
bitwise
sorted by:
new
top
controversial
old
1
The Evolution of Lua by Ierusalimschy, Figueiredo, and Celes (2007)
(www.lua.org)
submitted
1 year ago
by
susam@lemmy.ml
to
c/bitwise@lemmy.ml
0 comments
fedilink
1
A Tutorial Introduction to the Lambda Calculus (Rojas, 2015) [PDF]
(arxiv.org)
submitted
1 year ago
by
susam@lemmy.ml
to
c/susam@lemmy.ml
0 comments
fedilink
1
Programming Z3
(z3prover.github.io)
submitted
2 years ago
by
susam@lemmy.ml
to
c/bitwise@lemmy.ml
0 comments
fedilink
1
Programming in Standard ML (Harper, 2011) [PDF]
(www.cs.cmu.edu)
submitted
2 years ago
by
susam@lemmy.ml
to
c/susam@lemmy.ml
0 comments
fedilink
1
Structure and Interpretation of Computer Programs, 2nd ed. [PDF]
(web.mit.edu)
submitted
2 years ago
by
susam@lemmy.ml
to
c/susam@lemmy.ml
0 comments
fedilink
1
Keeping CALM: When Distributed Consistency is Easy (Hellerstein and Alvaro, 2019)
(arxiv.org)
submitted
2 years ago
by
susam@lemmy.ml
to
c/bitwise@lemmy.ml
0 comments
fedilink
1
PEG-based transformer provides front-, middle- and back-end stages in a simple compiler (Piumarta, 2010)
(web.archive.org)
submitted
2 years ago
by
susam@lemmy.ml
to
c/bitwise@lemmy.ml
0 comments
fedilink
1
Calculus for Beginners and Artists
(math.mit.edu)
submitted
2 years ago
by
susam@lemmy.ml
to
c/bitwise@lemmy.ml
0 comments
fedilink
1
Galois Theory (Tom Leinster, University of Edinburgh)
(www.maths.ed.ac.uk)
submitted
2 years ago
by
susam@lemmy.ml
to
c/susam@lemmy.ml
0 comments
fedilink