Top New Best Ask Show Jobs

nextos

12,951 karma · joined August 6, 2013

hn (dot) capital203 (at) passinbox (dot) com

Oxford, UK

submissions comments

Applied Regression and Causal Inference

statmodeling.stat.columbia.edu·2 pts·nextos·

Finding the Truth in Science

nature.com·1 pts·nextos·

Creusot, a deductive verifier for Rust code

github.com·3 pts·nextos·

Maybe Haskell

books.thoughtbot.com·10 pts·nextos·

Dorothy Bishop on the prevalence of scientific fraud

statmodeling.stat.columbia.edu·31 pts·nextos·

How to handle a hands-off supervisor

kidger.site·3 pts·nextos·

Functional Data Structures and Algorithms: A Proof Assistant Approach

functional-algorithms-verified.org·6 pts·nextos·

Simple Haskell

simplehaskell.org·3 pts·nextos·

CausalPy – causal inference for quasi-experiments

causalpy.readthedocs.io·4 pts·nextos·

Rich Hickey's Clojure Bookshelf

amazon.com·5 pts·nextos·

Key-Locked Rank One Editing for Text-to-Image Personalization

research.nvidia.com·1 pts·nextos·

Safe and just Earth system boundaries

nature.com·2 pts·nextos·

Oxford University’s other diversity crisis

economist.com·1 pts·nextos·

Britain Is Broken

thetimes.co.uk·20 pts·nextos·

Why universities are making us stupid

newstatesman.com·4 pts·nextos·

Logic and Proof

leanprover.github.io·1 pts·nextos·

Bayesian Learning: Basics, Computation, Approximation, and Futures

drive.google.com·2 pts·nextos·

A Memristor-Based Bayesian Machine

arxiv.org·4 pts·nextos·

A Year with Notmuch Mail (2016)

lwn.net·6 pts·nextos·

Program Analysis (An Appetizer)

arxiv.org·2 pts·nextos·

Flâneries

cs.uwaterloo.ca·1 pts·nextos·

Logic and Computation Intertwined

cs.uwaterloo.ca·2 pts·nextos·

OCaml 5.0 (prerelease) Manual: Effect handlers

kcsrk.info·2 pts·nextos·

Program = Proof [pdf]

lix.polytechnique.fr·2 pts·nextos·

Emacs Version 28.1 Released

gnu.org·6 pts·nextos·

Viral by Alina Chan and Matt Ridley Book Review

forbetterscience.com·1 pts·nextos·

Let's Prove Leftpad

github.com·2 pts·nextos·

Program Verification: Vision and Reality

cacm.acm.org·3 pts·nextos·

Formal Reasoning About Programs

adam.chlipala.net·3 pts·nextos·

Program Analysis (An Appetizer)

arxiv.org·3 pts·nextos·

← PreviousPage 2 of 4Next →