6781
A Minimalist Guide To Program Synthesis
a bare minimum introduction to modern program synthesis
New
The latest blog posts to take off on Hacker News. 21,823 posts.
6782
Postgres Full Text Search vs. the Rest
Comparing one of the most popular Postgres features against alternatives
6783
Using the Free Pascal IDE for a Week
Code can really be written with any text editor that you're comfortable with. I tend to use Vim for quick edits and writing notes, and on L...
6784
Retrowin32, a Win32 emulator
Small steps towards running my favorite demo again.
6785
6786
A modern Fortran scientific programming ecosystem
Historically, large general-purpose libraries have formed the core of the Fortran scientific ecosystem (e.g., SLATEC , or the various PACKS ). Unfortunately, as I have mentioned here before, these libraries were written in FORTRAN 77 (or earlier) and remained unmodified for decades. The amazing algorithms continued…
6787
6788
Digging into a QEMU problem of slow data copying
The work on QEMU and this post was paid for by Determinate Systems, and the post was co-published on the Determinate Systems blog .
6789
Why doesn't Stripe use Stripe Billing?
Can Stripe actually use Stripe Billing to manage subscriptions and invoice its customers? We conducted the experiment.
6790
How boring should your team's codebases be
Thoughts on how to keep the novelty in a team at the correct level for easy onboarding
6791
We are stuck with egrep and fgrep (unless you like beating people)
You're probably reading this page because you've attempted to access some part of my blog (Wandering Thoughts) or CSpace , the wiki thing it's part of. Unfortunately you're using a browser version that my anti-crawler precautions consider suspicious, most often because it's too old (most often this applies to versions…
6792
New ScyllaDB Go Driver: Faster Than GoCQL and Its Rust Counterpart
How we built a new Go ScyllaDB driver that’s almost 4x faster than its GoCQL predecessor and 2X faster than its Rust counterpart.
6793
6794
Using a framework will harm the maintenance of your software
In this article I'm putting together my quotes, thoughts and notes on the idea that Frameworks harm the maintainability of the software you build in that framework. I'm proposing that Frameworks:
6795
Verifying distributed systems with Isabelle/HOL
We use distributed systems every day in the form of internet services. These systems are very useful, but also challenging to implement because networks are unpredictable. Whenever you send a message over the network, it is likely to arrive quite quickly, but it’s possible that it might be delayed for a long time, or…
6796
Anatomy of Linux Dynamic Libraries
Dynamically linked shared libraries are an important aspect of GNU/Linux. They allow executables to dynamically access external functionality at run time and thereby reduce their overall memory footprint (by bringing functionality in when it's needed). This article investigates the process of creating and using…
6797
6798
JEP 431: Sequenced Collections
Introduce new interfaces to represent collections with a defined encounter order. Each such collection has a well-defined first element, second element, and so forth, up to the last element. It also provides uniform APIs for accessing its first and last elements, and for processing its elements in reverse order.
6799
Seven sins of numerical linear algebra
In numerical linear algebra we are concerned with solving linear algebra problems accurately and efficiently and understanding the sensitivity of the problems to perturbations. We describe seven si…
6800
I wish my web server were in the corner of my room
Posted on Monday 10 Oct 2022. 1,417 words, 11 links. By Matt Webb.
6801
Apple introduces Ask Apple for developers
New series of interactive Q&As and one-on-ones provide developers with direct access to Apple experts.
6802
Pico.js – A face-detection library in 200 lines of JavaScript (2018)
We introduce pico.js , a face-detection library written in JavaScript, and show how it works. Although similar projects already exist, our goal is to provide a smaller and computationally more efficient alternative.
6803
They Called It LISP for a Reason: List Processing (2005)
Lists play an important role in Lisp--for reasons both historical and practical. Historically, lists were Lisp's original composite data type, though it has been decades since they were its only such data type. These days, a Common Lisp programmer is as likely to use a vector, a hash table, or a user-defined class or…
6804
How Wine works 101
Wine is a compatibility layer capable of running Windows applications on several POSIX-compliant operating systems, such as Linux, macOS, & BSD (https://www.winehq.org). If you have been using Linux for some time now, chances are you’ve used Wine at some point. Maybe to run that one very important Windows program that…
6805
6806
Improving Firefox Responsiveness on macOS
If you're running Firefox on macOS you might have noticed that its responsiveness has improved significantly in version 103.
6807
Zig-style generics are not well-suited for most languages
A discussion of some of the downsides of Zig
6808
Stop using utcnow and utcfromtimestamp
A public service announcement about the dangers of utcnow and utcfromtimestamp and the benefits of using their replacements.
6809
Building Basilisk II for iOS (2021)
I’ve had numerous requests for a guide to building BasiliskII on iOS. Let me know of anything is unclear or would benefit from more details!
6810
