Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
106 results for "domain:stanford.edu"
1
Calibrated Uncertainty in Deep Learning
pdf
ai
math
web.stanford.edu
via
unbalancedparentheses
5 days ago
|
cached
|
no comments
0
7
Data-Driven Verification (2016)
☶
pdf
formalmethods
programming
theory.stanford.edu
via
nickpsecurity
5 days ago
|
cached
|
no comments
0
13
A Haskell Compiler: Slides on the GHC Implementation
compilers
haskell
scs.stanford.edu
via
nickpsecurity
8 days ago
|
cached
|
2 comments
2
6
Filter Before You Parse: Faster Analytics on Raw Data with Sparser
☶
ai
databases
dawn.cs.stanford.edu
via
skunkwerks
17 days ago
|
cached
|
3 comments
3
4
On Automatically Proving the Correctness of math.h Implementations
☶
pdf
formalmethods
math
programming
theory.stanford.edu
via
nickpsecurity
18 days ago
|
cached
|
no comments
0
2
Artificial Intelligence (Stanford Encyclopedia of Philosophy)
ai
philosophy
plato.stanford.edu
via
lainon
1 month ago
|
cached
|
no comments
0
3
WiCapture
hardware
web.stanford.edu
via
calvin
1 month ago
|
cached
|
no comments
0
1
Stanford DAWN
ai
dawn.cs.stanford.edu
via
jumex
2 months ago
|
cached
|
no comments
0
7
APL and J vs C
apl
programming
crypto.stanford.edu
via
akkartik
4 months ago
|
cached
|
no comments
0
10
Salsify — A New Architecture for Real-time Internet Video
graphics
networking
snr.stanford.edu
via
calvin
4 months ago
|
cached
|
no comments
0
1
A Graduate Course in Applied Cryptography
crypto
education
crypto.stanford.edu
via
quobit
4 months ago
|
cached
|
no comments
0
1
IotaFS: Exploring File System Optimizations for SSDs (2012)
☶
pdf
hardware
linux
performance
web.stanford.edu
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
2
Computer and Information Ethics (Stanford Encyclopedia of Philosophy) (2001)
historical
practices
programming
plato.stanford.edu
via
molloy
5 months ago
|
cached
|
1 comment
1
3
Low-precision computation can yield highly accurate solutions
ai
dawn.cs.stanford.edu
via
Yogthos
5 months ago
|
cached
|
no comments
0
1
Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions (2015)
☶
pdf
android
formalmethods
java
theory.stanford.edu
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
2
Seams: Provably-Safe, Local Edits on Graphs (2017)
☶
pdf
formalmethods
plt
programming
theory.stanford.edu
via
nickpsecurity
6 months ago
|
cached
|
no comments
0
1
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (2000)
☶
pdf
compilers
security
web.stanford.edu
via
nickpsecurity
6 months ago
|
cached
|
1 comment
1
2
“Dancing Links” pre-fascicle 5c of Knuth's TAOCP
book
compsci
math
www-cs-faculty.stanford.edu
via
derek-jones
7 months ago
|
cached
|
no comments
0
3
Bulletproofs: Short Proofs for Confidential Transactions
crypto
cryptocurrencies
crypto.stanford.edu
via
sanxiyn
7 months ago
|
cached
|
no comments
0
29
Classical Data Structures That Can Outperform Learned Indexes
ai
programming
dawn.cs.stanford.edu
via
Yogthos
7 months ago
|
cached
|
5 comments
5
Page:
1
2
3
4
5