Records and the ‘with’ operator, redux
codeblog.jonskeet.uk·9h
🛡️Proof-Carrying Archives
Finding entities with given uuids in the current project
mbork.pl·3d
🗄️Database Internals
Every Single Human. Like. Always.
randsinrepose.com·13h
⚡Proof Automation
Understanding ASTs
hypermod.io·20h·
Discuss: Hacker News
📊Static Analysis
I designed my own ridiculously fast game streaming video codec
themaister.net·1d·
Discuss: Lobsters, Hacker News
🎥Streaming Codecs
A Practitioner's Taxonomy of IaC Patterns in the Wild
chkk.io·9h·
Discuss: Hacker News
🔌Interface Evolution
Creation of a Numerical Scoring System to Objectively Measure and Compare the Level of Rhetoric in Arabic Texts: A Feasibility Study, and A Working Prototype
arxiv.org·1h
📜Digital Philology
My Database Conundrum: MongoDB vs Supabase for a Pure Python App
dev.to·6h·
Discuss: DEV
🔄Sync Engine
Show HN: The easiest accessibility (a11y) checker for VSCode
github.com·14h·
Discuss: Hacker News
🌐WASI
Digitalizing Uncertain Information
arxiv.org·1h
🏛️OAIS Implementation
Low-Cost Test-Time Adaptation for Robust Video Editing
arxiv.org·1h
📊Learned Metrics
Using Containers to Speed Up Development, to Run Integration Tests and to Teach About Distributed Systems
arxiv.org·1h
📦METS Containers
AI Relies on Human-Expertise and Instructions
labs.adaline.ai·21h·
Discuss: Hacker News
⚡Proof Automation
Large Language Model Powered Automated Modeling and Optimization of Active Distribution Network Dispatch Problems
arxiv.org·1h
🤖Network Automation
Licensed to live: DNA's replication mechanisms compiled in study
phys.org·16h
🧬Copy Number Variants
Fine-tune and deploy Meta Llama 3.2 Vision for generative AI-powered web automation using AWS DLCs, Amazon EKS, and Amazon Bedrock
aws.amazon.com·10h
🏠Homelab Orchestration
Overarch – model your software system as data
github.com·1d·
Discuss: Hacker News
📋Format Specification
TempRe: Template generation for single and direct multi-step retrosynthesis
arxiv.org·1h
⬆️Lambda Lifting
Dark Side of Modalities: Reinforced Multimodal Distillation for Multimodal Knowledge Graph Reasoning
arxiv.org·1d
🧮Kolmogorov Complexity
Building Neurostash - I
dev.to·3d·
Discuss: DEV
🗄️Database Internals