Skip to content

Latest commit

 

History

History
113 lines (77 loc) · 3.66 KB

links.adoc

File metadata and controls

113 lines (77 loc) · 3.66 KB
Two meanings of systems programming

http://willcrichton.net/notes/systems-programming/

Systems programmers can have nice things

https://robert.ocallahan.org/2016/08/random-thoughts-on-rust-cratesio-and.html

Goals and priorities for C++

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2137r0.html

Boundaries

https://www.destroyallsoftware.com/talks/boundaries

Plugin diagram

https://www.tedinski.com/2018/01/30/the-one-ring-problem-abstraction-and-power.html

Data, ADT, Object

https://www.tedinski.com/2018/02/27/the-expression-problem.html

John Carmack on inlined code

http://number-none.com/blow/john_carmack_on_inlined_code.html

A few billon lines of code later

https://cacm.acm.org/magazines/2010/2/69354-a-few-billion-lines-of-code-later/abstract#

Simple testing can prevent most critical failures

https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-yuan.pdf

The Error Model

http://joeduffyblog.com/2016/02/07/the-error-model/

Talks that changed the way I think about programming

http://www.opowell.com/post/talks-that-changed-the-way-i-think-about-programming/

Why rewriting hotspots in a faster language doesn’t work

https://code.visualstudio.com/blogs/2018/03/23/text-buffer-reimplementation, also

The right tool for the job is often the tool you are already using —adding new tools has a higher cost than many people appreciate.
Programming people

https://leftoversalad.com/c/015_programmingpeople/

Python spends almost all of its time in the C runtime

http://blog.kevmod.com/2016/07/why-is-python-slow/

Rider architecture

https://www.codemag.com/Article/1811091/Building-a-.NET-IDE-with-JetBrains-Rider

System programming values

https://www.youtube.com/watch?v=2wZ1pCpJUIM

Midlayer mistake

https://lwn.net/Articles/336262/

Technology from the past come to save the future from itself

http://venge.net/graydon/talks/

Not Rocket Science Rule

https://graydon2.dreamwidth.org/1597.html

Why C++ Sails When the Vasa Sank

https://www.youtube.com/watch?v=ltCgzYcpFUI

Composition of Unsafe

https://smallcultfollowing.com/babysteps/blog/2016/10/02/observational-equivalence-and-unsafe-code/

Generics Dilemma

https://research.swtch.com/generic

A Catalogue of Optimizing Transformations

https://www.clear.rice.edu/comp512/Lectures/Papers/1971-allen-catalog.pdf

Static Program Analysis

https://cs.au.dk/~amoeller/spa/spa.pdf

Accurate mental model for Rust’s reference types

https://docs.rs/dtolnay/0.0.9/dtolnay/macro._02__reference_types.html

Don’t write bugs

https://www.teamten.com/lawrence/programming/dont-write-bugs.html

Don’t use _ patterns

https://youtu.be/-J8YyfrSwTk?t=1819

What Is The Minimal Set Of Optimizations Needed For Zero-Cost Abstraction?

https://robert.ocallahan.org/2020/08/what-is-minimal-set-of-optimizations.html

Expect Tests

https://blog.janestreet.com/using-ascii-waveforms-to-test-hardware-designs/

What Every C Programmer Should Know About UB

https://blog.llvm.org/2011/05/what-every-c-programmer-should-know.html

Build a Mountain

https://www.youtube.com/watch?v=443UNeGrFoM&t=6949s

Precise Profiling via rdpmc

https://hackmd.io/sH315lO2RuicY-SEt7ynGA?view

JSONMutexDB

https://tailscale.com/blog/an-unlikely-database-migration/

Swift Is Undecidable

https://forums.swift.org/t/swift-type-checking-is-undecidable/39024

Don Syme of F# on typeclasses

fsharp/fslang-suggestions#243 (comment)

Outlined Containers

rust-lang/rust#60470 (comment)

Your ABI is Probably Wrong

https://outerproduct.net/boring/2021-05-07_abi-wrong.html