Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
✅Formal Verification
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·22h·
Discuss: DEV
🦀Rust
Rust: A language that grows with you, your career and your projects
kerkour.com·12h·
Discuss: Hacker News
🦀Rust
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🦀Rust
CODS : A Theoretical Model for Computational Design Based on Design Space
arxiv.org·1d
🦀Rust
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·10h
🦀Rust
Design Patterns After the Singularity: Rethinking the Gang of Four for an AI-Driven Stack
dev.to·1d·
Discuss: DEV
🦀Rust
Hypercubical manifolds in homotopy type theory
arxiv.org·14h
✅Formal Verification
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.com·22h
🦀Rust
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
🦀Rust
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·1d
🦀Rust
higher: Your favourite Haskell type classes for Rust (2023)
github.com·4d·
Discuss: Lobsters, Hacker News
🦀Rust
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·8h·
Discuss: DEV
🦀Rust
LLMs bring new nature of abstraction
martinfowler.com·1d·
Discuss: Hacker News
🦀Rust
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·14h
🦀Rust
I wrote my PhD Thesis in Typst
fransskarman.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·4h·
Discuss: DEV
🦀Rust
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·1d
🦀Rust
Self-referential structs that can actually move in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust