🔍 Abstract Interpretation - ghosh.debasish · Scour

Less Is More: Measuring How LLM Involvement affects Chatbot Accuracy in Static Analysis 🧠LLMs

Static Analysis Results Interchange Format (SARIF) 🔤PLT

Sliding phasons in moiré ladders 🔁Category Theory

link.aps.org·22h

stepback (3) Linux Manual Page 🔤PLT

systutorials.com·21m

Javierlozo/llm-audit: Static analysis for TypeScript / JavaScript LLM-application code. OWASP LLM Top 10 at commit time. A complement to Semgrep's p/ai-best-practices for the TS/JS ecosystem. ✅Formal Verification

github.com·1d·Hacker News

Closed Lattice Ribbon Eggs #3DPrinting #3DThursday 🔨Program Synthesis

blog.adafruit.com·1h

Teardown of AlphaFold codebase with a AST-free LLM-free static analysis engine 🖥️Systems Programming

squid-protocol.github.io·3d·Hacker News

Justin's Linklog 🛡️Byzantine Fault Tolerance

Improving Correlation Power Analysis on Masked CRYSTALS-Kyber with Lattice Attack 🗄️KV Cache

eprint.iacr.org·3d

Lattice Semiconductor: Pricing In A Great Deal Of Future Earnings Is Risky (NASDAQ:LSCC) 🔍Mechanistic Interpretability

seekingalpha.com

·1d

Solving Hidden Number Problems Without Lattices 🔧SMT Solvers

leetarxiv.substack.com·3d·Substack, r/programming

GMT: A Geometric Multigrid Transformer Solver for Microstructure Homogenization 📐Geometric Algorithms

NebulaScript: The Star Cage 🤖Claude

drivethrurpg.com·4d

Extraction of the Collins-Soper Kernel from a Joint Analysis of Experimental and Lattice Data 🔤PLT

link.aps.org·22h

A structural signature linking local atomic packing to holistic structure in metallic glasses 🛢️Database Internals

statePrices (3) Linux Manual Page ⚙System programming

systutorials.com·1d

LATTICE: Evaluating Decision Support Utility of Crypto Agents 🧠Reasoning Models

Fault-Tolerant Resource Comparison of Qudit and Qubit Encodings for Diagonal Quadratic Operators 🔧SMT Solvers

Gradient Flow for Parton Distribution Functions: First Application to the Pion ⚙️Concurrency Theory

link.aps.org·22h

hexxla/hexxladb: A hex-native embedded database for Go. Morton keys, native ring scans, seams (contradictions), MVCC, provenance, and optional HNSW embeddings. Built from scratch for lattice-addressed memory. 🛢️Database Internals

github.com·2d·r/golang

Log in to enable infinite scrolling