FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Three unrelated thoughts about working with LLMs
henrycourse.com·11h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·1d·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
How Grammarly and Kasta Made Ukraine a Global Clojure Hotspot
hackernoon.com·1d
🧠Lisp Dialects
Building an AI-Powered Image Search Engine with Daft.ai
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Teaching Your AI to Read: A Guide to Scraping, RAG, and Smart Data Insights
hackernoon.com·20h
📊Feed Optimization
Exploring Gender Bias in Alzheimer's Disease Detection: Insights from Mandarin and Greek Speech Perception
arxiv.org·7h
📡Information theory
Effective Practices for Coding with a Chat-Based AI
infoq.com·11h·
Discuss: Hacker News
🔄Language Evolution
Anthropomimetic Uncertainty: What Verbalized Uncertainty in Language Models is Missing
arxiv.org·1d
🔢Denotational Semantics
Inside PinRec - Pinterest’s Production-Ready Generative Retrieval Model
shaped.ai·1d
🎯Retrieval Systems
What makes a legal statement executable? Towards a formal grammar of computable norms.
dev.to·3d·
Discuss: DEV
📝Concrete Syntax
NOCTA: Non-Greedy Objective Cost-Tradeoff Acquisition for Longitudinal Data
arxiv.org·7h
⧗Information Bottleneck
Lightweight Safety Guardrails via Synthetic Data and RL-guided Adversarial Training
arxiv.org·3d
💻Local LLMs
MultiVox: Benchmarking Voice Assistants for Multimodal Interactions
arxiv.org·1d
🎙️Whisper
A comprehensive study of LLM-based argument classification: from LLAMA through GPT-4o to Deepseek-R1
arxiv.org·3d
🤖Grammar Induction
Dynamic Spiking Framework for Graph Neural Networks
arxiv.org·2d
🧠Machine Learning
Overview of the TREC 2023 deep learning track
arxiv.org·2d
🔍Information Retrieval
Imbalanced Regression Pipeline Recommendation
arxiv.org·7h
⚖️Feed Ranking
A Beginner’s Guide to Prompt Engineering: Making GPT Models Do What You Want
dev.to·1d·
Discuss: DEV
🎙️Whisper