Newest Stories by hyperpape
Home
Recent
Comments
Search
Login
3
Models of Abstraction
programming
justinblank.com
authored by
hyperpape
2 hours ago
|
cached
|
6 comments
6
16
Simhashing (hopefully) made simple
compsci
programming
ferd.ca
via
hyperpape
1 month ago
|
cached
|
no comments
0
6
Quorum Availability
distributed
math
brooker.co.za
via
hyperpape
1 month ago
|
cached
|
no comments
0
8
Differential Testing to Find Missed Optimization Opportunities in LLVM's RISC-V Backend
compilers
formalmethods
testing
lowrisc.org
via
hyperpape
4 months ago
|
cached
|
no comments
0
72
Rewriting the Technical Interview
lisp
programming
aphyr.com
via
hyperpape
5 months ago
|
cached
|
11 comments
11
33
Micro-Optimizing .tar.gz Archives by Changing File Order
performance
programming
justinblank.com
authored by
hyperpape
6 months ago
|
cached
|
17 comments
17
6
Synthesizing JIT Compilers for In-Kernel DSLs
pdf
compilers
formalmethods
cs.utexas.edu
via
hyperpape
9 months ago
|
cached
|
no comments
0
29
What are you working on this week?
☶
ask
programming
authored by
hyperpape
10 months ago
|
64 comments
64
5
Levels of Fuzzing
programming
testing
blog.regehr.org
via
hyperpape
1 year ago
|
cached
|
1 comment
1
6
Helping Generative Fuzzers Avoid Looking Only Where the Light is Good, Part 1
programming
testing
blog.regehr.org
via
hyperpape
1 year ago
|
cached
|
no comments
0
11
A theorem of software engineering
practices
bertrandmeyer.com
via
hyperpape
1 year ago
|
cached
|
no comments
0
11
Using Uninitialized Memory for Fun and Profit
programming
research.swtch.com
via
hyperpape
1 year ago
|
cached
|
no comments
0
5
Systematically Covering Input Structure
pdf
programming
testing
havrikov.github.io
via
hyperpape
1 year ago
|
cached
|
1 comment
1
6
Engineering a Sort Function
pdf
performance
programming
cs.fit.edu
via
hyperpape
1 year ago
|
cached
|
no comments
0
19
On the Relationship Between Static Analysis and Type Theory
formalmethods
plt
semantic-domain.blogspot.com
via
hyperpape
1 year ago
|
cached
|
9 comments
9
5
Active Benchmarking
performance
programming
brendangregg.com
via
hyperpape
1 year ago
|
cached
|
no comments
0
8
What are you working on this week?
☶
ask
programming
authored by
hyperpape
1 year ago
|
27 comments
27
9
Design and Evolution of C-Reduce (Part 1)
programming
testing
blog.regehr.org
via
hyperpape
1 year ago
|
cached
|
no comments
0
18
What are you working on this week?
☶
ask
programming
authored by
hyperpape
1 year ago
|
53 comments
53
6
Writing a producedural puzzle generator
compsci
games
snellman.net
via
hyperpape
1 year ago
|
cached
|
no comments
0
2
Reader/Reader blocking in reader/writer locks
performance
programming
blog.nelhage.com
via
hyperpape
1 year ago
|
cached
|
no comments
0
36
How Many Type Parameters Can a Java Method Have?
java
justinblank.com
authored by
hyperpape
1 year ago
|
cached
|
no comments
0
26
Verifying Popcount
formalmethods
programming
blog.regehr.org
via
hyperpape
1 year ago
|
cached
|
4 comments
4
13
What are you working on this week?
☶
ask
programming
authored by
hyperpape
1 year ago
|
29 comments
29
2
Send Hardest Problems My Way: Probabilistic Path Prioritization for Hybrid Fuzzing
☶
pdf
formalmethods
security
testing
cs.ucr.edu
via
hyperpape
1 year ago
|
cached
|
no comments
0
Page 2 >>