An introduction to computer algebra (2018)
corywalker.me·1d·
Discuss: Hacker News
🦀Rust
Flag this post
A hypothetical search service on S3 with Tantivy and warm cache on NVMe
shayon.dev·2h·
Discuss: Hacker News
🤖LLM
Flag this post
## Automated Verification and Enhancement of Distributed Ledger Technology (DLT) Smart Contract Logic Using Hybrid Symbolic Execution and Machine Learning
freederia.com·3d
🤖LLM
Flag this post
Exceptions in Cranelift and Wasmtime
bytecodealliance.org·4d
🏠Local-first
Flag this post
What's actually slow? A practical guide to Rails performance
dev.to·39m·
Discuss: DEV
🦀Rust
Flag this post
“Reasoning with Sampling” — Notes on Karan & Du (2025)
kosti.bearblog.dev·1d
🤖LLM
Flag this post
Why TypeScript Won't Save You
cekrem.github.io·4d·
Discuss: r/javascript, r/node, r/programming, r/reactjs, r/typescript, r/webdev
🦀Rust
Flag this post
MCP was the wrong abstraction for AI agents
getateam.org·23h·
Discuss: Hacker News
🤖LLM
Flag this post
Escaping the Forest of if Statements🌲: Building Logical Type Guards with `is-kit`
dev.to·1d·
Discuss: DEV
🦀Rust
Flag this post
Diving into Rama: A Clojure LSH Vector Search Experiment
shtanglitza.ai·2d·
Discuss: Hacker News
🏠Local-first
Flag this post
Self-Healing Application Framework - Autonomous Issue Resolution with Agentic Postgres
dev.to·1d·
Discuss: DEV
🦀Rust
Flag this post
Automated Requirements Traceability & Impact Analysis via Semantic Graph Reasoning
dev.to·1d·
Discuss: DEV
🤖LLM
Flag this post
My go-to prompt for legacy code exploration
leftofthe.dev·10h·
Discuss: Hacker News
🤖LLM
Flag this post
From COBOL to Cloud: How Kiro's Spec-Driven Development Transformed Legacy Modernization
dev.to·21m·
Discuss: DEV
🤖LLM
Flag this post
Rust-SFSM 1.0.0
reddit.com·1d·
Discuss: r/rust
🦀Rust
Flag this post
On Text Simplification Metrics and General-Purpose LLMs for Accessible Health Information, and A Potential Architectural Advantage of The Instruction-Tuned LLM ...
arxiv.org·13h
🤖LLM
Flag this post
Building Your First Sentiment Analysis App with LangChain LCEL and OpenAI
dev.to·4h·
Discuss: DEV
🦀Rust
Flag this post
Epistemic Reject Option Prediction
arxiv.org·13h
🤖LLM
Flag this post
Vibe Code Warning – from 1k to 10k lines, a personal casestudy
github.com·6h·
Discuss: Lobsters
🦀Rust
Flag this post
Parallelization
dev.to·4h·
Discuss: DEV
🦀Rust
Flag this post