Emanuele Minotto’s Blog
Anyone who works with automated test suites knows the frustration of a flaky test: one that fails every now and then for no apparent reason, blocks the pipeline, and distracts the whole team. The classic fix is to comment out the test, push a commit, and open a PR - a slow and noisy process for a...
Emanuele Minotto’s Blog
Anyone who has worked on a frontend or mobile app knows this: waiting for a backend to be “ready” is one of the fastest ways to slow everything down. And even when the backend exists, what you really need for productive development is often missing: realistic responses, reproducible edge cases,...
Cael
When your AI opens a GitHub issue on its own creator. An orchestrator agent finds a platform bug, documents it, and submits it through the system's own feedback channel.
Kevin Lacker
Acorn 0.1 is out! It might not be obvious at first, but there's a big change in the guts of how the prover works. When a proof is successfully verified, the build directory now contains a "proof certificate" explaining step by step how the proof works. The proof certificate itself is simple: it's...
Phil Hofmann
The Power of Simple Tools In today's complex development landscape, we often overlook the elegance of simple, focused tools. Conquer exemplifies this philosophy by doing one thing well: rendering structured data through templates. Core Functionality Conquer operates on a straightforward...
Alessandro Resta
An AI Code Review Assistant for Solo Projects
Kevin Lacker
There's a useful new feature in Acorn Prover 0.0.8: a build cache. When you save changes to an Acorn project, the AI model automatically completes simple proofs with missing steps. Usually this works great, but this can make refactoring more difficult. In particular, if you make changes to a...
Phil Hofmann
Let me preface this by saying I've never been a big fan of Microsoft Teams. It's a tool I have to use for work now and then because our customers do. Up until a few days ago I was able to take part in meetings via Teams using the Linux client. But all of a sudden (albeit unsuprisingly) clicking a...
Phil Hofmann
TL;DR The following script will export a given org file to HTML, using emacsclient if an Emacs daemon is running and fall back to using Emacs if no Emacs daemon is running. For more options including a one-liner, as alias or usage in GNU make keep on reading. #!/bin/sh if emacsclient -a false...
Alain M. Lafon
If you want to integrate your Org mode agenda into other calendars, this is an easy way to do it. There are multiple reasons why you might want to do such a thing - for example to get notifications in your favorite calendar application or to share your daily agenda with coworkers. The following...
Alain M. Lafon
When you open a file in Linux, the question arises: Which of the available applications should be opened? Usually, this question is deferred to xdg-open. But, how does xdg-open know which application is the right one and how do you configure the one you want to use instead?🤓 To get started, try...
Alain M. Lafon
The last two days were EmacsConf 2020. It was a great conference as always. Last year, 200ok was able to host one of two real-world satellites. This year, we are happy EmacsConf is happening, again. This time even in a 2-day format hosting many great talks! This blog post is accompanying Alain's...
Alain M. Lafon
Sometimes, when you want to read a regular website, you just cannot, because there's a cookie popup in the way. Of course, in certain states, these are an implication of the law. However, if they won't let you read the website, won't let you opt out of tracking and actually do start to track you...
Alain M. Lafon
Whenever Emacs feels slow, or you want to check out just how big the impact of something is RAM or CPU wise, then you can use the built-in Emacs profiler. It's actually very easy and doesn't require a lot of prerequisite knowledge. This is a very basic introduction on how to get started with...
Alain M. Lafon
Users of Emacs sometimes run into a performance issue which they didn't know about before, but is well known: Working with files which include long lines. If the lines are long enough - which can just be a couple thousand characters - Emacs will crawl to a halt whilst utilising 100% CPU. After...
Alain M. Lafon
Here in Switzerland, there are four spoken and written languages: Swiss German, French, Italian and Romansh. Also, we converse a lot in German and English. Hence, it's a regular occurrence to have one file with multiple languages in them. Especially for these situations it's important to have...
Alain M. Lafon
I personally work a lot with Org mode, but collaborate on bigger projects with other people through proprietary tools. Some of them are very good for collaboration like Pivotal Tracker. So it totally makes sense to use them in heterogeneous teams! In fact, very often it is me introducing them into...
Alain M. Lafon
Generally speaking, Linux tooling support is pretty great these days. I'm running Debian Stable on a Macbook Pro (MBP) and couldn't be happier. Most things just work as expected. Apart from a few tiny things here and there. One of them is the ability to adjust brightness. The standard way for many...
Mort Yao
Long story short, after an Arch update the annoying process called tracker-store started to hog my CPU and disk space (again). For some really peculiar reason, GNOME developers decided that everyone should want to use their awesome Tracker smarty-ware to index everything in pants, and you should...
Mort Yao
Recently I decided to make my life a little easier by simplifying the laborious, tedious math typing that I had to do from time to time. For me this is most relevant for typesetting the formal semantics of programming languages, where proof trees are interwoven with a variety of programming...
Mort Yao
It’s 2016, and I can’t believe that there is still no “Continue where you left off” option in most dominant GUI file managers (as far as I know)! Yes, it bugs me when I can’t restore my last open tabs and I want my old session so badly. Remembering last tabs, if I get the history right, was a...
Mort Yao
For starters, this is how you might want to turn your well-written Markdown file (with common metadata fields like title, author and date) into a properly typeset PDF document: $ pandoc src.md -o out.pdf However, Markdown is not TeX. Not even close. Once you need to have some bleeding edge control...