The Sliding Window in Haskell & Rust
mmhaskell.com·4d
λLambda Encodings
abhisheksr01/spring-boot-microservice-best-practices
github.com·1d
🌊Streaming Systems
RAG Blueprint
docs.vespa.ai·22h·
Discuss: Hacker News
🤖Archive Automation
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·1d
📏Linear Logic
How to Create Secure AI Applications
dev.to·15h·
Discuss: DEV
🔒Language-based security
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·3d
🔧Hardware Verification
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
Made Tui file manager inspired from yazi for learning rust.
reddit.com·3d·
Discuss: r/rust
🦀Rust Borrowing
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·2d
🌀Fractal Compression
Memory Safety in Web Rust System Zero Cost Secure（1750506908117500）
dev.to·6d·
Discuss: DEV
🦀Rust Borrowing
Stochastic and Non-local Closure Modeling for Nonlinear Dynamical Systems via Latent Score-based Generative Models
arxiv.org·8h
🧠Machine Learning
How and Why to Use Patches
dev.to·2d·
Discuss: DEV
📦Package Managers
Further Understanding Cargo and Crates.io
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Heartbeat of Modern Web Real Time Patterns User Design（1750836074761900）
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
arxiv.org·3d
🎯Gradual Typing
CovDocker: Benchmarking Covalent Drug Design with Tasks, Datasets, and Solutions
arxiv.org·8h
🔍BitFunnel
How Keploy Transformed My API Testing Experience During Their Fellowship Program
dev.to·7h·
Discuss: DEV
🔍Concolic Testing
Improving Compiler Bug Isolation by Leveraging Large Language Models
arxiv.org·3d
🔓Decompilation
Critical Security Importance Digital Age Web Techniques（1750818928214500）
dev.to·2d·
Discuss: DEV
🔒WASM Capabilities
Get AI-powered command suggestions **directly** in your zsh shell
github.com·4h·
Discuss: Hacker News
📟Terminals