I wrote my PhD Thesis in Typst
fransskarman.com·3d·
Discuss: Lobsters, Hacker News
🦀Rust
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000）
dev.to·2d·
Discuss: DEV
🦀Rust
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·3h·
Discuss: DEV
🦀Rust
Polystate: Composable Finite State Machines
github.com·3d·
Discuss: Lobsters, Hacker News, r/Zig
🦀Rust
Floating-Point Data Transformation for Lossless Compression
arxiv.org·1d
🦀Rust
Using PhantomData and Zero-Sized Types
dev.to·7h·
Discuss: DEV
🦀Rust
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·12h·
Discuss: DEV
🦀Rust
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·15h·
Discuss: DEV
🦀Rust
AI’s ‘Neutral Voice’ Is a Structural Illusion
hackernoon.com·15h
✅Formal Verification
Memory Safety in Web Rust System Zero Cost Secure（1750644757028200）
dev.to·2d·
Discuss: DEV
🦀Rust
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
✅Formal Verification
On Union-Closedness of Language Generation
arxiv.org·1d
✅Formal Verification
Memory Safety in Web Rust System Zero Cost Secure（1750632264828500）
dev.to·2d·
Discuss: DEV
🦀Rust
Self-referential structs that can actually move in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust
Why 2025 Is the Perfect Year to Rewrite in Rust
dev.to·9h·
Discuss: DEV
🦀Rust
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·18h
🦀Rust
Computational Approaches to Understanding Large Language Model Impact on Writing and Information Ecosystems
arxiv.org·1d
🎨UX, UI
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·1d·
Discuss: Hacker News
🦀Rust
Programming Entry Level: how to interpreter
dev.to·22h·
Discuss: DEV
🦀Rust
CodeMorph: Mitigating Data Leakage in Large Language Model Assessment
arxiv.org·1d
🦀Rust