Proofs as Observations
Published:
A question about AI and mathematics: could the proofs we obtain become the starting point for what we understand?
Posts by Tags
AI
My Visit to Professor Ziad Obermeyer at UC Berkeley
Published:
Takeaways from meeting Professor Obermeyer at UC Berkeley School of Public Health — on applied math, interpretability, and mathematical models in healthcare.
When CoT Surface Features Transfer
Published:
A technical note on measurement non-invariance across math, science, and coding reasoning traces.
Intelligence Unveiled: Learning Mechanisms in Artificial and Biological Systems
Published:
Reflections on Dr. Yongping Cui’s lecture: Bridging In-Context Learning Phase Transitions with the discrete logic of animal behavior.
CARLA
CARLA Simulator on WSL2: Resolving the Docker Vulkan Trap
Published:
A guide on setting up a robust Windows-WSL2 hybrid simulation environment for CARLA 0.9.16, alongside a detailed root-cause analysis of Vulkan rendering crashes in WSL2 Docker.
Docker
CARLA Simulator on WSL2: Resolving the Docker Vulkan Trap
Published:
A guide on setting up a robust Windows-WSL2 hybrid simulation environment for CARLA 0.9.16, alongside a detailed root-cause analysis of Vulkan rendering crashes in WSL2 Docker.
Vulkan
CARLA Simulator on WSL2: Resolving the Docker Vulkan Trap
Published:
A guide on setting up a robust Windows-WSL2 hybrid simulation environment for CARLA 0.9.16, alongside a detailed root-cause analysis of Vulkan rendering crashes in WSL2 Docker.
WSL2
CARLA Simulator on WSL2: Resolving the Docker Vulkan Trap
Published:
A guide on setting up a robust Windows-WSL2 hybrid simulation environment for CARLA 0.9.16, alongside a detailed root-cause analysis of Vulkan rendering crashes in WSL2 Docker.
alignment
Choice and Alignment
Published:
How social choice theory and Arrow’s theorem help explain trade-offs in AI alignment.
applied-mathematics
My Visit to Professor Ziad Obermeyer at UC Berkeley
Published:
Takeaways from meeting Professor Obermeyer at UC Berkeley School of Public Health — on applied math, interpretability, and mathematical models in healthcare.
code
When CoT Surface Features Transfer
Published:
A technical note on measurement non-invariance across math, science, and coding reasoning traces.
cognition
Intelligence Unveiled: Learning Mechanisms in Artificial and Biological Systems
Published:
Reflections on Dr. Yongping Cui’s lecture: Bridging In-Context Learning Phase Transitions with the discrete logic of animal behavior.
computer
Floating Point Notes in Computers
Published:
Notes on how computers represent floating-point numbers and why rounding errors are unavoidable.
gpu-acceleration
CARLA Simulator on WSL2: Resolving the Docker Vulkan Trap
Published:
A guide on setting up a robust Windows-WSL2 hybrid simulation environment for CARLA 0.9.16, alongside a detailed root-cause analysis of Vulkan rendering crashes in WSL2 Docker.
healthcare
My Visit to Professor Ziad Obermeyer at UC Berkeley
Published:
Takeaways from meeting Professor Obermeyer at UC Berkeley School of Public Health — on applied math, interpretability, and mathematical models in healthcare.
life
A Dinner with a Senior
Published:
Takeaways from dinner with a senior — on postgraduate recommendation classes, research drive, confronting real-world affairs, and starting from X_0 to X_1.
Uncertainty and Belief
Published:
Reflections on uncertainty, exploration, and finding meaning beyond fixed paths.
logic
mathematics
Proofs as Observations
Published:
A question about AI and mathematics: could the proofs we obtain become the starting point for what we understand?
A Balance Scale with Balls
Published:
A classic puzzle about finding one abnormal ball with a balance scale.
The Problem on a Carousel
Published:
A stopping problem about placing luggage on a carousel with limited information and a hard deadline.
Choice and Alignment
Published:
How social choice theory and Arrow’s theorem help explain trade-offs in AI alignment.
Floating Point Notes in Computers
Published:
Notes on how computers represent floating-point numbers and why rounding errors are unavoidable.
When CoT Surface Features Transfer
Published:
A technical note on measurement non-invariance across math, science, and coding reasoning traces.
Intelligence Unveiled: Learning Mechanisms in Artificial and Biological Systems
Published:
Reflections on Dr. Yongping Cui’s lecture: Bridging In-Context Learning Phase Transitions with the discrete logic of animal behavior.
neuroscience
Intelligence Unveiled: Learning Mechanisms in Artificial and Biological Systems
Published:
Reflections on Dr. Yongping Cui’s lecture: Bridging In-Context Learning Phase Transitions with the discrete logic of animal behavior.
optimization
The Problem on a Carousel
Published:
A stopping problem about placing luggage on a carousel with limited information and a hard deadline.
philosophy
probability
The Problem on a Carousel
Published:
A stopping problem about placing luggage on a carousel with limited information and a hard deadline.
puzzle
A Balance Scale with Balls
Published:
A classic puzzle about finding one abnormal ball with a balance scale.
reflection
Proofs as Observations
Published:
A question about AI and mathematics: could the proofs we obtain become the starting point for what we understand?
A Dinner with a Senior
Published:
Takeaways from dinner with a senior — on postgraduate recommendation classes, research drive, confronting real-world affairs, and starting from X_0 to X_1.
Uncertainty and Belief
Published:
Reflections on uncertainty, exploration, and finding meaning beyond fixed paths.
robotics
From an ONNX policy to a running robot
Published:
A practical guide to running an ONNX policy on a robot with safe real-time control loops.
social-choice
Choice and Alignment
Published:
How social choice theory and Arrow’s theorem help explain trade-offs in AI alignment.