๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐ŸŽฏ Dependent Preservation

Type-safe Archives, Verified Storage, Format Correctness, Proof Assistants

The McPhee method
jsomers.netยท8h
๐Ÿ›Digital humanities
The problem with WordPress is the hosting
passthejoe.wordpress.comยท12h
๐Ÿ Personal Archives
Children of the TI: Write Once, Run Anywhere
bumbershootsoft.wordpress.comยท16h
๐ŸŽฎGameboy Emulation
All Hyped Up for HyperCard: Further Adventures with an Apple Legacy Format
blogs.loc.govยท3dยท
Discuss: Lobsters
๐Ÿ›๏ธOAIS Implementation
From Linux Primitives to Kubernetes Security Contexts
learnkube.comยท5d
๐Ÿ“ฆContainer Security
๐Ÿ—๏ธ React Keys โ€” Why They Matter in Lists
dev.toยท18hยท
Discuss: DEV
๐ŸŽฏGradual Typing
2025-08-13: The GNU D compiler has been broken on FreeBSD 14 for over a year and no one noticed, or, why operating system package maintainers matter
briancallahan.netยท4dยท
Discuss: Hacker News
๐ŸกOpenBSD
PostgreSQL 17.6, 16.10, 15.14, 14.19, 13.22, and 18 Beta 3 Released!
postgresql.orgยท3dยท
Discuss: Hacker News
๐Ÿ—„๏ธPostgreSQL WAL
Wait Don't spawn that task โ€“ Comparing patterns for mutable state
taping-memory.devยท3dยท
Discuss: Hacker News, Hacker News, r/programming
๐Ÿฆ€Rust Borrowing
Save Hours Every Week with Slashitโ€™s Dynamic Templates
dev.toยท1dยท
Discuss: DEV
โœ…Format Verification
Go Interfaces: Favoring Composition Over Inheritance (With a Dash of Common Sense)
hackernoon.comยท4d
๐Ÿ’งLiquid Types
System Register Hijacking: Compromising Kernel Integrity By Turning System Registers Against the System
usenix.orgยท4d
๐Ÿ›ก๏ธRISC-V Security
Show HN: Project Chimera โ€“ AI Debates Itself for Better Code and Reasoning
github.comยท2dยท
Discuss: Hacker News
โšกProof Automation
TEN: Table Explicitization, Neurosymbolically
arxiv.orgยท3d
๐ŸŒณContext free grammars
LongIns: A Challenging Long-context Instruction-based Exam for LLMs
arxiv.orgยท3d
๐Ÿ’ปProgramming languages
**Real-Time Emotional State Decoding via Hybrid fMRI-EEG Signal Fusion & Bayesian Inference**
dev.toยท1dยท
Discuss: DEV
๐ŸงฒMagnetic Resonance
โšก Supercharge Your HuggingFace Downloads with MCP-HuggingFetch - 3-5x Faster!
dev.toยท2dยท
Discuss: DEV
๐ŸŒณIncremental Parsing
Taking next steps for my homelab and trying to figure out the best solution (Stable Plex + VM Testing)
reddit.comยท2dยท
Discuss: r/homelab
๐Ÿ HomeLab
HumanSense: From Multimodal Perception to Empathetic Context-Aware Responses through Reasoning MLLMs
arxiv.orgยท2d
๐Ÿ›Digital humanities
I Analyzed 14 Years of My Writing with Vibe Coding. Here's What Made Me Change How I See Everything.
dev.toยท2dยท
Discuss: DEV
๐Ÿ“šDigital Humanities
Loading...Loading more...
AboutBlogChangelogRoadmap