Lobste.rs

title stats ⓘ date
Units of Measure in Rust with Refinement Types
 14 / 1 2020-01-18T00:06:49Z
Low Power Mode for Mac laptops: making the case again
 19 / 8 2020-01-17T21:27:58Z
Inside the digital clock from a Soyuz spacecraft
 33 / 1 2020-01-17T20:53:20Z
Gathering Intel on Intel AVX-512 Transitions
 12 / 0 2020-01-17T19:12:51Z
Drawing with Ants: Generative Art with Ant Colony Optimization Algorithms
 12 / 0 2020-01-17T17:54:04Z
My review of the Pinebook Pro - a $200 ARM powered laptop
 91 / 36 2020-01-17T16:36:04Z
Towards decentralized code collaboration
 19 / 10 2020-01-17T15:15:48Z
A (brief) retrospective on transactional memory (2010)
 4 / 0 2020-01-17T15:05:39Z
forbesmyester/esqlate
 4 / 0 2020-01-17T15:03:16Z
What are you self hosting? (2020)
 62 / 85 2020-01-17T14:08:30Z
A Rails and PostgreSQL setup for GitHub actions (CI)
 3 / 0 2020-01-17T13:59:46Z
actix-web author: "I am done with open source"
 74 / 126 2020-01-17T13:19:20Z
What are you doing this weekend?
 16 / 47 2020-01-17T12:14:56Z
What UNIX Cost Us
 12 / 3 2020-01-17T10:57:45Z
Authenticate and Secure Next.js App Users with Auth0 and TypeScript
 1 / 0 2020-01-17T10:34:56Z
What Could Possibly Go Wrong: Polyglot Party with Nextjournal
 2 / 0 2020-01-17T10:07:04Z
A book series on JavaScript
 3 / 0 2020-01-17T10:03:42Z
Fuck RSA
 21 / 7 2020-01-17T06:22:44Z
Simplicity isn't simple (2015)
 9 / 4 2020-01-17T05:50:08Z
Why Linux/GNU might never succeed on a large scale (2017)
 3 / 5 2020-01-17T05:27:41Z
Hidden Computational Power Found in the Arms of Neurons
 6 / 0 2020-01-17T05:10:48Z
Security architecture anti-patterns
 14 / 2 2020-01-17T03:55:32Z
Analyzing Magecart Malware – From Zero to Hero
 1 / 0 2020-01-17T03:51:15Z
Views on Godot (3.1)
 13 / 1 2020-01-17T03:47:51Z
An aesthetic comparison of a few human-readable hashing functions
 6 / 1 2020-01-17T00:10:22Z
Building a NAS, Part 1: Requirements
 3 / 2 2020-01-16T23:41:21Z
Opening up the Baseboard Management Controller
 4 / 0 2020-01-16T22:41:35Z
Smoke-testing Rust HTTP clients
 38 / 3 2020-01-16T21:48:33Z
Kosmi - Digital Hangouts Reinvented
 -2 / 0 2020-01-16T21:22:03Z
Tips for Customizing Hugo RSS Feeds
 2 / 0 2020-01-16T21:10:04Z
Xfce 4.16 is Adopting Client Side Decoration by Default
 12 / 4 2020-01-16T20:54:56Z
How to fight lies, tricks, and chaos online
 3 / 0 2020-01-16T20:46:50Z
Verona: Research programming language for concurrent ownership
 13 / 2 2020-01-16T20:39:42Z
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
« < 856 857 858 859 860 861 862 863 864 > »