Within the LLVM project, MC is a library responsible for handling assembly, disassembly, and object file formats. Intro to the LLVM MC Project, which was written back in 2010, remains a good source to understand the high-level structures. In the latest release cycle, substantial effort has been dedicated to refining…
Grab your biggest mug of coffee and learn how the open-source programming language Rust supercharges our development time of the breakthrough Sonair 3D ultrasonic sensor. Claim to fame: Sonair is on track to be among the first to deploy a safety-certified Rust implementation.
One of the hardest things for people to understand with distributed systems is that eventual consistency is the same thing as eventual inconsistency. The very...
A zinc-air microbattery designed by MIT engineers could enable the deployment of cell-sized, autonomous robots for drug delivery within in the human body, as well as other applications such as locating leaks in gas pipelines.
Generative Adversarial Networks (GANs), discovered by Ian Goodfellow in 2014, were an early method in the area of generative AI. I will focus on image generation as set out in the paper Generative Adversarial Nets 1 . This paper is the focal point of the post, I will guide you through the implementation of the paper…
We need a fast way to query multiple potentially large sets of data on-demand at interactive speeds. Sometimes the easiest solution to a hard problem is to build the right tool for the job.
Mazes are typically constructed on regular grids: square, triangular, hexagonal, etc. But what if you generate a maze on top of a Penrose tiling, which is guaranteed to be irregular? (It is an aperiodic tiling .) The resulting mazes have a very characteristic appearance: they are filled with circles and stars, but the…
A comprehensive look at the design of Polar, and how we enabled it to operate over distributed data.
GITHUB HUGGING FACE MODELSCOPE DEMO DISCORD Introduction Since the surge in interest sparked by Mixtral, research on mixture-of-expert (MoE) models has gained significant momentum. Both researchers and practitioners are keenly interested in understanding how to effectively train such models and assessing their…
This article attempts to outline, in informal terms, a new theory of combinators, related to the theory of Combinatory Logic pioneered by Moses Schonfinkel, Haskell Curry, and others in the 1930s. Although not essential, an understanding of the classical theory of combinators may be helpful (see the links at the…
Update: The paper version of this post is accepted at PLDI SOAP 2024. Take a look at the preprint (PDF).
Getting started with Zig's meta programming capabilities by leveraging a few useful functions
It’s a big year for the oozing creep of corporate paternalism and ad-tracking technology online. Google and its subsidiary companies have tightened their grips on the throat of internet innovation, all while employing the now familiar tactic of marketing these things as beneficial for users. Here...
Recent news reports have highlighted grade inflation at elite universities: Harvard gave 79% As in 2020-2021, as did Yale in 2022-2023 , compared to 67% in 2010-2011. At Harvard, the average GPA has risen from 2.55 in 1950 to 3.05 in 1975 to 3.36 in 1995 to 3.80 now. At Brown, 67% of grades were As in 2020-2021, 10%…
I think the folks building Tailwind are talented and nice people. But at a pure technical level, I simply don’t like Tailwind. Whoever it was built for, it was not built for me.
I just finished reading the paper Borrow checking Hylo . It outlines the basic design of Hylo . Hylo is an early-stage programming language, but unlike other contenders of C++, it provides memory safety like rust. Specifically it merges rust’s borrow checking ideas into the framework of moveable value semantics (MVS)…
Static or dynamic, a program's design is written in its types.
The evolution of the C++ language continues to bring powerful features that enhance code safety, readability, and maintainability. Among these improvements, we got changes and additions to enum class functionalities across C++17, C++20, and C++23. In this blog post, we’ll explore these advancements, focusing on…
Background
Researchers from Amsterdam UMC and Vrije Universiteit Amsterdam (VU) have discovered that the persistent fatigue in patients with long-COVID has a biological cause, namely mitochondria in muscle cells that produce less energy than in healthy patients. The results of the study were published today in Nature…
I was asked (again) today to explain why integer division in Python returns the floor of the result instead of truncating towards zero like...
That rotation curves become flat at large radii is one of the most famous results in extragalactic astronomy. This had been established by Vera Rubin and her collaborators by the late 1970s. There …
Author, writer, and creator sharing insights on learning, writing, philosophy, entrepreneurship, and more.
In the early hours of May 13th, 2024 and after about sixteen hours of play over two days, I achieved one of my poker dreams and outlasted 773 entrants in the RunGood Poker Series $800 No Limit Hold’em Main Event hosted at Graton Casino and Resort to claim the outright win and top prize of $85,780.
"Type-driven development"
Efficient software development benefits from local development, it enables faster iteration, better debugging and ensures consistency between local and production environments.
How I learnt Elm (its good parts and bad) by porting a medium-sized web frontend from React.
I know I'm not alone in having a relationship with the orange site that is... weird. I generally dislike the culture there, it's almost impossible to read any of the comments without being frustrated about the industry I work in or am adjacent to and some of the people who inhabit it; but as a link aggregator of stuff…
Reflections on a Wall Street legend.
