Counting with Categories (Part 3)
golem.ph.utexas.edu·4d
λLambda Formalization
Context engineering
simonwillison.net·1d
🔍Archive Semantics
Laptop Hardware Security (2024)
4fa2b80c.privsec-dev-2oz.pages.dev·11h·
Discuss: Hacker News
🔒Hardware Attestation
Fighting bots by implementing fast TCP fingerprinting with eBPF
halb.it·1h·
Discuss: Hacker News
🛡️eBPF Security
Mssql MCP Server (Preview)
devblogs.microsoft.com·1d·
Discuss: Hacker News
🗄️Database Internals
imgui-go v5
reddit.com·17h·
Discuss: r/golang
📺Terminal UI
DataOps and Automation: The Future of Database Management
devops.com·1d
🚚Data Migration
I recreated Asteroids with AI in five minutes, and now I think game development is about to change forever
techradar.com·1d
📼Retro Games
Do you use ChatGPT at work? Try one of these 11 prompts to power up your productivity with AI
techradar.com·21h
🧠Personal Knowledge Base
Deep Dive into Databend UDF, implementing your data solutions with python, WASM and beyond
dev.to·3d·
Discuss: DEV
📋DFDL
True or False Game by AmazonQ
dev.to·2d·
Discuss: DEV
📐Proof Assistants
On Context-Content Uncertainty Principle
arxiv.org·2d
🧠Machine Learning
Inside Nixopus: How We Manage Our Database Migrations?
dev.to·1d·
Discuss: DEV
🦋Format Metamorphosis
Machine Learning Fundamentals: active learning
dev.to·4d·
Discuss: DEV
🤖Grammar Induction
Go Project Scaffolding Guide: A Choice That Earned My Team's Rave Reviews
dev.to·2d·
Discuss: DEV
🏺ZIP Archaeology
Working with an AI Pair Programmer: Top Tips for Solo Developers and Teams
dev.to·1d·
Discuss: DEV
🔄Language Evolution
😎 What Every Developer Should Learn Before 2026
dev.to·16h·
Discuss: DEV
🪟Awesome windows command-line
Running External Commands in C# and Wait Until They Finish
dev.to·17h·
Discuss: DEV
🐚Shell Calculus
SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
arxiv.org·6d
📏Linear Logic
Zero-Cost Abstractions: What It Really Means in Rust
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing