🔍 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

tflattice (3) Linux Manual Page ⚙System programming

systutorials.com·23m

Disorder-Free Localization and Fragmentation in a Non-Abelian Lattice Gauge Theory 🌐Distributed Systems

link.aps.org·17m

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

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

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

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

blog.adafruit.com·3h

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

·2d

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

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

stepback (3) Linux Manual Page 🔤PLT

systutorials.com·2h

Sliding phasons in moiré ladders 🔁Category Theory

link.aps.org·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

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

link.aps.org·1d

Order-Sensitive Sequential Interventions on Ideal Lattices 📐Geometric Algorithms

Log in to enable infinite scrolling