Interview: “Previous examination formats will be rendered useless by using AI”
heise.de·6h
📐Proof Assistants
Prompts vs. Context
dbreunig.com·12h
⚡Proof Automation
AST, Bytecode and the In Between: An Exploration of Interpreter Design Tradeoffs
2025.ecoop.org·12h·
Discuss: Hacker News
🔤DSLs
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·15h·
Discuss: Hacker News
📊Graph Databases
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·2d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Redefining Zero Trust in the Age of AI Agents and Agentic Workflows
blogs.cisco.com·1h
🔒Language-based security
I wrote my PhD Thesis in Typst
fransskarman.com·3d·
Discuss: Lobsters, Hacker News
📝Concrete Syntax
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·2d
🧪CBOR Fuzzing
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·9h
🧠Intelligence Compression
Leveraging Large Language Models for Information Verification -- an Engineering Approach
arxiv.org·2d
📋Document Grammar
Biomed-Enriched: A Biomedical Dataset Enriched with LLMs for Pretraining and Extracting Rare and Hidden Content
arxiv.org·9h
🔍Information Retrieval
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.org·9h
🎯Performance Proofs
PATCH! {P}sychometrics-{A}ssis{T}ed Ben{CH}marking of Large Language Models against Human Populations: A Case Study of Proficiency in 8th Grade Mathematics
arxiv.org·1d
🧠Intelligence Compression
Multilingual Tokenization through the Lens of Indian Languages: Challenges and Insights
arxiv.org·2d
📝Text Parsing
From Dev Blog to AI Discovery – How to Rank Your Content in Generative Search
dev.to·3h·
Discuss: DEV
📊Feed Optimization
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.org·9h
📊Quantization
Building Scalable Web Applications with Advanced JavaScript Patterns
dev.to·17h·
Discuss: DEV
🛠Language Design
CBF-AFA: Chunk-Based Multi-SSL Fusion for Automatic Fluency Assessment
arxiv.org·9h
🎙️Whisper
Piloting Copilot, Codex, and StarCoder2: Hot Temperature, Cold Prompts, or Black Magic?
arxiv.org·2d
✨Effect Handlers
Conversational Intent-Driven GraphRAG: Enhancing Multi-Turn Dialogue Systems through Adaptive Dual-Retrieval of Flow Patterns and Context Semantics
arxiv.org·1d
🧮Prolog Parsing