ICT2, the paperback!
logicmatters.net·15h
🎯Proof Tactics
Developing with Nix
andrestc.com·13h
❄️Nixpkgs
The Sliding Window in Haskell & Rust
mmhaskell.com·3d
λLambda Encodings
abhisheksr01/spring-boot-microservice-best-practices
github.com·1d
🌊Streaming Systems
Distilling Normalizing Flows
arxiv.org·29m
📥Feed Aggregation
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·2d
💻Local LLMs
📘EP01 - Intro to Rust and Solana Dev Setup
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Single Core Hundred Thousand Concurrency（1750947668443300）
dev.to·14h·
Discuss: DEV
🌊Stream Processing
ProofBoard My Hackathon Journey with Bolt!
dev.to·11h·
Discuss: DEV
⚡Proof Automation
How to Create Secure AI Applications
dev.to·7h·
Discuss: DEV
🔒Language-based security
Memory Safety in Web Rust System Zero Cost Secure（1750525775079000）
dev.to·5d·
Discuss: DEV
🦀Rust Borrowing
Rust’s Approach to Memory and Performance
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
Rust Concurrency Mastery: Safe Threading, Mutexes, Channels, and Atomic Operations Guide
dev.to·5d·
Discuss: DEV
🦀Embedded Rust
Structuralist Approach to AI Literary Criticism: Leveraging Greimas Semiotic Square for Large Language Models
arxiv.org·29m
📜Digital Philology
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·1d
🔗Parser Combinators
OpenAI is Ditching TypeScript to Rebuild Codex CLI with Rust
analyticsindiamag.com·1d·
Discuss: r/programming
🦀Rust Macros
Taming the Wild West of ML: Practical Model Signing with Sigstore on Kaggle - DevConf.CZ 2025
youtube.com·20h
💧Liquid Types
Exploring High Efficiency Web Analysis Results（1750904353002600）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·1d
📏Linear Logic
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·3d
🔧Hardware Verification