See yourself, at runtime (by refaktor) — discussion

#plt #programming

Basic Awareness in Addition to Deep Understanding (via bitfield) — discussion

#practices

illuminant - ActivityPub server with NNTP interface (via sknebel) — discussion

#distributed #haskell #web

Apple's Software Quality Crisis: When Premium Hardware Meets Subpar Software (by eliseomartelli) — discussion

#ios #rant

What to know about Mistral AI: The company behind the latest GPT-4 rival (via laktak) — discussion

#ai

Alibaba Launches C930 RISC-V Chip Amid Shift from Western Tech (via sanxiyn) — discussion

#hardware

A Distributed Snowflake-like ID Generator (by siddharthsabron1729) — discussion

#distributed #java

Evidence: Generate reports using SQL and markdown (via sanxiyn) — discussion

#programming

This Linux laptop maker called me a Zombie (via thang) — discussion

#linux

A Mechanically Verified Garbage Collector for OCaml (via rrampage) — discussion

#formalmethods #ml #pdf

When Nanoseconds Matter: Ultrafast Trading Systems in C++ (via dbremner) — discussion

#c++ #performance #video

Tangled — a git collaboration platform built on atproto (by icy) — discussion

#distributed #show #vcs

Effective Rust (via ucirello) — discussion

#rust

Principles for Package Repository Security (via pyj) — discussion

#security

The Pentium contains a complicated circuit to multiply by three (via calvin) — discussion

#hardware #historical

Cleaner codebase, happier mind (by nathell) — discussion

#practices

Towards a test-suite for TOTP codes (via raymii) — discussion

#security

london micro grants (by montyanderson) — discussion

#culture #event

Nix pragmatism: nix-ld and envfs (via FedericoSchonborn) — discussion

#nix

Emacs Tree-sitter custom highlighting, part 1 (via knl) — discussion

#emacs