Active
Recent
Comments
Search
Login
Login
Newest
Top
Newest stories submitted by
brendan
.
12
λ-2D: An Exploration of Drawing as Programming Language, Featuring Ideas from Lambda Calculus
art
plt
media.mit.edu
via
brendan
1 month ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
13
On relational compilation
compilers
formalmethods
plt
people.csail.mit.edu
via
brendan
5 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
7 comments
7
14
You Already Know Formal Methods
formalmethods
galois.com
via
brendan
7 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
12
A New Medium for Communicating Research on Programming Languages
plt
willcrichton.net
via
brendan
7 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
58
Introducing cap-std, a capability-based version of the Rust standard library
rust
security
blog.sunfishcode.online
via
brendan
11 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
22 comments
22
34
You Can't Prove Everything That's True
video
compsci
math
youtube.com
via
brendan
11 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
16 comments
16
6
Type-guided development and garden paths
haskell
testing
frasertweedale.github.io
via
brendan
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
7
Verification = TCB/PB Reduction
formalmethods
blog.compiler.ai
via
brendan
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
11
Apollo Era Personal Computers
video
historical
math
youtube.com
via
brendan
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
33
Query Engines: Push vs. Pull
databases
justinjaffray.com
via
brendan
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
6 comments
6
17
Safe Systems Programming in Rust
plt
rust
cacm.acm.org
via
brendan
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
3
Computing with metavalues
formalmethods
math
fredrikj.net
via
brendan
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
5
Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations
ml
plt
gopiandcode.uk
via
brendan
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
61
Turning the IDE Inside Out with Datalog
databases
plt
petevilter.me
via
brendan
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
13 comments
13
7
Verified Programming with Project Everest
video
formalmethods
plt
youtube.com
via
brendan
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
6
Effects for Less
video
haskell
performance
youtube.com
via
brendan
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
34
Penrose: from mathematical notation to beautiful diagrams
graphics
math
plt
programming
penrose.ink
via
brendan
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
10 comments
10
15
Using Formal Methods to Eliminate Exploitable Bugs
video
formalmethods
security
youtube.com
via
brendan
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
5 comments
5
15
One-pass Compiler Primer
compilers
programming
keleshev.com
via
brendan
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
15
Diagrams for Composing Compilers
compilers
programming
johnwickerson.wordpress.com
via
brendan
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
5
x86 mov insns & short history of the most popular CPU architecture
video
assembly
hardware
youtube.com
via
brendan
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
5
The organized chaos of programming language design
plt
programming
medium.com
via
brendan
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
7
What's Your Computer Actually Doing?
video
assembly
programming
youtube.com
via
brendan
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
20
Rust Creator Graydon Hoare Talks About Security, History, and Rust
plt
programming
rust
security
thenewstack.io
via
brendan
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
15
Formally Verified Software in the Real World
formalmethods
programming
security
cacm.acm.org
via
brendan
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
Page 2 >>