cs.cmu.edu | Lobsters

cs.cmu.edu: 71 stories from 38 submitters

2

Feature Flags vs Configuration Options (2020) pdf practices cs.cmu.edu
via bitfield 29 days ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
46

Databases in 2024: A Year in Review databases cs.cmu.edu
via av 2 months ago | caches
Archive.org Archive.today Ghostarchive
| 2 comments

2
25

The Part of PostgreSQL We Hate the Most (2023) databases cs.cmu.edu
via emschwartz 4 months ago | caches
Archive.org Archive.today Ghostarchive
| 14 comments

14
3

Introduction to Probability for Computing book compsci math cs.cmu.edu
via abhi9u 1 year ago | caches
Archive.org Archive.today Ghostarchive
| 1 comment

1
6

Cell GC: Using the Cell Synergistic Processor as a Garbage Collection Coprocessor (2008) pdf compsci hardware cs.cmu.edu
via calvin 1 year ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
10

Three Sins of Authors in Computer Science and Math compsci math cs.cmu.edu
via lucic71 2 years ago | caches
Archive.org Archive.today Ghostarchive
| 6 comments

6
2

Discerning the Dominant Out-of-Order Performance Advantage: Is it Speculation or Dynamism? (2013) pdf hardware performance cs.cmu.edu
via calvin 2 years ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
4

täkō: A Polymorphic Cache Hierarchy for General-Purpose Optimization of Data Movement pdf hardware performance virtualization cs.cmu.edu
via aidancully 2 years ago | caches
Archive.org Archive.today Ghostarchive
| 1 comment

1
9

Reflections on Trusting Trust (1984) pdf security cs.cmu.edu
via me 2 years ago | caches
Archive.org Archive.today Ghostarchive
| 1 comment

1
5

Discrete Differential Geometry: An Applied Introduction graphics math cs.cmu.edu
via breandan 3 years ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
8

The next 700 programming languages (1966) pdf plt cs.cmu.edu
via calvin 3 years ago | caches
Archive.org Archive.today Ghostarchive
| 1 comment

1
2

OSI Reference Model - The ISO Model of Architecture for Open Systems Interconnection (1980) pdf networking cs.cmu.edu
via seasidedrum 3 years ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
4

Discrete Conformal Equivalence of Polyhedral Surfaces graphics cs.cmu.edu
via friendlysock 3 years ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
2

Escaping AutoHell: A Vision for Automated Analysis and Migration of Autotools Build Systems (2016) pdf programming cs.cmu.edu
via syn-ack 3 years ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
17

Communicating sequential processes (1978) pdf programming cs.cmu.edu
via seasidedrum 3 years ago | caches
Archive.org Archive.today Ghostarchive
| 1 comment

1
8

A Survey of Distributed File Systems (1989) pdf distributed networking unix cs.cmu.edu
via calvin 3 years ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
6

Functional Perl: Programming with Recursion Schemes in Python pdf ml plt python satire cs.cmu.edu
via calvin 4 years ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
3

No Hands Across America ai historical cs.cmu.edu
via 355E3B 4 years ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
18

CMU 15-819 - Homotopy Type Theory video education plt cs.cmu.edu
via jtm 4 years ago | caches
Archive.org Archive.today Ghostarchive
| 1 comment

1
11

Using Z: Specification, Refinement, and Proof pdf formalmethods math cs.cmu.edu
via lorddimwit 5 years ago | caches
Archive.org Archive.today Ghostarchive
| 9 comments

9
5

Pegasus: A Framework for Sound Continuous Invariant Generation ☶ pdf formalmethods programming cs.cmu.edu
via nickpsecurity 5 years ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
2

The Next 50 Years of Databases (2015) databases cs.cmu.edu
via calvin 5 years ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
5

The Vector Heat Method graphics math cs.cmu.edu
via friendlysock 5 years ago | caches
Archive.org Archive.today Ghostarchive
| 2 comments

2
4

Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5 (2018) ☶ pdf formalmethods hardware cs.cmu.edu
via nickpsecurity 6 years ago | caches
Archive.org Archive.today Ghostarchive
| 2 comments

2
2

Voxel Coloring graphics cs.cmu.edu
via pekkavaa 6 years ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0