Machine learning by satisfiability solving
johndcook.com·2d
🎯Performance Proofs
Motion Pixels: breakthrough!
codecs.multimedia.cx·1d
🎬Video Codecs
A focus week
blog.mitrichev.ch·3h·
Discuss: blog.mitrichev.ch
🌊Streaming Algorithms
Before ToolShell: Exploring Storm-2603’s Previous Ransomware Operations
research.checkpoint.com·2d
🌐DNS Security
Issuing TLS Certificates in Go
getpid.dev·10h·
Discuss: r/golang
🔐Certificate Analysis
ASCII Art Signatures in the Wild (2012)
geon.github.io·1d·
Discuss: Hacker News
🔧KAITAI
Machine Learning Fundamentals: loss function project
dev.to·8h·
Discuss: DEV
📏Code Metrics
Show HN: NameFast – Generate names for your SaaS idea in seconds
news.ycombinator.com·3h·
Discuss: Hacker News
🔍BitFunnel
Machine Learning Fundamentals: loss function example
dev.to·9h·
Discuss: DEV
📏Code Metrics
Dora Research: Concerns beyond the accuracy of AI output
dora.dev·1d·
Discuss: Hacker News
🔍Concolic Testing
HTML-in-Canvas
github.com·2h·
Discuss: Hacker News
🎬WebCodecs
Data Leakage and Redundancy in the LIT-PCBA Benchmark
arxiv.org·3d
⚡Performance Mythology
Building a SQLite CLI in less than an hour without ever looking at any code
theahura.substack.com·8h·
Discuss: Substack
💾SQLite
Show HN: Bug which took months to debug
sumantopal07.medium.com·4d·
Discuss: Hacker News
👁️Observatory Systems
The way Rust crates tend to have a single, huge error enum worries me
reddit.com·1d·
Discuss: r/rust
🔒Type Safety
PatchworkOS: A from-scratch NON-POSIX OS strictly adhering to the "everything is a file" philosophy that I've been working on for..
github.com·12h·
Discuss: Hacker News
🐚Shell Calculus
🐍 Top Python Libraries to Supercharge Your Productivity
dev.to·15h·
Discuss: DEV
📏Code Metrics
The Unstoppable Rise of Disposable ML Frameworks
petewarden.com·23h·
Discuss: Hacker News
💻Local LLMs
Building Composable AI Agents in Go + WebAssembly with Hayride
blog.hayride.dev·1d·
Discuss: r/golang
🔌Interface Evolution
Uncovering the Fragility of Trustworthy LLMs through Chinese Textual Ambiguity
arxiv.org·1d
🔍Z3 Parsing