TL;DR summary of stories on the internet
Cosmopolitan Libc transforms C into a versatile language that runs natively on multiple platforms without the need for an interpreter or virtual machine. It optimizes GCC and Clang to output a POSIX-approved format for Linux, Mac, Windows, and more with top performance and minimal footprint. Updates include a better memory map, updated Lua version, and […]
Read more »
Researchers have developed a powerful imaging technique that can detect thousands of tiny plastic particles in single-use bottles, shedding light on the presence and impact of nanoplastics. These microscopic plastics, smaller than 1 μm, are widespread but poorly understood. The study found that a liter of bottled water contains around 240,000 plastic pieces, with 90% […]
In this post, I discuss creating the first version of the Intermediate Representation for the Kunai Static Analyzer, a library for analyzing Dalvik bytecode. As part of my PhD project, I aimed to enhance my programming skills and delve into the Dalvik file format. Despite the library’s discontinuation and the development of a new version […]
Arm64EC allows for the development of native apps or the incremental transition of existing x64 apps to take advantage of the speed and performance offered by Arm-powered devices. This new application binary interface (ABI) for apps running on Arm devices with Windows 11 offers better power consumption, battery life, and accelerated AI & ML workloads. […]
The expression problem highlights the challenge of extending types with new producers or consumers but not both simultaneously. This is evident in the difference between functional and object-oriented programming paradigms. Dependently typed programming follows the functional model and introduces an unexplored space in the programming language landscape. This paper explores dependently-typed object-oriented programming through duality, […]
The author discusses using semantic entropy as a strategy to overcome confabulation in language models without requiring architectural changes. They introduce the concept of semantic uncertainty to measure the uncertainty in model generations and explain the process of estimating the semantic entropy. The method involves generating output sequences, clustering them by meaning, and calculating the […]
Benjamin Thorpe (1782-1870) was a pioneering scholar in Old English texts, publishing vast editions and translations. Despite obscurity regarding his background, he studied antiquities in Copenhagen, married Mary Anne Otté, and adopted her daughter Elise, though their relationship was strained. Thorpe, humble but prolific, produced numerous translations and editions of Old English works. Though overshadowed […]
The Y Combinator Codex is a calligraphy piece created by the author in Kraków, Poland during January 2021. The piece measures 420mm x 2400mm and includes white margins on both short sides. Various tools such as plotter paper, calligraphy pens, inks, and watercolor paints were used in its creation. The inspiration behind this piece was […]
LINQPad is the ultimate playground for .NET programmers. This lightweight tool allows you to instantly test C#, F#, and VB snippets or programs, query databases in LINQ or SQL (including SQL/Azure, Oracle, SQLite, Postgres, and MySQL), and script and automate in your favorite .NET language with AI-supported autocompletion and debugging. With LINQPad’s rich output formatting, […]
Formal methods are crucial in good software engineering practice, especially for large-scale, distributed, or critical systems, contrary to common belief. While formal methods may seem costly and challenging, they actually save time and money by reducing rework and minimizing the cost of change. Different software types require different engineering approaches, with formal design being more […]