Riven: The Sequel to Myst (1997)
michal.sapka.pl·1d
🎮Vintage Gaming
Your Phone Is Stolen. Your Laptop Gets Lost. Here’s What to Do. | Reviews by Wirecutter
nytimes.com·20h
💿Optical Forensics
Sci-fi interfaces | IxD Lessons from Sci-Fi
scifiinterfaces.com·2d
🏛Digital humanities
Undertrained Tokens in DeepSeek R1
tokencontributions.substack.com·2d·
Discuss: Substack
✅Format Verification
How Code Feedback MCP Enhances AI-Generated Code Quality
blog.niradler.com·1d
⚡Proof Automation
How to Write Complex Queries in Apache Spark SQL Using CTE (WITH Clause)
hackernoon.com·7h
🧮Algebraic Datatypes
Why is so much of life spent clearing up? | Adrian Chiles
theguardian.com·3d
⬜Minimalism
How to Train Your GPT Wrapper
blog.sshh.io·1d·
Discuss: Hacker News
📊Feed Optimization
Better Value Sooner Safer Happier • Simon Rohrer & Eduardo da Silva
youtube.com·2d
🖥️Modern Terminals
My Rust Day 0
dev.to·7h·
Discuss: DEV
🦀Rust Macros
SwiftUI Simplified: Build iOS Apps by Describing What You Want
dev.to·1d·
Discuss: DEV
📟CLI Design
Running External Commands in C# and Wait Until They Finish
dev.to·1d·
Discuss: DEV
🐚Shell Calculus
Step-by-Step: Build a Lightweight Search Engine Using Only Node.js
dev.to·1d·
Discuss: DEV
🔍BitFunnel
🚀 What I Built: Lyra AI – RAG-Powered, Multilingual Customer Support as a Service
dev.to·9h·
Discuss: DEV
🎙️Whisper
Flame Graph Performance Truth Analysis（1751156736805300）
dev.to·1d·
Discuss: DEV
⚡Performance Tools
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·3d
📏Linear Logic
I built a Swift GraphQL client that generates the query using macros
github.com·3d·
Discuss: Hacker News
✅Format Verification
From 500+ Lines to 150: How I Refactored My Amazon Scraper Into a Clean Scrapy Project
dev.to·4d·
Discuss: DEV
📡Feed Archaeology
True or False Game by AmazonQ
dev.to·2d·
Discuss: DEV
📐Proof Assistants
Single Core Hundred Thousand Concurrency（1751174842708600）
dev.to·20h·
Discuss: DEV
🌊Stream Processing