🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

“Project,” by Rachel Cusk
newyorker.com·12h
🏛Digital humanities
Marketing First When Writing a Book
loufranco.com·8h
📕Bookbinding
More on GPT-5 pseudo-text in graphics
languagelog.ldc.upenn.edu·8h
🖋Typography
From Transcripts to Descriptions: Using Consumer AI Tools for Audio Collection Metadata
saaers.wordpress.com·4d
🔄Archival Workflows
New Zealand Air Traffic Control Failure Likely Caused By Data Transfer Issue
tech.slashdot.org·1d
⏱️SMPTE Timecode
Is the Fed's New Policy Kayfabe?
mathmeetsmoney.substack.com·2h·
Discuss: Substack
🔤EBCDIC Linguistics
Why We Build
thetortoiseandhare.substack.com·24m·
Discuss: Substack
🔄Reproducible Builds
Introduction to Bluesky's AT Protocol
mackuba.eu·4d·
Discuss: Hacker News
🔌Interface Evolution
openSUSE Launches Revamped Website
linuxiac.com·29m
🐧FOSS
Using large-scale search to discover fast GPU kernels in Rust
reddit.com·4d·
Discuss: r/rust
🦀Rust Macros
[R] Building a deep learning image model system to identify BJJ positions in matches
reddit.com·18h·
Discuss: r/MachineLearning
🔍Vector Forensics
The Third Algorithm (AI, After Google and Social Media Feeds)
arcdigital.media·1d·
Discuss: Hacker News
🎯Content Recommendation
Show HN: Voice Typing from Your Terminal
github.com·6h·
Discuss: Hacker News
🎙️Whisper
CryptoScope: Utilizing Large Language Models for Automated Cryptographic Logic Vulnerability Detection
arxiv.org·6d
🧪Binary Fuzzing
Active inference for action-unaware agents
arxiv.org·5d
🔲Cellular Automata
Belief-Conditioned One-Step Diffusion: Real-Time Trajectory Planning with Just-Enough Sensing
arxiv.org·5d
🌀Riemannian Computing
A Comprehensive Perspective on Explainable AI across the Machine Learning Workflow
arxiv.org·6d
🤖AI Curation
China-linked Silk Typhoon APT targets North America
securityaffairs.com·1d
🔓Hacking
The Small Coding Habit That Made Me a Better Developer
dev.to·4d·
Discuss: DEV
📏Code Metrics
KnowDR-REC: A Benchmark for Referring Expression Comprehension with Real-World Knowledge
arxiv.org·3d
🔗Parser Combinators