The latest blog posts to take off on Hacker News. 6,299 posts.
We recently discussed Information industry jobs data from the U.S. Bureau of Labor Statistics: That post showed that layoffs in Information were elevated relative to layoffs for non-farm employment overall...
As a relatively new member of adult society, and an absolute infant of the business world, I didn't think much about bank choice. I figured: you put money in, you take money out, they're all the same. I also figured a local branch of a global bank is just a fungible tentacle of the giant banking machine, so also…
In this blog series, I hope to summarize what Kafka and MQTT are and how they can both fit into an IoT architecture.
Khan Academy explores the potential for GPT-4 in a limited pilot program.
Duolingo’s newest subscription, Duolingo Max, offers a powerful AI-backed learning experience.
This will probably be a short one, and I know I haven't written for a while, but it has always been the case that you get what you pay for and Computers Are Bad is nothing if not affordable. Still, this is a topic on which I am moderately passionate and so I can probably stretch it to an implausible length.
This semester, I am teaching Compilers , and I'm quite happy with how I covered parsing this year. Specifically, I taught students to build a top-down LR parser and it seemed to go relatively well.
Mark Zuckerberg announces steps to make Meta a better technology company and improve our financial performance.
Introducing new generative AI capabilities in Google Cloud and Google Workspace, plus PaLM API and MakerSuite for developers.
In this blog post we discuss the details of two vulnerabilities we discovered in the Trusted Platform Module (TPM) 2.0 reference implementation code. These two vulnerabilities, an out-of-bounds write (CVE-2023-1017) and an out-of-bounds read (CVE-2023-1018), affected several TPM 2.0 software implementations (such as…
New version of ViableS runs in a sandbox, with no shared folders, and can now be isolated from networks. So how well does Ventura work without internet?
In this post, we will discuss recent results from Immunant and Galois in extending C2Rust to emit memory-safe Rust in certain cases. With this work we aim to shift a meaningful part of the translation burden from the human to the machine. Up until now, C2Rust has only been able to translate C to unsafe Rust that is no…
Spoiler: It’s quite possibly the hardest way to build a passive income stream.
Ferris meme Discussion on HackerNews and Lobsters. I have been writing C++ professionally for the last 4 years and 3 months ago I started a new job in Rust....
This technical guide details how you can create your own aerial imagery and 3D models of streets with the built in iPhone LiDAR sensor and open source tools in the OpenDroneMap package.
In recent years, we have also done some late stage investing. But late stage investing turned out to be so different from early stage that we found it to be a distraction from our core mission. So we’re going to decrease the amount of late stage investing we do.
On Saturday 11th March I wrote about how Large language models are having their Stable Diffusion moment. Today is Monday. Let’s look at what’s happened in the past three days. …
I’m excited to announce that the translation of the “ PostgreSQL 14 Internals ” book is finally complete thanks to the amazing work of Liudmila Mantrova. The final part of the book considers each of the index types in great detail. It explains and demonstrates how access methods, operator classes, and data types work…
Losing Signal par Ploum - Lionel Dricot.
Instruction-following models such as GPT-3.5 (text-davinci-003), ChatGPT, Claude, and Bing Chat have become increasingly powerful. Many users now interact with these models regularly and even use them for work. However, despite their widespread deployment, instruction-following models still have many deficiencies…
Google has been in the spotlight for the past few weeks with reports that it has been testing removal news links from search results. The move sparked outrage from MPs, who grilled executives earlier today at Canadian Heritage committee. But now it appears Google has company: the Globe and Mail reports that Facebook…
Mathematician and software engineer. Formalisation and AI
Currently shipping in Chrome Canary, and thus soon to be in Blink-based browsers including Edge, is a relatively new CSS declaration which promises to virtually end typographic widows.
