Abstract algebra structures made easy
blog.sesse.net·1h
🔧PLT
Graphs Are Programs
gdotv.com·1d·
Discuss: Hacker News
🔧PLT
Building a Multi-Step Form With Laravel, Livewire, and MongoDB
laravel-news.com·5h·
Discuss: r/programming
📐formal specification
Elegant Middleware Architecture Implementation(2545)
dev.to·2d·
Discuss: DEV
🔧PLT
I Was Frustrated with Bad AI Code, So I Built a "Prompt Architect" to Fix It
clarionapp.vercel.app·1d·
Discuss: DEV
🤖AI
Building A Universal Data Agent in 15 Minutes with LlamaIndex and Apache Gravitino (incubating)
dev.to·2d·
Discuss: DEV
📐formal specification
An Introduction to Web Development
youtube.com·2d·
Discuss: DEV
🔧PLT
Fully type-safe integration between your Laravel backend and your frontend
github.com·1d·
Discuss: r/webdev
📐formal specification
On the synchronization between Hugging Face pre-trained language models and their upstream GitHub repository
arxiv.org·16h
🔧PLT
Building a Study Log App with React — Track Daily Study Topics and Hours
github.com·1d·
Discuss: DEV
🔧PLT
Efficiently Verifiable Proofs of Data Attribution
arxiv.org·16h
🔧PLT
A beginner-friendly guide to learning Jax with practical examples
github.com·1d·
Discuss: Hacker News, r/LocalLLaMA
🔧PLT
Leetcode 53: Maximum Subarray in JavaScript
dev.to·1d·
Discuss: DEV
🔧PLT
LeanRAG: Knowledge-Graph-Based Generation with Semantic Aggregation and Hierarchical Retrieval
arxiv.org·16h
🔧PLT
A non-uniform view of Craig interpolation in modal logics with linear frames
arxiv.org·1d
🔧PLT
Making the Programming Language "Nyash" with an AI Partner
dev.to·21h·
Discuss: DEV
🦀Rust
Web Developer Travis McCracken on Security Headers for Backend APIs
dev.to·8h·
Discuss: DEV
🦀Rust
Any Use for my Hobby Project, BuffDB?
github.com·4d·
Discuss: r/opensource, r/programming, r/typescript
🦀Rust
I Built an Honest AI Agent to Fight Hallucinations. Here's How It Works.
dev.to·22h·
Discuss: DEV
🤖AI
Vox Populi: Revised
reddit.com·1d·
Discuss: r/LocalLLaMA
🔧PLT