↔️ Bidirectional Typing - abnv · Scour

Stability of \(L^p\) Dirichlet solvability under small bi-Lipschitz transformations of domains

chipublib.idm.oclc.org·12h

⚡Partial Evaluation

Microsoft just built a scanner that exposes hidden LLM backdoors

techradar.com

·23h

🏷️Memory Tagging

Building Type-Safe Metrics API in Swift: Part II

sentry.engineering·2d

🦉Swift Generics

Hydroper (now Sweax iZone)'s 2015 JavaScript experience proofs

gist.github.com·1d·

Discuss: r/javascript

🚂Cranelift IR

AI Game Worlds and Humane Games

thenewleafjournal.com·19h

🌊Gradual Effects

Your schema already has the logic. Your inference provider just ignores it.

blog.dottxt.ai·19h

✅Configuration Validation

How2Everything: Mining the web to evaluate and improve LLMs on real-world procedures

allenai.org·1d·

Discuss: Hacker News

🪜Recursive Descent

Learning Rust: Custom Error types that actually work!

rup12.net·1d·

Discuss: Lobsters, Hacker News

🛡️Error Handling

The Friendly Functional Programming Language

ivylang.net·6d

⚡functional programming

MPSpeed: Implementing and Optimizing MPC-in-the-Head Digital Signatures in Hardware

eprint.iacr.org·2d

⏲️Embedded GC

Domain Knowledge Is the New Syntax

blog.melashri.net·2d·

Discuss: Hacker News

🎮Language Ergonomics

Fragments: February 9

martinfowler.com·2d

🎨Domain-Specific Languages

What Should Go Into the C++ Standard Library

abseil.io·3d

🧸Toy Compilers

Tutorialkit.rb: the ruby.wasm journey goes onward—Martian Chronicles, Evil Martians’ team blog

evilmartians.com·1d

💬Smalltalk VMs

Standardizing HLSL

devblogs.microsoft.com·1d·

Discuss: Lobsters, Hacker News

Information Flow Verification Framework Integrating Static and Formal Verification Methods At The Pre-Silicon Stage (U. of Florida)

semiengineering.com·1d

📏Linear Memory

A LaTeX Template for Fiction Writers That Keeps Every Draft (Original + Edited)

hackernoon.com·14h

📚Self-Documenting Code

Stability of \(L^p\) Dirichlet solvability under small bi-Lipschitz transformations of domains

sonomarpa.sonoma.lib.ca.us·12h

⚡Partial Evaluation

Zero-Trust Data Warehousing for Agentic AI: Why Trusting the Pipeline No Longer Scales

hackernoon.com·1d

🎭Program Synthesis

The Adventures of a Pythonista in Schemeland/28

artima.com·3d

🔧Scheme Macros

Loading more...