Newest Stories by GeoffWozniak | Lobsters

12

Static type checking in the programmable programming language lisp medium.com
via GeoffWozniak 6 days ago | cached | 1 comment

1
5

Cybersecurity is not very important pdf security dtc.umn.edu
via GeoffWozniak 16 days ago | cached | 2 comments

2
46

A fork() in the road osdev microsoft.com
via GeoffWozniak 16 days ago | cached | 70 comments

70
2

Confusing easy to state problems with easy to realise solutions ☶ programming tratt.net
via GeoffWozniak 21 days ago | cached | no comments

0
6

Case Study of a Program using an Agile Software Development Process ☶ pdf practices conferences.computer.org
via GeoffWozniak 1 month ago | cached | 4 comments

4
7

A journey into IoT – Hardware hacking: UART hardware security techblog.mediaservice.net
via GeoffWozniak 1 month ago | cached | no comments

0
3

The Grand SYMBOL-PLIST Treatise historical lisp blog.funcall.org
via GeoffWozniak 1 month ago | cached | no comments

0
4

What should a Software Engineering course look like? practices tomasp.net
via GeoffWozniak 2 months ago | cached | 1 comment

1
59

Lessons from 6 software rewrite stories practices medium.com
via GeoffWozniak 2 months ago | cached | 7 comments

7
7

The RCA Selectron -- Tubes vs. Transistor hardware historical rcaselectron.com
via GeoffWozniak 2 months ago | cached | no comments

0
22

Why Does Mozilla Maintain Our Own Root Certificate Store? security blog.mozilla.org
via GeoffWozniak 2 months ago | cached | no comments

0
7

A Simple Explanation for the Existence of Adversarial Examples with Small Hamming Distance ai arxiv.org
via GeoffWozniak 2 months ago | cached | 1 comment

1
2

Deprecating volatile c++ wg21.link
via GeoffWozniak 2 months ago | cached | 1 comment

1
1

Identical Code Folding c++ tetzank.github.io
via GeoffWozniak 3 months ago | cached | no comments

0
4

ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS ☶ pdf formalmethods cl.cam.ac.uk
via GeoffWozniak 3 months ago | cached | no comments

0
48

Lisp Badge hardware lisp technoblogy.com
via GeoffWozniak 3 months ago | cached | 1 comment

1
6

Notes on Test-Case Reduction testing drmaciver.com
via GeoffWozniak 3 months ago | cached | no comments

0
10

VGA Video out on BluePill hardware shadetail.com
via GeoffWozniak 3 months ago | cached | no comments

0
20

Retro debugging book debugging wozniak.ca
authored by GeoffWozniak 3 months ago | cached | 3 comments

3
34

When you code, write down everything practices swizec.com
via GeoffWozniak 3 months ago | cached | 12 comments

12
19

The "high-level CPU" challenge (2008) compilers hardware yosefk.com
via GeoffWozniak 4 months ago | cached | 6 comments

6
8

Robust Website Fingerprinting Through the Cache Occupancy Channel pdf browsers security arxiv.org
via GeoffWozniak 5 months ago | cached | 1 comment

1
20

SBCL - COMPILE - threadsafe at last, probably lisp sourceforge.net
via GeoffWozniak 5 months ago | cached | 2 comments

2
21

What FP can learn from Smalltalk video programming youtube.com
via GeoffWozniak 5 months ago | cached | no comments

0
42

Why 536 was ‘the worst year to be alive’ science sciencemag.org
via GeoffWozniak 5 months ago | cached | 14 comments

14