🧮 SMT Solvers - hello · Scour

Generative Type experiments

brendandawes.com·1d

✅Property Testing

ahmed gouda: Monitoring query plans with pgwatch and pg_stat_plans

postgr.es·1d

🐘PostgreSQL Internals

Open Source in Focus: .NET Projects and the Tools Behind Them

blog.jetbrains.com·1d

Parallel Track Transformers: Enabling Fast GPU Inference with Reduced Synchronization

machinelearning.apple.com·1d

Mathematicians launch First Proof, a first-of-its-kind math exam for AI

scientificamerican.com

·1d

A terminal-first IDE I built for AI-assisted development

patapim.ai·1d·

Discuss: r/SideProject, r/commandline, r/node

When AI goes haywire: The case of the skyscraper and the slide trombone

techxplore.com·1d

Chasing a Zig AVR Segfault Down to LLVM

sourcery.zone·3d·

Discuss: r/Zig

LookML: An Alternative Semantic Layer Approach to build a Reliable AI Analytics Agent with BigQuery

pub.towardsai.net·2d

📈Prometheus PromQL

From Simple RAG to Agentic RAG: Unlocking Smarter AI Workflows as an AI Engineer

pub.towardsai.net·2d

Go Concurrency with Database Transactions

postgresql.org·1d·

Discuss: DEV

🛡️Error Handling

[POG-Task] When AI Starts Acting, Prompt Governance Is Not Enough

enjtorian.github.io·2d·

Discuss: DEV

Specification Vibing for Automated Program Repair

arxiv.org·1d

🎭Program Synthesis

Wheeler Bisimulations

arxiv.org·1d

✅Model Checking

llama.cpp guide - Running LLMs locally, on any hardware, from scratch

blog.steelph0enix.dev·2d

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·3d

🌳Pratt Parsing

How do robots dream?

dev.to·10h·

Discuss: DEV

What should I program?

jamesmcm.github.io·2d

Building a Semantic Search Engine with Hugging Face Transformers and MongoDB Atlas Vector Search

dev.to·16h·

Discuss: DEV

🎯Vector Search

an early-stage experimental programming language

solnix-lang.org·2d·

Discuss: DEV, Hacker News

Loading more...