Research resources
Books (Computability and Logic)
Conferences
European digital math library
Erdos website
Tasks
Survey venues
Topics 2024
News Nov24
Proof wiki
Busy beaver
Definability
Random trees
Lovasz Local Lemma
One-way functions (again)
Computational complexity - five worlds
One-way functions
Mathematics and Computers
Games and Complexity
Lossy compression
Undecidability of learning
Secret sharing
Articles and videos - Mar 24
Algorithmic probability problems
Reading topics - Jan 18
Reading topics - Jan 7
Topics 2023
Two Lectures on Kolmogorov Complexity
Advice for graduate students
Academic integrity
Surreal numbers and games
Tiles and complexity
Coins and randomness
Kraft inequality
Self-reference and games
Kolmogorov Complexity with games
Reading suggestions - Aug23
Arxiv - Recent Articles
Logic
Math
CS and Games
Information Theory
Discrete Mathematics
Artificial Intelligence
Automata Theory
Cryptography
History
Computers and Society
Computational Geometry
Computation and Language
Dynamical Systems
Probability
Computational Complexity
Logic in CS
Networks
Symbolic Computation
Math/CS blogs and news
Wired
SCIAM
physorg
Science Daily
MIT news
Nature
Computational Complexity
Terry Tao
AMS blog
11011110 blog
Computer Science Teacher
Godel's letter and P=NP
Windows On Theory
Communications of the ACM
Origins podcast
Quanta - Math
Quanta - CS
Scientific American
Notices of the AMS
American Scientist
New Scientist
Writing and reviewing papers
Ten rules for mathematical writing
Guidelines for mathematical writing
How to Write Mathematics
A Guide to Writing Mathematics
Brief guide to math writing
How to Referee a (Math) Paper
Attributes of an Ideal Referee
Writing, and Reading, Referee Reports
Effective Referee Reports
How to referee a math paper
Logic and CS Lectures
Computability and Incompleteness
Creiner lectures
Computer Science Lessons
What's the Point of Mathematicians?
Zero Knowledge Proof
Randomness - Wigderson
Lovasz Local Lemma
Logic Lectures
Code sites and tools
Codepen
codexworld
jsfiddle
w3schools
w3docs
geeksforgeeks
awesome-dataviz
math3d graphs
rawgraphs
Writing tools
md2xls
xls2md -web1
xls2md -web2
xls2md -web3
markdown
markdownmonkey
Timing Diagrams
Math animations
Web-article 1
Web-article 2
Web-article 3
Web-article 4
Science Youtube Channels
Art of the Problem
Quanta Magazine
RSA Conference
Royal Institution
Royal Institution Archive
Nobel Minds
Domain of Science
World Science Festival
Science channel