Newest Stories by hyperpape | Lobsters

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