📏 Linear Logic

Resource Tracking, Substructural Types, Use-Once Semantics, Session Types

ASD – Barriers and Pathways in Formal and Self-Diagnosis
codeberg.org·19h·
Discuss: Hacker News
🌳Parser Visualization
Flag this post
Marble Fountain
willmorrison.net·40m·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
Re: Terrain building / miniature gaming DIY
forum.melonland.net·15h
🏠indieweb
Flag this post
The Case for Boring APIs
metorial.com·1d·
Discuss: Hacker News
🔧API Design
Flag this post
Profiling tools I use for QEMU storage performance optimization
blog.vmsplice.net·1d·
Discuss: Lobsters, Hacker News
📊perf Tools
Flag this post
Claude Skills - with SKILL.md only
pankowecki.pl·8h·
Discuss: r/ClaudeAI
💬Interactive REPLs
Flag this post
Codeminer42 Dev Weekly #86
blog.codeminer42.com·2d
🎮Language Ergonomics
Flag this post
A Guide to Solveit Features
fast.ai·2d
📚Self-Documenting Code
Flag this post
Building my first homelab for home & business
imgur.com·1d·
Discuss: r/homelab
🔐Capability Protocols
Flag this post
Using Knowledge Elicitation Techniques To Infuse Deep Expertise And Best Practices Into Generative AI
forbes.com·8h
🔍ML Language
Flag this post
Hey, I’m Nyells — Let’s Talk Code, Cybersecurity & UI/UX
dev.to·6h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
Why Prompt Engineering Should Not Be Taken Seriously
msukhareva.substack.com·1d·
Discuss: r/LLM
🎮Language Ergonomics
Flag this post
My handheld gaming console is also my portable Linux workstation
xda-developers.com·6h
🖥️Minimal VMs
Flag this post
Scalable Spring Boot Project — A Feature-Based Structure That Grows With You
dev.to·1d·
Discuss: DEV
🧱First Principles
Flag this post
Comparative Analysis of Discrete and Continuous Action Spaces in Reservoir Management and Inventory Control Problems
arxiv.org·4d
⚡Partial Evaluation
Flag this post
How to ship apps faster with full-stack Claude Code setup (Skills, MCP, Plugins)
dev.to·1h·
Discuss: DEV
🔧Nickel
Flag this post
Understanding Python Async Patterns: A Comprehensive Guide
dev.to·23h·
Discuss: DEV
🔄Coroutines
Flag this post
GitHub - danielecr/hot-fixture-tool: HFit - Hot Fixture Tool. A solution for retrieve data in secure mode for development
github.com·1d·
Discuss: r/programming
🌐Browser REPLs
Flag this post
I used NotebookLM to help me build a PC, and it was better than any other tool
xda-developers.com·7h
🖥️Minimal VMs
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Cross-Silo Medical AI Systems
dev.to·1d·
Discuss: DEV
🔗Hash Functions
Flag this post