Clang Static Analyzer and the Z3 constraint solver (2022)
(cambus.net)
As far as static analyzers are concerned, one of the most important point to consider is filtering out false positives as much as possible, in order for the reports to be actionable.
As far as static analyzers are concerned, one of the most important point to consider is filtering out false positives as much as possible, in order for the reports to be actionable.
GNU Make Standard Library
(gmsl.jgc.org)
The GNU Make Standard Library (GMSL) is a collection of functions implemented using native GNU Make functionality that provide list and string manipulation, integer arithmetic, associative arrays, stacks, and debugging facilities.
The GNU Make Standard Library (GMSL) is a collection of functions implemented using native GNU Make functionality that provide list and string manipulation, integer arithmetic, associative arrays, stacks, and debugging facilities.
Ask HN: How do you prompt the "advanced" models
(ycombinator.com)
I use the Windsurf IDE, which comes with integrated LLM chat and edit functionality. Ever since I switched to it two months ago and for the three months before that I was using Cursor (similar editor), I have always had better results with Claude.
I use the Windsurf IDE, which comes with integrated LLM chat and edit functionality. Ever since I switched to it two months ago and for the three months before that I was using Cursor (similar editor), I have always had better results with Claude.
I Use Cline for AI Engineering
(addyo.substack.com)
The AI coding assistant landscape is saturated with tools that promise to revolutionize development workflows. As an engineer who has worked with complex systems for decades, I approach such claims with healthy skepticism. After extensively testing the major players (Cursor, WindSurf, GitHub Copilot, and others), I've found Cline - a free VSCode plugin - to be uniquely valuable for serious engineering work. Here's why, along with important caveats and trade-offs to consider.
The AI coding assistant landscape is saturated with tools that promise to revolutionize development workflows. As an engineer who has worked with complex systems for decades, I approach such claims with healthy skepticism. After extensively testing the major players (Cursor, WindSurf, GitHub Copilot, and others), I've found Cline - a free VSCode plugin - to be uniquely valuable for serious engineering work. Here's why, along with important caveats and trade-offs to consider.
Shell-ish scripting in Go with ease
(github.com/bitfield)
script is a Go library for doing the kind of tasks that shell scripts are good at: reading files, executing subprocesses, counting lines, matching strings, and so on.
script is a Go library for doing the kind of tasks that shell scripts are good at: reading files, executing subprocesses, counting lines, matching strings, and so on.
Trae: An AI-powered IDE by ByteDance
(trae.ai)
TraeTrae is an adaptive AI IDE that transforms how you work, collaborating with you to run faster.
TraeTrae is an adaptive AI IDE that transforms how you work, collaborating with you to run faster.
Show HN: Searchlight – Open-source Postgres client for macOS
(github.com/ravelantunes)
Searchlight is a native macOS, open-source PostgreSQL client designed to be simple, lightweight, and developer-friendly.
Searchlight is a native macOS, open-source PostgreSQL client designed to be simple, lightweight, and developer-friendly.
Aider in Your IDE
(aider.chat)
If you run aider with --watch-files, it will watch all files in your repo and look for any AI coding instructions you add using your favorite IDE or text editor.
If you run aider with --watch-files, it will watch all files in your repo and look for any AI coding instructions you add using your favorite IDE or text editor.
Coccinelle
(kernel.org)
Coccinelle is a tool for pattern matching and text transformation that has many uses in kernel development, including the application of complex, tree-wide patches and detection of problematic programming patterns.
Coccinelle is a tool for pattern matching and text transformation that has many uses in kernel development, including the application of complex, tree-wide patches and detection of problematic programming patterns.
GitHub Copilot is now available for free
(github.com/features)
GitHub Copilot is now available for free
GitHub Copilot is now available for free
Sqlc: Data access simplified. Throw away your ORM
(sqlc.dev)
This tutorial assumes that the latest version of sqlc is installed and ready to use.
This tutorial assumes that the latest version of sqlc is installed and ready to use.
Revisiting Uv
(loopwerk.io)
Almost two months ago I compared Poetry with uv, and for me uv had some pretty significant drawbacks that kept me from switching over – the two big ones being the lack of dependency groups, and the inability see outdated packages.
Almost two months ago I compared Poetry with uv, and for me uv had some pretty significant drawbacks that kept me from switching over – the two big ones being the lack of dependency groups, and the inability see outdated packages.
Rubygems.org Adds New Maintainer Role
(socket.dev)
RubyGems.org has added a new “maintainer” role that enables users to publish new versions of a gem.
RubyGems.org has added a new “maintainer” role that enables users to publish new versions of a gem.
Are Devs Becoming Lazy? The Rise of AI and the Decline of Care
(bearblog.dev)
With the rise of AI-powered tools like GitHub Copilot, software development is entering a strange new era.
With the rise of AI-powered tools like GitHub Copilot, software development is entering a strange new era.
Visualizing binary files with ImHex's DSL, the "pattern language"
(blogspot.com)
I've got a binary file with a custom made binary format, and a spec for that binary format. How do I go into the binary quickly and see the data I want ?
I've got a binary file with a custom made binary format, and a spec for that binary format. How do I go into the binary quickly and see the data I want ?
Evaluate Markdown code blocks within Vim
(github.com/gpanders)
Medieval allows you to evaluate code blocks in Markdown buffers of the following form:
Medieval allows you to evaluate code blocks in Markdown buffers of the following form:
Sandblocks: A Projectional Block-Based Editor for Squeak
(squeak.org)
Sandblocks is a projectional, block-based programming environment written in Squeak/Smalltalk.
Sandblocks is a projectional, block-based programming environment written in Squeak/Smalltalk.
Heic-To: Convert HEIC/HEIF Images to JPEG, PNG in Browser
(github.com/hoppergee)
Convert HEIC/HEIF images to JPEG, PNG in browser using Javascript.
Convert HEIC/HEIF images to JPEG, PNG in browser using Javascript.
Show HN: Open-source library documentation for LLMs
(docs.codes)
Get latest context for open-source libraries to use with cursor/copilot/chatgpt.
Get latest context for open-source libraries to use with cursor/copilot/chatgpt.
Ask HN: List of Windows Only FOSS Apps
(ycombinator.com)
For example JWasm, Eurler Math Toolbox, Notpad++<p>Is there one?
For example JWasm, Eurler Math Toolbox, Notpad++<p>Is there one?
Git-absorb: Git commit –fixup, but automatic
(github.com/tummychow)
This is a port of Facebook's hg absorb, which I first read about on mozilla.dev.version-control:
This is a port of Facebook's hg absorb, which I first read about on mozilla.dev.version-control:
Refactoring Python with Tree-sitter and Jedi
(bearblog.dev)
I was toying around with a refactor the other day that would have taken me ages by hand as it involved 100s of files.
I was toying around with a refactor the other day that would have taken me ages by hand as it involved 100s of files.
Show HN: Void, an open-source Cursor/GitHub Copilot alternative
(github.com/voideditor)
Void is an open source Cursor alternative.
Void is an open source Cursor alternative.
Ask HN: What is your experience with Cursor?
(ycombinator.com)
I've seen it brought up quite a few times here in the past few weeks. I'm currently using VSCode + Copilot. Would be great to hear some experiences, even better if you migrated from the stack I am using.
I've seen it brought up quite a few times here in the past few weeks. I'm currently using VSCode + Copilot. Would be great to hear some experiences, even better if you migrated from the stack I am using.
Show HN: Dump entire Git repos into a single file for LLM prompts
(ycombinator.com)
Hey! I wanted to share a tool I've been working on. It's still very early and a work in progress, but I've found it incredibly helpful when working with Claude and OpenAI's models.
Hey! I wanted to share a tool I've been working on. It's still very early and a work in progress, but I've found it incredibly helpful when working with Claude and OpenAI's models.
Arduino PLC IDE
(arduino.cc)
Boost production and building automation with your own Industry 4.0 control system
Boost production and building automation with your own Industry 4.0 control system