Newest Stories by sanxiyn | Lobsters

13

Flatpak is the new framework for desktop applications on Linux linux flatpak.org
via sanxiyn 1 year ago | cached | 8 comments

8
19

Finally, Our Own OS – Oh Yes! (Kaspersky OS) security eugene.kaspersky.com
via sanxiyn 1 year ago | cached | 15 comments

15
4

Nuxi CloudABI: Towards secure, maintainable and testable software unix nuxi.nl
via sanxiyn 1 year ago | cached | no comments

0
2

CertiKOS: An Extenisble Architecture for Building Certified Concurrent OS Kernels programming flint.cs.yale.edu
via sanxiyn 1 year ago | cached | no comments

0
12

rr: Lightweight User-Space Record And Replay debugging arxiv.org
via sanxiyn 1 year ago | cached | no comments

0
4

Dontbug: A reverse debugger for PHP (based on rr) debugging php github.com
via sanxiyn 1 year ago | cached | no comments

0
1

A command-line utility for querying Python ASTs using XPath syntax python github.com
via sanxiyn 1 year ago | cached | no comments

0
7

HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving pdf math openreview.net
via sanxiyn 1 year ago | cached | no comments

0
2

Whole-Module Optimization in Swift 3 swift swift.org
via sanxiyn 1 year ago | cached | no comments

0
8

NetBricks: A new network function framework based on Rust networking rust netbricks.io
via sanxiyn 1 year ago | cached | no comments

0
10

New tag suggestion: optimizing ☶ meta
authored by sanxiyn 1 year ago | 15 comments

15
14

Leah Rowe (Libreboot maintainer) accuses FSF of lying culture lists.gnu.org
via sanxiyn 1 year ago | cached | 17 comments

17
31

Incremental Compilation for Rust rust blog.rust-lang.org
via sanxiyn 1 year ago | cached | no comments

0
5

Optimizing with persistent data structures pdf compilers wingolog.org
via sanxiyn 1 year ago | cached | no comments

0
13

Smaller and faster data compression with Zstandard programming code.facebook.com
via sanxiyn 2 years ago | cached | 2 comments

2
6

MyRocks: A space- and write-optimized MySQL database databases code.facebook.com
via sanxiyn 2 years ago | cached | no comments

0
6

Simit: A language for computing on sparse systems compilers simit-lang.org
via sanxiyn 2 years ago | cached | no comments

0
13

New tag suggestion: Pony ☶ meta
authored by sanxiyn 2 years ago | 10 comments

10
2

Is this Chinese migrant worker a real life 'Good Will Hunting?' math cnn.com
via sanxiyn 2 years ago | cached | 8 comments

8
8

People for the Ethical Treatment of Reinforcement Learners cogsci petrl.org
via sanxiyn 2 years ago | cached | 7 comments

7
35

Problem in Rust adoption rust sanxiyn.blogspot.com
authored by sanxiyn 2 years ago | cached | 28 comments

28
26

"Safe C++ Subset" Is Vapourware c rust robert.ocallahan.org
via sanxiyn 2 years ago | cached | 11 comments

11
24

Rust out your C: experience report about rewriting zopfli in Rust rust github.com
via sanxiyn 2 years ago | cached | 5 comments

5
5

Tracking Down Heap Overflows with rr debugging sean.heelan.io
via sanxiyn 2 years ago | cached | 1 comment

1
4

ENIAC In Action: Making and Remaking the Modern Computer historical eniacinaction.com
via sanxiyn 2 years ago | cached | no comments

0

<< Page 6 | Page 8 >>