bshanks

8 ms·

31.
Explorations in the Untyped Lambda Calculus(flownet.com)
8 points by bshanks 4y ago|0 comments
32.
Impossibility Theorems in AI Value Alignment (against utility functions)(arxiv.org)
3 points by bshanks 4y ago|0 comments
33.
by bshanks 4y ago
The Connection Machine by Daniel Hillis https://archive.org/details/connectionmachin00hill Describes the motivations for and design of a massively parallel computer with many (millions? 64k?) of very simple processing
34.
by bshanks 4y ago
You could probably make everyone happy just by copying that text to the top of the landing page, as an additional paragraph just above where the "Current progress" button is, right after "..ensure clean and correct multi-thre
35.
by bshanks 4y ago
This paper might be of interest: David Harel, Guy Katz, Rami Marelly, Assaf Marron. Wise Computing: Towards Endowing System Development with True Wisdom https://arxiv.org/abs/1501.05924 It describes an idea called &quo
36.
Baby’s First Garbage Collector (2013)(journal.stuffwithstuff.com)
146 points by bshanks 4y ago|30 comments
37.
by bshanks 4y ago
Has there been any progress in software to allow individual unaffiliated volunteers to help make decentralized third-party backups of the Internet Archive's WWW Wayback machine data? My opinion is that it may be difficult to find enoug
38.
Arc and Mutex in Rust(itsallaboutthebit.com)
119 points by bshanks 4y ago|62 comments
39.
by bshanks 4y ago
Hmm good point about text strings, thanks
40.
by bshanks 4y ago
With LE, you could either: - list memory right-to-left so the lowest memory address is on the right and the highest is on the left (i guess i prefer this solution because it's compatible with the convention of the least-significant-bit
41.
by bshanks 4y ago
I like the 0y format idea. Your point about bit shifts is good, too. If the rightmost bit is the least-significant bit, then for consistency perhaps memory should be written with the lowest memory address on the right. Then 0xDEADBEEF makes
42.
by bshanks 4y ago
Good point. Do any popular hex editors have options to display hex values with the most-significant digit on the right? Or, alternately, to display memory right-to-left so that the lowest memory addresses are on the right side and the highe
43.
On Endianness (2021)(technicalsourcery.net)
59 points by bshanks 4y ago|53 comments
44.
Concise Encoding: A secure data format for a modern world(concise-encoding.org)
76 points by bshanks 4y ago|42 comments
45.
Book review: The Little Typer (2021)(thatgeoguy.ca)
109 points by bshanks 4y ago|23 comments
46.
The Sound of Sorting (2013)(panthema.net)
20 points by bshanks 4y ago|1 comments
47.
by bshanks 5y ago
I think 1-on-1 tutoring is great and I agree that there should be more of it. But whether "genius" has declined seems unclear to me. In my life I've personally met a handful of astoundingly smart intellectuals who work across
48.
by bshanks 5y ago
So i guess some of the reasons are: 1. Inability for the buyer to assess quality: 1.1 Lack of buyers' expertise (tfa goes into this a lot) 1.2 Long timescale to assess quality: that is, a lot of types of 'poor quality&#x2
49.
by bshanks 5y ago
Here's a preprint by some of the same authors as the main article. Figure 5 compares to influenza: https://www.researchsquare.com/article/rs-1062160/v1 Long Covid after Breakthrough COVID-19: the post-acute s
50.
The case for a modern language(jeang3nie.codeberg.page)
206 points by bshanks 5y ago|196 comments
51.
What would it take to recreate dplyr in Python? (2020)(mchow.com)
64 points by bshanks 5y ago|59 comments
52.
by bshanks 5y ago
Seems like a bit of a misnomer if the "passive" cooling had to be activated.
53.
Lisp with GC in 436 Bytes(justine.lol)
51 points by bshanks 5y ago|3 comments
54.
by bshanks 5y ago
Which feature are you saying was not used much? Addition with carry; or addition without carry; or multiple flag registers?
55.
by bshanks 5y ago
I thought that in the wake of Spectre etc, the CPU vendors declared that they wouldn't support privacy guarantees within a process, and that only process sandboxing would be supported?
56.
by bshanks 5y ago
i don't know as much about this as you, but it seems to me that the attack you describe in the blog post would also require a successful eclipse attack? My understanding is that the attack you describe involves a cabal of "evil&qu
57.
by bshanks 5y ago
See also https://eips.ethereum.org/EIPS/eip-2981
58.
Consumers and curators: browsing and voting patterns on Reddit (2017)(arxiv.org)
47 points by bshanks 5y ago|5 comments
59.
Access Act of 2021(congress.gov)
1 points by bshanks 5y ago|0 comments
60.
by bshanks 5y ago
The proposed ACCESS Act discussed in the post appears to be at: https://www.congress.gov/bill/117th-congress/house-bill/3849...

More ›