16981
The web just gets better with Interop 2024
The web is amazing.
New
The latest blog posts to take off on Hacker News. 80,900 posts.
16982
Solving SAT via Positive Supercompilation
The boolean satisfiability problem (“SAT” for short) is arguably the most famous NP-complete problem in theoretical computer science. According to Wikipedia, it is “the problem of determining if there exists an interpretation that satisfies a given Boolean formula ”; or, in simpler terms, if there is at least one…
16983
My favourite Git commit (2019)
I like Git commit messages. Used well, I think they’re one of the most powerful tools available to document a codebase over its lifetime. I’d like to illustrate that by showing you my favourite ever Git commit.
16984
Bard's latest updates: Access Gemini Pro globally and generate images
We’re expanding Gemini Pro in Bard to all supported languages and bringing text-to-image generation into Bard.
16985
Compiling a Lisp (2020)
Overture to our small Lisp to x86-64 compiler
16986
16987
The Undercover Generalist
Since starting out as an independent contractor, I’ve always felt a tension between being a generalist software engineer, yet having to market myself as a specialist. I’ve been wanting to write about it for years and even have kept some notes for that purpose. Recently I came across an article by Ben Collins-Sussman…
16988
We built our customer data warehouse all on Postgres
Engineering deep-dives, product updates, and company news from Tembo — the platform for running coding agents across your stack.
16989
Making a PDF that's larger than Germany
We’re gonna need a bigger printer.
16990
MobileDiffusion: Rapid text-to-image generation on-device
Posted by Yang Zhao, Senior Software Engineer, and Tingbo Hou, Senior Staff Software Engineer, Core ML Text-to-image diffusion models have shown ex...
16991
I don't want anything your AI generates
AI output is fundamentally derivative and exploitative (of content, labor and the environment).
16992
The Burial of William the Conqueror: A Comedy of Errors
William the Conqueror is one of those historical figures who need no introduction. Thanks to his famous victory at Hastings in 1066, he dra...
16993
I moved my blog from IPFS to a server
Why did an IPFS+ENS websites pioneer like me moved his blog from IPFS to a regular server?
16994
Fighting Infomania: Why 80% of Your Reading Is a Waste of Time (2016)
Author, writer, and creator sharing insights on learning, writing, philosophy, entrepreneurship, and more.
16995
Building an early warning system for LLM-aided biological threat creation
We’re developing a blueprint for evaluating the risk that a large language model (LLM) could aid someone in creating a biological threat. In an evaluation involving both biology experts and students, we found that GPT-4 provides at most a mild uplift in biological threat creation accuracy. While this uplift is not…
16996
Testing how hard it is to cheat with ChatGPT in interviews
We had interviewees use ChatGPT without their interviewer knowing. Here's what happened.
16997
LLaVA-1.6: Improved reasoning, OCR, and world knowledge
LLaVA team presents LLaVA-1.6, with improved reasoning, OCR, and world knowledge. LLaVA-1.6 even exceeds Gemini Pro on several benchmarks.
16998
Differ: Tool for testing and validating transformed programs
We recently released a new differential testing tool, called DIFFER, for finding bugs and soundness violations in transformed programs. DIFFER combines elements from differential, regression, and fuzz testing to help users find bugs in programs that have been altered by software rewriting, debloating, and hardening…
16999
RavenDB 6.0.2 (A Jepsen Report)
RavenDB is a distributed document database which repeatedly advertises its support for ACID transactions. 1 It’s intended for OLTP workloads, and offers a variety of ETL paths for exporting data to other systems. Its transactional API revolves around a session handle, which “represents a single business transaction on…
17000
Macaroons Escalated Quickly
Documentation and guides from the team at Fly.io.
17001
The theory of concatenative combinators (2007)
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…
17002
In Praise of Buttons
The Nuberodesign Blog
17003
Constructing a Four-Point Egg
For reasons beyond the scope of this entry, I have been investigating elliptical and ovoid shapes. The Wikipedia article for Moss’s egg has a link to a tutorial on Euclidean Eggs by Freyja Hreinsdóttir which (amongst other things) describes how to construct the “four point egg”. I think it is a nicer shape than Moss’s…
17004
XFaaS: Hyperscale and Low Cost Serverless Functions at Meta
This is one of several papers I’ll be reading from 2023’s Symposium on Operating Systems Principles (SOSP). If you’d like to receive regular updates as soon as they’re published, check out my newsletter or follow me on the site formerly known as Twitter . Enjoy!
17005
Why Custom GPTs are better than plugins
On November 6, 2023, OpenAI announced Custom GPTs. Since then, over 3 million GPTs have been created, with over 200.000 of them made publicly available.
17006
Intel's Humbling
Intel under Pat Gelsinger is reaping the disaster that came from a lack of investment and execution a decade ago; the company, though, appears to be headed in the right direction, as evidenced by i…
17007
The business of check cashing
Check cashing, as a business, is a poorly understood "alternative" financial service.
17008
Tear up unused parking lots, plant trees
The photo to the right is of the Staples parking lot behind the York Road store in Baltimore, a classic example of a place that needs to be turned back to urban forest — or developed into a m…
17009
What the The end of 0% interest rates means for software engineers
The end of 10+ years of 0% interest rates is set to change the tech industry. What do higher rates mean for software engineering jobs, developers, and careers; and how can you prepare for this shift?
17010
The C bounded model checker: criminally underused
Follow along on a google colab: https://colab.research.google.com/github/philzook58/philzook58.github.io/blob/master/pynb/cbmc_tut.ipynb