Language Evangelism Is Annoying
news.ycombinator.comยท10hยท
Discuss: Hacker News
๐Ÿ“œProof Carrying Code
Flag this post
I've Been Developing a Go SSR Library
ui.canpacis.comยท5h
๐ŸŒŠStreaming Systems
Flag this post
What if AI worked like a forest?
worldsensorium.comยท2hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
What Dynamic Typing Is For
unplannedobsolescence.comยท3dยท
๐Ÿ“Concrete Syntax
Flag this post
Bag of Tricks for Subverting Reasoning-based Safety Guardrails
arxiv.orgยท1d
๐ŸŽฏProof Tactics
Flag this post
๐Ÿง  Day 9 โ€” Back After 34 Days! Restarting My DSA + System Design Journey ๐Ÿš€
dev.toยท1dยท
Discuss: DEV
๐ŸŒณTrie Structures
Flag this post
Improving your coding workflow with Claude Code Plugins
dev.toยท1dยท
Discuss: DEV
๐Ÿ”“Open Source Software
Flag this post
How I Built a Mini C Compiler to Understand How Compilers Work
github.comยท1dยท
Discuss: DEV
๐Ÿ“Compiler Design
Flag this post
[Pre-RFC] Substructural Type System
internals.rust-lang.orgยท3dยท
Discuss: Hacker News
๐Ÿ”’Type Safety
Flag this post
PRAXA: A Framework for What-If Analysis
arxiv.orgยท1d
๐Ÿ”Archive Semantics
Flag this post
Few Shot Semi-Supervised Learning for Abnormal Stop Detection from Sparse GPS Trajectories
arxiv.orgยท10h
๐Ÿง Machine Learning
Flag this post
ECO: Enhanced Code Optimization via Performance-Aware Prompting for Code-LLMs
arxiv.orgยท1d
๐Ÿ—๏ธCompiler Archaeology
Flag this post
SASER: Stego attacks on open-source LLMs
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Flag this post
From <Answer> to <Think>: Multidimensional Supervision of Reasoning Process for LLM Optimization
arxiv.orgยท1d
๐Ÿ”—Constraint Handling
Flag this post
KoALA: KL-L0 Adversarial Detector via Label Agreement
arxiv.orgยท10h
๐Ÿง Machine Learning
Flag this post
๐Ÿš€ Last Week in My Data Analytics Journey !
dev.toยท2dยท
Discuss: DEV
โ›๏ธGrammar Mining
Flag this post
PARSE: LLM Driven Schema Optimization for Reliable Entity Extraction
arxiv.orgยท2d
๐Ÿ“‹Document Grammar
Flag this post
Bridging Gaps in Hate Speech Detection: Meta-Collections and Benchmarks for Low-Resource Iberian Languages
arxiv.orgยท1d
๐Ÿ“œDigital Philology
Flag this post
Debate, Deliberate, Decide (D3): A Cost-Aware Adversarial Framework for Reliable and Interpretable LLM Evaluation
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Flag this post