Active
Recent
Comments
Search
Login
Login
whileydave.com: 20 stories from 3 submitters
6
Digging into the EVM Object Format (EOF)
api
merkle-trees
programming
whileydave.com
authored by
redjamjar
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
12
Functions as Methods in Dafny?
formalmethods
programming
whileydave.com
authored by
redjamjar
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
16
Proving Beautiful Mathematics in Dafny
formalmethods
math
whileydave.com
authored by
redjamjar
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
11 comments
11
52
Programming Languages Going Above and Beyond
formalmethods
programming
whileydave.com
authored by
redjamjar
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
20 comments
20
8
Formalising the EVM in Dafny
formalmethods
programming
whileydave.com
authored by
redjamjar
2 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
6
Disassembling EVM Bytecode (the Basics)
compilers
programming
whileydave.com
authored by
redjamjar
2 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
4
Verifying a Token Contract
formalmethods
programming
whileydave.com
authored by
redjamjar
2 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
13
Formalising a Simple Virtual Machine
compilers
compsci
formalmethods
whileydave.com
authored by
redjamjar
2 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
7
Type Checking in Whiley goes Both Ways
formalmethods
programming
whileydave.com
authored by
redjamjar
2 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
22
Whiley gets Rusty
compilers
rust
whileydave.com
authored by
redjamjar
2 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
13 comments
13
5
Formally Verifying an Auction Contract
formalmethods
programming
whileydave.com
authored by
redjamjar
2 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
13
Puzzling Strong Updates in Rust
programming
rust
whileydave.com
authored by
redjamjar
2 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
7
Verifying the Whiley Standard Library
formalmethods
plt
whileydave.com
via
calvin
3 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
24
Test-Driving the Rust Model Checker (RMC)
formalmethods
rust
testing
whileydave.com
authored by
redjamjar
3 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
9 comments
9
9
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust
rust
whileydave.com
via
sanxiyn
3 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
10
Dynamic Deadlock Detection in Abseil
c++
debugging
whileydave.com
authored by
redjamjar
4 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
4
QuickCheck for Whiley
compsci
programming
testing
whileydave.com
authored by
redjamjar
4 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
25
Understanding Partial Moves in Rust
c++
programming
rust
whileydave.com
authored by
redjamjar
4 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
17 comments
17
9
The Semantics of Semantic Versioning?
devops
programming
whileydave.com
authored by
redjamjar
4 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
8
Whiley is Ten Years Old
compilers
formalmethods
javascript
programming
whileydave.com
authored by
redjamjar
4 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
2 comments
2