Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2d
λFunctional Programming
Flag this post
Show HN: Qordinate – AI that talks for you (coordination-first, early build)
🌐ActivityPub
Flag this post
HUME: Measuring the Human-Model Performance Gap in Text Embedding Task
📚Automata Learning
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.org·1d
📚Automata Learning
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
🔀Brzozowski Derivatives
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
🔤Language Design
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·1d
🔲Cellular Automata
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.org·2d
🎯GADT
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
🧠Automated Reasoning
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.org·1d
🔤Language Design
Flag this post
Fine-Tuned Language Models for Domain-Specific Summarization and Tagging
arxiv.org·2d
🔤DSLs
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🏗️Dune
Flag this post
Testing Cross-Lingual Text Comprehension In LLMs Using Next Sentence Prediction
arxiv.org·2d
📚Automata Learning
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.org·1d
🧮SMT Solvers
Flag this post
Loading...Loading more...