🔍 Refinement Types - abnv · Scour

Beyond Function-Level Analysis: Context-Aware Reasoning for Inter-Procedural Vulnerability Detection

arxiv.org·22h

🌳Pattern Match Compilation

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories

arxiv.org·3d

⚡Effect Handlers

Querying Dataverse Using AI Builder’s Grounded Prompts

dev.to·20h·

Discuss: DEV

🧠Semantic Parsing

Long-Sought Proof Tames Some of Math’s Unruliest Equations

quantamagazine.org·3d·

Discuss: Hacker News, Hacker News

From Prop Drilling to Context API😏

dev.to·1d·

Discuss: DEV

🌊Gradual Effects

Data-Oriented Programming for Java: Beyond Records

openjdk.org·4d

📊Row Polymorphism

[RFC PATCH v1 0/4] Machine Learning (ML) library in Linux kernel

lore.kernel.org·3d·

Discuss: Lobsters, Hacker News

📐Standard ML

Finding the needle in the logstack: Reducing LLM context with TF-IDF

eliseomartelli.it·4d

Evaluating and mitigating the growing risk of LLM-discovered 0-days

red.anthropic.com·4d·

Discuss: Lobsters, Hacker News, Hacker News

🛡️Parser Security

Tip of the Week #180: Avoiding Dangling References

abseil.io·2d

🏷️Symbol Mangling

Tip of the Week #126: `make_unique` is the new `new`

abseil.io·2d

🔄Copy Propagation

Clean Coder: The Dark Path (2017)

blog.cleancoder.com·5d·

Discuss: Hacker News

🚂Error Propagation

Michael Tsai - Blog - LLMs and Software Development Roundup

mjtsai.com·3d

🎮Language Ergonomics

Build LLM-Powered Documentation that Always Stays True to latest codebeases

pub.towardsai.net·4d

📚Self-Documenting Code

What if writing tests was a joyful experience?

blog.janestreet.com·4d·

Discuss: Hacker News

💬Interactive REPLs

YS — YAML Done Wisely

yamlscript.org·2d

🧼Lisp Hygiene

Spectral Approximation and Probabilistic Verification of Non‑trivial Zeros of Rankin–Selberg L‑Functions on GL(3) via Random Matrix Ensembles and Bayesian Inference

freederia.com·3d

🔢Algebraic Datatypes

AI‑Driven Inverse Design of High‑Entropy Solid‑Electrolyte Perovskites for Solid‑State Lithium Batteries — **Abstract** Solid‑state lithium batteries (...

freederia.com·3d

🧩Constraint Solvers

Threads, processes and concurrency in Python: some thoughts

artima.com·2d

🔗Concurrency Primitives

The Kubernetes Effect

yamlscript.org·2d

Loading more...