Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		blog.georgeshakan.com The (near) Future of AI in Math \| George Shakan
\|	\|	www.techelevator.com What Does ChatGPT Mean for New Software Developers?	3.1 parsecs away Travel
\|	\|	I spend my days teaching new developers how to code atTech Elevator's fantastic programming bootcamp. My evenings and weekends, however, belong to my study of data science, artificial intelligence, and...	3.1 parsecs away Travel
\|	\|	www.techradar.com From misconceptions to momentum - the case for vibe coding in modern enterprises \| TechRadar	3.4 parsecs away Travel
\|	\|	Democratizing software development through AI-driven vibe coding	3.4 parsecs away Travel
\|	\|	www.philipzucker.com Welcome to knuckledragger's documentation! - knuckledragger 0.1 documentation	8.9 parsecs away Travel
\|	\|	[AI summary] Knuckledragger is a highly automated interactive proof assistant built in Python that leverages the Z3 solver to support software verification, calculus, and induction.	8.9 parsecs away Travel
\|	\|	particularvirtue.blogspot.com Particular Virtue: Algebraic Data Types for Imperative Programmers	36.5 parsecs away Travel
\|		Algebraic data types are a fantastic way to make code clearer. They're used all the time in Haskell, because they're a fundamental part of t...	36.5 parsecs away Travel