⚡ functional programming - abnv · Scour

SWE-Refactor: A Repository-Level Benchmark for Real-World LLM-Based Code Refactoring

arxiv.org·3d

🚚Code Migration

Towards Weak Stratification for Logics of Definitions

arxiv.org·3d

⚖️Inference Rules

LLMs - Custom Tokenizers

dev.to·1d·

Discuss: DEV

🔤Language Tokenizers

Context Rot: From Agent Loop to Agent Swarm — Solving Context Persistence in AI-Assisted Development

dev.to·21h·

Discuss: DEV

💬Interactive REPLs

computer graphics, maths, shaders, fractals, demoscene

iquilezles.org·4d

📐Mathematical Computing

Optimizing SQL CASE Expression Evaluation

datafusion.apache.org·5d

💓Live Variable Analysis

“Parallelizing MCMC Across the Sequence Length”: This one is really cool.

statmodeling.stat.columbia.edu·3d

⏭️Skip Lists

The Gumbel-Max Trick

blog.quipu-strands.com·3d·

Discuss: Hacker News

🔍Type Inference

Qwen3-Coder-Next: How to Run Locally

unsloth.ai·3d·

Discuss: Hacker News

HorusGoul/eslint-plugin-react-render-types: ESLint plugin that brings Flow's Render Types to TypeScript via JSDoc. Enforce component composition constraints like `@renders {MenuItem}` at lint time.

github.com·2d·

Discuss: r/reactjs

📋Template Compilers

suzgunmirac/belief-in-the-machine: Belief in the Machine: Investigating Epistemological Blind Spots of Language Models

github.com·3d

inference training of LLM models is an active area of ai research. Is this training the key technology for self-teleoligical ai systems?

notes.pinboard.in·4d

🎭Program Synthesis

forth.com·4d

**Abstract:** This paper presents a novel approach to identifying fundamental algebraic structures within generalized Riemann spaces, a key challenge in mode...

freederia.com·2d

🔢Algebraic Datatypes

Semantic Operators: Run LLM Queries Directly in SQL

tacnode.io·4d·

Discuss: Hacker News

📋Souffle Datalog

My (very) fast zero-allocation webserver using OxCaml

anil.recoil.org·5d·

Discuss: Lobsters, Hacker News

⚙️TOML Parsers

Custom tuning parameters

futhark-lang.org·4d·

Discuss: Hacker News

⚡Interpreter Optimization

Announcing Cline CLI 2.0 with free Kimi K2.5: A major upgrade on both interactive and autonomous agentic coding in terminal

cline.ghost.io·3d

💻Terminal UIs

Introduction - Asynchronous Programming in Rust

rust-lang.github.io·6d·

Discuss: Hacker News

🌊Async Compilers

## Automated Evolutionary Design of Peptide Inhibitors Targeting Dysregulated Protein-Protein Interactions in Cancer via Multi-Modal Cross-Validation and HyperScore Prioritization

freederia.com·2d

✨Effect Inference

Loading more...