Self-Study in September 2023
Sep 1, 2023 - 0 minute read - Comments - self-study-aggregation2023september
Self-Study in August 2023
Aug 1, 2023 - 1 minute read - Comments - self-study-aggregation2023augustawsaws-gatewaycostelixirhacker-newsimportedjose-valimlambdamicroservicerewriteserverless
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-aggregation2023maybrian-kernighancompilerhackernewsimportedprogrammingprogramming-languagerob-pikesynack
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 - mma2023live-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-aggregation2023marchcompilercornelldoomdoom-emacseditoreducationemacshacker-newsideimportedlinear-typelispmacromemory-safetymitmoocoperating-systemownershipphilip-wadlerplatformprogramming-typerustself-pacedthread-safetytype-systemuniversityvim
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
Self-Study in February 2023
Feb 1, 2023 - 2 minute read - Comments - self-study-aggregation2023februaryaddresssanitizeraflasanbare-metalbound-checkcc-languagecbmccheckerclangcrashdumpdr-memoryfirmwarefuzzinggperftoolshacker-newsheapimportedllvmmemcheckmemory-sanitizermemsannubixreini-urbansansat-solverstackstatic-analysistestingtesting-pyramidtoolubsanvalgrind
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