Thinking with Types: type-level programming in Haskell
thinkingwithtypes.comยท2dยท
Discuss: Hacker News
๐Ÿ” Type-Level Programming
Flag this post
Scala vs. F#
alexn.orgยท1dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
Building Yantra: A Visual Workflow Automation Engine
patali.devยท1dยท
Discuss: Hacker News
๐ŸŒŠStream Processing
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
blog.gbase.aiยท1dยท
Discuss: Hacker News
๐Ÿค–Archive Automation
Flag this post
[R] Knowledge Graph Traversal With LLMs And Algorithms
reddit.comยท1hยท
๐ŸงฎDatalog
Flag this post
Beyond Single-Tokenomics: How Farcaster's Pluralistic Incentives Reshape Social Networking
arxiv.orgยท18h
๐Ÿ”—Hash Chains
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.orgยท18h
โœ…Formal Methods
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.orgยท18h
๐Ÿ”—Monadic Parsing
Flag this post
Automated Sentiment-Driven Resource Allocation for Community Resilience Planning
dev.toยท5hยท
Discuss: DEV
๐ŸŽ›๏ธFeed Filtering
Flag this post
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.toยท2dยท
Discuss: DEV
๐ŸŽฌWebCodecs API
Flag this post
A Hybrid Deep Learning and Forensic Approach for Robust Deepfake Detection
arxiv.orgยท1d
๐Ÿ”Vector Forensics
Flag this post
RegionRAG: Region-level Retrieval-Augumented Generation for Visually-Rich Documents
arxiv.orgยท1d
๐ŸงฎVector Embeddings
Flag this post
**Adaptive Algorithmic Profiling & Resource Allocation via Dynamic Markov Chain Optimization**
dev.toยท3dยท
Discuss: DEV
โšกIncremental Computation
Flag this post
I Benchmarked 3 Go Concurrency Patterns. The "Fastest" One Would Destroy Production
dev.toยท17hยท
Discuss: DEV
๐ŸŒŠStream Processing
Flag this post
Accelerated Dielectric Barrier Coating Optimization via Multi-Modal Data Fusion & Bayesian Hyperparameter Tuning
dev.toยท1dยท
Discuss: DEV
๐Ÿง Machine Learning
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.orgยท18h
๐ŸงฎKolmogorov Complexity
Flag this post
Engineering a Trillion-Parameter Architecture on Consumer Hardware
hackernoon.comยท1d
๐Ÿ Homelab Archaeology
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
dev.toยท55mยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
Flag this post