Finch: cs

Channel: cs

1
»

What Every Computer Scientist Should Know About Floating-Point Arithmetic

By anders·2026-06-07 15:47:46 +0000 UTC

TLA modeling tips

By anders·2025-12-23 10:34:32 +0000 UTC

parse don’t validate in C

By anders·2025-07-15 13:31:07 +0000 UTC

Four Lectures on Standard ML

cs functional papers

By anders·2025-04-01 09:47:31 +0000 UTC

[2310.15505] The Quantum Tortoise and the Classical Hare: A simple framework for understanding which problems quantum computing will accelerate (and which it will not)

cs physics quantum

By anders·2025-03-10 20:45:17 +0000 UTC

Systems Correctness Practices at AWS

By anders·2025-02-20 16:00:29 +0000 UTC

Functional programming self-affirmations - NorikiTech

By anders·2024-12-31 21:40:42 +0000 UTC

TLA+ from first principles

By anders·2024-12-27 10:36:55 +0000 UTC

Invariants: A Better Debugger? - Marc’s Blog

By anders·2023-07-29 18:27:40 +0000 UTC

[2301.11305] DetectGPT: Zero-Shot Machine-Generated Text Detection using Probability Curvature

By anders·2023-02-01 12:03:06 +0000 UTC

dithering

By anders·2023-01-03 13:30:42 +0000 UTC

Software Transactional Memory: Why Is It Only a Research Toy? - ACM Queue

cs distributed systems

By anders·2022-12-23 13:39:09 +0000 UTC

Simple, Fast, and Scalable Reverse Image Search Using Perceptual Hashes and DynamoDB | by Canva Engineering | Oct, 2022 | Canva Engineering Blog

By anders·2022-12-14 14:54:24 +0000 UTC

The Slotted Counter Pattern

cs distributed systems

By anders·2022-08-13 11:58:05 +0000 UTC

User settings, Lamport clocks and lightweight formal methods | Jakub Mikians blog

cs distributed systems

By anders·2022-08-08 09:16:19 +0000 UTC

Some notes on DynamoDB 2022 paper - _

cs databases distributed systems

By anders·2022-08-06 10:58:53 +0000 UTC

Locking Engineering Principles

cs distributed systems

By anders·2022-07-31 11:05:47 +0000 UTC

DBMS Musings: Overview of Consistency Levels in Database Systems

By anders·2022-07-29 10:38:19 +0000 UTC

Back from the Future: Global Tables In CockroachDB

By anders·2022-07-22 09:19:06 +0000 UTC

User settings, Lamport clocks and lightweight formal methods | Jakub Mikians blog

cs distributed systems

By anders·2022-07-21 09:16:39 +0000 UTC

Color Histograms in Image Retrieval | Pinecone

By anders·2022-07-20 09:45:20 +0000 UTC

Time Series Databases

By anders·2021-10-20 10:21:05 +0000 UTC

Software Foundations

Looks like a nice series of texts on computer science, formal verfication, etc.

cs functional papers

By anders·2021-08-28 07:59:07 +0000 UTC

Why Capacity Planning Needs Queueing Theory (without the hard math)

By anders·2019-04-06 15:53:14 +0000 UTC

Introduction - Computer Graphics from scratch - Gabriel Gambetta

cs hardware math

By anders·2019-04-06 15:18:41 +0000 UTC

MOV is turing complete

assembly cs papers

By anders·2019-03-31 12:31:06 +0000 UTC

What makes a good test case

By anders·2018-05-19 20:21:17 +0000 UTC

Top 10 Algorithms for Data Mining

By anders·2018-01-28 16:53:08 +0000 UTC

Linked List problems (pdf)

cs datastructures

By anders·2018-01-28 16:51:31 +0000 UTC

Don’t Throw Out Your Algorithms Book Just Yet: Classical Data Structures That Can Outperform Learned Indexes

algorithms cs datastructures

By anders·2018-01-14 10:35:02 +0000 UTC

Metadata: WPaxos: a wide area network Paxos protocol (Part 1)

cs distributed systems

By anders·2017-12-28 16:35:20 +0000 UTC

Software Foundations

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.

The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a “proof script” for the Coq proof assistant.

The exposition is intended for a broad range of readers, from advanced undergraduates to PhD students and researchers. No specific background in logic or programming languages is assumed, though a degree of mathematical maturity is helpful. A one-semester course can expect to cover Logical Foundations plus most of Programming Language Foundations or Verified Functional Algorithms, or selections from both.

cs functional papers

By anders·2017-11-27 17:41:35 +0000 UTC

Heavy hitters via cluster-preserving clustering

cs distributed systems papers

By anders·2017-11-03 09:30:57 +0000 UTC

Stargazer: understanding the π-calculus, visually

cs distributed systems

By anders·2017-11-01 15:23:55 +0000 UTC

Turning Corners into Cameras

cs papers physics

By anders·2017-10-23 07:56:01 +0000 UTC

Readings in Database Systems, 5th Edition

By anders·2017-10-11 21:06:55 +0000 UTC

Crafting Interpreters online ebook by one of the Dart authors

By anders·2017-09-26 14:22:41 +0000 UTC

Monoids: what they are, why the are useful, and what they teach us about software

cs functional math

By anders·2017-09-14 16:05:28 +0000 UTC

Wykobi Computational Geometry Library

By anders·2017-09-09 13:41:24 +0000 UTC

elttam - Intro to SDR and RF Signal Analysis

By anders·2017-06-19 19:27:03 +0000 UTC

35% Faster Than The Filesystem

cs datastructures sysadmin

By anders·2017-06-18 11:43:33 +0000 UTC

Research Blog: Consistent Hashing with Bounded Loads

cs distributed systems

By anders·2017-06-12 16:43:54 +0000 UTC

Evaluating Perceptual Image Hashes at OkCupid

By anders·2017-06-05 08:28:59 +0000 UTC

AI and Game Programming free book

By anders·2017-06-05 08:28:47 +0000 UTC

Category Theory, Syntactically

By anders·2017-05-14 11:40:40 +0000 UTC

Programming in the Point-Free Style

By anders·2017-04-13 13:55:39 +0000 UTC

Faiss: A library for efficient similarity search

By anders·2017-04-03 21:54:39 +0000 UTC

tyarkoni/transitions: A lightweight, object-oriented finite state machine implementation in Python

By anders·2017-03-16 11:42:18 +0000 UTC

Algorithms | Computer science | Computing | Khan Academy

By anders·2017-02-16 21:57:36 +0000 UTC

From Python to Numpy

By anders·2017-01-09 15:42:38 +0000 UTC

1
»