๐Ÿ“š Proof Pedagogy

Teaching Formal Methods, Interactive Learning, Mathematical Education, Verification Training, Beginner Proofs

The Workman Keyboard Layout (2010)
workmanlayout.orgยท5hยท
Discuss: Hacker News
โŒจ๏ธMechanical Keyboards
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.comยท2dยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
Learning in Temporally Complex Problems: The Role of External Knowledge
pubsonline.informs.orgยท19hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Functional Programming Through the Lens of a Philosopher and Linguist
gotopia.techยท1dยท
Discuss: Hacker News
๐Ÿ› Language Design
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Characteristic Learning for Provable One Step Generation
arxiv.orgยท1d
๐Ÿค–Grammar Induction
Oracle-Guided Masked Contrastive Reinforcement Learning for Visuomotor Policies
arxiv.orgยท4h
๐Ÿ”ฒCellular Automata
Logistic-Gated Operators Enable Auditable Unit-Aware Thresholds in Symbolic Regression
arxiv.orgยท4h
๐Ÿ“Error Bounds
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.ioยท3dยท
Discuss: Hacker News, r/LLM
ฮปLambda Encodings
You Can Get Microsoft Visual Studio Pro 2022 and a Full Coding Course for Under $60 Right Now
lifehacker.comยท8h
๐ŸŽฌWebCodecs
Writing an LLM from scratch, part 21 โ€“ perplexed by perplexity
gilesthomas.comยท13hยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
EduPersona: Benchmarking Subjective Ability Boundaries of Virtual Student Agents
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
AI Development Interview Questions : Mock Interviews
dev.toยท1dยท
Discuss: DEV
๐Ÿ—บ๏ธCompetency Maps
Evaluating LLM Safety Across Child Development Stages: A Simulated Agent Approach
arxiv.orgยท4h
๐Ÿ’ปProgramming languages
Meta-Awareness Enhances Reasoning Models: Self-Alignment Reinforcement Learning
arxiv.orgยท1d
๐Ÿง Intelligence Compression
On This Day in Math - October 6
pballew.blogspot.comยท2dยท
Discuss: www.blogger.com
๐Ÿ“Interval Arithmetic
Harnessing LLM for Noise-Robust Cognitive Diagnosis in Web-Based Intelligent Education Systems
arxiv.orgยท1d
๐Ÿง Intelligence Compression
Emergence of Superposition: Unveiling the Training Dynamics of Chain of Continuous Thought
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Artificial-Intelligence Grading Assistance for Handwritten Components of a Calculus Exam
arxiv.orgยท4h
๐Ÿค–AI Paleography
PoLi-RL: A Point-to-List Reinforcement Learning Framework for Conditional Semantic Textual Similarity
arxiv.orgยท1d
๐Ÿ—‚๏ธVector Search