⬌ Bidirectional Typing - matmat · Scour

Towards a Standard for JSON Document Databases

muratbuffalo.blogspot.com·1d·

Discuss: Blogger

📊Graph Databases

Microsoft just built a scanner that exposes hidden LLM backdoors

techradar.com

·13h

🔍NTLM Forensics

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust

arxiv.org·1d

🦀Rust Verification

QtWidgets to QtQuick, An Application Journey Part 2

qt.io·1d

🔌Interface Evolution

Fragments: February 9

martinfowler.com·1d

🗣️Domain-Specific Languages

Differential Logic • 5

inquiryintoinquiry.com·1d

⚔️Lean Theorem

Revisiting Regular Types

abseil.io·3d

λLambda Encodings

Grounding Generative Planners in Verifiable Logic: A Hybrid Architecture for Trustworthy Embodied AI

arxiv.org·1d

📏Linear Logic

Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code

usenix.org·2h

🕸️WebAssembly

Python's Dynamic Typing Problem

whileforloop.com·22h·

Discuss: Hacker News, r/programming

🎯Gradual Typing

No, dynamic type systems are not inherently more open

lexi-lambda.github.io·17h·

Discuss: Hacker News

🎯Gradual Typing

Building a Regex Engine with a team of parallel Claudes

lesswrong.com·9h

🔍RegEx Engines

Web Tiles: composable docs and apps safe in any context

webtil.es·1h·

Discuss: Hacker News

🛡️WebAssembly Security

What's up with Haskell's do notation?

slightknack.dev·1d

🧬Functional Programming

Show HN: Self-healing data pipeline for F1 telemetry (Python and Type Inference)

news.ycombinator.com·1d·

Discuss: Hacker News

🎯Gradual Typing

en.wikipedia.org·1d

🔄Graph Rewriting

Main Content || Math ∩ Programming

jeremykun.com·2d

🧮Kolmogorov Complexity

Standardizing HLSL

devblogs.microsoft.com·17h·

Discuss: Lobsters, Hacker News

🖥️Terminal Renaissance

andywingo/wastrel: WebAssembly-to-C compiler

codeberg.org·1d

Show HN: 0x – A language that compiles to React, Vue, and Svelte (80% less code)

0xlang.com·21h·

Discuss: Hacker News

🦀Rust Macros

Loading more...