gbrown_

40 ms·

421.
Accelerating Sparse Matrix-Matrix Multiplication with GPU Tensor Cores(arxiv.org)
77 points by gbrown_ 6y ago|13 comments
422.
Timing Cache Accesses to Eliminate Side Channels in Shared Software(arxiv.org)
1 points by gbrown_ 6y ago|0 comments
423.
Revisiting a 'Smaller Rust'(without.boats)
13 points by gbrown_ 6y ago|3 comments
424.
How hard can you believe in your logic?(c9x.me)
1 points by gbrown_ 6y ago|0 comments
425.
by gbrown_ 6y ago
Not sure why this wasn't marked a dupe of https://news.ycombinator.com/item?id=24577881 which was submitted ~10 hours earlier and I think was briefly on the front page.
426.
New Models for Understanding and Reasoning about Speculative Execution Attacks(arxiv.org)
2 points by gbrown_ 6y ago|0 comments
427.
Randomized Testing of Cloud Spanner(medium.com)
1 points by gbrown_ 6y ago|0 comments
428.
Contravariant Functors Are Weird(sanj.ink)
50 points by gbrown_ 6y ago|25 comments
429.
Tensor Chain Contraction with Refolds(aneksteind.github.io)
2 points by gbrown_ 6y ago|0 comments
430.
A general definition of dependent type theories(math.andrej.com)
3 points by gbrown_ 6y ago|0 comments
431.
by gbrown_ 6y ago
This link is broken, appears to be a dupe of https://news.ycombinator.com/item?id=24471004 although the title has changed.
432.
Many Ways to Start an Xserver(nixers.net)
76 points by gbrown_ 6y ago|15 comments
433.
The Size of Tracing Data(richardstartin.github.io)
1 points by gbrown_ 6y ago|0 comments
434.
by gbrown_ 6y ago
Posted 3 days ago https://news.ycombinator.com/item?id=24353686
435.
An Unavoidable Performance Regression(futhark-lang.org)
2 points by gbrown_ 6y ago|0 comments
436.
Formally Verified Trades in Financial Market(arxiv.org)
1 points by gbrown_ 6y ago|0 comments
437.
Parametricity, Local Reasoning(about.chatroulette.com)
1 points by gbrown_ 6y ago|0 comments
438.
Deep Learning for Compilers(era.ed.ac.uk)
81 points by gbrown_ 6y ago|17 comments
439.
by gbrown_ 6y ago
Yup, ":help user-manual" sadly often overlooked.
440.
by gbrown_ 6y ago
> So, the pages are still around when the system reboots. ... > The kernel notices that a previous dmesg buffer is already in that spot in RAM (because of a valid signature or checksum or whatever) and decides to append to that buffer
441.
Removing .la files, for dum^W uncertain people(flameeyes.blog)
1 points by gbrown_ 6y ago|0 comments
442.
Umash: A fast and universal enough hash(engineering.backtrace.io)
4 points by gbrown_ 6y ago|4 comments
443.
by gbrown_ 6y ago
> The answer is maybe to auto merge what has not changed locally? Yup sysmerge(8) does this on OpenBSD. Not sure if other BSDs have similar mechanisms, from the article I would guess not.
444.
Martin Hofmann’s Contributions to Type Theory: Groupoids and Univalence [pdf](cs.nott.ac.uk)
3 points by gbrown_ 6y ago|0 comments
445.
Paper: A Fork() in the Road(dannas.name)
4 points by gbrown_ 6y ago|0 comments
446.
by gbrown_ 6y ago
Yes which the linked piece covers but it also says OpenBSD does both KASLR and KARL.
447.
by gbrown_ 6y ago
OpenBSD does not do KASLR as far as I'm aware.
448.
Generic traversals with applicative difference lists(blog.poisson.chat)
2 points by gbrown_ 6y ago|0 comments
449.
by gbrown_ 6y ago
Not sure why this is on the front page when essentially the same thing was posted yesterday? https://news.ycombinator.com/item?id=24050691
450.
by gbrown_ 6y ago
Not sure why this submission links to some Dropbox. The following submission links to the actual ACM reference. https://news.ycombinator.com/item?id=24057842

More ›