18 May 26
Python tool for converting files and office documents to Markdown. - microsoft/markitdown
Pretty solid observations on why senior developers are not on the “AI-hype train”.
17 May 26
14 May 26
ESA Eve project: LLM supported system to support EO applications, knowledge search and summarization.
10 May 26
A solid summary of potential left-wing pro-AI arguments.
06 May 26
Search a curated DESIGN.md library for AI agents: colors, typography, spacing, and component patterns from top websites. Part of Refero.
05 May 26
A toolkit for spec-driven software development. Stop writing prompts, start writing specs. Ship better quality software and minimize slop.
04 May 26
yogthos/chiasmus: Chiasmus is an MCP server that gives language models access to formal verification
Chiasmus is an MCP server that gives language models access to formal verification - yogthos/chiasmus
Set of 📝 with 🔗 to help those building Voice AI agents 🎙️🤖 - mahimairaja/voiceai
01 May 26
27 Apr 26
Anyone who works with computers has been here though, far before AI. When something goes wrong, we’re as likely as anyone to assume the computer is cursed, has it out for us specifically, or needs to be appeased in some way. And at that moment, the computer does have an interiority that is hidden from us. There certainly is something we haven’t seen or don’t understand! A good programming tool or computer language, though, is a means for us to find and dissect that interiority, stripping away the illusion. AI actively worsens it instead.
25 Apr 26
The headless browser for AI agents and web scraping - h4ckf0r0day/obscura
The headless browser for AI agents and web scraping - h4ckf0r0day/obscura
24 Apr 26
22 Apr 26
A great summary of why people feel anger towards AI and in general the CEOs pushing it.