Bold Devlog - October Summary
๐กLSP
Flag this post
Fungus: The Befunge CPU(2015)
โ๏ธSystems Programming
Flag this post
Context7 is the most underrated MCP server you're not using for your local LLM
xda-developers.comยท11h
๐กLSP
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
๐คAI Coding Tools
Flag this post
Honest take: I tested 12+ AI vibe coding tools, but this one actually surprised me
๐คAI Coding Tools
Flag this post
To write secure code, be less gullible than your AI
stackoverflow.blogยท5h
๐คAI Coding Tools
Flag this post
The Best Steve Yegge Posts (2015)
sam-koblenski.blogspot.comยท1d
๐ฌStatic Analysis
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.orgยท8h
๐ONNX
Flag this post
โ ๏ธ Most Developers Are Using AI Wrong โ Hereโs How to Fix It
๐คAI Coding Tools
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
๐๏ธTensorRT
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.orgยท8h
๐Kernel Fusion
Flag this post
Empirical Characterization Testing
blog.ploeh.dkยท1d
๐ฌStatic Analysis
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.orgยท8h
๐ONNX
Flag this post
Day 24: Python Countdown with Boom โ Reverse Loop Printing "Boom" on Multiples of 3
๐Type Checkers
Flag this post
What a diff makes: automating code migration with large language models
arxiv.orgยท8h
๐กLSP
Flag this post
Loading...Loading more...