AI and the strengthening of records management approaches
thinkingrecords.co.uk·10h
📐Archive Calculus
Flag this post
From Bottleneck to Breakthrough: AI in Chip Verification
spectrum.ieee.org·8h
🔧Hardware Verification
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·1d·
Discuss: Hacker News
✨Effect Handlers
Flag this post
Building from First Principles
marvinh.dev·5h·
Discuss: Hacker News
❄️Nix Flakes
Flag this post
A Short Introduction to Categorical Logic
youtube.com·15h
🔀Category Theory
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·1d·
Discuss: Substack
💻Programming languages
Flag this post
Scaling Embeddings with Feast and KubeRay
feast.dev·3h·
Discuss: Hacker News
📡Feed Archaeology
Flag this post
Wacl – A Tcl Distribution for WebAssembly
github.com·1d·
Discuss: Hacker News
🕸️WebAssembly
Flag this post
Who needs Graphviz when you can build it yourself?
spidermonkey.dev·2d·
Discuss: Lobsters, Hacker News, Hacker News
⟷Bidirectional Programming
Flag this post
De Bruijn Numerals
text.marvinborner.de·4h·
Discuss: Hacker News
λLambda Encodings
Flag this post
Using Claude Skills with Neo4j
towardsdatascience.com·2d
🕸️Neo4j
Flag this post
Designing Smarter Health Checks for Pomerium
pomerium.com·2h·
Discuss: Hacker News
👁️Observatory Systems
Flag this post
OpenTelemetry Collector: The Backbone of Modern Observability Pipelines
blog.devops.dev·3d
👁️System Observability
Flag this post
IntelliJ vs. Neovim: Yak Shaving
carper.ca·1h·
Discuss: Hacker News
🐚Nordic Shell
Flag this post
Discovering Heuristics with Large Language Models (LLMs) for Mixed-Integer Programs: Single-Machine Scheduling
arxiv.org·1d
🧮SMT Solvers
Flag this post
Infrastructure behind Dust deep-dive agent
blog.dust.tt·20h·
Discuss: Hacker News
🏠Homelab Archaeology
Flag this post
ArchISMiner: A Framework for Automatic Mining of Architectural Issue-Solution Pairs from Online Developer Communities
arxiv.org·2d
⚙️Build Archaeology
Flag this post
Indexing Coffee with Notion
xvw.lol·2d·
Discuss: Lobsters, Hacker News
☕Coffee Science
Flag this post
The Art of Dependency Updates: Balancing Stability, Features, and Security
wawand.co·3d·
Discuss: Hacker News
📦Package Managers
Flag this post
MLPrE -- A tool for preprocessing and exploratory data analysis prior to machine learning model construction
arxiv.org·14h
🎵Audio ML
Flag this post