Newest Stories by sanxiyn
Home
Recent
Comments
Search
Login
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 >>