Chris Smith 2: Rebooting NYHaskell
cdsmithus.medium.com·1d
🐪OCaml
Leading the 2025 DeFi Revolution with AI and Multi-Chain Technology
dev.to·9h·
Discuss: DEV
🌊Reactive Languages
A non-smooth regularization framework for learning over multitask graphs
arxiv.org·12h
🪜Recursive Descent
Improving Large Language Models Function Calling and Interpretability via Guided-Structured Templates
arxiv.org·12h
📊Pratt Parsers
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.dev·3d·
Discuss: Hacker News
🩺Compiler Diagnostics
Adaptive Kernel Design for Bayesian Optimization Is a Piece of CAKE with LLMs
arxiv.org·12h
📋Tablegen
Identity Types
bartoszmilewski.com·1d·
Discuss: Hacker News
🎯Type Theory
Supercharging Unit Test Generation with in-IDE TestSpark
blog.jetbrains.com·5h
🎲Test Generators
My experience with AI as a front end developer
frontendundefined.com·1d·
Discuss: Hacker News
🎮Language Ergonomics
Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning
arxiv.org·12h
📋Souffle Datalog
Testing and MicroBenchmarking tool for C++ Code Optimisation
reddit.com·1d·
Discuss: r/cpp
⚡Interpreter Optimization
LiteRSan: Lightweight Memory Safety Via Rust-specific Program Analysis and Selective Instrumentation
arxiv.org·12h
🔒Rust Borrowing
Rustchain: Transpile Anything Into Rust (and Back Out Again)
reddit.com·13h·
Discuss: r/programming
🏗️Cranelift
SWE-Bench Pro: Can AI Agents Solve Long-Horizon Software Engineering Tasks?
arxiv.org·12h
🎭Program Synthesis
Saga pattern with PHP: Masterful Coordination of Distributed Transactions in Microservices
dev.to·6h·
Discuss: DEV
🔀Control Structures
Optimizing FP4 Mixed-Precision Inference on AMD GPUs
lmsys.org·2d
🧠Memory Hierarchy
XaaS Containers: Performance-Portable Representation With Source and IR Containers
arxiv.org·12h
📦Portable Bytecode
CEBench: A Benchmarking Toolkit for the Cost-Effectiveness of LLM Pipelines
arxiv.org·12h
🎨Domain-Specific Languages
Dynamic Resource Allocation for Heterogeneous AI Chip Clusters via Reinforcement Learning
dev.to·1h·
Discuss: DEV
📋Task Queues
Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs
arxiv.org·12h
🎲Property Testing