scheme
ytp.meยท13h
๐Ÿ”งScheme Macros
LLM Features That Ship: Extraction, Generation, and Classification
alex-jacobs.comยท1hยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
Variation in Verification: Understanding Verification Dynamics in Large Language Models
arxiv.orgยท13h
๐ŸŽฒParser Fuzzing
SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
arxiv.orgยท13h
๐Ÿ”ชProgram Slicing
LongCat-Flash-Thinking, LLM from Meituan (China's Equivalent of Uber Eats)
github.comยท8hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
Reasoning Through Molecular Synthetic Pathways with Generative AI
developer.nvidia.comยท17h
๐ŸŽญProgram Synthesis
Spiffy: Multiplying Diffusion LLM Acceleration via Lossless Speculative Decoding
arxiv.orgยท13h
๐Ÿ—บ๏ธRegion Inference
Golang runtime type dispatch to generics
reddit.comยท3hยท
Discuss: r/golang
๐Ÿ”—Go Generics
GPO: Learning from Critical Steps to Improve LLM Reasoning
arxiv.orgยท13h
๐ŸชœRecursive Descent
Learning in Stackelberg Markov Games
arxiv.orgยท13h
โšกPartial Evaluation
G\"odel Mirror: A Formal System For Contradiction-Driven Recursion
arxiv.orgยท13h
๐ŸชœRecursive Descent
Efficient Linearizability Monitoring
arxiv.orgยท13h
๐Ÿ”—Memory Linearization
Code Reuse Without Classes: A Deep Dive into Non-OOP Reusability
dev.toยท12hยท
Discuss: DEV
๐ŸชขRope Data Structures
Equivalence of Halting Problem to Convergence of Power Series
arxiv.orgยท13h
๐ŸงฎCombinator Calculus
็ฌฌๅ››: A Japanese and Forth inspired postfix language
gist.github.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”—Concatenative Languages
Pico: A Modular Framework for Hypothesis-Driven Small Language Model Research
arxiv.orgยท13h
๐ŸŒฑTiny Languages
I Built a Compiler in Five Days with Claude AI
indiehackers.comยท9hยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Vanishing of Schubert coefficients in probabilistic polynomial time
arxiv.orgยท13h
๐ŸงฎCombinator Calculus
Digging Into the Internal: Causality-Based Analysis of LLM Function Calling
arxiv.orgยท13h
๐Ÿ—๏ธMLIR
Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
arxiv.orgยท13h
โšกControl Synthesis