🔍 Refinement Types - abnv · Scour

A Fast and Generalizable Fourier Neural Operator-Based Surrogate for Melt-Pool Prediction in Laser Processing

arxiv.org·1d

🪜Recursive Descent

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

arxiv.org·4d

⚡Effect Handlers

Querying Dataverse Using AI Builder’s Grounded Prompts

dev.to·23h·

Discuss: DEV

🧠Semantic Parsing

From Prop Drilling to Context API😏

dev.to·1d·

Discuss: DEV

🌊Gradual Effects

Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains

link.springer.com·3d·

Discuss: Hacker News

⚖️Inference Rules

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

eliseomartelli.it·4d

impl Rust: Avro IDL tool in Rust via ANTLR

youtube.com·3d·

Discuss: Hacker News, r/rust

⚙️TOML Parsers

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

red.anthropic.com·4d·

Discuss: Lobsters, Hacker News, Hacker News

🛡️Parser Security

Building "zero-gap" secrets for a UGC platform

news.ycombinator.com·3d·

Discuss: Hacker News

🔗Hash Functions

Performance Tip of the Week #26: Fixing things with hashtable profiling

abseil.io·2d

🔗Hash Functions

Clean Coder: The Dark Path (2017)

blog.cleancoder.com·5d·

Discuss: Hacker News

🚂Error Propagation

Tip of the Week #140: Constants: Safe Idioms

abseil.io·2d

🔗Lexical Scoping

What if writing tests was a joyful experience?

blog.janestreet.com·4d·

Discuss: Hacker News

💬Interactive REPLs

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

Building fault-tolerant applications with AWS Lambda durable functions

aws.amazon.com·3d

✅Configuration Validation

mkincl/mkincl: A simple way to reuse Makefiles and scripts across multiple repositories

github.com·3d·

Discuss: Hacker News

🔗Language Toolchains

google/re2: RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It is a C++ library.

github.com·3d

🔤Regex Engines

AI + Clojure Functions in YAML

yamlscript.org·3d

Securing GenAI: Vol. 8 — Deploying AI apps securely

pub.towardsai.net·3d

⚡JIT Optimizations

Loading more...