Archive

Create beautiful diagrams in minutes. Simple syntax. Endlessly customizable. D2 is the fastest and easiest way to get a mental model from your head onto the screen, then make edits with your team.

BAML is a domain-specific language to generate structured outputs from LLMs — with the best developer experience.

Decker is a multimedia platform for creating and sharing interactive documents, with sound, images, hypertext, and scripted behavior. You can try it in your web browser

Stanford's Sky Lab announced the "Sky-T1" model that performs competitively in reasoning and coding while comparison to OpenAI's o1 model, while using a small compute budget.

They set about to produce this open-weights model because the current leaders like o1 and gemini 2.0 flash thinking while excel in reasoning, showing the ability to solve complex tasks by producing a long internal chain of thought, among other advancements. However, the technical details and model weights are un-accessible.

Summary:

• They used QwQ to generate training data (with some cleanup using GPT-4o-mini)
• The training data was then used to FT Qwen2.5-32B-Instruct (non-reasoning model)
• Result was that Sky-T1 performs slightly worse than QwQ but much better than Qwen2.5 on reasoning tasks.

This is pretty interesting as it shows how you can FT a foundation model to do better at reasoning.

Inference time compute is still underutilized for AI deployments. It is better to distill the reasoning from larger models like R1 for specific tasks. Even better, one can mix in custom thinking instructions for specific sub-problems, so that a fine-tuned model learns o mix of task specific reasoning and custom logic. This can often beat custom prompt iteration. 🔗

This Guide: Train a Reasoning Model | Kiln AI Docs goes into how to distill for thinking models.

Radicle is an open source, peer-to-peer code collaboration stack. It leverages Git’s architecture combined with cryptography and a gossip protocol to enable a fully sovereign developer stack.

"We’ve curated some great open source alternatives to tools that your business requires in day-to-day operations."

A good review of the MySQL's history at LWN.net

open source projects funded by DARPA

C++ data machine learning library.

Now this looks interesting: (via @zedshaw)

An inspiring page.

LOL :) -> I'm not talking about sucking the big scaly teat of the Mozilla Foundation.

f you've ever needed to produce PDF documents before, in Ruby or another language, you probably know how much it can suck. Prawn takes the pain out of generating beautiful printable documents, while still remaining fast, tiny and nimble. It is also named after a majestic sea creature, and that has to count for something.

Arduino is an open-source electronics prototyping platform based on flexible, easy-to-use hardware and software. It's intended for artists, designers, hobbyists, and anyone interested in creating interactive objects or environments.

Axiis is an open source data visualization framework . Axiis is built upon the Degrafa graphics framework and Adobe Flex 3.

a exhaustive collection of choice quotes by MS people on F/OSS. Handy reference.

is well documented...

windows console replacement

Esper enables rapid development of applications that process large volumes of incoming messages or events. Esper filters and analyzes events in various ways, and responds to conditions of interest in real-time.

PSPP is a program for statistical analysis of sampled data. It interprets commands in the SPSS language and produces tabular output in ASCII, PostScript, or HTML format. PSPP development is ongoing. It already supports a large subset of SPSS's transformat

O'Reilly has published a number of Open Books--books with various forms of "open" copyright--over the years.

italian company offering opensource solutions, plone training etc.,