Programming

awesome-embedded-rust: Curated list of resources for Embedded and Low-level development in the Rust programming language (github.com)
2025-3-7 Rust programming

Five years of home-cooked apps (www.robinsloan.com)
2025-3-7

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods (dl.acm.org)
2025-3-7 AWS

(2009) Composing J in my mind (web.archive.org)
2025-3-7

Permalink to Keeping your decentralized workforce better protected from security risks (sdtimes.com)
2025-3-7 InfoSec Decentralize

From unique to cleanups and weak: new low-level tools for efficiency (go.dev)
2025-3-7

Succinct data structures (blog.startifact.com)
2025-3-7

Types as a design tool (interjectedfuture.com)
2025-3-7

To B or not to B: B-Trees with Optimistic Lock Coupling (cedardb.com)
2025-3-7

Strobelight: A profiling service built on open source technology (engineering.fb.com)
2025-3-7

Distributed Systems without Raft (part 1) (david-delassus.medium.com)
2025-3-7

xit is coming (radarroark.github.io)
2025-3-7

The ZAnt Project (zigtinybook.github.io)
2025-3-7

We're fixing Edge Computing: Introducing Magic Containers (bunny.net)
2025-3-7 Container Edge Computing

Chat Bots Revisited (blog.cofree.coffee)
2025-3-7

My changes to the default Phoenix boilerplate (mediremi.com)
2025-3-7 Phoenix

Writing an OLED display driver in MicroZig (2024) (andrewconl.in)
2025-3-7

The Causal Testing Framework (joss.theoj.org)
2025-3-7

Testing Causality in Scientific Modelling Software (export.arxiv.org)
2025-3-7

50 years in filesystems: 1984 (blog.koehntopp.info)
2025-3-6 File System

Boosting Performance with Lazy Loading in React (codeuptoday.com)
2025-3-6 React

The case of the vanishing CPU: A Linux kernel debugging story (clickhouse.com)
2025-3-6 Linux

Let's Take a Look at... KIP-932: Queues for Kafka (www.morling.dev)
2025-3-6 Kafka

xdg-ninja: A shell script which checks your $HOME for unwanted files and directories (github.com)
2025-3-6 Shell

Is it true what they say: "Lobsters love Guinness"? (postimg.cc)
2025-3-6

Determinate Nix 3.0 (determinate.systems)
2025-3-6

Manage UPS on FreeBSD (vermaden.wordpress.com)
2025-3-6 FreeBSD

Permalink to Feb 28, 2025: 10 AI updates from the past week (sdtimes.com)
2025-3-6 AI

Permalink to Teradata launches new solution for efficiently handling vector data for agentic AI use cases (sdtimes.com)
2025-3-6 AI

Pokemon Red (Reinforcement Learning Edition) (drubinstein.github.io)
2025-3-6

Previous Page Next Page