Tech

• 26 Mar, 2026goprove: A prover for Golang
• 27 Dec, 2024Let’s build a Golang knowledge specific RAG system with a local llama LLM
• 26 Dec, 2024On Fact-checking RAG Outputs
• 20 Dec, 2024An Experiment with RAG Search Accuracy
• 02 Apr, 2020Problem solving: Minesweeper
• 01 Apr, 2020Problem solving: Box Blur
• 13 Sep, 2019On Memory Management in C++
• 24 May, 2019On Cancel Propagation in Web Servers