Testing Cursor's New Model: Composer
shuttle.dev·11h
🌊Async Compilers
Flag this post
Eglot, Ruby LSP and StandardRB
katafrakt.me·1d
✨Code Formatters
Flag this post
Another way of doing big O notation
alok.github.io·3d
⛪Church Encoding
Flag this post
Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
🔗Language Toolchains
Flag this post
Radar Trends to Watch: November 2025
oreilly.com·23h
🎭Program Synthesis
Flag this post
How to evaluate and benchmark Large Language Models (LLMs)
together.ai·1d
🏁Language Benchmarks
Flag this post
Top Open Source Tools for Kubernetes ML: From Development to Production
🌐Portable Assembly
Flag this post
learn-data-structures-js
🪢Rope Data Structures
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·5d
🔗Category Theory
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.org·1d
🪜Recursive Descent
Flag this post
Day 2 of building Secrin
🔪Program Slicing
Flag this post
Energy Loss Functions for Physical Systems
arxiv.org·6h
⚡Control Synthesis
Flag this post
When Modalities Conflict: How Unimodal Reasoning Uncertainty Governs Preference Dynamics in MLLMs
arxiv.org·6h
🔍ML Language
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.org·1d
🌱Minimal ML
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·1d
⚡Partial Evaluation
Flag this post
Beyond Standard LLMs
🔄Subinterpreters
Flag this post
Loading...Loading more...