Newest Stories by GeoffWozniak | Lobsters

3

Impact of Economics on Compiler Optimization (2001) pdf compilers citeseerx.ist.psu.edu
via GeoffWozniak 6 days ago | cached | 3 comments

3
6

Software Security is a Programming Languages Issue programming security pl-enthusiast.net
via GeoffWozniak 11 days ago | cached | no comments

0
1

The EDSAC Film (1976) ☶ video historical youtube.com
via GeoffWozniak 13 days ago | cached | no comments

0
4

Logical Types for Untyped Languages (2010) pdf plt ccs.neu.edu
via GeoffWozniak 14 days ago | cached | no comments

0
6

When Coding Style Survives Compilation: De-anonymizing Programmers from Executable Binaries pdf privacy arxiv.org
via GeoffWozniak 14 days ago | cached | no comments

0
9

What does it mean to design software well? practices tedinski.com
via GeoffWozniak 14 days ago | cached | 5 comments

5
4

Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances pdf testing patricegodefroid.github.io
via GeoffWozniak 16 days ago | cached | no comments

0
6

Basics of bidirectionalism plt pigworker.wordpress.com
via GeoffWozniak 16 days ago | cached | 2 comments

2
9

Dijkstra's in Disguise compsci blog.evjang.com
via GeoffWozniak 16 days ago | cached | no comments

0
5

The Worm Ouroboros c python semantic-domain.blogspot.com
via GeoffWozniak 25 days ago | cached | no comments

0
26

A Typed, Algebraic Approach to Parsing compsci semantic-domain.blogspot.com
via GeoffWozniak 27 days ago | cached | 7 comments

7
4

The problem with programming and how to fix it culture alarmingdevelopment.org
via GeoffWozniak 28 days ago | cached | 3 comments

3
15

Pointers Are Complicated, or: What's in a Byte? compilers ralfj.de
via GeoffWozniak 1 month ago | cached | 9 comments

9
5

Comments on timing short code sections on Intel processors compilers hardware sites.utexas.edu
via GeoffWozniak 1 month ago | cached | no comments

0
5

Risks of Cryptocurrencies ☶ pdf cryptocurrencies icsi.berkeley.edu
via GeoffWozniak 1 month ago | cached | 6 comments

6
8

Optimizing a breadth-first search performance snellman.net
via GeoffWozniak 1 month ago | cached | no comments

0
16

The Java type system is broken java wouter.coekaerts.be
via GeoffWozniak 1 month ago | cached | 3 comments

3
81

Massacring C Pointers book c wozniak.ca
authored by GeoffWozniak 2 months ago | cached | 40 comments

40
9

Programming Paradigms and Beyond ☶ pdf education cs.brown.edu
via GeoffWozniak 2 months ago | cached | no comments

0
24

What is Strict Aliasing and Why do we Care? c c++ gist.github.com
via GeoffWozniak 2 months ago | cached | 6 comments

6
6

The Surprising Security Benefits of End-to-End Formal Proofs formalmethods security cccblog.org
via GeoffWozniak 2 months ago | cached | no comments

0
3

AMPstinction web adactio.com
via GeoffWozniak 2 months ago | cached | 1 comment

1
33

C is too low level ☶ c hardware blog.erratasec.com
via GeoffWozniak 3 months ago | cached | 17 comments

17
8

The GPS 2019 Week Rollover - What You Need to Know ☶ programming spectracom.com
via GeoffWozniak 3 months ago | cached | no comments

0
12

Emulating The AT&T 3B2 Computer historical loomcom.com
via GeoffWozniak 3 months ago | cached | no comments

0