🎯 Gradual Typing - matmat · Scour

No high-quality results found.

Less-relevant results

WebAssembly Specification

🛡️WASM Sandboxing

webassembly.github.io··Hacker News

Global Sketch-Based Watermarking for Diffusion Language Models

💧Digital Watermarking Academic

The Real Tradeoffs Between Startups, Mid-Size Firms, and Giants

🛡Cybersecurity News

spectrum.ieee.org

·

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

⚡SMT Applications Code

github.com··Hacker News

Pulte Appointment Underscores Need to Reform Section 702 Spying

🕵Intelligence

Uncertainty Principles for the Number Theoretic Transform

🎯Arithmetic Coding Theory Academic

Introducing Jo — Secure Programming for the AI Era

💻programming languages Blog

jo-lang.org··Hacker News

Elixir v1.20 released: now a gradually typed language

💻programming languages Discussion

news.ycombinator.com··Hacker News

Worried about Recursive Self-Improvement (RSI)? The answer might be CDE

💻programming languages

safebots.ai··Hacker News

DIFFRACT: Neuralized Utility Maximization for Wireless Networks by Differentiable Programming

📊Shannon Entropy Academic

Porting our Django backend to Rust improved the infra usage by 90% · Blog

⚙️WASM Runtime

wasmer.io··Hacker News, r/programming, r/rust

Authorized and Verifiable Searchable Encryption Based on Public Key Equality Test for Cloud Storage

🔒Homomorphic Compression Academic

Positive Instantial Neighbourhood logic

🔀CRDT Academic

Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism

⏰Temporal Logic Academic

devenjarvis/lathe: Generate hands-on, multi-part technical tutorials on demand, with LLM skills tuned to make content approachable. Then you work through them yourself, by hand ✋

📐Linear Algebra Code

github.com··DEV, Hacker News

RAILS: Verification-Native Clearing For Agentic Commerce

⚖️Digital Evidence Academic

Probabilistically Checking Quantum Proofs, with Interaction

⚛️Quantum Information Academic

CARVE-Q: Quantum-Proposed, Classically Certified Interactive Driving Repair

🧲RISC-V Archaeology Academic

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs

💻CS Academic

The design principles of the Elixir type system

💻programming languages Academic

arxiv.org··Hacker News

Log in to enable infinite scrolling