are-dependent-types-actually-erased
chadnauseam.com·3d·
Discuss: Hacker News
🔗Dependent Types
Flag this post
How Cursor AI Slashed Dashboard Migration Time 75% Across 240 Queries
engineering.salesforce.com·18h
🛡️Error Ergonomics
Flag this post
An end-to-end multilingual framework for intelligent analysis of risk influence factors in ship grounding accidents
sciencedirect.com·1d
📦Dependency Analysis
Flag this post
From Swift to Mojo and high-performance AI Engineering with Chris Lattner
newsletter.pragmaticengineer.com·20h
🦉Swift Interpreters
Flag this post
Benchmarking Large Language Models and Privacy Protection
priv.gc.ca·3d
Tokenizer Benchmarks
Flag this post
Show HN: Seeking architect for planetary-scale coherence infrastructure
github.com·5h·
Discuss: Hacker News
🌱Green Threads
Flag this post
[Research] Cross-Stage Vulnerabilities in Large Language Model Architectures
reddit.com·1d·
Discuss: r/LocalLLaMA
🎲Parser Fuzzing
Flag this post
Implementing JWT Authentication in Rust using Axum
dev.to·2d·
Discuss: DEV
⚙️Configuration Parsing
Flag this post
ZoFia: Zero-Shot Fake News Detection with Entity-Guided Retrieval and Multi-LLM Interaction
arxiv.org·2d
⚖️Weighted Automata
Flag this post
Top 10 AI Features for Modern WYSIWYG Editors
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.org·2d
Effect Inference
Flag this post
DeepL launches “AI colleague” and Customization hub
techzine.eu·1d
🔄Incremental Lexing
Flag this post
Detached agent chains that work like people do
nuuduu.com·13h·
Discuss: DEV
📮Message Queues
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·2d
📊Dataflow Analysis
Flag this post
Collins Word of the Year 2025 revealed - do you recognise it ?
news.sky.com·11h
📚Factor
Flag this post
How to Design Efficient Memory Architectures for Agentic AI Systems
pub.towardsai.net·1d
🧠Memory Models
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
paperium.net·4d·
Discuss: DEV
🪜Recursive Descent
Flag this post
MISA: Memory-Efficient LLMs Optimization with Module-wise Importance Sampling
arxiv.org·2d
🗺️Region Inference
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
github.com·14h·
Discuss: Hacker News
📋Tablegen
Flag this post