Brakeman is a static analysis security vulnerability scanner for Ruby on Rails applications.| brakemanscanner.org
Model Context Protocol (MCP) is an open protocol that| modelcontextprotocol.io
Blog| tratt.net
Visual Studio Code language extensions contribute programming language features. These guidelines present the language features available in Visual Studio Code and explain the API.| code.visualstudio.com
ShellCheck is a static analysis tool that| Vidar's Blog
I built a small proof-of-concept for a system that enables real-time bidirectional editing between any modern code editor and a GUI, enabled by an LSP1 server. Code-based CAD I like working on small projects at home that benefit from CAD. I’m also a programmer with a personal development environment that I’ve spent years making as cozy as possible. Naturally I’ve been interested in finding code-based CAD system to use for my projects that allows me to use that cozy development environment.| james vaughan
An opinionated language server for Ruby. Batteries included!| Ruby LSP
Model Context Protocol (MCP) is an open protocol that| Model Context Protocol
From the Zed Blog: Over 2,000 developers asked, and we delivered. Debugging in Zed is now a reality—and it's a big leap toward Zed 1.0.| zed.dev
Neovim user documentation| neovim.io
Spoiler: this is a rant. 😂 I have tried to write a small side project in modern C++ recently. I wanted to have a proper setup with modern tooling and practices, in part because I wanted to see what the state of the art was for C++. So I settled on these tools: compiler: clang; build system: cmake; dependencies resolution: conan; unit test framework: I have adopted catch 2, because it looked quite simple; lsp: I have used clangd; linter: there seem to be multiple valid choices, but I have s...| Andrea Bergia's Website
I wrote a small LSP client, it was kinda neat so I’m sharing it| (:dev/notes vlaaad)
Gamedev, FOSS, programming, stuff.| akselmo.dev
This blog post provides a review of the existing literature on agent-based systems for automated theorem proving, while presenting a general approach to the problem. Additionally, it serves as an informal specification outlining the requirements for a future system we intend to develop.| formal.land
As someone who has| tratt.net
Introduction| blog.gradle.org
At Replit, we operate a cloud-based infrastructure that allows developers to collaborate and create within an all-in-one, integrated development environment. One of the most significant parts of this experience is the latency perceived by the developer when interacting with the workspace. While we can always add resources such as CPU, RAM, and storage on demand, when tackling latency we have to deal with some fundamental physical limits such as the speed of light. This means that you can only...| Replit Blog
Framework that captures the characteristics of programming systems, makes it possible to compare and better understand them and find interesting new points in their design space.| tomasp.net
The story of how I gained two world-firsts, somehow.| kristoff.it
Using WebAssembly for Extension Development.| code.visualstudio.com
This post announces Chapel 2.0, including a brief tour of what the language is capable of.| chapel-lang.org
The packaging workflow of Python has historically been a bit messy, starting with pip being just good enough, and virtualenvs being a great idea but a bit unwieldy. Installation was difficult, and tools like anaconda filled the gaps. Lately, there’s been renaissance of package tooling in Python thanks to other languages innovating in the area, inspiring and pollinating the ecosystem, improving the comfort of development. I want to present here the tools that I use to work with Python, usual...| jiby.tech
Here’s a little script I hacked together to install the Language Servers I use for web development in Helix Editor. Please feel free to adapt and use.| Aral Balkan
I grew up learning to program in the late 1980s / early 1990s. Back then, I did not fully comprehend what I was doing and why the tools I used were impressive given the constraints of the hardware we had. Having gained more knowledge throughout the years, it is now really fun to pick up DOSBox to re-experience those programs and compare them with our current state of affairs. This time around, I want to look at the pure text-based IDEs that we had in that era before Windows eclipsed the PC in...| Julio Merino (jmmv.dev)
A deep dive into the text mode editors we had and how they compare to today's| blogsystem5.substack.com
Apple’s adoption of LSP is arguably the most important decision they’ve made for Swift since releasing the language as open source in 2014. It’s a big deal for app developers, and it’s an even bigger deal for Swift developers on other platforms.| NSHipster
VSCode is a cross-platform text and source code editor from Microsoft, and among the first tools to support Language Server Protocol. With LSP for Swift now shipping in Xcode, it’s a great time to see how this integration works for yourself.| NSHipster
TableGen is a language used within the LLVM project for generating a variety of files, when manual maintenance would be very difficult. For example, it is used to define all of the instructions that can be used on a particular architecture.| blog.llvm.org
Reflecting on Unison's 2022 progress. Highlights include the Unison Forall conference, Unison Share code hosting, Unison Cloud beta testing, and more.| www.unison-lang.org
Extension for Visual Studio Code - VS Code plugin for connecting with the Ruby LSP| marketplace.visualstudio.com
Extension for Visual Studio Code - Import organization support for Python files using isort.| marketplace.visualstudio.com
The one in which we design a rich Integrated Development Environment (IDE) experience, using Clojure as our muse. Featuring Language Server Protocol (lsp-mode + clojure-lsp), clojure-mode, cider, and more! Buckle up and get a coffee.| www.evalapply.org
As the Go ecosystem gets bigger, gopls must get smaller| go.dev
This post is part of the Languages Opinion series. Welcome back to my mini-series about programming languages. In this post, we will talk about one of the most interesting programming languages that I have seen in a long while: Rust. This is gonna be a rather long post, but I have tried to stay at a pretty high level, to give you an overview of the language, its strength, and its weaknesses as I see them.| andreabergia.com
Panic, the long-established makers of Mac utility software, seems fully aware that introducing a new, commercial code editor in 2020 is a quixotic proposition. Is there enough of an advantage to a native editor over both old school cross-platform editors like Emacs and explosively popular new editors like Visual Studio Code to persuade people to switch?| micro.coyotetracks.org
A personal website of Shuhei Kagawa. I write mostly on web technologies and life.| Shuhei Kagawa
I first learned Vim in university and, since then, it has been a welcome companion for the majority of my software engineering career. Working with Python and Go programs felt natural with Vim and I was always felt productive. Yet Java was always a different beast. Whenever an opportunity to work with Java came up, I would inevitably try Vim for a while, but fall back to IntelliJ and the IdeaVim plugin to take advantage of the rich language features a full-featured IDE can give you.| sookocheff.com
How to configure VS Code to work with dockerized builds| Thoughts of a Curious Software Engineer | Dmitry Danilov
Adopting Erlang.| Adopting Erlang
Learn about Go workspaces and some of the workflows they enable.| go.dev
Table of Contents| danilafe.com
Introduction I’ve long been a fan of smart editors which have a semantic understanding of the code you’re editing, and leverage it to provide semantics-aware features such as accurate c…| There's Waldo!
I’ve recently published my parsing combinator library lexy. One of the things it does is issue a lexy::error if the input does not match the grammar. This error has a .position() which gives you the position where the error occurred. In order to keep the happy path fast, .position() is not something that is easy to use for end users: it is simply an iterator into the input range. This is no good to a human user who wants something like line and column number to easily locate the problematic...| www.foonathan.net
