📊 DataFrame Types - abnv · Scour

Does Programming Language Matter? An Empirical Study of Fuzzing Bug Detection

arxiv.org·1d

🧪Compiler Testing

What Is a Time Series and How Is It Used?

enterprisedb.com·17h

📈Query Optimization

A future for bitflags

kodraus.github.io·18h·

Discuss: r/rust

🔢Binary Formats

IESR:Efficient MCTS-Based Modular Reasoning for Text-to-SQL with Large Language Models

arxiv.org·1d

The Little Book of Linear Algebra

little-book-of.github.io·1d

🧮Linear Algebra

Agentic Proof-Oriented Programming

risemsr.github.io·1d·

Discuss: Lobsters, Hacker News

Feedback on checked exceptions and lambdas

dev.to·2d·

Discuss: DEV

🛡️Error Handling

The Instantiation Era - Log

nibzard.com·1d

🐛Interactive Debuggers

How StrongDM’s AI team build serious software without even looking at the code

simonw.substack.com·22m·

Discuss: Substack

🌳Tree Shaking

YS — YAML Done Wisely

yamlscript.org·12h

🪆Embedded DSLs

Common Manual Testing Techniques and The Future Of Manual Testing in the age of AI

dev.to·10h·

Discuss: DEV

🎲Property Testing

Bringing Application-Level Observability to CockroachDB: Query Tagging

cockroachlabs.com·1d

📋Souffle Datalog

Stop Torturing Your Data: How to Automate Rigor With AI

hackernoon.com·3d

🎮Language Ergonomics

**Abstract:** This paper proposes a novel framework for the automated discovery and validation of previously unknown fractal-based geometric sequences within...

freederia.com·18h

🔢Algebraic Datatypes

React Compiler and why class objects can work against memoization

anita-app.com·1d·

Discuss: Hacker News

🔗Borrowing Extensions

(50) Set-Roster vs Set-Builder notation

youtube.com·12h

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

red.anthropic.com·1d·

Discuss: Lobsters, Hacker News, Hacker News

🛡️Parser Security

mstrYoda/goraphdb: A graph database implemented in Golang

github.com·22h·

Discuss: r/programming

🗃️Query Compilation

Chromosome-level genome assembly and annotation of the critically endangered Siberian crane ( Leucogeranus leucogeranus )

nature.com·1h

🌲Deforestation

pdf-association/arlington-pdf-model: A vendor- and implementation-independent specification-derived, machine-readable model of PDF.

github.com·2d

📇Symbol Tables

Loading more...