SymmACP: extending Zed's ACP to support Composable Agents
smallcultfollowing.comยท7h
๐ŸŒProtocol Synthesis
Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.comยท1d
๐Ÿฆ€Rust Macros
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.comยท1d
๐ŸŽฏProof Tactics
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.comยท1d
๐Ÿ”“Decompilation
digital-asset/cn-quickstart
github.comยท14h
๐Ÿ”„Sync Engine
Python + EVM without the paper cuts: a senior playbook for fast, correct, and scalable reads
dev.toยท1dยท
Discuss: DEV
๐ŸŒNetworkProtocols
Context Matters: Learning Global Semantics for Visual Reasoning and Comprehension
arxiv.orgยท12h
๐Ÿ“ŠLearned Metrics
Graph-based LLM over Semi-Structured Population Data for Dynamic Policy Response
arxiv.orgยท12h
๐Ÿ’ปLocal LLMs
MSF-SER: Enriching Acoustic Modeling with Multi-Granularity Semantics for Speech Emotion Recognition
arxiv.orgยท12h
๐ŸŽตAudio ML
A Low-Resource Speech-Driven NLP Pipeline for Sinhala Dyslexia Assistance
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.orgยท12h
๐ŸŽฏPerformance Proofs
Code-Switching In-Context Learning for Cross-Lingual Transfer of Large Language Models
arxiv.orgยท12h
๐ŸŽ™๏ธWhisper
Causal Abstractions, Categorically Unified
arxiv.orgยท1d
โœจEffect Handlers
Revealing Interconnections between Diseases: from Statistical Methods to Large Language Models
arxiv.orgยท1d
๐Ÿง Machine Learning
TypeNet Benchmark for development of authentication keystroke technologies
github.comยท3dยท
Discuss: Hacker News
๐Ÿ—œ๏ธLZSS Variants
Curriculum-Augmented GFlowNets For mRNA Sequence Generation
arxiv.orgยท1d
๐Ÿ”จCompilers
Less Is More: Recursive Reasoning with Tiny Networks
github.comยท1hยท
Discuss: Hacker News
๐Ÿ“ŠQuantization
Quantifying the Accuracy-Interpretability Trade-Off in Concept-Based Sidechannel Models
arxiv.orgยท12h
๐Ÿง Machine Learning