Language Evangelism Is Annoying
๐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?
๐ฒCellular Automata
Flag this post
What Dynamic Typing Is For
๐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 ๐
๐ณTrie Structures
Flag this post
[Pre-RFC] Substructural Type System
๐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
PARSE: LLM Driven Schema Optimization for Reliable Entity Extraction
arxiv.orgยท2d
๐Document Grammar
Flag this post
Dendrograms of Mixing Measures for Softmax-Gated Gaussian Mixture of Experts: Consistency without Model Sweeps
arxiv.orgยท10h
๐Mutual Information
Flag this post
Loading...Loading more...