Silicon-based reconfigurable and programmable all-optical signal processing chip
link.springer.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Realbasic (2000)
joelonsoftware.com·11h·
Discuss: Hacker News
💾Retro Computing
floccinaucinihilipilification
en.wiktionary.org·1d·
Discuss: Hacker News
➡️Category Theory
Stochastic Interpolants
arxiv.org·1d·
Discuss: Hacker News
🔠Type-Level Programming
Data-Star.dev – v1 and Beyond
data-star.dev·23h·
Discuss: Hacker News
🧱Immutable Infrastructure
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·11h
🎮Verification Games
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·1d·
Discuss: Hacker News
📡Network Protocol Design
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·22h·
Discuss: Hacker News
⚙️PL Implementation
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🛡️seL4
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·11h
✓Automated Theorem Proving
Stacked Intelligent Metasurfaces-Aided eVTOL Delay Sensitive Communications
arxiv.org·1d
📡Network Protocol Design
QuantoniumOS: A Hybrid Computational Framework
github.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Beyond the Linear Separability Ceiling
arxiv.org·11h
➡️Category Theory
An overlapping domain decomposition method for parametric Stokes and Stokes-Darcy problems via proper generalized decomposition
arxiv.org·1d
🔬Static Analysis
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·11h
✓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·11h
🎮Verification Games