Text rendering and effects using GPU-computed distances
blog.pkh.meยท1d
๐Ÿ“Mathematical Art
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท4d
๐Ÿ”€Category Theory
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท3d
๐Ÿ”“Decompilation
Flag this post
Oops, My UUIDs Collided
alexsci.comยท2dยท
Discuss: Hacker News
๐ŸงชBinary Fuzzing
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.comยท1dยท
Discuss: Hacker News
โ„๏ธNix Flakes
Flag this post
Linux/WASM
joelseverin.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ•ธ๏ธWASM Archives
Flag this post
Dialogue as Discovery: Navigating Human Intent Through Principled Inquiry
arxiv.orgยท5h
๐ŸงญContent Discovery
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.comยท3dยท
๐Ÿฆ€Rust Macros
Flag this post
Uni-MMMU: A Massive Multi-discipline Multimodal Unified Benchmark
dev.toยท11hยท
Discuss: DEV
๐Ÿ“Mathematical Art
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.comยท10hยท
Discuss: Hacker News
๐ŸงฌPostgreSQL Forensics
Flag this post
Why I Chose Go as My Main Backend Language โ€” and Why You Might Too
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.comยท3dยท
Discuss: Hacker News
โœจEffect Handlers
Flag this post
Identifying the Periodicity of Information in Natural Language
arxiv.orgยท5h
๐Ÿค–Grammar Induction
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท3d
๐ŸงฎAlgebraic Archives
Flag this post
๐Ÿš€ Day 59 of My Data Analytics Journey !
dev.toยท18hยท
Discuss: DEV
๐Ÿ“ŠStatic Analysis
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Compiler Design
Flag this post
โšก Brisk โ€” Text-to-Speech Web App ๐Ÿ—ฃ๏ธ Convert text into natural-sounding speech in seconds.
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.devยท6dยท
๐ŸงชBinary Fuzzing
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
dev.toยท18hยท
Discuss: DEV
๐ŸงฎVector Embeddings
Flag this post
Beyond Visualization: Building Decision Intelligence Through Iterative Dashboard Refinement
arxiv.orgยท5h
๐ŸŽฏRecommendation Metrics
Flag this post