Planning a homelab and network upgrade
i.redd.itยท14mยท
Discuss: r/homelab
๐Ÿ HomeLab
OTW - Bandit Level 1 to Level 2
tbhaxor.comยท1d
๐Ÿ“Shell Parsing
Codeminer42 Dev Weekly #73
blog.codeminer42.comยท21h
๐Ÿ”ฉSystems Programming
**Hyper-Specific Sub-field Selection:** Automated Code Refactoring with Semantic Dependency Graph Optimization
dev.toยท2hยท
Discuss: DEV
๐Ÿ“Code Metrics
Scrutinizing LLM Reasoning Models
cacm.acm.orgยท2d
โœ“Automated Theorem Proving
Keep the Terminal Relevant: Patterns for AI Agent Driven CLIs โ€“ InfoQ
infoq.comยท2hยท
Discuss: Hacker News
๐Ÿ“ŸCLI Design
Understanding and Mitigating Errors of LLM-Generated RTL Code
arxiv.orgยท1d
โœ…Format Verification
On the Value of Abstractions
cekrem.github.ioยท2dยท
Discuss: Hacker News, r/programming, r/webdev
๐ŸšShell Monads
A Deeper Dive into Apache Iceberg V3
opensource.googleblog.comยท1dยท
Discuss: Hacker News
๐Ÿ’ฟZFS Archaeology
Running a Reliable Service on LLMs
fin.aiยท10hยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Optimized Autonomous Inference
outerbounds.comยท1dยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Linear sent me down a local-first rabbit hole
bytemash.netยท1dยท
Discuss: Hacker News
๐Ÿ”„Sync Engine
Dynamic Decision Tree Pruning via Reinforcement Learning for Real-time Risk Assessment
dev.toยท5hยท
Discuss: DEV
๐ŸŒŠStream Processing
ASCoT: An Adaptive Self-Correction Chain-of-Thought Method for Late-Stage Fragility in LLMs
arxiv.orgยท1d
โœ…Formal Methods
Why do we even need SIMD instructions ?
lemire.meยท3hยท
Discuss: Hacker News
๐Ÿš€SIMD Text Processing
Building Cursor Powered App: A Devlog Series, Powered by Cursor (Part 4) โ€“ Authentication Logic
dev.toยท19hยท
Discuss: DEV
๐ŸŒNetworkProtocols
Show HN: Visualizing my 500 journal entries and building an LLM-ghost upon it
github.comยท9hยท
Discuss: Hacker News
๐Ÿ”ŒArchive APIs
Mars v1.0.0 โ€” a small language implemented in Go, with Go-like struct literals and clear errors
reddit.comยท9hยท
Discuss: r/golang
๐Ÿง Lisp Dialects
Yet Another LLM Rant
overengineer.devยท13hยท
Discuss: Hacker News
๐ŸŒณContext free grammars
Hierarchical Verification of Speculative Beams for Accelerating LLM Inference
arxiv.orgยท2d
๐Ÿ’ปLocal LLMs