wh313

7 ms·

1.
Tock: A secure embedded operating system for microcontrollers written in Rust(tockos.org)
2 points by wh313 2mo ago|0 comments
2.
SeL4 – a formally verified, capability-based microkernel(sel4.systems)
6 points by wh313 6mo ago|4 comments
3.
New York City Tree Map(tree-map.nycgovparks.org)
3 points by wh313 9mo ago|0 comments
4.
Replacement.ai(replacement.ai)
1000 points by wh313 11mo ago|684 comments
5.
Radshield: Software Radiation Protection for Commodity Hardware in Space(radshield.github.io)
3 points by wh313 1y ago|0 comments
6.
by wh313 2y ago
Perhaps review "Dialectics of the Concrete," which if read carefully, might ameliorate your smug demeanor. By the way, you failed to address his main point that the US is taking a turn towards authoritarianism, and instead chose t
7.
by wh313 2y ago
Unlocked article: https://www.nytimes.com/2024/06/11/science/mushroom-hunters-...
8.
Multifactor Authentication – Cognitive Overload?(lexdis.org.uk)
2 points by wh313 3y ago|0 comments
9.
by wh313 3y ago
I'm confused about how the article minimizes the suicide rate in boys. It even has multiple paragraphs analyzing why this gap exists. It seems like you're framing gender dynamics as a zero-sum game, where improving the situation o
10.
Places, non-places and supermodernity: on the issues of rooting and uprooting(brown.edu)
2 points by wh313 3y ago|0 comments
11.
ChatGPT Therapy Is Good, but It Misses What Makes Us Human(columbiapsychiatry.org)
1 points by wh313 3y ago|0 comments
12.
How to Land the Space Shuttle from Space(youtube.com)
2 points by wh313 4y ago|0 comments
13.
Cosmic rays don't strike twice: understanding the nature of DRAM errors(dl.acm.org)
3 points by wh313 4y ago|0 comments
14.
First 210 solar days of Mars 2020 Perseverance Robotic Operations(trs.jpl.nasa.gov)
1 points by wh313 4y ago|0 comments
15.
Enzian: An open, general, CPU/FPGA platform for systems software research(dl.acm.org)
3 points by wh313 4y ago|0 comments
16.
Post-Olympic Depression Haunts the Games' Winners and Losers(theatlantic.com)
1 points by wh313 4y ago|0 comments
17.
XRP: In-Kernel Storage Functions with eBPF(usenix.org)
3 points by wh313 4y ago|0 comments
18.
Maps of Subjective Feelings(pnas.org)
2 points by wh313 4y ago|0 comments
19.
Why Do Keynote Speakers Keep Suggesting That Improving Security Is Possible?(youtube.com)
2 points by wh313 4y ago|0 comments
20.
Building certified concurrent OS kernels(dl.acm.org)
65 points by wh313 4y ago|7 comments
21.
by wh313 4y ago
I was answering a question asking for a link between xenophobia and democracy. This article establishes the link through an analysis of right-wing supremacy in the United States. Could you explain how your reply applies that that context? H
22.
by wh313 4y ago
This brings up the question, why should that be the metric to measure the effects of climate change with, as compared to the other metrics we go by?
23.
by wh313 4y ago
How much does this greening offset the other effects of climate change, such as increased severe weather, ecosystem loss, and water scarcity, among other things [1] ? [1] https://www.ipcc.ch/report/ar6/wg2/dow
24.
by wh313 4y ago
I find your point extremely interesting, though I think I'm missing one of your core assumptions. When you highlight the term "democratic," it seems to me as though you implicitly switched away from the ethical perspective of
25.
by wh313 4y ago
From the paper "Right-wing extremism/radicalism: reconstructing the concept" [1]: > Although nationalism, racism and xenophobia are all discrete concepts, policies of exclusionary nationalism and cultural homogeneity often
26.
Treehouse: A Case for Carbon-Aware Datacenter Software(arxiv.org)
6 points by wh313 4y ago|0 comments
27.
by wh313 4y ago
The highest stipend I've been offered by a CS PhD program has been 50k. In NYC. Most other offers I had were around the 30k-40k region. The median household income in 2020 was $67,521 [1] [1]: https://www.census.gov/lib
28.
Loner: Utilizing the CPU vector datapath to process scalar integer data(dl.acm.org)
1 points by wh313 4y ago|0 comments
29.
A guide on STEM PhD admissions(github.com)
1 points by wh313 4y ago|0 comments
30.
by wh313 4y ago
Thanks for the link, I actually haven't seen that. Here's an interesting preprint tackling this issue as well: https://doi.org/10.31219/osf.io/rw4es I'm also curious as to why you thought that this

More ›