Obsidian -> Gitea / Forgejo -> Hugo -> Caddy Questions.
guy-evans.com·1h·
Discuss: r/homelab, r/selfhosted
🦋Format Metamorphosis
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·6d
🧮Theorem Proving
Memory Safety Is Merely Table Stakes
usenix.org·9h·
Discuss: Hacker News, r/programming
🔒Type Safety
Programming Entry Level: how to interpreter
dev.to·2d·
Discuss: DEV
🔗Lisp
Small Encoders Can Rival Large Decoders in Detecting Groundedness
arxiv.org·49m
🧮Kolmogorov Complexity
new2
dev.to·1d·
Discuss: DEV
🧠Query Planners
Day 11 - Building the Document Management System
dev.to·19h·
Discuss: DEV
⚖️Legal Compliance
Perspectives in Play: A Multi-Perspective Approach for More Inclusive NLP Systems
arxiv.org·1d
📚Digital Humanities
Causal discovery in deterministic discrete LTI-DAE systems
arxiv.org·1d
🧠Machine Learning
Python Programming
dev.to·7h·
Discuss: DEV
📝Concrete Syntax
Floating-Point Data Transformation for Lossless Compression
arxiv.org·3d
🌊Streaming Compression
The Morning I Realised I'd Built Something Bigger Than Myself
dev.to·5h·
Discuss: DEV
🏺ZIP Archaeology
Imitation Box Horse - Personal Center Page (19)
dev.to·1d·
Discuss: DEV
📖Nordic Typography
StoryGem: Voronoi treemap Approach for Semantics-Preserving Text Visualization
arxiv.org·3d
🔶Voronoi Diagrams
Our Coding Adventure: Using LLMs to Personalise the Narrative of a Tangible Programming Robot for Preschoolers
arxiv.org·49m
🎙️Whisper
🚀 Mastering Vectors in Rust
dev.to·10h·
Discuss: DEV
🦀Rust Borrowing
Building Scalable Web Applications with Advanced JavaScript Patterns
dev.to·1d·
Discuss: DEV
🛠Language Design
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·3d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Mastering Laravel's MVC: A Practical Guide for Cleaner Code
dev.to·1d·
Discuss: DEV
🔬Refinement Types
1 - Building a Worship Resource Library
dev.to·5h·
Discuss: DEV
🎹MIDI Archaeology