Active
Recent
Comments
Search
Login
Login
Newest
Top
Newest stories submitted by
ahelwer
.
7
Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods
formalmethods
dl.acm.org
via
ahelwer
6 days ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
9
Quint Deserves Rust
formalmethods
rust
informal.systems
via
ahelwer
19 days ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
4 comments
4
15
TLA+ Monthly Development Update - December 2024
formalmethods
foundation.tlapl.us
authored by
ahelwer
2 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
13
What implementation-independent test file formats exist for language tooling?
☶
ask
testing
authored by
ahelwer
3 months ago
|
24 comments
24
12
Huawei develops 72TB SSD-tape hybrid storage device
☶
hardware
tomshardware.com
via
ahelwer
3 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
4 comments
4
3
Model checking safety of Ben-Or’s Byzantine consensus with Apalache
☶
distributed
formalmethods
protocols-made-fun.com
via
ahelwer
4 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
23
TLA⁺ is more than a DSL for breadth-first search
formalmethods
ahelwer.ca
authored by
ahelwer
5 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
14 comments
14
33
AI models collapse when trained on recursively generated data
ai
nature.com
via
ahelwer
7 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
9 comments
9
27
Seattle’s Living Computers Museum logs off for good as Paul Allen estate will auction vintage items
hardware
geekwire.com
via
ahelwer
8 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
15 comments
15
12
TLA⁺ Unicode support: Learning to work with others in open source
formalmethods
ahelwer.ca
authored by
ahelwer
9 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
2
NixOS/nixpkgs: There isn't a clear canonical way to refer to a specific package version [2020]
☶
nix
github.com/nixos
via
ahelwer
11 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
2
Neural Spline Fields for Burst Image Fusion and Layer Separation
ai
light.princeton.edu
via
ahelwer
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
17
Typing "nix-env -i" should not try to install every single package [2014]
nix
github.com/nixos
via
ahelwer
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
13 comments
13
29
The Full-Source Bootstrap: Building from source all the way down
nix
guix.gnu.org
via
ahelwer
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
4 comments
4
12
Wrangling monotonic systems in TLA+
distributed
formalmethods
ahelwer.ca
authored by
ahelwer
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
12
Pitfalls of Programming with Dependent Types
formalmethods
plt
lean-lang.org
via
ahelwer
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
6
Textbook Review - Performance Modeling and Design of Computer Systems: Queueing Theory in Action
☶
distributed
emptysqua.re
authored by
ahelwer
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
4 comments
4
16
Which Parsing Approach? (2020)
compilers
tratt.net
via
ahelwer
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
11 comments
11
17
Functional Programming in Lean
☶
formalmethods
programming
leanprover.github.io
via
ahelwer
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
18
FOSS I Love: Local game streaming with Sunshine and Moonlight
games
ahelwer.ca
authored by
ahelwer
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
4 comments
4
22
Linux Foundation Announces Launch of TLA+ Foundation
formalmethods
linuxfoundation.org
via
ahelwer
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
12 comments
12
19
Inlining SVGs for Dark Mode
css
ahelwer.ca
authored by
ahelwer
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
7 comments
7
18
Using TLA⁺ at Work: Designing a Snapshot Coordination System
distributed
formalmethods
ahelwer.ca
authored by
ahelwer
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
13 comments
13
12
Pseudocode Showdown: Python vs. PlusCal & TLA+
formalmethods
ahelwer.ca
authored by
ahelwer
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
61
Google Groups has been left to die
culture
ahelwer.ca
authored by
ahelwer
2 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
51 comments
51
Page 2 >>