Developing with Nix
andrestc.com·1d
❄️Nixpkgs
derived set
ncatlab.org·2d
🧮Algebraic Archives
Claude on Rails
obie.medium.com·10h·
Discuss: Hacker News
👑Isabelle
Unlock deeper insights with the new Python client library for Data Commons
developers.googleblog.com·1d
🏷️Metadata Standards
The Whole Code Catalog
futureofcoding.org·1d·
Discuss: Hacker News
🔗Concatenative Programming
Elmo's World NP-complete problem (2006)
blog.plover.com·3d·
Discuss: Hacker News
🧮SMT Solvers
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·3d
📝Concrete Syntax
Rust Forge Conf 2025 Schedule Announced
newsletter.rustforgeconf.com·18h
🦀Rust Macros
An AI Agent That Interprets Papers So You Don’t Have To: Full Build Guide
hackernoon.com·1d
🔬Academic Search
Many small evals beat one big eval, for AI Products
getkiln.ai·14h·
Discuss: Hacker News
🔍Concolic Testing
Amal’s First Switch Equation: Clean FizzBuzz with Bitmask Logic
dev.to·1d·
Discuss: DEV
🌊Stream Ciphers
CovDocker: Benchmarking Covalent Drug Design with Tasks, Datasets, and Solutions
arxiv.org·1d
🔍BitFunnel
A Principled Approach to Randomized Selection under Uncertainty
arxiv.org·3d
🌸Bloom Variants
Memory Safety in Web Rust System Zero Cost Secure（1750570224424500）
dev.to·6d·
Discuss: DEV
🦀Rust Borrowing
Async Programming in Rust Using Tokio: A Practical Guide
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Python Fundamentals: asyncio
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Developing AI-Powered Applications with LLMs on Google Cloud
dev.to·18h·
Discuss: DEV
🎙️Whisper
Edge Association Strategies for Synthetic Data Empowered Hierarchical Federated Learning with Non-IID Data
arxiv.org·4d
🧠Machine Learning
CSS vs JavaScript vs Server-Side Image Optimization: Choosing the Right Approach
dev.to·56m·
Discuss: DEV
🎬WebCodecs API
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·2d
⚡Incremental Computation