📐 Type Theory - 2601 · Scour

Incremental Lambda Calculus 🔗Dependent Types

inc-lc.github.io·8h·Hacker News

All of the String types 🌱Tiny Languages

lambdalemon.gay·2d·Lobsters, Hacker News

anzellai/sky: Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output. 🔄Bootstrapping

github.com·4d·Lobsters, Hacker News

You Have a Kernel Read/Write. Not Enough! How to Extract Offsets from XNU Kernelcaches 🗺️Region Inference

blog.reversesociety.co·1h·Hacker News

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning ⚖️Inference Rules

arxiv.org·1d

Multimodal AI Systems: Real vs. Batch Processing 💬Prompt Engineering

pub.towardsai.net

·4h

It's Types All the Way Down - Rust CLI with Clap 🚂Cranelift IR

tucson-josh.com·5d

yogthos/chiasmus: Chiasmus is an MCP server that gives language models access to formal verification ✨Gleam

github.com·1d

Semidynamics Secures SK hynix Investment to Advance Memory-Centric AI Inference Architecture 🗺️Region Inference

hpcwire.com·6h·Hacker News

A mathematical theory of evolution for self-designing AIs 🧠Symbolic AI

arxiv.org·2d

benchmarking inference of popular models on consumer hardware 🗺️Region Inference

inferena.tech·5d·Hacker News

Prevent confidential data leaks at compile time with labelled types in Sigil 🛡️Security Type Systems

inerte.github.io·1d·Hacker News

LLM inference engine from scratch in C++ 🗺️Region Inference

anirudhsathiya.com·4d·Hacker News

HarshithReddy01/redos-analyzer: Static analysis tool that detects and automatically fixes ReDoS vulnerabilities in Python using sre_parse AST analysis. 🌳Tree Shaking

github.com·2d·Hacker News

Multi-objective Evolutionary Merging Enables Efficient Reasoning Models 🧠Symbolic AI

arxiv.org·1d

Fabian Gloeckle on X: "A new milestone in automatic formalization: We translated an entire graduate math textbook into Lean using 30K LLM agents. Open-source, l... 🎭Program Synthesis

x.com·4d·X

UCCL-EP: Portable Expert-Parallel Communication 🗺️Region Inference

uccl-project.github.io·2d·Hacker News

romand - Better Than Palette The Secret Garden - 9 Types 🌱Digital Gardens

yesstyle.com·5d

Benchmarking LLM Tool-Use in the Wild 🎮Language Ergonomics

arxiv.org·1d·Hacker News

TheAuditorTool/sast-benchmark: The first public OWASP-style SAST benchmark suite for Go, Rust, and Bash. Ground truth test cases with vulnerable/safe classifications for measuring detection accuracy (Youden's formula) of any static analysis tool. 🌳Pattern Match Compilation

github.com·2d·Hacker News

Loading more...