🔒 Type Safety - matmat · Scour

The Edge of Safe Rust 🦀Rust Borrowing

kyju.org·3d·Lobsters, Hacker News, r/rust

AI in Mobile Apps (But Done RIGHT): An iOS Developer’s Guide to Performance, Privacy 🌀Brotli Internals

hackernoon.com·1d

Generative Learning Enhanced Intelligent Resource Management for Cell-Free Delay Deterministic Communications 🧠Learned Codecs

Rust Memory Management: Ownership vs. Reference Counting 🦀Rust Borrowing

slicker.me·3d·Hacker News, r/rust

A Grounded Conceptual Model for Ownership Types in Rust 🦀Rust Borrowing

cacm.acm.org·2d·Hacker News

Why Mobile Apps Need Backend Thinking (Even on the Frontend) 🚀Indie Hacking

hackernoon.com·9h

Why Async Rust? (2023) 🦀Rust Borrowing

without.boats·1d·Hacker News

Inko 0.20.0: reducing heap allocations by 50% 🦀Rust Borrowing

inko-lang.org·3d·Hacker News

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing 🦀Rust Borrowing

discourse.haskell.org·2d·Lobsters

Borrow-checking without type-checking 🦀Rust Borrowing

scattered-thoughts.net·2d·Lobsters, Hacker News

Subtyping, Subclassing, and Trouble with OOP ⬆️Lambda Lifting

okmij.org·4d·Hacker News

Spinel: Ruby AOT Native Compiler 🦀Rust Macros

github.com·1d·Lobsters, Hacker News

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation 🏗️Compiler Archaeology

Box to save memory 🦀Rust Verification

dystroy.org·2d·Lobsters, Hacker News

Toolchain Horizons: Exploring Rust Dependency-Toolchain Compatibility 🦀Rust Borrowing

tigerbeetle.com·1d·Hacker News, r/rust

GraphQLify: Automated and Type Safety-Preserving GraphQL API Adoption 🕸️Neo4j

Quantum-HPC Software Stacks and the openQSE Reference Architecture: A Survey ⚛️Quantum Compilers

Memory Centric Power Allocation for Multi-Agent Embodied Question Answering 🔲Cellular Automata

From Research Question to Scientific Workflow: Leveraging Agentic AI for Science Automation 🤖AI Curation

M3R: Localized Rainfall Nowcasting with Meteorology-Informed MultiModal Attention 🎙️Whisper

Log in to enable infinite scrolling