Computer science recap for week 31/2024

From 29/7/2024 to 4/8/2024

Articles #

• Apple used Google's chips to train two AI models, research paper shows 503 comments in 4 discussions

• Clang vs. Clang 495 comments in 4 discussions

• JVM/Java: Null-Restricted and Nullable Types 479 comments in 3 discussions

• Certificate Revocation Incident (CNAME-Based Domain Validation) 298 comments in 3 discussions

• just disconnect the internet 213 comments in 2 discussions

• [D] what is the hardest thing as a machine learning engineer 203 comments in 9 discussions

• Functional programming languages should be so much better at mutation than they are 183 comments in 4 discussions

• [D] Calculating the Cost of a Google Deepmind Paper 164 comments in 2 discussions

• Announcing Swift Homomorphic Encryption 161 comments in 5 discussions

• Porffor: A from-scratch experimental ahead-of-time JS engine 161 comments in 2 discussions

• NGINX Unit: Universal web app server 117 comments in 3 discussions

• Where does the name "algebraic data type" come from? 116 comments in 3 discussions

• Praise my GitHub profile 110 comments in 2 discussions

• Crafting Interpreters with Rust: On Garbage Collection 102 comments in 4 discussions

• Cogent Core, a new Go GUI (website uses the UI framework) 94 comments in 2 discussions

Projects #

• GitHub - guycipher/btree: An embedded, paged, concurrent, disk BTree written in GO. BTree is optimized for fast search and key's with many values. 26 comments in 1 discussion

• [P] Socrates' Syllogism with Neuro-Symbolic AI 10 comments in 1 discussion

• brightNES: (Yet another) cycle-accurate NES emulator 8 comments in 1 discussion

• A framework to give Large Language Models better memory - free and opensource. [P] 6 comments in 2 discussions

• [P] arc-like, A data generator for competing at the ARC prize, or doing R&D on reasoning 4 comments in 1 discussion

• AI-router-chat – An AI chat app with LLM model routing 3 comments in 1 discussion

• Roughly 200 commits later I published my DMG/GBC emulator written in Rust! 3 comments in 1 discussion

• SciLean: Scientific computing in Lean 4 2 comments in 1 discussion

• OpenAdapt: AI-First Process Automation with Large Models

Videos #

• [R] Stable-Fast 3D Paper Walkthrough 3 comments in 1 discussion

• [D] Segment Anything 2 Paper Breakdown 3 comments in 1 discussion

• Compiling for Instruction-Level Parallelism 2 comments in 1 discussion

• sumcheck for R1CS

• SNARKs that are prefer interactive simple addition over hashing

• Core concept behind how image generation works

• A Tour of Program Optimization