✓ Formal Verification - hello · Scour

Optimal Abstractions for Verifying Properties of Kolmogorov-Arnold Networks (KANs)

arxiv.org·1d

🧮SMT Solvers

Intermediate Results on the Complexity of STRIPS$_{1}^{1}$

arxiv.org·7h

🧮SMT Solvers

What in the f-16? (Solving Sofia Santos OSINT exercise #32)

medium.com·2d

🏷️Pointer Tagging

llOOPy lOOPs (Dave Jarvis)

dave.autonoma.ca·4d

🧠Memory Models

Zinc Language Design

ziggit.dev·3d

Stop Silent Failures: Using LLMs to Validate Web Scraper Output

dev.to·1d·

Discuss: DEV

Flow-Based Programming: Seminal Texts and Theoretical Foundations

repolex.ai·4d·

Discuss: Hacker News

🔄Concurrency Models

Capybara Programming Language

github.com·1d

en.wikipedia.org·4d·

Discuss: Hacker News

📐Type Theory

gharasathi (घरासाठी) — A Privacy-First Household AI Running on a $200 Mini PC

amazon.com.au·2d·

Discuss: DEV

What should I program?

jamesmcm.github.io·2d

Tutorial on Agentic Engine

pori.vanangamudi.org·1d·

Discuss: r/LocalLLaMA

There is no Alignment Problem

news.ycombinator.com·1d·

Discuss: Hacker News

🌊CALM Theorem

Private Data Space Model

privatedata.space·5d

🔗Intrusive Containers

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·2d

🌳Pratt Parsing

Scaling AI Agents: Mastering Elasticity, State, and Throughput with C#

dev.to·16h·

Discuss: DEV

Building Interactive C/C++ workflows in Jupyter through Clang-REPL [video]

fosdem.org·2d·

Discuss: Hacker News

Data-Oriented Programming for Java: Beyond Records

openjdk.org·4d

🏗️FoundationDB Layers

Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway

webpronews.com·3d

📊Profile-Guided Optimization

The Next Big Language (2007) by Steve Yegge

steve-yegge.blogspot.com·2d·

Discuss: Hacker News

🔨Compiler Design

Loading more...