HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Teaching the Essentials of Garbage Collection
blog.brownplt.org
10 comments
13 years ago
bazzargh
89 points
2.
▲
Finding and fixing standard misconceptions about program behavior
blog.brownplt.org
21 comments
2 years ago
vector_spaces
77 points
3.
▲
Mystery Languages
blog.brownplt.org
23 comments
8 years ago
matt_d
65 points
4.
▲
Types for Tables: A Language Design Benchmark
blog.brownplt.org
13 comments
5 years ago
matt_d
63 points
5.
▲
Human Judgment as a Specification
blog.brownplt.org
20 comments
5 days ago
surprisetalk
56 points
6.
▲
Teaching and Assessing Property-Based Testing
blog.brownplt.org
3 comments
5 years ago
luu
43 points
7.
▲
The Hidden Perils of Automated Assessment
blog.brownplt.org
15 comments
8 years ago
nemoniac
29 points
8.
▲
Lightweight Diagramming for Lightweight Formal Methods
blog.brownplt.org
discuss
a year ago
azhenley
24 points
9.
▲
Forge: A Tool to Teach Formal Methods
blog.brownplt.org
1 comment
2 years ago
todsacerdoti
21 points
10.
▲
Gradual Soundness: Lessons from static Python
blog.brownplt.org
1 comment
4 years ago
azhenley
15 points
11.
▲
Plan Composition Using Higher-Order Functions
blog.brownplt.org
6 comments
4 years ago
azhenley
14 points
12.
▲
Forge: A Tool to Teach Formal Methods
blog.brownplt.org
discuss
2 years ago
__rito__
7 points
13.
▲
Resugaring – adding the syntactic sugar back into your program
blog.brownplt.org
6 comments
10 years ago
jsnell
6 points
14.
▲
Linear Temporal Logic (LTL) Tutor
blog.brownplt.org
discuss
2 years ago
matt_d
6 points
15.
▲
Essentials of Garbage Collection
blog.brownplt.org
discuss
13 years ago
glazskunrukitis
5 points
16.
▲
A Core Calculus for Documents
blog.brownplt.org
1 comment
2 years ago
azhenley
3 points
17.
▲
A Privacy-Affecting Change in Firefox 20
blog.brownplt.org
discuss
13 years ago
lifthrasiir
3 points
18.
▲
Practical Static Analysis for Privacy Bugs
blog.brownplt.org
discuss
a year ago
todsacerdoti
3 points
19.
▲
Mystery Languages (2018)
blog.brownplt.org
discuss
2 years ago
nairboon
3 points
20.
▲
A Grounded Conceptual Model for Ownership Types in Rust
blog.brownplt.org
discuss
3 years ago
carapace
3 points
21.
▲
Performance Preconceptions
blog.brownplt.org
discuss
4 years ago
matt_d
3 points
22.
▲
Types for Tables: A Language Design Benchmark
blog.brownplt.org
discuss
5 years ago
matt_d
3 points
23.
▲
Philogenic Colors
blog.brownplt.org
discuss
8 years ago
justinpombrio
3 points
24.
▲
Can We Crowdsource Language Design?
blog.brownplt.org
discuss
9 years ago
mpweiher
3 points
25.
▲
Objects in Scripting Languages
blog.brownplt.org
discuss
13 years ago
brudgers
2 points
26.
▲
MOOR: Massively Open and Online Research
blog.brownplt.org
discuss
13 years ago
rits
2 points
27.
▲
Human Judgment as a Specification
blog.brownplt.org
discuss
13 days ago
matt_d
2 points
28.
▲
Diagramming Program Values by Spatial Refinement
blog.brownplt.org
discuss
18 days ago
matt_d
2 points
29.
▲
Why is cloud file-sharing hard? By analogy with programming misconceptions
blog.brownplt.org
discuss
10 months ago
fanf2
2 points
30.
▲
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org
discuss
10 months ago
thunderbong
2 points
More