Newest Stories by nickpsecurity | Lobsters

1

High-Performance Libraries and Tools for HPC pdf slides performance programming cs.fsu.edu
via nickpsecurity 9 hours ago | cached | 1 comment

1
3

Automated, Modular, Refinement Reasoning for Concurrent Programs (2015) ☶ pdf formalmethods programming microsoft.com
via nickpsecurity 32 hours ago | cached | 1 comment

1
1

HN Thread on Capture the Flag Events w/ Many Events and Tips from Veterans security news.ycombinator.com
via nickpsecurity 32 hours ago | cached | 2 comments

2
34

Postgres Full Text Search is Good Enough (2015) databases rachbelaid.com
via nickpsecurity 32 hours ago | cached | 12 comments

12
4

Automating Datacenter Operations at Dropbox databases networking practices blogs.dropbox.com
via nickpsecurity 47 hours ago | cached | no comments

0
8

After 27 Years, Reporter Who Exposed ECHELON Finds Vindication in Snowden Archive law security theintercept.com
via nickpsecurity 3 days ago | cached | 2 comments

2
1

Finite State Entropy: A New Breed of Entropy Coder (2013) compsci programming fastcompression.blogspot.com
via nickpsecurity 3 days ago | cached | no comments

0
42

HPC is Dying and MPI is Killing It distributed performance programming dursi.ca
via nickpsecurity 4 days ago | cached | 14 comments

14
4

Tesla's Big Mistake? hardware science amasci.com
via nickpsecurity 5 days ago | cached | no comments

0
14

Toshi: A Full Text Search Engine in Rust Based on Tantivy rust github.com
via nickpsecurity 5 days ago | cached | 7 comments

7
1

An Efficient Coverage-driven Functional Verification System via Genetic Algorithms (2012) ☶ pdf ai programming testing researchgate.net
via nickpsecurity 5 days ago | cached | no comments

0
1

Interpreting Programs in Static Single Assignment Form (2004) ☶ pdf compsci plt citeseerx.ist.psu.edu
via nickpsecurity 5 days ago | cached | no comments

0
5

Compiler Transformations for High-Performance Computing (1994) ☶ pdf compilers performance engineering.purdue.edu
via nickpsecurity 6 days ago | cached | 1 comment

1
16

How I Doubled My Internet Speed with OpenWRT ☶ networking performance msol.io
via nickpsecurity 6 days ago | cached | 1 comment

1
11

Writing a Self-Mutating x86_64 C Program assembly c shanetully.com
via nickpsecurity 7 days ago | cached | 2 comments

2
4

Safe Programming with Pointers through Stateful Views (2005) ☶ pdf formalmethods plt programming cs.bu.edu
via nickpsecurity 7 days ago | cached | no comments

0
3

Simulation and Formal Verification of x86 Machine-Code Programs that make System Calls ☶ pdf assembly c formalmethods lisp osdev cs.utexas.edu
via nickpsecurity 7 days ago | cached | 1 comment

1
4

Kiwi: High-Level Synthesis for Accelerating Scientific Computation ☶ compilers dotnet hardware performance cl.cam.ac.uk
via nickpsecurity 8 days ago | cached | no comments

0
1

CASM-IR: Uniform ASM-Based I.R. for Model Specification, Execution, and Transformation ☶ pdf compilers formalmethods programming casm-lang.org
via nickpsecurity 8 days ago | cached | no comments

0
6

The Datacenter as a Computer: Designing Warehouse-Scale Machines ☶ pdf book hardware networking practices morganclaypool.com
via nickpsecurity 8 days ago | cached | 2 comments

2
2

ELSA: Efficient Long-Term Secure Storage of Large Datasets ☶ pdf crypto databases arxiv.org
via nickpsecurity 9 days ago | cached | no comments

0
1

A VLSI Analog Computer / Math Co-processor for a Digital Computer ☶ pdf hardware math performance citeseerx.ist.psu.edu
via nickpsecurity 9 days ago | cached | no comments

0
40

How to Make Sure Your Talk Doesn't Suck pdf slides practices damtp.cam.ac.uk
via nickpsecurity 10 days ago | cached | 7 comments

7
3

Towards Verification of the Pastry Protocol using TLA+ (2011) ☶ pdf distributed formalmethods programming researchgate.net
via nickpsecurity 10 days ago | cached | no comments

0
3

Parallel Algorithms for Depth-First Search (1991) ☶ pdf compsci performance repository.upenn.edu
via nickpsecurity 10 days ago | cached | 2 comments

2