HNHacker News
TopNewBestAskShowJobs

lainon

19,288 karma · joined March 11, 2016

submissionscomments

A Practical Theory of Programming

cs.toronto.edu·8 pts·lainon·
0

Fuzzy logic, neural networks, and soft computing (1994) [pdf]

cs.uni.edu·8 pts·lainon·
0

Exploiting Typical Values to Accelerate Deep Learning (2018) [pdf]

eecg.toronto.edu·3 pts·lainon·
0

Hearing your touch: A new acoustic side channel on smartphones

arxiv.org·2 pts·lainon·
0

Towards Robust and Verified AI: Specification Testing, Robust Training

deepmind.com·4 pts·lainon·
0

Open Sourcing Science Journal iOS

opensource.googleblog.com·3 pts·lainon·
0

A polynomial algorithm to determine 3-SAT satisfiability

polynomial3sat.org·1 pts·lainon·
0

Fault-Tolerant Nanosatellite Computing on a Budget

arxiv.org·1 pts·lainon·
0

Hacking CD/DVD/Blu-ray for Biosensing (2018) [pdf]

orbit.dtu.dk·1 pts·lainon·
0

Low Cost Interconnected Architecture for the Hardware Spiking Neural Networks

ncbi.nlm.nih.gov·2 pts·lainon·
0

Challenges hindering memristive neuromorphic hardware from going mainstream

nature.com·3 pts·lainon·
0

Evaluating probabilistic programming languages simulating quantum correlations

ncbi.nlm.nih.gov·1 pts·lainon·
0

Auto-Keras: open-source software library for automated machine learning

autokeras.com·17 pts·lainon·
0

Figure errors, sloppy science, and fraud: keeping eyes on your data

jci.org·1 pts·lainon·
0

Piano Genie

piano-genie.glitch.me·1 pts·lainon·
0

Relativity Tutorial (2017)

astro.ucla.edu·2 pts·lainon·
0

Haydn and Herschel in the Clair de Lune

charlespetzold.com·2 pts·lainon·
0

Computational Mathematics with SageMath (2018)

sagebook.gforge.inria.fr·86 pts·lainon·
11

Visualizing Memorization in RNNs

distill.pub·4 pts·lainon·
0

PIITracker: Automatic Tracking of Personally Identifiable Information in Windows [pdf]

cs.unm.edu·1 pts·lainon·
0

Scinapse – Academic search engine for papers

scinapse.io·2 pts·lainon·
0

FastQRE: Fast Query Reverse Engineering (2018) [pdf]

ics.uci.edu·14 pts·lainon·
0

Bootstrapping Cookbooks for APIs from Crowd Knowledge on Stack Overflow

arxiv.org·2 pts·lainon·
0

Future hadron colliders: From physics perspectives to technology R&D (2014)

sciencedirect.com·1 pts·lainon·
0

Diverse and robust molecular algorithms using reprogrammable DNA self-assembly

nature.com·1 pts·lainon·
0

Baby monkey is first primate created using sperm from tissue transplanted to dad

nature.com·1 pts·lainon·
0

Authy – Enable 2FA for your favorite sites

authy.com·2 pts·lainon·
0

The Pragmatic Theory of Truth

plato.stanford.edu·1 pts·lainon·
0

Correct Approximation of IEEE 754 Floating-Point Arithmetic Program Verification

arxiv.org·1 pts·lainon·
0

Safe Compilation for Encrypted Computing

eprint.iacr.org·2 pts·lainon·
0
← PreviousPage 8 of 34Next →