Optimizing multiprecision LLL in FLINT
fredrikj.net·3d
🧮Algebraic Datatypes
Nvidia Release Massive AI-Ready Open European Language Dataset and Tools
hardware.slashdot.org·1d
🎙️Whisper
Exactly-Once Processing Across Kafka and Databases: Using Kafka Transactions + Idempotent Writes
medium.com·8h·
Discuss: r/programming
🌊Apache Kafka
A string formatting library in 65 lines of C++
riki.house·2d·
Discuss: Lobsters, Hacker News
✅Format Verification
From Logic to Linear Algebra: How AI Is Rewiring the Computer
journal.hexmos.com·7h·
Discuss: Hacker News, r/programming
🖥️Hardware Architecture
Building a Regex Engine
abstractsyntaxseed.com·4d·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
Alibaba Launches Qoder: An Agentic Coding Platform for Real Software
finance.yahoo.com·2d·
Discuss: Hacker News
⚙️TLA+
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·6d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
💧Liquid Types
A pseudolocalization developer experience tool
github.com·1d·
Discuss: Hacker News
🔄Migration Tools
[P] Language Diffusion in <80 Lines of Code
reddit.com·3d·
Discuss: r/MachineLearning
🎯Gradual Typing
Glyph.Flow Devlog #2 – Hitting the Registry Milestone
dev.to·2d·
Discuss: DEV
🐚Shell Calculus
What it took to make a multi-agent trading simulation durable and observable
union.ai·3d·
Discuss: Hacker News
⚡Proof Automation
Shortcuts for the Long Run: Automated Workflows for Aspiring Data Engineers
kdnuggets.com·2d
🌊Stream Processing
LangExtract + Knowledge Graph— Google’s New Library for NLP Tasks
dev.to·2d·
Discuss: DEV
📄Text Chunking
scottpetrovic/mesh2motion-app
github.com·20h
📦MKV Containers
mimidns: an authoritative dns server in Go.
reddit.com·1d·
Discuss: r/golang
🌐DNS Security
Building AI Chatbots for Customer Support with 7Chats
dev.to·5h·
Discuss: DEV
🎙️Whisper
SEO is dead, RAO just doesn’t know it yet
dev.to·7h·
Discuss: DEV
📡RSS Automation
Extracting Structured Requirements from Unstructured Building Technical Specifications for Building Information Modeling
arxiv.org·4d
📋Document Grammar
Adaptive DDoS Mitigation via Hyper-Dimensional Signature Correlation & Dynamic Recursion
dev.to·12h·
Discuss: DEV
👁️Observatory Systems