gbrown_

22 ms·

181.
by gbrown_ 5y ago
Are you able to say anything about the distribution across hardware? E.G. Is there any correlation across such faulty parts with serials/production dates or is it very random/insufficient frequency to say?
182.
by gbrown_ 5y ago
We have machine-check exceptions, the purpose of this paper is to draw attention to erroneous behavior that is silent.
183.
Using dependent types to write proofs in Haskell(janmasrovira.gitlab.io)
2 points by gbrown_ 5y ago|0 comments
184.
by gbrown_ 5y ago
I'd love to see more details on the defective parts, particularly counts of CPU model (anonymized if needs be) and counts of which part of the architecture exhibited faults. From working in HPC I've handled reports of things like
185.
Gibbard’s Theorem vs. Stable Matching(cdsmithus.medium.com)
67 points by gbrown_ 5y ago|9 comments
186.
by gbrown_ 5y ago
For those intertested OP's blog and prior submission [1][2]. > I am thinking that other people may want to have something like that, both for nostalgic reasons and for learning programming, so I thought of asking around and, if enou
187.
by gbrown_ 5y ago
Video presentation giving an overview https://www.youtube.com/watch?v=QMF3rqhjYuM
188.
by gbrown_ 5y ago
You may want to check out these tickets [1][2]. The latest comment in the second link nails it for me. > I don't understand this decision. First the removal of compact mode was motivated because is has bad discoverability. Then comm
189.
by gbrown_ 5y ago
When was the last time a UI update didn't add padding?
190.
Final tagless encodings have little to do with typeclasses(foxhound.systems)
2 points by gbrown_ 5y ago|0 comments
191.
by gbrown_ 5y ago
> it's basically an ad for Intel® Xeon® and Optane®. Bingo.
192.
by gbrown_ 5y ago
A good cup of coffee seems hard to come by.
193.
by gbrown_ 5y ago
That'll be the "fiction" part of the science fiction.
194.
by gbrown_ 5y ago
Obligatory Cantrill reference https://youtu.be/wTVfAMRj-7E?t=5046 . The whole series of these are well worth a listen.
195.
by gbrown_ 5y ago
Minor quibble the -i option mnemonic is "in-place" rather than "interactive".
196.
HeapSafe: Securing Unprotected Heaps in RISC-V [pdf](arxiv.org)
12 points by gbrown_ 5y ago|5 comments
197.
by gbrown_ 5y ago
At a previous job I was receiving training from a Cray engineer and things were winding down as we approached lunch. We were talking about various hardware replacement activities and the instructor recalled such work he had done on older Cr
198.
Constant-Time Big Numbers: An Introduction(cronokirby.com)
52 points by gbrown_ 5y ago|14 comments
199.
The Jame of Life(buttondown.email)
46 points by gbrown_ 5y ago|13 comments
200.
by gbrown_ 5y ago
The classic example is the shell, if it's in a chroot say there's not a lot for you to execute. However the shell itself remains pledged. Pledges must reflect the capabilities of a program. Yes the "proc" and "exec&
201.
The whole freenode kerfluffle(ariadne.space)
152 points by gbrown_ 5y ago|133 comments
202.
by gbrown_ 5y ago
There may be OpenBSD devs working on and using Got, but the OpenBSD project has never declared that it intends to move to it.
203.
Type-Driven API Design in Rust(willcrichton.net)
1 points by gbrown_ 5y ago|0 comments
204.
UndeSErVed trust – How to bypass AMD's SEV(-ES) attestation(uzl-its.github.io)
2 points by gbrown_ 5y ago|0 comments
205.
GADTs for Dummies(wiki.haskell.org)
60 points by gbrown_ 5y ago|30 comments
206.
Comprehensive Study of Security and Privacy of Emerging Non-Volatile Memories(arxiv.org)
1 points by gbrown_ 5y ago|0 comments
207.
by gbrown_ 5y ago
I'm not against nested abbreviations per se but "BPF Memcached Cache" could have just been abbreviated to BPFMC. Avoiding collision with what I would have assumed to be reasonably well known BMC of "Baseboard Management
208.
by gbrown_ 5y ago
This is exactly what I do too. No messing with magic aliases to tweak --git-dir and --work-tree, just vanilla git.
209.
Type-guided development and garden paths(frasertweedale.github.io)
21 points by gbrown_ 5y ago|5 comments
210.
Anatomy of a Type Checker Bug(futhark-lang.org)
3 points by gbrown_ 5y ago|0 comments

More ›