📋 Tokei

Code Statistics, Rust Tooling, Project Metrics, Language Analysis

The Future For Formal Verification
semiengineering.com·4d
✅Data Validation
Flag this post
Prisma releases v7 of their ORM
prisma.io·3d·
Discuss: Hacker News
⚡DataFusion
Flag this post
Rive – Why Scripting Runs on Luau
rive.app·2d·
Discuss: Hacker News
⚙️Query Compilers
Flag this post
Generate RAG evaluation datasets from a single prompt (1K to docs)
alexjacobs08.github.io·5d·
Discuss: Hacker News, Hacker News
🏺Data Archaeology
Flag this post
Scaling AI the Right Way: Platform Patterns for Performance and Reliability
devops.com·2d
👁️Observability
Flag this post
The Rust Community Knew This Was Coming
lucisqr.substack.com·1d·
Discuss: Substack, r/cpp, r/programming
🛡️Memory Safety
Flag this post
How We Use AI to Speed Up Development (Without Sacrificing Quality)
cal.com·5d·
Discuss: DEV
🌳Git
Flag this post
Build a Multi-Tenant RAG with Fine-Grain Authorization using Motia and SpiceDB
dev.to·2d·
Discuss: DEV
⚡DataFusion
Flag this post
SE371 Project 3 Ayaan Ahmed Journal
dev.to·5d·
Discuss: DEV
🌳Git Internals
Flag this post
Context-Driven Development Experiment 3: Building Multi-Project JIRA Support with Claude Code
dev.to·5d·
Discuss: DEV
🌳Git
Flag this post
Trusting AI Models With TEEs - Private, Decentralized, Verified Part 2
dev.to·4d·
Discuss: DEV
⚙️Query Compilers
Flag this post
The open source project named fulling, and it's hit 1k stars
github.com·23h·
Discuss: Hacker News
☁️AWS Infrastructure
Flag this post
On the Limitations of Language Targeted Pruning: Investigating the Calibration Language Impact in Multilingual LLM Pruning
arxiv.org·5d
⚙️Query Compilers
Flag this post
How To Convert Figma Design To React + MUI Code In Minutes
dev.to·3d·
Discuss: DEV
🤖AI
Flag this post
Automated Analysis of Learning Outcomes and Exam Questions Based on Bloom's Taxonomy
arxiv.org·6d
🔍AI Detection
Flag this post
Releasing My First Open-Source CLI Tool: Lessons from Publishing Repository-Context-Packager
dev.to·11h·
Discuss: DEV
🌳Git
Flag this post
The Hidden Divide in Developer Culture
dev.to·3d·
Discuss: DEV
🌳Git
Flag this post
PYTHON is Slow? but not with RUST:)
dev.to·4d·
Discuss: DEV
🦀rust
Flag this post
Gitoxide in November
github.com·19h·
Discuss: r/rust
🌳Git
Flag this post
DK-Root: A Joint Data-and-Knowledge-Driven Framework for Root Cause Analysis of QoE Degradations in Mobile Networks
arxiv.org·5d
👁️Observability
Flag this post