One of my favorite features in Neovim is the Tree-sitter integration. It allows for fast syntax highlighting that works well even in an error state (often the case when you’re editing code), and it has additional semantics (you can differentiate between function parameters and local variables).
A short guide on OCaml type checker, describing the surprisingly elegant algorithm for generalization, which generalizes to first-class polymorphism, MLF and local types. Polymorphism and regions have much in common.
Learn what it's like to attend a launch, which launches you can attend, how much it costs and other launch questions
Anti-Social Grumblings I recently gave a deliberatively provocative TEDx talk titled “quit social media” (see the video above). The theme of the event was “visions ... Read more
Our first generalist policy, π0, a prototype model that combines large-scale multi-task and multi-robot data collection with a new network architecture to enable the most capable and dexterous generalist robot policy to date.
Announcing support for PEP 740 on the Python Package Index
This episode of the Meta Tech Podcast is all about Bento, Meta’s internal distribution of Jupyter Notebooks, an open-source web-based computing platform. Bento allows our engineers to mix code, tex…
For the first time, scientists have managed to create sheets of gold only a single atom layer thick. According to the researchers from LiU this has given the gold new properties that can make it suitable for use in various applications.
A Cautionary Tale about Too Much Siloing and Not Enough Trust
code { white-space : pre-wrap !important; } This article is tightly scoped to cover one topic with specific, actionable advice: How to configure...
Automated reasoning and optimizations specific to CPU microarchitectures improve both performance and assurance of correct implementation.
While there are downsides, using a read-only root filesystem will dramatically increase your Pi SD card's lifetime.
The project has been haunted by a mysterious bug since sometime February. It relates to the code that constructs the index, particularly the code that merges partial indices. In short the search engine constucts the reverse index through successive merging of smaller indices, which reduces the overall memory…
In the previous post i discussed a bit the history of digital map design, in particular also outside of OpenStreetMap. I also wrote in the past about the history of OpenStreetMap Carto , the cartographic face of OpenStreetMap and without doubt the most influential map design project in OpenStreetMap – today as well as…
Personal website of Dr. Peder M. Isager
When I start studying a vintage system, the first thing I like to do is understand how its components work together at the hardware level [1] .
With this blog post, we'll introduce the PiFex, a basic companion board for the Raspberry Pi designed to teach users the basics of hardware hacking and embedded protocols. We will then demonstrate how to use the PiFex to access a JTAG tap on an undocumented SSD, allowing memory reads and GDB access to the SSD CPU.
Explore PaliGemma 2, which offers scalable performance with multiple model sizes and resolutions, and is designed as a drop-in replacement for existing PaliGemma users.
It's no secret that authenticating into services is an unresolved topic. With time, we have managed
Lund University. Our knowledge regarding the long-term health effects of tattoos is currently poor, and there is not a lot of research within this area. Now a research group at Lund University has investigated the association between tattoos and lymphoma.
This has to be the most infuriating bug report I've ever submitted. I went to type in my 2FA code on a website - but no numbers appeared on screen. Obviously, I was an idiot and had forgotten to press the NumLock button. D'oh! I toggled it on and typed again. No numbers appeared. I switched to another tab, my numbers…
Lowercase letters and uppercase letters use the same amout of data — 1 byte each.
Lift responsibly and respectfully
The mechanical computer uses a complex structure of rigid, interconnected polymer cubes to store, retrieve and erase data without relying on electronic components.
The OpenPipe platform has migrated to Weights & Biases and CoreWeave. Browse migration details and the OpenPipe technical archive.
From gene regulatory networks to artificial neural networks
While deploying Precision Time Protocol (PTP) at Meta, we’ve developed a simplified version of the protocol (Simple Precision Time Protocol – SPTP), that can offer the same level of clock syn…
