MCP Protocol Specification
modelcontextprotocol.ioยท1dยท
Discuss: Hacker News
๐Ÿ“‹Format Specification
PHP Almost Generics: Guided Journey Through the Official Compile-Time Proposal
doganoo.medium.comยท12hยท
Discuss: Hacker News
๐Ÿ’งLiquidhaskell
A Better Way to Build Presentations (With Agentic AI)
elite-ai-assisted-coding.devยท1hยท
Discuss: Hacker News
โšกProof Automation
LLM-JEPA: Large Language Models Meet Joint Embedding Predictive Architectures
arxiviq.substack.comยท1dยท
Discuss: Substack
๐Ÿ’ปLocal LLMs
Automated Knowledge Graph Construction using Large Language Models and Sentence Complexity Modelling
arxiv.orgยท14h
๐Ÿ•ธ๏ธGraph Embeddings
Pico: A Modular Framework for Hypothesis-Driven Small Language Model Research
arxiv.orgยท14h
๐Ÿ”จCompilers
Pre-Trained CNN Architecture for Transformer-Based Image Caption Generation Model
arxiv.orgยท14h
๐Ÿค–Advanced OCR
HARE: an entity and relation centric evaluation framework for histopathology reports
arxiv.orgยท14h
โš™๏ธCompression Benchmarking
MobiZO: Enabling Efficient LLM Fine-Tuning at the Edge via Inference Engines
arxiv.orgยท14h
๐Ÿ’ปLocal LLMs
BAGELS: Benchmarking the Automated Generation and Extraction of Limitations from Scholarly Text
arxiv.orgยท14h
๐Ÿ”Information Retrieval
Improving Zero-shot Sentence Decontextualisation with Content Selection and Planning
arxiv.orgยท14h
๐Ÿ“„Text Chunking
Hierarchical Retrieval: The Geometry and a Pretrain-Finetune Recipe
arxiv.orgยท14h
๐ŸงฎVector Embeddings
Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
arxiv.orgยท14h
โš™๏ธSyntactic Monoids
Generalizability of Large Language Model-Based Agents: A Comprehensive Survey
arxiv.orgยท14h
๐Ÿ—ฃ๏ธDomain-Specific Languages
Verifying User Interfaces using SPARK Ada: A Case Study of the T34 Syringe Driver
arxiv.orgยท14h
โœ…Format Verification
Python Strings: The Ultimate Guide for Beginners & Beyond
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Concrete Syntax
GRIL: Knowledge Graph Retrieval-Integrated Learning with Large Language Models
arxiv.orgยท14h
๐Ÿ”Information Retrieval
Fine-Grained Detection of AI-Generated Text Using Sentence-Level Segmentation
arxiv.orgยท14h
๐Ÿ“„Document AI
KuBERT: Central Kurdish BERT Model and Its Application for Sentiment Analysis
arxiv.orgยท14h
๐Ÿ“Text Embeddings
LLMs as Layout Designers: A Spatial Reasoning Perspective
arxiv.orgยท14h
๐Ÿ“Concrete Syntax