Interim Report Q2
msab.com·5h
🔗Data Provenance
Building secure messaging is hard: A nuanced take on the Bitchat security debate
blog.trailofbits.com·37m
🧪Protocol Fuzzing
Collaborative documents over discrete files?
thomasrigby.com·14h
📄Document Digitization
Primary Attack Vectors Persist
sentinelone.com·14h
🔓Hacking
Information modeling example: Call sheet
disruptivearchitecture.info·4h
🚚Data Migration
Issue 481
haskellweekly.news·23h
🔗Functional Compilers
A Sloth could do complex tasks in NixOS
lemosjose.github.io·1d·
Discuss: Hacker News
❄Nix
Using Typst to Typeset Novels
splinterton.com·12h·
Discuss: Hacker News
🖋Typography
Show HN: Macuse – Give Your AI Superpowers on macOS
macuse.app·2h·
Discuss: Hacker News
🤖Archive Automation
How Go 1.24 Swiss Tables saved us hundreds of gigabytes
datadoghq.com·15h·
Discuss: Lobsters, Hacker News
🧠Memory Allocators
Azure's Inferno: Escape from API Hell
wallpunch.net·22h·
Discuss: Hacker News, r/programming
🔗Hypermedia APIs
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·6h·
Discuss: Hacker News
🗂️Vector Databases
Running a vibe-code platform (Coder) on your own infrastructure
thetechenabler.substack.com·4h·
Discuss: Substack
🚀Indie Hacking
Ralph Wiggins as a "Software Engineer"
ghuntley.com·4d·
Discuss: Hacker News, Hacker News
🦀Rust Macros
Python Fundamentals: build
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
Sandboxing AI - Extending AI Responsibly
dev.to·2d·
Discuss: DEV
🔒WASM Capabilities
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·1d
🗂️Vector Databases
When Pattern-by-Pattern Works: Theoretical and Empirical Insights for Logistic Models with Missing Values
arxiv.org·7h
🧮Kolmogorov Complexity
Code Smell 307 - Naive Time Assumptions and How to Fix It
hackernoon.com·1d
🎯Gradual Typing
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
arxiv.org·7h
✓Automated Theorem Proving