- YOW! 2016 Robert C. Martin - Effective Estimation (or: How not to Lie) (
2016)#estimation - Light Years Ahead | The 1969 Apollo Guidance Computer (
2020-02-04)#failsafe#restart_on_failure#fault_tolerant - Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript (
2017-08-25)#lambda#functional - "Probabilistic scripts for automating common-sense tasks" by Alexander Lew (
2019-09-16)#probability#automation - The Art of Code - Dylan Beattie (
2020-01-27)#conway#game_of_life#entertainment#polyquine#rockstar - "Finding bugs without running or even looking at code" by Jay Parlar (
2019-09-13)#alloy#formal_language - A Guide To Managing Technical Teams (
2021-06-16)#teamlead#teamwork#leadership#micromanagement#management - The Only Unbreakable Law (
2022-03-16)#architecture#systems#complexity#org_chart#laws#Amdahl's_Law#execution#Brook's_Law#completion#Conway's_Law#structure - Functional Design Patterns - Scott Wlaschin (
2017-09-25)#design_patternsfunctional - Coding Complex App Logic, Visually
- Before the Startup with Paul Graham (How to Start a Startup 2014: Lecture 3) (
2014)#startup - How to Build Products Users Love with Kevin Hale (How to Start a Startup 2014: Lecture 7) (
2014)#startup - Michael Seibel - Building Product (
2018-09-05)#startup
- How to Stand Out With Your CV as a Software Engineer: Advice from Tech Recruiters and Managers (
2021-02-23)#cv#job#job_application
- Code Checking Automation - Computerphile (
2017-01-18)#testing#pbt#propery-based-testing#John Hughes - John Hughes - Don't Write Tests (
2017-06-20)#testing#pbt#propery-based-testing#John Hughes - ElixirConf 2018 - Sustainable Testing - Andrew Bennett (
2018-09-07)#testing#pensieve - Quickstrom: Specifying and Testing Web Applications - Oskar Wickström | Code Mesh V 2020 (
2020-12-22)#testing#web - "Finding bugs without running or even looking at code" by Jay Parlar (
2019-09-14)#testing#model_checkers#alloy - Acceptance Testing for Continuous Delivery • Dave Farley • GOTO 2016 (
2016-12-02)#testing#efficient_tests#acceptance_testing#anti-patterns#executable_specifications#definition_of_done#dod
- A Strange But Elegant Approach to a Surprisingly Hard Problem (GJK Algorithm) (
2021-03-24)#graphics#minkowski#algorithm
- The Linux Kernel: We have to finish this thing one day ;) (
2020-02-01)#linux#kernel
- "Categories for the Working Hacker" by Philip Wadler
#category_theory - Category Theory for Programmers: Chapter 1 - Category (
2021-01-31)#category_theory#apl#c++haskell
- The ABCs of OTP - Jesse J. Anderson (
2017-03-23)#elixir#otp#GenServer
-
Edwin Brady Tells Us What's New in Idris 2 (
2020-07-28)#idris2#functional#Edwin Brady -
"Idris: Practical Dependent Types with Practical Examples" by Brian McKenna (
2014-09-13)#idris2#functional -
Type-Driven Development in Idris — Edwin Brady
#idris1#functional#Edwin Brady -
"Scala vs Idris: Dependent types, now and in the future" by Miles Sabin and Edwin Brady (2013) (
2013)#idris1#functional#Edwin Brady
- "Performance Matters" by Emery Berger (
2019-09-13)#profiling#performance#C - "Stop Writing Dead Programs" by Jack Rusher (Strange Loop 2022)