LLM function calls don't scale; code orchestration is simpler, more effective(jngiam.bearblog.dev)

251 points by jngiam1 1 year ago | 90 comments

Launch HN: Traceloop (YC W23) – Detecting LLM Hallucinations with OpenTelemetry

94 points by GalKlm 2 years ago | 69 comments

Running Gemma 4 locally with LM Studio's new headless CLI and Claude Code(ai.georgeliu.com)

380 points by vbtechguy 6 months ago | 94 comments

A blog post walking through setting up Google Gemma 4 26B for local inference on macOS using LM Studio 0.4.0's headless lms CLI, and using it with Claude Code.

A LLM+OLAP Solution(doris.apache.org)

114 points by ShawnL30 3 years ago | 25 comments

Talking to LLMs has improved my thinking(philipotoole.com)

117 points by otoolep 9 months ago | 95 comments

Use Prolog to improve LLM's reasoning(shchegrikovich.substack.com)

343 points by shchegrikovich 2 years ago | 122 comments

Substack post arguing that having LLMs generate Prolog code can improve their reasoning, given the limits of autoregressive transformer generation.

LLM-powered tools amplify developer capabilities rather than replacing them(matthewsinclair.com)

323 points by matthewsinclair 1 year ago | 214 comments

Blog post by Matthew Sinclair arguing that LLM-powered programming tools act like a mech suit amplifying developers rather than replacing them.

Train Your Own LLM from Scratch(github.com)

376 points by kristianpaul 5 months ago | 43 comments

GitHub repository by angelos-p providing code and docs for training your own large language model from scratch.

Open-weight AI is having its Kubernetes moment(tobi.knaup.me)

369 points by tknaup 3 months ago | 287 comments

Blog post by Tobi Knaup arguing that open-weight AI models are at a moment comparable to Kubernetes' rise, and urging the community not to squander it.

AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)

343 points by saikatsg 7 months ago | 242 comments

Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.

AI agent opens a PR write a blogpost to shames the maintainer who closes it(github.com)

747 points by wrxd 8 months ago | 581 comments

A closed GitHub pull request to matplotlib by user crabby-rathbun proposing to replace np.column_stack with np.vstack().T for performance.

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.