Lobste.rs

title stats ⓘ date
Why Common Lisp is used to implement commercial products at Secure Outcomes (2010)
 11 / 5 2023-07-08T20:35:37Z
Functional Programming in Lean
 17 / 0 2023-07-08T19:08:33Z
Test Against Reality
 22 / 11 2023-07-08T17:06:00Z
Implement DNS in a weekend
 4 / 1 2023-07-08T16:49:31Z
An eInk, Wrist-Mounted, TOTP Generator
 18 / 19 2023-07-08T16:34:47Z
How to Keep Lambda Calculus Simple
 3 / 0 2023-07-08T15:32:58Z
Migrating a production database without any downtime (2021)
 5 / 0 2023-07-08T15:20:59Z
This will be easy
 57 / 30 2023-07-08T15:01:33Z
Re-evaluation on MultiPaxos under partial network partition from the OmniPaxos paper
 1 / 0 2023-07-08T14:24:13Z
RISC-V Assembly Programming
 26 / 7 2023-07-08T14:20:54Z
Prio: Private, Robust, and Scalable Computation of Aggregate Statistics (2017)
 2 / 0 2023-07-08T13:54:07Z
A comparison of multiple generative AI tools when asking for Ruby on Rails code
 4 / 0 2023-07-08T13:35:40Z
Beyond functional programming: a taste of Verse
 20 / 1 2023-07-08T12:36:27Z
cargo-semver-checks: Scan your Rust crate for semver violations
 12 / 1 2023-07-08T09:59:30Z
Counterexamples in Type Systems
 19 / 1 2023-07-08T04:51:41Z
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
 6 / 1 2023-07-08T03:00:50Z
Refurb weekend(s): Commodore/MOS KIM-1
 7 / 0 2023-07-08T02:39:05Z
Intel VT-rp - Part 1. remapping attack and HLAT
 2 / 0 2023-07-08T01:25:10Z
ai.txt: robots.txt for AI
 7 / 5 2023-07-08T01:10:16Z
Advanced macOS Commands
 33 / 4 2023-07-07T23:24:26Z
Coverage-guided fuzzing of Haskell programs for cheap
 6 / 0 2023-07-07T21:09:57Z
Experiencing Decreased Performance with ChatGPT-4
 1 / 6 2023-07-07T19:04:09Z
The Subtle Magic of tsnet
 19 / 1 2023-07-07T18:47:38Z
SBP v2.3.0 adds 'sbp/domains/lock' to prevent unauthorized access to domain state
 1 / 1 2023-07-07T18:07:26Z
Taking back what was lost, aka the many challenges of a not so important subsystem rewrite
 16 / 0 2023-07-07T17:52:06Z
GKE (Google Kubernetes Engine) Review
 22 / 8 2023-07-07T17:05:40Z
Taking Advantage of Auto-Vectorization in Rust (2020)
 4 / 0 2023-07-07T16:29:43Z
A Deep Dive Into SVG Path Commands
 10 / 4 2023-07-07T15:47:21Z
Mistaken for malware
 52 / 25 2023-07-07T15:24:36Z
TIL - IN is not the same as ANY
 12 / 3 2023-07-07T13:03:06Z
Fun Format Friday: Your favorite tech is by a group or person who has done terrible things
 1 / 6 2023-07-07T11:59:30Z
How I Hacked my CASIO F-91W digital watch
 32 / 14 2023-07-07T11:47:08Z
From Lunar Phases to Yank-Pop
 8 / 0 2023-07-07T10:40:58Z
What are you doing this weekend?
 12 / 28 2023-07-07T10:18:41Z
A Language-Based Approach to Programming with Serialized Data
 9 / 2 2023-07-07T09:31:32Z
Nix shell template
 14 / 11 2023-07-07T09:13:45Z
What is the type of Type?
 32 / 29 2023-07-07T07:49:39Z
Searching for meaning
 6 / 0 2023-07-07T07:04:52Z
Corinna in the Perl Core
 22 / 0 2023-07-07T05:50:48Z
GPT-4 API general availability
 1 / 0 2023-07-07T05:19:23Z
Sierra Creative Interpreter – Scripts
 18 / 0 2023-07-07T01:32:41Z
Oils Is Exterior-First (Code, Text, and Structured Data)
 10 / 4 2023-07-07T01:29:57Z
6.33 times faster than C - part one
 32 / 12 2023-07-07T01:14:04Z
The LLMentalist Effect: how chat-based LLMs replicate the mechanisms of a psychic’s con
 5 / 2 2023-07-07T01:01:32Z
Soufflé: A Datalog Synthesis Tool for Static Analysis
 12 / 7 2023-07-07T00:45:24Z
Tweaking Emacs for Ruby Development
 6 / 0 2023-07-07T00:15:07Z
Impact of remote-code execution vulnerability in LangChain
 2 / 0 2023-07-06T23:43:47Z
Improving the performance of a Windows Guest on KVM/QEMU
 2 / 3 2023-07-06T22:29:34Z
Exploring openKylin: China's 1st Independent Open-Source Linux OS
 2 / 1 2023-07-06T21:30:24Z
Formal Software Design with Alloy 6
 6 / 0 2023-07-06T19:32:29Z
« < 192 193 194 195 196 197 198 199 200 > »