How OpenAI used a new data type to cut inference costs by 75%
theregister.com·1h
🎯Emulator Accuracy
Mars v1.0.0 — a small language implemented in Go, with Go-like struct literals and clear errors
reddit.com·18h·
Discuss: r/golang
🧠Lisp Dialects
PHP compile time generics: yay or nay?
thephp.foundation·2d·
Discuss: Hacker News
🔗Dependently Typed
5 ways to 10x your "Vibe" coding
dev.to·19h·
Discuss: DEV
🦋Format Metamorphosis
Computational Music Synthesis
cs.gmu.edu·7h·
Discuss: Hacker News
🎛️Audio Synthesis
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·6d·
Discuss: Hacker News
💧Liquid Types
GHC Developer Blog: GHC 9.10.3-rc3 is now available
haskell.org·2d
🔗Functional Compilers
TypeScript 5.9 Brings Less Friction, More Features
thenewstack.io·20h
🔌Interface Evolution
All you need to know about Tokenization in LLMs
medium.com·36m·
Discuss: Hacker News
📝Text Parsing
From GPT-2 to gpt-oss: Analyzing the Architectural Advances
magazine.sebastianraschka.com·23h·
Discuss: Hacker News
🌊Streaming Algorithms
Roo Code Workflow: An Advanced LLM-Powered Development Setup
gist.github.com·11h·
Discuss: Hacker News
🦋Format Metamorphosis
Microsoft POML – Prompt Orchestration Markup Language
github.com·4h·
Discuss: Hacker News
🎙️Whisper
GoLang Generics: Practical Examples to Level Up Your Code
dev.to·2d·
Discuss: DEV
💧Liquid Types
Why AI's Tom Cruise problem means it is 'doomed to fail' (2024)
theguardian.com·18h·
Discuss: Hacker News
🧠Intelligence Compression
Fixed Points via Logically Contractive Maps
lightcapai.medium.com·12h·
Discuss: Hacker News
🎯Performance Proofs
Automating Boundary Filling in Cubical Type Theories
arxiv.org·6d
🔶Cubical Type Theory
HorizonDB, a geocoding engine in Rust that replaces Elasticsearch
radar.com·1d·
Discuss: Hacker News
📏Range Queries
Show HN: A Python CEL implementation (written in Rust)
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust Macros
Performance Pitfalls in C# / .NET – List Contains
richardcocks.github.io·19h·
Discuss: Hacker News
📏Code Metrics
Why do we even need SIMD instructions ?
lemire.me·12h·
Discuss: Hacker News
🚀SIMD Text Processing