I got a job within 30 days by sending personalized slide decks in place of cover letters. See how I did it.
businessinsider.com·1d
📐Proof Assistants
The Illusion of Thought
wormsandviruses.com·22h
🌱Personal Wikis
Injecting Java from native libraries on Android
octet-stream.net·6h·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
Consistent MySQL Structure.sql Diffs for Rails
lovro-bikic.github.io·2d·
Discuss: Hacker News
🗄️Database Internals
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·3d·
Discuss: Hacker News
🏛️Isabelle HOL
Defining 'Toast' Messages (2020)
adrianroselli.com·1d·
Discuss: Hacker News
📟Terminal Typography
I'm an empty nester at 40 after having 3 kids earlier in life. I have the energy to pursue new things while my friends are chasing toddlers.
businessinsider.com·8h
🎯Content Recommendation
[RFC] Hardening mode for the compiler - Clang Frontend
discourse.llvm.org·1d·
Discuss: Hacker News, r/cpp
🏭Compiler Backends
Grok AI Focus: Agentic AI vs Generative AI Test Case
future.forem.com·1d·
Discuss: DEV
🌊Apache Kafka
Systolic Array-based Accelerator for State-Space Models
arxiv.org·4d
🚀SIMD Parsing
LivinGrimoire VS Standalone LLM
dev.to·1d·
Discuss: DEV
🔄Archival Workflows
How Kimi 2 Became One of the Best Tool-Using Models
dbreunig.com·3d·
Discuss: Hacker News
⚡Proof Automation
React Libraries for Building AI-Powered Apps
dev.to·3d·
Discuss: DEV
🎙️Whisper
Meta’s AI Boss Just Called LLMs ‘Simplistic’ — Here’s What He’s Building Instead
hackernoon.com·1d
🌍Cultural Algorithms
Show HN: Go-DDD: Production-ready DDD patterns and clean architecture in Go
github.com·4d·
Discuss: Hacker News
✅CDDL Validation
Python Fundamentals: comparison chaining
dev.to·5d·
Discuss: DEV
📏Code Metrics
Why Data Engineering Is the Backbone of AI Today
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Who Gave the Order? When AI Issues Commands Without a Speaker
dev.to·4d·
Discuss: DEV
⚡Proof Automation
CUS-QA: Local-Knowledge-Oriented Open-Ended Question Answering Dataset
arxiv.org·3d
🧮Vector Embeddings
Getting Started with Building a Markdown Parser in Rust
hackernoon.com·3d
🦀Rust Macros