Self-Study in September 2023

Sep 1, 2023 - 0 minute read - Comments - self-study-aggregation 2023 september

Self-Study in August 2023

Aug 1, 2023 - 1 minute read - Comments - self-study-aggregation 2023 august aws aws-gateway cost elixir hacker-news imported jose-valim lambda microservice rewrite serverless

Elixir saves Pinterest M a year in server costs

An example of how rewriting a microservice from AWS Lambda to elixir can save 97% of server costs. From 150 servers to 5.

https://news.ycombinator.com/item?id=37304851

Tags: imported, hacker-news, elixir, rewrite, jose-valim, aws, cost, aws-gateway, serverless, lambda, microservice

Id: 41419550-46fc-11ee-bfbe-0242ac110002 Read: Tue Aug 29 08:30:52 2023

Self-Study in May 2023

May 1, 2023 - 1 minute read - Comments - self-study-aggregation 2023 may brian-kernighan compiler hackernews imported programming programming-language rob-pike synack

Let’s Build a Compiler (1988)

building a compiler

https://news.ycombinator.com/item?id=36054416

Tags: hackernews, imported, synack, compiler, brian-kernighan, rob-pike, programming, programming-language

Id: 3b2e9382-1144-4cfe-bdaf-72b30e8c3712 Read: Wed, 24 May 2023 05:28:25 +0000

Live test from the MMA

Apr 15, 2023 - 1 minute read - Comments - mma 2023 live-article

This is an article written, live, from the MMA in 2023.

And some more contents, to show it’s working :)

Self-Study in March 2023

Mar 1, 2023 - 1 minute read - Comments - self-study-aggregation 2023 march compiler cornell doom doom-emacs editor education emacs hacker-news ide imported linear-type lisp macro memory-safety mit mooc operating-system ownership philip-wadler platform programming-type rust self-paced thread-safety type-system university vim

Emacs is not just an editor (2015)

An overview of Emacs as compared to vim (just an editor).

https://news.ycombinator.com/item?id=35107806

Tags: emacs, vim, editor, operating-system, platform, lisp, ide, macro, doom-emacs, doom, imported, hacker-news

Id: 03d88f06-c197-11ed-a96e-0242ac110004 Read: Sat Mar 11 12:37:03 2023

CS 6120: Advanced Compilers: The Self-Guided Online Course

An interesting course from Cornell about Compilers. Self-paced.

https://news.ycombinator.com/item?id=35130975

Tags: cornell, education, university, self-paced, compiler, mooc, mit, imported, hacker-news

Id: 19890060-c197-11ed-b449-0242ac110004 Read: Mon Mar 13 04:14:38 2023

The Usability of Advanced Type Systems: Rust as a Case Study

Linear types “are values that must be used exactly once, i.e. they cannot be duplicated or implicitly discarded”

Tags: type-system, philip-wadler, rust, linear-type, programming-type, memory-safety, thread-safety, ownership

Id: 99081b8c-c197-11ed-9cad-0242ac110004 Read: Mon, 13 Mar 2023 12:07:17 +0000

Self-Study in February 2023

Feb 1, 2023 - 2 minute read - Comments - self-study-aggregation 2023 february addresssanitizer afl asan bare-metal bound-check c c-language cbmc checker clang crashdump dr-memory firmware fuzzing gperftools hacker-news heap imported llvm memcheck memory-sanitizer memsan nubix reini-urban san sat-solver stack static-analysis testing testing-pyramid tool ubsan valgrind

CBMC: The C Bounded Model Checker

CBMC on GitHub: https://github.com/diffblue/cbmc Some usage examples: https://haslab.github.io/MFES/2122/CBMCexamples-handout.pdf

https://news.ycombinator.com/item?id=34703004

Tags: cbmc, c, c-language, bound-check, sat-solver, tool, static-analysis, checker, imported, hacker-news

Id: bbe38520-a846-11ed-957a-0242ac110002 Read: Wed Feb 8 01:46:40 2023

TESTING BAREMETAL FIRMWARE AT NUBIX

Extensive guide on how to test firmware. Lots of tools, good recommendations

Tags: bare-metal, firmware, testing, nubix, reini-urban, tool, crashdump, testing-pyramid, addresssanitizer, valgrind, memcheck, dr-memory, gperftools, cbmc, clang, c-language, c, heap, stack, fuzzing, afl, llvm, asan, ubsan, memory-sanitizer, memsan, san

Id: 21676b28-a847-11ed-9bb0-0242ac110002 Read: Thu, 09 Feb 2023 06:58:17 +0000