Lobste.rs

title stats ⓘ date
Records Come to Java
 25 / 7 2020-01-16T20:28:58Z
j4mie/sqlsite
 16 / 1 2020-01-16T19:40:47Z
Scalene: a high-performance CPU and memory profiler for Python
 5 / 0 2020-01-16T19:36:19Z
Using Z: Specification, Refinement, and Proof
 11 / 9 2020-01-16T18:04:34Z
Unikernels Can Fulfill the DevOps Promise
 19 / 46 2020-01-16T17:27:30Z
ARMY: A Deductive Verification Platform for ARM Programs Using Why3
 3 / 0 2020-01-16T16:34:39Z
Unix, Plan 9, and Lurking Smalltalk
 27 / 10 2020-01-16T16:33:02Z
I Contribute to the Windows Kernel. We Are Slower Than Other Operating Systems. Here Is Why. (2013)
 77 / 42 2020-01-16T14:10:37Z
LambdaConf 2020 Call for Proposals: Scala, Haskell, Kotlin, Purescript, Rust, Elm, Elixir, F#
 10 / 6 2020-01-16T13:38:00Z
Software writes Software — Program Synthesis 101 (2019)
 8 / 4 2020-01-16T13:27:35Z
R.I.P ROP: CET Internals in Windows 20H1
 7 / 0 2020-01-16T12:10:49Z
GNU Guile 3.0.0 released with JIT
 47 / 14 2020-01-16T12:09:04Z
Python Dependency Injection with flask-injector
 2 / 0 2020-01-16T11:39:43Z
AWS ARN services
 4 / 6 2020-01-16T10:51:24Z
Spinlocks Considered Harmful
 15 / 2 2020-01-16T10:14:04Z
Differentiable Digital Signal Processing: Online Supplement
 3 / 0 2020-01-16T08:23:57Z
Pressure Based Anti-Spam for Discord Bots
 16 / 3 2020-01-16T06:49:43Z
Files, Formats and Byte Arrays
 15 / 17 2020-01-16T04:37:59Z
Why Your AI Project is Going to Fail
 0 / 5 2020-01-16T04:31:52Z
It’s fine to be elitist, sometimes
 30 / 14 2020-01-16T03:48:44Z
Chaos Mesh - Your Chaos Engineering Solution for System Resiliency on Kubernetes
 1 / 0 2020-01-16T03:35:51Z
gray code
 17 / 8 2020-01-16T03:03:16Z
Incunabulum for the 21st century: Making the J interpreter compile in 2020
 9 / 3 2020-01-16T03:00:42Z
Embench™: A Modern Embedded Benchmark Suite
 1 / 0 2020-01-15T23:32:33Z
Intelligence & Spirit (by Reza Negarestani): some notes and discussions
 1 / 0 2020-01-15T23:24:30Z
Static types are dangerously interesting
 30 / 11 2020-01-15T23:10:39Z
Rust and GTK from a React perspective
 14 / 1 2020-01-15T22:26:16Z
What my QC25s taught me about designing long-lasting interfaces
 9 / 20 2020-01-15T22:20:39Z
a util for compiling HTML/PDF documents using Hiccup style templates
 3 / 2 2020-01-15T22:09:05Z
Infrastructure-as-Code mistakes and how to avoid them
 -1 / 0 2020-01-15T21:12:31Z
Calculating the mean of a list of numbers (2016)
 17 / 9 2020-01-15T21:08:22Z
What Is MISRA and how to Cook It
 10 / 30 2020-01-15T21:04:46Z
Retro Review: Zeven OS
 4 / 0 2020-01-15T20:56:26Z
This week in KDE: more speed, more features, and a bug massacre
 7 / 1 2020-01-15T20:52:19Z
Five days in a TTY
 11 / 4 2020-01-15T20:46:06Z
Metropolis-Hastings and Bayesian Inference
 2 / 0 2020-01-15T20:21:38Z
Anonymity Profiles for DHCP Clients aka RFC 7844
 2 / 0 2020-01-15T19:51:54Z
discrete event simulation in Clojure
 3 / 0 2020-01-15T19:36:49Z
Porting Chopstx to RISC-V MCU
 2 / 0 2020-01-15T19:07:54Z
Reproducible computations with Guix
 15 / 1 2020-01-15T19:06:56Z
Can SELECT * Make a Query Go Faster?
 9 / 0 2020-01-15T18:03:11Z
How To Train Interpretable Neural Networks That Accurately Extrapolate From Small Data
 1 / 0 2020-01-15T18:02:33Z
12 Things every Software Developer should be doing in 2020
 -4 / 1 2020-01-15T17:29:37Z
Questions to ask yourself when considering a dependency
 6 / 5 2020-01-15T16:50:33Z
Back to Microsoft · Using Windows again so I can use Linux effectively
 43 / 144 2020-01-15T16:48:16Z
Binary Mutation Analysis of Tests Using Reassembleable Disassembly
 5 / 1 2020-01-15T16:11:39Z
Is TypeScript worth it?
 30 / 30 2020-01-15T15:23:13Z
JDK14 instanceof EA issue
 15 / 0 2020-01-15T14:42:54Z
Writing a polyglot script
 19 / 3 2020-01-15T14:20:14Z
London Open Source Meetup for RISC-V (2020-01-20)
 3 / 1 2020-01-15T13:21:44Z
« < 856 857 858 859 860 861 862 863 864 > »