Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants
Glue work instead of pasting diagrams
thehighergeometer.wordpress.comยท9h
Your code is more strongly coupled than you think
infoworld.comยท3h
my coding dead ends
cozypper.netยท3h
Binary Tree BFS: Zigzag Order
mmhaskell.comยท2d
Friday 10 October 2025 - 11am
informatics.ed.ac.ukยท1d
Giving AIs safe motivations
joecarlsmith.comยท2d
Enhanced Time Series Anomaly Detection via Higher-Order Spectral Clustering and Dynamic Thresholding
The method for exactly solving bi-objective RAP with phase-type distribution under mixed redundancy strategy
sciencedirect.comยท1d
In-Context Examples Matter: Improving Emotion Recognition in Conversation with Instruction Tuning
arxiv.orgยท1d
Belief-Conditioned One-Step Diffusion: Real-Time Trajectory Planning with Just-Enough Sensing
arxiv.orgยท1d
Benedict's Newsletter: No. 605
kill-the-newsletter.comยท22h
Loading...Loading more...