Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants
Some old notes on games
ulik.bearblog.dev·2d
Make a Ruckus: 000, The Motivation
janusworx.com·2d
First Drafts - De Excidio
damonic.bearblog.dev·1d
Binary Exploitation 101 - ROP (Return-Oriented Programming)
r1ru.github.io·1d
AngularJS with Jessica Janiuk
softwareengineeringdaily.com·2d
The Infrastructure Physics Problem Behind AI’s Data Center Crisis
telecomramblings.com·1d
Intel confuses everyone by launching new Core-i5 processor - 14nm is still alive in 2025
tweaktown.com·2d
From Tokens to Theorems: Building a Neuro-Symbolic AI Mathematician
towardsdatascience.com·5d
I paired Perplexity with my favorite free graphics app, and everything suddenly got easier
xda-developers.com·2d
The End-to-End Data Scientist’s Prompt Playbook
towardsdatascience.com·5d
Loading...Loading more...