A chemical language model for molecular taste prediction
nature.com·2d·
Discuss: Hacker News
➡️Category Theory
Silicon-based reconfigurable and programmable all-optical signal processing chip
link.springer.com·1d·
Discuss: Hacker News
📦Unikernel Systems
floccinaucinihilipilification
en.wiktionary.org·1d·
Discuss: Hacker News
➡️Category Theory
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com·4h·
Discuss: Hacker News
🔄Reproducible Builds
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🛡️seL4
Realbasic (2000)
joelonsoftware.com·16h·
Discuss: Hacker News
💾Retro Computing
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.org·1d
✓Automated Theorem Proving
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·16h
✓Automated Theorem Proving
Stacked Intelligent Metasurfaces-Aided eVTOL Delay Sensitive Communications
arxiv.org·1d
📡Network Protocol Design
Beyond the Linear Separability Ceiling
arxiv.org·16h
➡️Category Theory
An overlapping domain decomposition method for parametric Stokes and Stokes-Darcy problems via proper generalized decomposition
arxiv.org·1d
🔬Static Analysis
QuantoniumOS: A Hybrid Computational Framework
github.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·16h
✓Automated Theorem Proving
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
🔬Static Analysis
KeyKnowledgeRAG (K^2RAG): An Enhanced RAG method for improved LLM question-answering capabilities
arxiv.org·16h
🎮Verification Games
The Next Wave
dumindu.github.io·1d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·22h·
Discuss: Hacker News
🔄Reproducible Builds
Libpostal: C library for parsing/normalizing street addresses around the world
github.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
PrefixAgent: An LLM-Powered Design Framework for Efficient Prefix Adder Optimization
arxiv.org·2d
🐫Embedded OCaml
Spectral Estimators for Structured Generalized Linear Models via Approximate Message Passing
arxiv.org·16h
💻CS