m00grin/ph-intercept: A Pi-hole DNS visual dashboard. Blocking is represented by an interceptor ship destroying 'blocked query' baddies, space invaders style. Now supports AdGuard Home and Technitium!

How to Formalize All of Mathematics

Hacker News 1 day ago

What Are Your Chances of Surviving Resident Evil Based on Your Tech Job?

Dev.to 2 days ago

What I Actually Learn When I Build With AI

Dev.to 2 days ago

Natural Languages Have Design Trade-offs Too: Georgian Is Dynamically Typed, English Is Statically Typed

Dev.to 2 days ago

I know why Mathematicians weep

Hacker News 2 days ago