Hacker News new | ask | show | jobs
user: wh313
created: 2017-02-22
karma: 756

submissions:

SeL4 – a formally verified, capability-based microkernel
6 points | 4 comments
New York City Tree Map
3 points | 0 comments
Replacement.ai
1000 points | 684 comments
Radshield: Software Radiation Protection for Commodity Hardware in Space
3 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Multifactor Authentication – Cognitive Overload?
2 points | 0 comments
0 points | 0 comments
Places, non-places and supermodernity: on the issues of rooting and uprooting
2 points | 0 comments
ChatGPT Therapy Is Good, but It Misses What Makes Us Human
1 points | 0 comments
How to Land the Space Shuttle from Space
2 points | 0 comments
Cosmic rays don't strike twice: understanding the nature of DRAM errors
3 points | 0 comments
First 210 solar days of Mars 2020 Perseverance Robotic Operations
1 points | 0 comments
Enzian: An open, general, CPU/FPGA platform for systems software research
3 points | 0 comments
Post-Olympic Depression Haunts the Games' Winners and Losers
1 points | 0 comments
XRP: In-Kernel Storage Functions with eBPF
3 points | 0 comments
Maps of Subjective Feelings
2 points | 0 comments
Why Do Keynote Speakers Keep Suggesting That Improving Security Is Possible?
2 points | 0 comments
Building certified concurrent OS kernels
65 points | 7 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Treehouse: A Case for Carbon-Aware Datacenter Software
6 points | 0 comments
0 points | 0 comments
Loner: Utilizing the CPU vector datapath to process scalar integer data
1 points | 0 comments
A guide on STEM PhD admissions
1 points | 0 comments
0 points | 0 comments