🧪 Parser Testing - abnv · Scour

On Randomness in Agentic Evals

arxiv.org·10h

🎲Parser Fuzzing

PBLean: Pseudo-Boolean Proof Certificates for Lean 4

arxiv.org·10h

🧩SAT Solvers

Introduction to Flakes

nixos-and-flakes.thiscute.world·2d

🧼Lisp Hygiene

Kotlin Symbol Processing: создаём свой процессор

habr.com·4d

📋Template Compilers

EqPad: A Calculator-Style Equation Editor for LaTeX, Markdown, and PNG

eqpad.kttin.net·3d·

Discuss: DEV

📝Text Editors

From NLS: Many Faces of BARD: Advanced Searching on the DA2; Thursday, February 12, 7:00 PM Eastern Time

groups.io·2d

💬Interactive REPLs

Local-First AI: How SLMs are Fixing the Latency Gap 💻✨

dev.to·1d·

Discuss: DEV

🏰Capability Machines

Why are Neural Networks architected that way in the first place?

threads.championswimmer.in·2d

🗺️Region Inference

Struggling with RAG in PHP? Discover Neuron AI components

dev.to·1d·

Discuss: DEV

So whats the next word, then? Almost-no-math intro to transformer models

matthias-kainer.de·4d·

Discuss: Hacker News

🔤String Algorithms

Private Data Space Model

privatedata.space·5d

🪢Rope Data Structures

🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward.com·5d

🚂Error Propagation

Matching the right LLM for your GPU feels like an art, but I finally cracked it

xda-developers.com·2d

📊Profiling Tools

Show HN: Rehearse – a pytest like testing library for voice agents

news.ycombinator.com·5d·

Discuss: Hacker News

🎲Parser Fuzzing

Tried my AI skill generator. A 12-char typo beat a 3k-word spec

goldsborough.io·4d·

Discuss: Hacker News

💬Interactive REPLs

The control layer for AI

blog.dottxt.ai·3d·

Discuss: Hacker News

🔀Control Structures

Implementing Automated Rules-Based Evaluations for LLM Applications

github.com·5d·

Discuss: DEV

💬Interactive REPLs

**Abstract:** This paper proposes a novel framework for quantifying the inherent logical incompleteness present in Gödelian systems by dynamically mapping ax...

freederia.com·4d

📜Proof Languages

A simple text file beats complex skill systems for AI coding agents

the-decoder.com

·3d

💬Interactive REPLs

ALW1EZ/PANO: 🔍 PANO: Advanced OSINT investigation platform combining graph visualization, timeline analysis, and AI assistance to uncover hidden connections in data. Built with Python and modern Qt.

github.com·2d

🌉Cross-Language Tools

Loading more...