Jordan triple system
ncatlab.org·22h
🔗Category Theory
Flag this post
Show HN: Qordinate – AI that talks for you (coordination-first, early build)
💬Interactive REPLs
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
✨Gleam
Flag this post
The AI Capability Gap
🛡️Error Ergonomics
Flag this post
Advances In Formal Verification Technology
semiengineering.com·2d
🧩SAT Solvers
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.com·6h
📏Linear Memory
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
🎭Program Synthesis
Flag this post
Linkage
11011110.github.io·22h
🪢Rope Data Structures
Flag this post
zFLoRA: Zero-Latency Fused Low-Rank Adapters
arxiv.org·1d
🏁Language Benchmarks
Flag this post
De Bruijn Numerals
λLambda Calculus
Flag this post
SPG: Sandwiched Policy Gradient for Masked Diffusion Language Models
🪜Recursive Descent
Flag this post
Odd Parallels Between LLM Tokenization and 六书
blog.acrosspolyethylene.com·2d
🔤Language Tokenizers
Flag this post
We open-sourced a minimal NASDAQ ITCH parser in Rust. Built for clarity, not just speed. Here's how we pushed it to 107M msg/sec.
📋JSON Parsing
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
🔬programming language theory
Flag this post
HUME: Measuring the Human-Model Performance Gap in Text Embedding Task
🪜Recursive Descent
Flag this post
Horn Clauses
youtube.com·1d
🧩Prolog
Flag this post
Loading...Loading more...