Pre-viva Talk - 02/10/2025
informatics.ed.ac.ukยท1d
๐Ÿง Semantic Parsing
What Iโ€™ve been reading
feeds.feedblitz.comยท1d
๐Ÿ indieweb
Adaptive Programming Systems for Humans and AI
gfrison.comยท9hยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
AI Companies School Like Fish
dbreunig.comยท2dยท
Discuss: Hacker News
๐ŸชžHomoiconicity
Greyscale-box test-driven development
blog.ploeh.dkยท22h
๐ŸงชCompiler Testing
How do I start?
reddit.comยท19hยท
๐ŸŽฎLanguage Ergonomics
๐Ÿ”น Multidimensional Arrays in Java
dev.toยท2hยท
Discuss: DEV
๐ŸชขRope Data Structures
A JSON alternative but 1000x better
reddit.comยท23hยท
Discuss: r/rust
๐ŸŒˆGradual Languages
HANRAG: Heuristic Accurate Noise-resistant Retrieval-Augmented Generation for Multi-hop Question Answering
arxiv.orgยท1d
๐ŸŽฒParser Fuzzing
LLM Enhancement with Domain Expert Mental Model to Reduce LLM Hallucination with Causal Prompt Engineering
arxiv.orgยท13h
๐ŸฆŒANTLR
[CS 2881r] Some Generalizations of Emergent Misalignment
lesswrong.comยท2d
๐Ÿ”ML Language
Traffic-MLLM: A Spatio-Temporal MLLM with Retrieval-Augmented Generation for Causal Inference in Traffic
arxiv.orgยท13h
๐Ÿ”ML Language
SPARK: Adaptive Low-Rank Knowledge Graph Modeling in Hybrid Geometric Spaces for Recommendation
arxiv.orgยท13h
๐Ÿ“Succinct Data Structures
LAVa: Layer-wise KV Cache Eviction with Dynamic Budget Allocation
arxiv.orgยท1d
๐Ÿ—บ๏ธRegion Inference
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.comยท3dยท
Discuss: Hacker News
๐ŸŽฏType Theory
Planarizing matchings
11011110.github.ioยท1d
๐ŸŽจGraph Coloring
Publishing to PyPI: My ML Preprocessing Package for Newbies
dev.toยท3hยท
Discuss: DEV
๐Ÿ”ML Language
Decoupling Search and Learning in Neural Net Training
arxiv.orgยท13h
๐ŸชœRecursive Descent