⬌ Bidirectional Typing - matmat · Scour

Document type inference 🎯Gradual Typing

REBENCH: A Procedural, Fair-by-Construction Benchmark for LLMs on Stripped-Binary Types and Names (Extended Version) 🔗Functional Compilers

Veryl 0.20.0: logic synthesis and type inference are supported 🔗Functional Compilers

veryl-lang.org·6h·Hacker News

How I Built a Real-Time AI Stock Advisor Using Elasticsearch, MCP, and LLMs 📡RSS Automation

hackernoon.com·14h

Three Cobblers, One Zhuge Liang: Making Cheaper Models Work Together ⚡SMT Applications

markhuang.ai·1d·Hacker News

Ubuntu Plans Gradual AI Features Built Around Local Inference 🤖AI Curation

linuxiac.com·3d

Banana Pi Major Release | Based on SpacemiT K3, Launching BPI‑SM10 Developer Kit and K3 Pico‑ITX SBC ⚡Homebrew CPUs

forum.banana-pi.org·6d·Hacker News

Ubuntu is Going Big on AI (But Not The Copilot Kind You Dread) 📟CLI Design

itsfoss.com·2d

New metal-free biaryl method could simplify drug and materials synthesis 🧪Cassette Chemistry

A chemistry lab that runs itself to find the perfect reaction 🌈Spectroscopy

·3d·Hacker News

Ubuntu's AI roadmap revealed, universal AI 'kill switch' and forced AI integration are not part of the plan — cloud tracking, local inference, and agentic system tools take center stage 🔌Operating system internals

tomshardware.com

·2d

The Real Cost of Running Small Language Models (SLMs) on Edge Devices 💻Local LLMs

hackernoon.com·20h

Graphify: Automated Synthesis of Type-Safe Graph Backends via $O(S)$ GraphQL-to-Gremlin Transpilation 🔄Graph Rewriting

Mechanochemical synthesis of pincer nanotraps for efficient rhodium recovery 🌈Spectroscopy

nature.com·2d·Hacker News

HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs 🔍FPGA Verification

PhyCo: Learning Controllable Physical Priors for Generative Motion 🌀Differential Geometry

Visual Generation in the New Era: An Evolution from Atomic Mapping to Agentic World Modeling 🔲Cellular Automata

WaferSAGE: Large Language Model-Powered Wafer Defect Analysis via Synthetic Data Generation and Rubric-Guided Reinforcement Learning 🧮Z3 Solver

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers 🎯Proof Tactics

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles ✨Algebraic Effects

Log in to enable infinite scrolling