Optimizing multiprecision LLL in FLINT
fredrikj.net·3d
🧮Algebraic Datatypes
Nvidia Release Massive AI-Ready Open European Language Dataset and Tools
hardware.slashdot.org·8h
🎙️Whisper
A string formatting library in 65 lines of C++
riki.house·1d·
Discuss: Lobsters, Hacker News
✅Format Verification
Alibaba Launches Qoder: An Agentic Coding Platform for Real Software
finance.yahoo.com·1d·
Discuss: Hacker News
⚙️TLA+
Best Programming Languages for AI and Machine Learning
dev.to·21h·
Discuss: DEV
🎵Audio ML
LangExtract + Knowledge Graph— Google’s New Library for NLP Tasks
dev.to·2d·
Discuss: DEV
📄Text Chunking
AI Code Generation: Trust and Verify, Always
thenewstack.io·1d
⚙️Proof Engineering
Navigating the Future: Building Software for AI Consumers
thebootstrappedfounder.com·3d·
Discuss: Hacker News
🔌Interface Evolution
Toying with Poisoned Search Results Fed to an LLM
github.com·1d·
Discuss: Hacker News
🔍Information Retrieval
Show HN: Journey – Development focused database migration tool
github.com·16h·
Discuss: Hacker News
🦋Format Metamorphosis
Novel Alloy Microstructure Prediction via Reinforcement Learning & Finite Element Analysis
dev.to·3h·
Discuss: DEV
⚙️Modern Assembly
Welcome to Remix 3
github.com·1d·
Discuss: Hacker News
🦋Format Metamorphosis
Building Code Retrieval for Claude Code from Scratch
zc277584121.github.io·4d·
Discuss: Hacker News
🌳Incremental Parsing
Developer Walk-Through of Auggie CLI, an Agentic Terminal App
thenewstack.io·15h
🛡️CLI Security
AI Is in a Weird Spot
samjarman.co.nz·1d·
Discuss: Hacker News
⚙️Proof Engineering
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·5d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
💧Liquid Types
DeepThink3D: Enhancing Large Language Models with Programmatic Reasoning in Complex 3D Situated Reasoning Tasks
arxiv.org·2d
⚡Incremental Computation
What it took to make a multi-agent trading simulation durable and observable
union.ai·2d·
Discuss: Hacker News
⚡Proof Automation
A pseudolocalization developer experience tool
github.com·10h·
Discuss: Hacker News
🔄Migration Tools
[P] Language Diffusion in <80 Lines of Code
reddit.com·2d·
Discuss: r/MachineLearning
🎯Gradual Typing