HTMHell
Grouping form fields
by Matthias Kittsteiner
When I first stumbled upon fieldset and legend, I didn’t know much about...
yesterday
by Matthias Kittsteiner
When I first stumbled upon fieldset and legend, I didn’t know much about HTML and especially not about accessibility. Everything I noticed was the special way a legend is displayed inside a fieldset – or rather: alongside the border of a fieldset.
Fast...
charity.wtf
On Versioning Observabilities (1.0, 2.0, 3.0…10.0?!?)
Hazel Weakly, you little troublemaker. As I whined to Hazel over text, after she sweetly sent me a...
2 days ago
Hazel Weakly, you little troublemaker. As I whined to Hazel over text, after she sweetly sent me a preview draft of her post: “PLEASE don’t post this! I feel like I spend all my time trying to help bring clarity and context to what’s happening in the market, and this is NOT...
HTMHell
My favourite colour is Chuck Norris red
by Declan Chidlow
Setting the colour of text on a webpage is usually a simple affair involving...
2 days ago
by Declan Chidlow
Setting the colour of text on a webpage is usually a simple affair involving whipping it out the good ol' CSS color property. But this is HTMHell, dammit. None of that wishy-washy CSS nonsense here. No siree. We use HTML as the good lord intended and shalln't...
samwho.dev
Turing Machines
body {
text-wrap: pretty;
}
@media (prefers-reduced-motion: reduce) {
* {
...
2 days ago
body {
text-wrap: pretty;
}
@media (prefers-reduced-motion: reduce) {
* {
transition: none;
animation: none;
}
}
turing-machine {
width: 100%;
display: block;
position: relative;
padding-bottom: 1em;
}
turing-machine...
HTMHell
Getting Oriented with HTML Video
by Scott Jehl
A couple years back, I was in a window seat on a flight from Amsterdam to New York....
3 days ago
by Scott Jehl
A couple years back, I was in a window seat on a flight from Amsterdam to New York. The weather was gray and drizzly as the plane took off, but as it punched through the clouds a very different scene revealed itself. Out my window, it looked like a Maxfield Parrish...
The Codist
How Many Hours Can You Code?
How many hours a day can you write code, and at what point does the quality of your work go down?...
4 days ago
How many hours a day can you write code, and at what point does the quality of your work go down? Even more important is how many weeks and months of that max effort you can still be effective.
In my life, there have only been three periods where I
Computer Things
Formally modeling dreidel, the sequel
Channukah's next week and that means my favorite pastime, complaining about how Dreidel is a bad...
4 days ago
Channukah's next week and that means my favorite pastime, complaining about how Dreidel is a bad game. Last year I formally modeled it in PRISM to prove the game's not fun. But because I limited the model to only a small case, I couldn't prove the game was truly bad.
It's time...
Confessions of a...
Reflections on 2024 and Exciting Plans for 2025
Looking back at what we accomplished in 2024, and plans for 2025
4 days ago
Looking back at what we accomplished in 2024, and plans for 2025
Blog - Bitfield...
Why you can't meditate
You can't clear your mind, or achieve bliss by sitting on a special
cushion. But you can start to...
4 days ago
You can't clear your mind, or achieve bliss by sitting on a special
cushion. But you can start to gently train your brain to stop craving
distraction and overstimulation. In this excerpt from Monk Mode, we'll see
how.
HTMHell
Microdata for books
by Alan Dalton
Dive into marking up books
Books are the best Christmas presents, especially for us...
4 days ago
by Alan Dalton
Dive into marking up books
Books are the best Christmas presents, especially for us web geeks. (I hope you’ll find a Web Accessibility Cookbook in your Christmas stocking, gentle reader.) Unfortunately, A Book Apart closed this year. Fortunately, the authors...
On Test Automation
RestAssured .NET in 2024 - a review
As a (sort of) follow-up post to my yearly review for 2024, in this post, I would like to go over...
4 days ago
As a (sort of) follow-up post to my yearly review for 2024, in this post, I would like to go over the changes, bug fixes and new features that have been introduced in RestAssured .NET in 2024. This year, I released 7 new versions of the library, and while none of the versions...
37signals Dev
Announcing Hotwire Spark: live reloading for Rails applications
Today, we are releasing Hotwire Spark, a live-reloading system for Rails Applications.
Reloading the...
4 days ago
Today, we are releasing Hotwire Spark, a live-reloading system for Rails Applications.
Reloading the browser automatically on source changes is a problem that has been well-solved for a long time. Here, we wanted to put an accent on smoothness. If the reload operation is very...
swyx's site RSS Feed
swyx in 2024 End of Year wraps
i was involved in 3 end of year-ish recaps today:
5 days ago
i was involved in 3 end of year-ish recaps today:
charity.wtf
“Founder Mode” and the Art of Mythmaking
I’ve never been good at “hot takes”. Anyone who knows anything about marketing can tell you that the...
5 days ago
I’ve never been good at “hot takes”. Anyone who knows anything about marketing can tell you that the best time to share your opinion about something is when everyone is all worked up about it. Hot topics drive clicks and eyeballs and attention en masse. Unfortunately, my internal...
Posts on Nikita...
RustLab 2024
I had the chance to speak at RustLab 2024! I will be honest, this was the point I realised that 4...
5 days ago
I had the chance to speak at RustLab 2024! I will be honest, this was the point I realised that 4 conferences in one year was a bad idea. I was exhausted and overwhelmed, but I still had a blast meeting new people and answering the questions after the talk. It had the following...
Posts on Nikita...
EuroRust 2024
I had the pleasure to speak at EuroRust this year! This was my third and final talk about elfo, an...
5 days ago
I had the pleasure to speak at EuroRust this year! This was my third and final talk about elfo, an actor system written in Rust. As I’m no longer an active contributor to elfo, it feels a bit bittersweet to finish last thing related to the project. I wish maintainers of elfo well...
Posts on Nikita...
P99 Conf 2024
This year, I was invited to speak at P99 Conf. The format of a virtual conference was new to me, but...
5 days ago
This year, I was invited to speak at P99 Conf. The format of a virtual conference was new to me, but hats off to the organisers as it went very smooth for me. I presented a talk with the following abstract:
Low-Latency Mesh Services Using Actors
We’re transforming elfo, our Rust...
Alex Meub
The Magic of Solving Problems with 3D Printing
3D Printing has allowed me to be creative in ways I never thought possible. It has allowed me to...
5 days ago
3D Printing has allowed me to be creative in ways I never thought possible. It has allowed me to create products that provide real value, products that didn’t exist before I designed them. On top of that, it’s satisfied my desire to ship products, even if the end-user is just...
HTMHell
An HTML structure for a tab component
by Marco Bretschneider
Can you remember the day you first learnt about ARIA? Maybe the first fact...
5 days ago
by Marco Bretschneider
Can you remember the day you first learnt about ARIA? Maybe the first fact you learnt about ARIA was the first rule “Don't use ARIA, use native HTML instead“ - and so did I.
As someone who has been able to speak native HTML for many years, I always thought...
David Heinemeier...
The premise trap
The hardest part for me about collaborating with junior programmers, whether it's in open source or...
6 days ago
The hardest part for me about collaborating with junior programmers, whether it's in open source or at work, is avoiding the premise trap. That's where the fundamental assumptions baked into the first draft of the code aren't questioned until you've already spent far too long...
HTMHell
You don’t need the isOpen class
by Maureen Holland
Don’t get me wrong. You can keep it if you like it. But you don’t need it.
A...
6 days ago
by Maureen Holland
Don’t get me wrong. You can keep it if you like it. But you don’t need it.
A class selector can allow us to visually show or hide content for disclosure widgets, like a custom select component or dropdown navigation menu. But a disclosure widget is made of two...
ntietz.com blog -...
Estimating projects sells them short (and that's okay)
Recently, I read a blog post about doing software project estimates.
It's a reasonable post with a...
6 days ago
Recently, I read a blog post about doing software project estimates.
It's a reasonable post with a reasonable method.
But it does what all estimates do: it sells projects short.
I don't mean in the sense of underestimating a young promising project's potential, relegating it to...
On Test Automation
2024 - A year in review
Well, I guess it’s true: time does fly when you’re having fun! 2024 is coming towards an end soon,...
6 days ago
Well, I guess it’s true: time does fly when you’re having fun! 2024 is coming towards an end soon, and since I’m deliberately slowing down this week and will be away from work for two weeks after that, this to me is a great time to look back on 2024 and what it has brought me...
Confessions of a...
Recording: Live Coding a Bytecode Compiler for Python
Yesterday we concluded the live session on live coding a bytecode compiler and interpreter (VM) for...
a week ago
Yesterday we concluded the live session on live coding a bytecode compiler and interpreter (VM) for a tiny subset of Python in Python. Even though I said I will not be sharing the recording, I think the session went quite smooth so I am sharing it here.
A Smart Bear
Solving the Low-Budget Online Marketing Dilemma
Low on cash but need marketing results? Here are four specific things you can do to grow on a...
a week ago
Low on cash but need marketing results? Here are four specific things you can do to grow on a budget.
macwright.com
Recently 2024
Happy end-of-2024! It’s been a pretty good year overall. I’m thankful. There’s no way that I’ll be...
a week ago
Happy end-of-2024! It’s been a pretty good year overall. I’m thankful. There’s no way that I’ll be able to remember and carve out the time around New Years to write this, so here’s some end-of-year roundup, ahead of schedule!
Running
This was my biggest year for running on...
HTMHell
The Gift You Do NOT Want: A Div in a Button's Clothing
by Corina Murg
With the right CSS makeup and a click event, almost anything can pretend to be a...
a week ago
by Corina Murg
With the right CSS makeup and a click event, almost anything can pretend to be a button. In accessibility work, we spot these fakes and fix them, but teaching others why and how to do it is just as important. It’s not just about correcting a single mistake; it’s...
blag
In search of a faster SQLite
Researchers at the University of Helsinki and Cambridge attempted to build a faster SQLite using...
a week ago
Researchers at the University of Helsinki and Cambridge attempted to build a faster SQLite using modern programming paradigms like io_uring and disaggregated storage. They demonstrate up to a 100x reduction in tail latency. These are my notes.
Irrational...
2024 in review.
A lot happened for me this year.
I continued learning the details of fund accounting at Carta,
which...
a week ago
A lot happened for me this year.
I continued learning the details of fund accounting at Carta,
which is likely the most complex product domain I’ve worked in.
My third book was published, and I did a small speaking tour to support it.
We started the unironically daunting San...
HTMHell
Page by Page: How Pagination Makes the Web Accessible
by Kristin Rohleder
Imagine you’re reading a book that seems perfect for cozy winter evenings. But...
a week ago
by Kristin Rohleder
Imagine you’re reading a book that seems perfect for cozy winter evenings. But as soon as you turn the page, you suddenly find yourself somewhere else, rather than on the next page of the story. Now, you have to painstakingly search through the book to find...
Blog System/5
Synology DS923+ vs. FreeBSD w/ZFS
A comparison of a home-built FreeBSD NAS with ZFS against the DS923+ storage appliance from...
a week ago
A comparison of a home-built FreeBSD NAS with ZFS against the DS923+ storage appliance from Synology.
HTMHell
Improving User Experience for Multilingual Web Browsing
by Anastasiia Batarei
Today, I’d like to talk about the experience of browsing websites where...
a week ago
by Anastasiia Batarei
Today, I’d like to talk about the experience of browsing websites where content is fully or partially in a language different from the user’s native one. This situation is common for users navigating government portals or local service providers in a country...
elementary Blog
Happy Holidays! We Come Bringing Gifts!
It’s only been a little over 2 weeks since we released elementary OS 8, but we’re already back with...
a week ago
It’s only been a little over 2 weeks since we released elementary OS 8, but we’re already back with updates just in time for the holidays!
Terminal
The headliner this month is Terminal which comes with a bunch of fixes and new features thanks to Jeremy. It now uses the more...
Confessions of a...
Context Switching and Performance: What Every Developer Should Know
Understand how context switching affects CPU registers, caches, TLB, and pipeline performance, and...
a week ago
Understand how context switching affects CPU registers, caches, TLB, and pipeline performance, and learn strategies to mitigate performance penalties
Julia Evans
"Rules" that terminal programs follow
Recently I’ve been thinking about how everything that happens in the terminal
is some combination...
a week ago
Recently I’ve been thinking about how everything that happens in the terminal
is some combination of:
Your operating system’s job
Your shell’s job
Your terminal emulator’s job
The job of whatever program you happen to be running (like top or vim or cat)
The first three (your...
HTMHell
HTML and CSS I didn't even know about before I started creating content in Japanese
by Julia Undeutsch
Since I started to create content in Japanese, I also wanted to learn about...
a week ago
by Julia Undeutsch
Since I started to create content in Japanese, I also wanted to learn about traditional setups, like having Japanese text flow from top to bottom, right to left, like you’d see in newspapers or novels. That's when I discovered CSS properties like writing-mode:...
37signals Dev
A vanilla Rails stack is plenty
If you have the luxury of starting a new Rails app today, here’s our recommendation: go...
a week ago
If you have the luxury of starting a new Rails app today, here’s our recommendation: go vanilla.
Fight hard before adding Ruby dependencies. Keep that Gemfile that Rails generates as close to the original one as possible.
Fight even harder before adding Javascript dependencies....
Computer Things
Stroustrop's Rule
Just finished two weeks of workshops and am exhausted, so this one will be light.
Hanuka Sale
Logic...
a week ago
Just finished two weeks of workshops and am exhausted, so this one will be light.
Hanuka Sale
Logic for Programmers is on sale until the end of Chanukah! That's Jan 2nd if you're not Jewish. Get it for 40% off here.
Stroustrop's Rule
I first encountered Stroustrop's Rule on this...
Computer Things
Stroustrup's Rule
Just finished two weeks of workshops and am exhausted, so this one will be light.
Hanuka Sale
Logic...
a week ago
Just finished two weeks of workshops and am exhausted, so this one will be light.
Hanuka Sale
Logic for Programmers is on sale until the end of Chanukah! That's Jan 2nd if you're not Jewish. Get it for 40% off here.
Stroustrup's Rule
I first encountered Stroustrup's Rule on this...
HTMHell
Makeshift hot reload
by Evan Hahn
In short: put <meta http-equiv="refresh" content="1"> in your <head> element to refresh...
a week ago
by Evan Hahn
In short: put <meta http-equiv="refresh" content="1"> in your <head> element to refresh your page every second. This is a makeshift "hot reload" for development. It's not perfect, but it can be a quick solution!
Hot reloading automatically reloads parts of your page...
On Test Automation
The test automation quadrant, or a different way to look at your tests
Like many others working in software testing, and more specifically in automation, I have been...
a week ago
Like many others working in software testing, and more specifically in automation, I have been introduced to the concept of the test automation pyramid early on in my career. While this model has received its share of criticism in the testing community over the years, I still use...
The Pragmatic...
Why my new audiobook “The Software Engineer's Guidebook” is everywhere except on Audible
Currently, Audible’s position is hurting audiobook authors. My audiobook isn’t on Audible due to a...
a week ago
Currently, Audible’s position is hurting audiobook authors. My audiobook isn’t on Audible due to a mix of their monopolistic pricing practices, and the company’s own complacency in how long they take to approve new titles.
The History of the...
Where did mainstream media come from?
The term mainstream media is so common these days, we can forget where it came from. But it has an...
a week ago
The term mainstream media is so common these days, we can forget where it came from. But it has an interesting connection with the web.
The post Where did mainstream media come from? appeared first on The History of the Web.
HTMHell
Submit to the Quirks of HTML
by Felix Hessenberger
It was on a cold February evening. I had been working on a client project,...
a week ago
by Felix Hessenberger
It was on a cold February evening. I had been working on a client project, building an order item list—nothing out of the ordinary. To adjust an item’s quantity, the user would open a popup form with a single input field, type a number, and hit...
Quentin Santos
Rust Strings for C Programmers
This article will quickly explain the Rust types [T; N], &[T; N], &[T], Vec<T>, &Vec<T> with C code,...
a week ago
This article will quickly explain the Rust types [T; N], &[T; N], &[T], Vec<T>, &Vec<T> with C code, and what the str, &str, String, OsString and CString add. Arrays and Slices Rust C [T; N] (array)Example: [i32; 100]Allocated on the stack T[N]Example: int[100]Allocated on the...
HTMHell
Native HTML light and dark color scheme switching
by Vadim Makeev
It’s getting dark early in Berlin in the winter. It’s not even close to evening, but...
a week ago
by Vadim Makeev
It’s getting dark early in Berlin in the winter. It’s not even close to evening, but my OS and all apps have already switched to dark mode. Well, not all of them, unfortunately. And that’s the thing: dark mode has become a quality-of-life feature for many users,...
ntietz.com blog -...
Parsing MIDI messages in Rust
I'm working on a terrible idea of a project, and this project uses MIDI.
That means I need a MIDI...
a week ago
I'm working on a terrible idea of a project, and this project uses MIDI.
That means I need a MIDI implementation!
I chose to use an existing library, midir, to connect to devices and receive messages.
But the reason I was interested in this not-yet-announced project is because I...
Irrational...
Measuring developer experience, benchmarks, and providing a theory of improvement.
Back in 2020, I wrote a piece called
My skepticism towards current developer meta-productivity...
a week ago
Back in 2020, I wrote a piece called
My skepticism towards current developer meta-productivity tools,
which laid out my three core problems with developer productivity measurement tools of the time:
Using productivity measures to evaluate rather than learn
Instrumenting metrics...
Blog - Bitfield...
Suite smells: undertesting and overtesting
Tests are great, provided they actually test something. But are your tests
too optimistic...
2 weeks ago
Tests are great, provided they actually test something. But are your tests
too optimistic (assuming the code already works), or too persnickety
(testing the irrelevant)?
A Smart Bear
Brittle Points: How to make companies robust
Brittleness is when the company fails because just one component breaks. Learn some strategies for...
2 weeks ago
Brittleness is when the company fails because just one component breaks. Learn some strategies for fixing Brittle Points.
swyx's site RSS Feed
Holding Space for Wicked (Part One)
2 weeks ago
HTMHell
Past HTML, Future HTML?
by Jens Oliver Meiert
Consider the following HTML document:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML...
2 weeks ago
by Jens Oliver Meiert
Consider the following HTML document:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 1996-01//EN">
<html>
<head>
<title></title>
</head>
<body>
<p class="Author">
<h1></h1>
<P>
<P>
<H2></H2>
<P>
<UL>
<LI>
<LI>
...
Posts on Nikita...
2024 Reflection
Holy shit, what a year that was. It was absolutely bonkers overwhelming. A lot of interesting stuff...
2 weeks ago
Holy shit, what a year that was. It was absolutely bonkers overwhelming. A lot of interesting stuff happened, but at the same time I took on so much more than I could handle.
Conferences Speaking at RustLab 2024
During late 2023 and early 2024 I applied to a bunch of conferences....
blag
Galloping Search
I recently learned about Galloping Search while building a distributed log called s3-log. It’s used...
2 weeks ago
I recently learned about Galloping Search while building a distributed log called s3-log. It’s used to search sorted items when the upper bound is unknown. In this short post, I will share my notes and other alternatives I discovered for searching over unbounded items
HTMHell
HTMHAIL
by Léonie Watson
Almost, but not quite, entirely unlike...
Can you give me the HTML for an...
2 weeks ago
by Léonie Watson
Almost, but not quite, entirely unlike...
Can you give me the HTML for an accessible button please?
It was a simple enough question. Or it would have been, had I been asking another person. As it was, I was asking ChatGPT, and so of course there was nothing...
the singularity is...
The Elon Swing Voter
I’m getting on a plane back to America tonight, been away for over 3 months. It sort of fills me...
2 weeks ago
I’m getting on a plane back to America tonight, been away for over 3 months. It sort of fills me with dread and anxiety. I remember going to the Apple store before I was leaving, the uhhhhhhh from the sales people was awful. 0 pride. Nobody cares. So different from the sales...
HTMHell
aria-labelledby = self
by Weston Thayer
An accessible name is how UI components are identified to assistive tech. Having a...
2 weeks ago
by Weston Thayer
An accessible name is how UI components are identified to assistive tech. Having a good accessible name is important. If not, negative effects may include screen reader users missing out on vital information, voice control users struggling to interact, and any...
macwright.com
Bandcamp wrapped
I still use Bandcamp almost exclusively to buy music, and keep a big library of MP3s.
The downside...
2 weeks ago
I still use Bandcamp almost exclusively to buy music, and keep a big library of MP3s.
The downside is that this marks me as a weirdo, but otherwise it’s
great and has been working well for me.
Since I last wrote about it, Bandcamp was acquired by Epic games
(?) and then acquired...
Tony Finch's blog
nsnotifyd-2.3 released
D’oh, I lost track of a bug report that should have been fixed in
nsnotifyd-2.2. Thus, hot on the...
2 weeks ago
D’oh, I lost track of a bug report that should have been fixed in
nsnotifyd-2.2. Thus, hot on the heels of [the previous release][prev],
here’s nsnotifyd-2.3. Sorry for causing extra work to
my uncountably many users!
The nsnotifyd daemon monitors a set of DNS zones and runs a...
Oxide Computer...
dtrace.conf(24)
Sometime in late 2007, we had the idea of a DTrace conference.
Or really, more of a meetup; from the...
2 weeks ago
Sometime in late 2007, we had the idea of a DTrace conference.
Or really, more of a meetup; from the primordial e-mail I sent:
The goal here, by the way, is not a DTrace user group, but more of a
face-to-face meeting with people actively involved in DTrace — either by
porting...
HTMHell
Forced Colors Mode Futility
by Matthias Zöchling
figure{margin-bottom:2.4rem}figure img{aspect-ratio:4;border: 6px solid...
2 weeks ago
by Matthias Zöchling
figure{margin-bottom:2.4rem}figure img{aspect-ratio:4;border: 6px solid #000}figcaption,sup,.highlight,section:has(#resources) span,section:has(#fns)...
Kagi Blog
Kagi for Teams
To satisfy the growing demand for our services in work environments, we are launching Kagi for Teams...
2 weeks ago
To satisfy the growing demand for our services in work environments, we are launching Kagi for Teams ( https://kagi.com/teams ) - bringing our unmatched quality, privacy-focused search and AI tools to businesses worldwide.
On Test Automation
On ditching hourly and productizing my services
In the last couple of weeks, I’ve spent much more time commuting than normal. I mostly work remotely...
2 weeks ago
In the last couple of weeks, I’ve spent much more time commuting than normal. I mostly work remotely these days, for clients both in the Netherlands and abroad. And I like it that way. Don’t get me wrong, I like to drive, but commuting takes up a lot of time, time I would rather...
Quentin Santos
You can move !Unpin
Although I am now mostly comfortable with Rust, some concepts still elude me. One of them is the...
2 weeks ago
Although I am now mostly comfortable with Rust, some concepts still elude me. One of them is the exact meaning of Unpin. The documentation says: The documentation of Unpin says: Types that do not require any pinning guarantees. Where pinning is described as: From this, you could...
Charles Chen
Lessons Learned from Working at Startups
Self-note on some lessons learned from working at a variety of startups over my career
2 weeks ago
Self-note on some lessons learned from working at a variety of startups over my career
HTMHell
Control the Viewport Resize Behavior on mobile with `interactive-widget`
by Bramus
figcaption {
font-size: 0.8em;
text-align: center;
}
Viewports units on...
2 weeks ago
by Bramus
figcaption {
font-size: 0.8em;
text-align: center;
}
Viewports units on mobile have been a problem for a long time. Using 100vh is most likely not exactly what you initially expected it to be. To fix this, the CSS Working Group came up with more units over...
37signals Dev
Mission Control — Jobs 1.0 released
We’ve just released Mission Control — Jobs v1.0.0, the dashboard and set of extensions to operate...
2 weeks ago
We’ve just released Mission Control — Jobs v1.0.0, the dashboard and set of extensions to operate background jobs that we introduced earlier this year. This new version is the result of 92 pull requests, 67 issues and the help of 35 different contributors. It includes many...
HTMHell
Smooth Multi-Page Experiences with Just a Few Lines of CSS
by John Allsopp
A single line of CSS can enable slick multi-page transitions for web applications...
2 weeks ago
by John Allsopp
A single line of CSS can enable slick multi-page transitions for web applications (and web sites for those who maintain there's a difference), opening up new possibilities for web app architectures, and website experiences. So let’s take a look at View...
Coding Horror
The Great Filter Comes For Us All
With a 13 billion year head start on evolution, why haven't any other forms of life in the universe...
2 weeks ago
With a 13 billion year head start on evolution, why haven't any other forms of life in the universe contacted us by now?
teaching the aliens how to exit Vim
(Arrival is a fantastic movie. Watch it, but don't stop there - read the Story of
Josh Comeau's blog
Next-level frosted glass with backdrop-filter
Glassy headers have become a core part of the “slick startup” UI toolkit, but they’re all missing...
2 weeks ago
Glassy headers have become a core part of the “slick startup” UI toolkit, but they’re all missing that final 10% that really makes it shine. In this tutorial, you’ll learn how to create the most realistic lush frosted glass anywhere on the internet.
The Pragmatic...
The Pragmatic Engineer: Cyber Monday Deals
It's Cyber Monday: and I'm offering one-day, one-off discounts on my ebooks, as well as on The...
2 weeks ago
It's Cyber Monday: and I'm offering one-day, one-off discounts on my ebooks, as well as on The Pragmatic Engineer Newsletter. Here they are:
The Pragmatic Engineer Newsletter: 20% off, for the first year, for annual subscriptions. Claim it here. See more details, and read reviews...
HTMHell
Starting off right: Where autofocus shines
by Kilian Valkhof
Focus is where the user is on your website. It's what makes it possible to...
2 weeks ago
by Kilian Valkhof
Focus is where the user is on your website. It's what makes it possible to navigate your site with the keyboard or other assistive technologies, and it's how a browser knows which form element you're typing in. It's vital to get right if you want to build good...
ntietz.com blog -...
Evolving my ergonomic setup (or, my laptop with extra steps)
My computer setup attracts attention when I'm out and about.
This has two effects: engineers1 ask me...
2 weeks ago
My computer setup attracts attention when I'm out and about.
This has two effects: engineers1 ask me about it, and everyone else ignores me.
These effects are not undesirable, but further testing is required.
The main reason I have such an unusual setup, though, is more...
Confessions of a...
Live Session: Live Coding a Bytecode Interpreter for Python
I will be redoing this session because the previous one had to be cancelled.
2 weeks ago
I will be redoing this session because the previous one had to be cancelled.
A Smart Bear
Scars
Our emotional baggage and experience make us unique, but also serve as blinders.
3 weeks ago
Our emotional baggage and experience make us unique, but also serve as blinders.
HTMHell
A link on a logo in the header, what should the alt-text be?
by Rian Rietveld
It's a common pattern to use a logo in the header as a link to the homepage.
Fun...
3 weeks ago
by Rian Rietveld
It's a common pattern to use a logo in the header as a link to the homepage.
Fun fact: the alt text of the image inside a link, will be added to the link text.
The problem with linking a logo is that it serves 2 purposes:
a logo, that tells you which site you are...
blag
Building a distributed log using S3 (under 150 lines of Go)
In this third part of the series, I will show how we can implement a durable, distributed, and...
3 weeks ago
In this third part of the series, I will show how we can implement a durable, distributed, and highly available log using S3
the singularity is...
The Soul
ugh the deep state didn’t come for me I just realized that what gets engagement is so boring. you...
3 weeks ago
ugh the deep state didn’t come for me I just realized that what gets engagement is so boring. you wish there was a deep state that came for me. then at least there would be some adults in the room.
I used to fantasize about being or kissing Skrillex
the whole album is bangers...
Irrational...
Rough notes on learning Wardley Mapping.
In my ongoing efforts to draft a book on engineering strategy,
I’ve finally reached the point where...
3 weeks ago
In my ongoing efforts to draft a book on engineering strategy,
I’ve finally reached the point where I need to transition “Wardley Mapping” from a topic to
consider including into a topic that I either do or do not include.
The first step on that line is getting much deeper at...
Joel Gascoigne's...
Fourteen years
Fourteen years
It's a little hard to believe. Fourteen years ago today, I launched Buffer from my...
3 weeks ago
Fourteen years
It's a little hard to believe. Fourteen years ago today, I launched Buffer from my apartment in Birmingham, in the UK. The launch came seven weeks after I started working on the project on the side as a contract web developer. For a few weeks, I called it bfffr...
bunnie's blog
Name that Ware, November 2024
The Ware for November 2024 is shown below. Click on any image for a larger version. I have a policy...
3 weeks ago
The Ware for November 2024 is shown below. Click on any image for a larger version. I have a policy of never using one of my own projects for name that ware. But, sometimes I see another person’s project in the wild and it is just too cool not to share! I came across this […]
bunnie's blog
Winner, Name that Ware October 2024
Last month’s ware were boards from a Sony HCD-T1. Thanks again to spida for contributing the ware,...
3 weeks ago
Last month’s ware were boards from a Sony HCD-T1. Thanks again to spida for contributing the ware, and congratulations to marcan for nailing it. Ping me if you want a prize!
The Pragmatic...
The Pragmatic Engineer in 2024
The last 12 months, The Pragmatic Engineer covered a variety of deepdives, revealing previously...
3 weeks ago
The last 12 months, The Pragmatic Engineer covered a variety of deepdives, revealing previously unshared details like what Stripe's engineering culture is like, The architecture evolution of Bluesky, How the ChatGPT scaled to meet demand, How Anthropic builds products, How and...
Julia Evans
Why pipes sometimes get "stuck": buffering
Here’s a niche terminal problem that has bothered me for years but that I never
really understood...
3 weeks ago
Here’s a niche terminal problem that has bothered me for years but that I never
really understood until a few weeks ago. Let’s say you’re running this command
to watch for some specific output in a log file:
tail -f /some/log/file | grep thing1 | grep thing2
If log lines are...
the singularity is...
nuke/acc
I wrote a tweet about this but deleted it, since it’s a much more nuanced topic than can be...
3 weeks ago
I wrote a tweet about this but deleted it, since it’s a much more nuanced topic than can be discussed there. Nuclear weapons are the Chekhov’s gun on the world stage.
When, if ever, are they going to be fired? When should they be?
I suspect this is not a question a lot of people...
Tony Finch's blog
nsnotifyd-2.2 released
I have made
a new release of nsnotifyd,
a tiny DNS server that just listens for NOTIFY messages
and...
3 weeks ago
I have made
a new release of nsnotifyd,
a tiny DNS server that just listens for NOTIFY messages
and runs a script when one of your zones changes.
This nsnotifyd-2.2 release includes a new feature:
nsnotify can now send NOTIFY messages from a specific source address
Thanks to Adam...
Nelson's Weblog
Legal aid charities for immigrants (2024)
The Trump administration has made aggressive threats against immigrants
in the US. It’s not clear...
3 weeks ago
The Trump administration has made aggressive threats against immigrants
in the US. It’s not clear what’s coming, my biggest fear is a violent
display of fascism. (Don’t
call them camps!) But even if it’s a polite legal process it will be
chaotic and disruptive to many...
Jake Zimmerman
What if typing on phones was fast?
3 weeks ago
The Pragmatic...
Which IDEs do software engineers love, and why?
oftware engineers shared their favorite IDEs on social media, and the most-mentioned one by a...
3 weeks ago
oftware engineers shared their favorite IDEs on social media, and the most-mentioned one by a comfortable margin was Cursor. WindSurf and Zed also seem to be getting traction at the expense of Visual Studio, and JetBrains.
Josh Comeau's blog
A Framework for Evaluating Browser Support
Lots of exciting new features have been landing in CSS recently, and it can be tough trying to...
3 weeks ago
Lots of exciting new features have been landing in CSS recently, and it can be tough trying to figure out if they’re safe to use or not. We might know that a feature is available for 92% of users, but is that sufficient? Where do we draw the line? In this blog post, I’ll share...
Confessions of a...
Disillusioning the Magic of the fork System Call
How the kernels implement the fork system call
3 weeks ago
How the kernels implement the fork system call
The History of the...
The Free Web
There is something you can do to help the open web. Put yourself on it.
The post The Free Web...
3 weeks ago
There is something you can do to help the open web. Put yourself on it.
The post The Free Web appeared first on The History of the Web.
elementary Blog
elementary OS 8 Available Today
We’re proud to announce that elementary OS 8 is available to download later today and shipping on...
3 weeks ago
We’re proud to announce that elementary OS 8 is available to download later today and shipping on several high-quality computers!
With OS 8, we’ve focused in on:
Creating a new Secure Session that ensures applications respect your privacy and require your consent
A brand new...
HTMHell
#34 a button is not a link
Bad code
<button type="button" onclick="window.open('https://example.com/other-page')">Link target...
3 weeks ago
Bad code
<button type="button" onclick="window.open('https://example.com/other-page')">Link target description</button>
Issues and how to fix them
A button opening a link will be unexpected behavior for screen reader users. No matter how it is styled.
Links disguised as buttons...
ntietz.com blog -...
Terminology isn't universal
A little while back, I wrote that we shouldn't say "auth" but should use other terms instead.
I...
3 weeks ago
A little while back, I wrote that we shouldn't say "auth" but should use other terms instead.
I stand by my argument in general, but it also has another side to it: my suggested terminology makes sense in some domains, but not in all domains.
And that's because terminology...
Tony Finch's blog
petnames and Zooko's fan
Recently the Spritely Institute
published an introduction to Petnames, A humane approach to...
3 weeks ago
Recently the Spritely Institute
published an introduction to Petnames, A humane approach to secure,
decentralized naming.
I have long been a fan of petnames, and graph naming systems in
general. I first learned about them in the context of Mark Miller’s
E programming language...
blag
Zero Disk Architecture
State is pain. The next generation of infrastructure tools will be built on diskless paradigm. In...
3 weeks ago
State is pain. The next generation of infrastructure tools will be built on diskless paradigm. In this short post I will explain what is Diskless / Zero Disk Architecture
A Smart Bear
Intense Asymmetry and Self-Flagellation
Erica Douglass sold her company for $1M, yet still struggles with self-worth; why driven people...
4 weeks ago
Erica Douglass sold her company for $1M, yet still struggles with self-worth; why driven people can't escape Impostor Syndrome.
On Test Automation
Contract testing - what (not) to test for - part 1
Recently, I started working with a new client who have been working on their contract testing...
4 weeks ago
Recently, I started working with a new client who have been working on their contract testing implementation for a while and figured out they could use some outside help. I’ve paid them a visit recently, and to make the most out of our time together (there was some travel...
Paolo Amoroso's...
Samantha Cristoforetti's Logbook
<.
You can also watch the video on YouTube.
The content itself...
David Heinemeier...
Cold reading an ADHD affliction
I'm sure there are truly pathological cases of ADHD out there, and maybe taking amphetamines really...
a month ago
I'm sure there are truly pathological cases of ADHD out there, and maybe taking amphetamines really is a magic pill for some folks. But there clearly is also an entire cottage industry cropping up around convincing perfectly normal people that they suffer from ADHD, and that this...
swyx's site RSS Feed
Engineering AI Agents - OpenAI DevDay Singapore talk
this is the tracking doc for my talk on "Engineering AI Agents" for OpenAI DevDay Singapore.
a month ago
this is the tracking doc for my talk on "Engineering AI Agents" for OpenAI DevDay Singapore.
Computer Things
Hyperproperties
I wrote about hyperproperties on my blog four years ago, but now an intriguing client problem got me...
a month ago
I wrote about hyperproperties on my blog four years ago, but now an intriguing client problem got me thinking about them again.1
We're using TLA+ to model a system that starts in state A, and under certain complicated conditions P, transitions to state B. They also had a flag f...
David Heinemeier...
Joining the Shopify board of directors
I've known Tobi for over twenty years now. Right from the earliest days of Ruby on Rails, when he...
a month ago
I've known Tobi for over twenty years now. Right from the earliest days of Ruby on Rails, when he was building Snowdevil, which eventually became Shopify, to sell snowboards online. Here's his first commit to Rails from 2004, which improved the ergonomics of controller testing....
the singularity is...
A Place for Me
Have all the jobs been fake for years? Read this, a NASA critique from 1992.
Basically society is...
a month ago
Have all the jobs been fake for years? Read this, a NASA critique from 1992.
Basically society is run by useless people making work for other useless people so that together they can all alleviate their deep concern about not having a place in society.
Elon has a bigger tent of...
Blog - Bitfield...
Rust and Go vs everything else
Alex Pliutau and I discuss what Go programmers should know about Rust, and
why the two languages...
a month ago
Alex Pliutau and I discuss what Go programmers should know about Rust, and
why the two languages make perfect partners.
charity.wtf
There Is Only One Key Difference Between Observability 1.0 and 2.0
Originally posted on the Honeycomb blog on November 19th, 2024 We’ve been talking about...
a month ago
Originally posted on the Honeycomb blog on November 19th, 2024 We’ve been talking about observability 2.0 a lot lately; what it means for telemetry and instrumentation, its practices and sociotechnical implications, and the dramatically different shape of its cost model. With all...
A Beautiful Site
If Edgar Allan Poe was into Design Systems
Once upon a midnight dreary, while I pondered, weak and weary,
While I nodded, nearly napping,...
a month ago
Once upon a midnight dreary, while I pondered, weak and weary,
While I nodded, nearly napping, suddenly there came a tapping,
"'Tis a design system," I muttered, "bringing order to the core—
Ah, distinctly I remember, every button, every splendor,
Each component, standardized,...
Ferd.ca
Local Optimizations Don't Lead to Global Optimums
I like to think that I write code deliberately. I’m an admittedly slow developer, and I want to...
a month ago
I like to think that I write code deliberately. I’m an admittedly slow developer, and I want to believe I do so on purpose. I want to know as much as I can about the context of what it is that I'm automating.
I also use a limited set of tools. I used old computers for a long...
Confessions of a...
An Unreachable Hidden XKCD Easter Egg inside CPython
No, I'm not talking about import antigravity
a month ago
No, I'm not talking about import antigravity
Oxide Computer...
Advancing Cloud and HPC Convergence with Lawrence Livermore National Laboratory
Oxide Computer Company and Lawrence Livermore National Laboratory Work Together to Advance Cloud and...
a month ago
Oxide Computer Company and Lawrence Livermore National Laboratory Work Together to Advance Cloud and HPC Convergence
Oxide Computer Company and Lawrence Livermore National Laboratory (LLNL) today announced a plan to bring on-premises cloud computing capabilities to the Livermore...
Julia Evans
Importing a frontend Javascript library without a build system
I like writing Javascript without a build system
and for the millionth time yesterday I ran into a...
a month ago
I like writing Javascript without a build system
and for the millionth time yesterday I ran into a problem where I needed to
figure out how to import a Javascript library in my code without using a build
system, and it took FOREVER to figure out how to import it because...
ntietz.com blog -...
Using Talon in a game jam
I use Talon to control my computer some of the time.
It's mostly voice control, but it has so many...
a month ago
I use Talon to control my computer some of the time.
It's mostly voice control, but it has so many other controls built in!
One lets you use an eye tracker as a mouse.
I thought this sounded like a neat interaction for other situations too.
When I mentioned this to a friend, he...
Darek Kay
Open Graph images: Format compatibility across platforms
While redesigning my photography website, I've looked into the Open Graph (OG) images, which are...
a month ago
While redesigning my photography website, I've looked into the Open Graph (OG) images, which are displayed when sharing a link on social media or messaging apps. Here's an example from WhatsApp:
For each photo that I publish, I create a WebP thumbnail for the gallery. I wanted...
A Smart Bear
p-Hacking your A/B tests
Half of your "successful" A/B tests are false-positives. This is why, and how to fix it.
a month ago
Half of your "successful" A/B tests are false-positives. This is why, and how to fix it.
swyx's site RSS Feed
My 2024 New Mac Setup
I set up a new Mac for work today. Here's everything I use on a Mac for fullstack web development.
a month ago
I set up a new Mac for work today. Here's everything I use on a Mac for fullstack web development.
the singularity is...
A One Way Bridge
Okay I went to Devcon. And while there I had a great idea that the crypto space really needs. It...
a month ago
Okay I went to Devcon. And while there I had a great idea that the crypto space really needs. It seems like while AI infrastructure has improved by leaps and bounds in the last 5 years, crypto infra has actually gotten worse. I’m proposing some great new infrastructure that the...
Irrational...
How to get more headcount.
One of the recurring challenges that teams face is getting headcount to support their initiatives.
A...
a month ago
One of the recurring challenges that teams face is getting headcount to support their initiatives.
A similar problem is the idea that a team can’t get a favored project into their roadmap.
In both cases, teams often create a story about how clueless executives don’t understand...
alexwlchan
How I name my computers
I got a new Mac mini this weekend, to replace my aging Intel iMac.
I’ve already done most of the...
a month ago
I got a new Mac mini this weekend, to replace my aging Intel iMac.
I’ve already done most of the setup, and this blog post is one of the first things I’ll make with it.
I’m quite pleased with how quickly I can get up and running with a new machine.
There’s one hard part of...
David Heinemeier...
Obsessive problem solving followed by aimless wandering
I haven't felt any urge to tinker with my Linux setup in months. This after spending much of the...
a month ago
I haven't felt any urge to tinker with my Linux setup in months. This after spending much of the spring and into summer furiously and obsessively trying every PC out there to find the perfect replacement for the Mac, diving deep with Ubuntu, and codifying my findings in the...
The History of the...
The Website that Predicted AI
There's a website developed with a personalized experience in mind. It touts major breakthroughs in...
a month ago
There's a website developed with a personalized experience in mind. It touts major breakthroughs in predictive technology, driven by sophisticated algorithms that provide real-time recommendations. And it was launched in 1995.
The post The Website that Predicted AI appeared first...
Computer Things
Five Unusual Raku Features
Logic for Programmers is now in Beta!
v0.5 marks the official end of alpha! With the new version,...
a month ago
Logic for Programmers is now in Beta!
v0.5 marks the official end of alpha! With the new version, all of the content I wanted to put in the book is now present, and all that's left is copyediting, proofreading, and formatting. Which will probably take as long as it took to...
David Heinemeier...
House rules in Fortnite
We play a lot of Fortnite at our house. It's a great game for teaching kids cooperative discipline,...
a month ago
We play a lot of Fortnite at our house. It's a great game for teaching kids cooperative discipline, and in a remarkably wholesome setting to boot (no blood, cartoon styling). I've had no qualms involving all three of our boys from an early age in the family squad, including our...
the singularity is...
The Collective Marshmallow Test
Society is even harder than passing the marshmallow test.
Instead of a single person, imagine 100...
a month ago
Society is even harder than passing the marshmallow test.
Instead of a single person, imagine 100 people in a room. One marshmallow is placed on a table. If everyone can leave it alone for 15 minutes, everyone gets 2 marshmallows. But if just one person eats it, everyone gets...
Oxide Computer...
Remembering Charles Beeler
We are heartbroken to relay that Charles Beeler, a friend and early investor
in Oxide, passed
away...
a month ago
We are heartbroken to relay that Charles Beeler, a friend and early investor
in Oxide, passed
away in September after a battle with cancer. We lost Charles far too soon;
he had a tremendous influence on the careers of us both.
Our relationship with Charles dates back nearly two...
Engineer’s Codex
5 Non-LLM Software Trends To Be Excited About
Innovations outside the AI spotlight
a month ago
Innovations outside the AI spotlight
Jim Nielsen’s Blog
Navigations on the Web
When trying to define the difference between a link (<a>) and a button (<button>), a general rule of...
a month ago
When trying to define the difference between a link (<a>) and a button (<button>), a general rule of thumb is: links are for navigation, buttons are not.
That can take you pretty far. However, like most things, there’s nuance and that mental model can fall apart under certain...
David Heinemeier...
Too much therapy at work
Many years ago, Jason and I hired a COO at 37signals, but ended up letting them go after just a year...
a month ago
Many years ago, Jason and I hired a COO at 37signals, but ended up letting them go after just a year (many reasons, another story). This happened not long before one of our company meet-ups, so we thought it fitting to discuss the matter in-person. What a mistake. The session...
Quentin Santos
On-Die ECC
This article will be pretty short. When I built my new desktop computer, I considered ECC memory....
a month ago
This article will be pretty short. When I built my new desktop computer, I considered ECC memory. So, I looked around for DDR5 ECC memory. Surprisingly, DDR5 memory sticks that mentioned ECC was not significantly more expensive than other DDR5 memory sticks. Sometimes, they were...
Irrational...
Navigating Private Equity ownership.
In 2020, you could credibly argue that ZIRP explains the world,
but that’s an impossible argument to...
a month ago
In 2020, you could credibly argue that ZIRP explains the world,
but that’s an impossible argument to make in 2024 when zero-interest rate policy is only a fond memory.
Instead, we’re seeing a number of companies designed for rapid expansion learning to adapt
to a world that...
ntietz.com blog -...
Supporting coworkers, employees, and friends in this time
We should always be supporting each other, but it feels particularly important right now.
An...
a month ago
We should always be supporting each other, but it feels particularly important right now.
An election just finished in the US, which means that half the country lost and has to face the coming changes.
In particular, this is a scary time for many folks who have been targets in...
Jibran’s Perspective
Project 2: Gift cards to Pakistan
I’ve completed a freelance project I was working on for a few months, and have started saying no to...
a month ago
I’ve completed a freelance project I was working on for a few months, and have started saying no to new opportunities. It’s time to work on one of my own ideas again. This is part of my plan to start failing more.
I’ve decided to build a business sending gift cards to Pakistan -...
A Smart Bear
A life-changing challenge guided by Pascal's Wager
Applying Pascal's Wager: Humility wins, arrogance loses.
a month ago
Applying Pascal's Wager: Humility wins, arrogance loses.
Confessions of a...
The Pythonic Emptiness
Why the Pythonic way of doing emptiness check on sequences is not necessarily ambiguous in most...
a month ago
Why the Pythonic way of doing emptiness check on sequences is not necessarily ambiguous in most cases
blag
PSA: Most databases do not do checksums by default
Most databases don’t do checksums by default. Disk corruptions go silently unnoticed.
a month ago
Most databases don’t do checksums by default. Disk corruptions go silently unnoticed.
Julia Evans
New microblog with TILs
I added a new section to this site a couple weeks ago called
TIL (“today I learned”).
the goal: save...
a month ago
I added a new section to this site a couple weeks ago called
TIL (“today I learned”).
the goal: save interesting tools & facts I posted on social media
One kind of thing I like to post on Mastodon/Bluesky is “hey, here’s a cool
thing”, like the great SQLite repl litecli, or
the...
blag
PSA: SQLite does not do checksums
SQLite does not do checksums by default. Disk corruptions go silently unnoticed.
a month ago
SQLite does not do checksums by default. Disk corruptions go silently unnoticed.
Charles Chen
AI Startup Moats: The Difference Between Bakers and Ovens
Are new AI startups "just another wrapper for a 3rd party model"? Does having an oven make you a...
a month ago
Are new AI startups "just another wrapper for a 3rd party model"? Does having an oven make you a baker?
Charles Chen
On Bakers, Ovens, and AI Startup Moats
Are new AI startups "just another wrapper for a 3rd party model"? Does having an oven make you a...
a month ago
Are new AI startups "just another wrapper for a 3rd party model"? Does having an oven make you a baker?
David Gerrells
How fast is rust? Simulating 200,000,000 particles
The challenge, simulate 100,000,000 particles in rust using only the cpu. Let’s go.
a month ago
The challenge, simulate 100,000,000 particles in rust using only the cpu. Let’s go.
Oxide Computer...
How Oxide Cuts Data Center Power Consumption in Half
Here’s a sobering thought: today, data centers already consume 1-2% of the world’s power, and that...
a month ago
Here’s a sobering thought: today, data centers already consume 1-2% of the world’s power, and that percentage will likely rise to 3-4% by the end of the decade. According to Goldman Sachs research, that rise will include a doubling in data center carbon dioxide emissions. As the...
Tony Finch's blog
getopt() but smaller
The other day I learned about the Rust crate
lexopt which describes itself as,
A pathologically...
a month ago
The other day I learned about the Rust crate
lexopt which describes itself as,
A pathologically simple command line argument parser.
Most argument parsers are declarative: you tell them what to parse,
and they do it. This one provides you with a stream of options and
values and...
Kagi Blog
Kagi Translate - We speak your language
Your browser does not support the video tag.
a month ago
Your browser does not support the video tag.
Jim Nielsen’s Blog
Persisting State to localStorage in Recoil Across Browser Tabs
I was working on a project using Recoil for state management in React.
I needed to persist some...
a month ago
I was working on a project using Recoil for state management in React.
I needed to persist some state to localStorage, and there’s some info on how to do it in Recoil’s docs.
That works; however it doesn’t respond to state changes from other instances of your app in multiple...
David Heinemeier...
The spells are spent
They just don't work any more, those baseless accusations that anyone we disagree with is a racist,...
a month ago
They just don't work any more, those baseless accusations that anyone we disagree with is a racist, misogynist, fascist. After being invoked in en masse and in vain for the better part of the past decade, their power to shock and awe is finally gone. All that's left is a weak...
Josh Collinsworth
The childlike and the childish
It's crushing and disheartening to discover I live in a country where half the adults around me...
a month ago
It's crushing and disheartening to discover I live in a country where half the adults around me still haven't learned something I'm teaching my kindergartener.
Computer Things
A list of ternary operators
Sup nerds, I'm back from SREcon! I had a blast, despite knowing nothing about site reliability...
a month ago
Sup nerds, I'm back from SREcon! I had a blast, despite knowing nothing about site reliability engineering and being way over my head in half the talks. I'm trying to catch up on The Book and contract work now so I'll do something silly here: ternary operators.
Almost all...
David Heinemeier...
What you know that just ain't so
The fun bit about business is in all the answers you don't have. Should we be priced higher or lower...
a month ago
The fun bit about business is in all the answers you don't have. Should we be priced higher or lower or leave it alone? Should we chase these customers over here or those customers over there? Should we add more features or polish the ones we have? There's endless variation in...
the singularity is...
…and now we see what is possible
Every 70 years America goes through a revolutionary transition. Washington, Lincoln, FDR, now?
The...
a month ago
Every 70 years America goes through a revolutionary transition. Washington, Lincoln, FDR, now?
The Republicans now control the Presidency, the House, the Senate, and the Supreme Court. Is that everything? Does government power lie there, like we are told, or is it all secretly...
Josh Collinsworth
A response to "Defending Open Source: Protecting the Future of WordPress"
I feel it's important to issue a critical reading of Automattic's post, as it doesn't seem to offer...
a month ago
I feel it's important to issue a critical reading of Automattic's post, as it doesn't seem to offer much of a serious or objective examination of the issues at hand. Rather, the post unfortunately reads as something more akin to a puff piece, or corporate propaganda.
Darek Kay
A guide to bookmarklets
I'm a frequent user of bookmarklets. As I'm sharing some of them on my blog, I wrote this post to...
a month ago
I'm a frequent user of bookmarklets. As I'm sharing some of them on my blog, I wrote this post to explain what bookmarklets are and how to use them.
In short, a bookmarklet is a browser bookmark containing JavaScript code. Clicking the bookmark executes the script in the context...
Jim Nielsen’s Blog
Job Screening Blog Post
Take a look at these two animated gifs.
First:
Second:
Can you tell the difference between...
a month ago
Take a look at these two animated gifs.
First:
Second:
Can you tell the difference between them?
Do you care?
If not, we might not be a good fit.
#designEngineering
Email
:: Mastodon ::
Twitter
#designEngineer
Irrational...
Using systems modeling to refine strategy.
While I was probably late to learn the concept
of strategy testing,
I might have learned about...
a month ago
While I was probably late to learn the concept
of strategy testing,
I might have learned about systems modeling too early in my career,
stumbling on Donella Meadows’ Thinking in Systems: A Primer
before I began my career in software.
Over the years, I’ve discovered a number of...
Josh Comeau's blog
A Friendly Introduction to Container Queries
It’s been a couple of years since container queries started landing in browsers… so why isn’t anyone...
a month ago
It’s been a couple of years since container queries started landing in browsers… so why isn’t anyone using them? It turns out that container queries are kinda tricky; they’re not as straightforward as media queries. In this tutorial, we’ll break it all down and make sense of...
Blog System/5
Demystifying secure NFS
My lab notes on the arduous process of setting up NFSv4 with Kerberos across a Synology NAS and...
a month ago
My lab notes on the arduous process of setting up NFSv4 with Kerberos across a Synology NAS and various Linux and FreeBSD clients.
ntietz.com blog -...
Parsing arguments in Rust with no dependencies
When pairing with my friend Emily, we had a choice of what to implement in her project:
start a new...
a month ago
When pairing with my friend Emily, we had a choice of what to implement in her project:
start a new feature, or add a command line argument parser?
We opted for the latter, because it had to happen eventually and it was more well bounded.
It ended up having a lot of depth!
We...
the singularity is...
Influence Agents
Check 1, 2 is the mic on?
Most AI doom scenarios are nonsense. The idea of a rogue computer behaving...
a month ago
Check 1, 2 is the mic on?
Most AI doom scenarios are nonsense. The idea of a rogue computer behaving in a way no humans want never made sense to me, only to Hollywood who doesn’t know all that much about computers.
Paul Christiano has one of my favorite takes, that the creation...
A Smart Bear
No wait, of course THAT is the single most important SaaS metric
Is it LTV? Retention? NRR? Magic Number? Rule of 40? Or: Do you need to un-ask the question.
a month ago
Is it LTV? Retention? NRR? Magic Number? Rule of 40? Or: Do you need to un-ask the question.
alexwlchan
Moving my website from Netlify to Caddy
I had a long train journey on Tuesday, and I spent the time moving this website from Netlify to a...
a month ago
I had a long train journey on Tuesday, and I spent the time moving this website from Netlify to a Linux server running Caddy.
(Yes, the Wi-Fi on European trains is reliable enough to make that possible, even pleasant.)
Hopefully nobody noticed!
When I flipped the DNS records to...
macwright.com
Recently: Cycling and Autumn
I haven’t been posting much to the ‘main blog’ recently, but I have been keeping the micro blog...
a month ago
I haven’t been posting much to the ‘main blog’ recently, but I have been keeping the micro blog updates humming. If you want more content in your RSS reader, you can subscribe to those posts, which are shorter, more scattered, and even less copyedited. It feels bad to have...
Jim Nielsen’s Blog
Hacker News Clones
Every once in a while, I’ll have a post gain traction over on ye ole’ orange site (Hacker News).
I...
a month ago
Every once in a while, I’ll have a post gain traction over on ye ole’ orange site (Hacker News).
I find out about it because my analytics digest will get a yuge uptick in page views.
What’s interesting is all the referral sources that show up in my analytics. The Hacker News is...
the singularity is...
High Trust Society
I just want you to see, I just want you to see
Regardless of who wins on Tuesday, does anyone think...
a month ago
I just want you to see, I just want you to see
Regardless of who wins on Tuesday, does anyone think this gets fixed? Is Kamala going to restore trust in government? Is Trump going to restore trust in government?
Despite what Western media might have you believe about how the...
blag
Disaggregated Storage - a brief introduction
a brief introduction to disaggregated storage systems in context of database systems
a month ago
a brief introduction to disaggregated storage systems in context of database systems
orlp.net - Blog...
Breaking CityHash64, MurmurHash2/3, wyhash, and more...
Hash functions are incredibly
neat mathematical objects. They can map arbitrary data to a small...
a month ago
Hash functions are incredibly
neat mathematical objects. They can map arbitrary data to a small fixed-size
output domain such that the mapping is deterministic, yet appears to be random.
This “deterministic randomness” is incredibly useful for a variety of purposes,
such as hash...
James Vaughan's blog
The smallest (useful) HTTP responses possible
a month ago
Cognitive...
Demystifying OpenAI's Terms of Use with Regards to Dataset Licenses
With the recent update to OpenAI's Terms of Use on October 23, 2024, there’s been a flurry of online...
a month ago
With the recent update to OpenAI's Terms of Use on October 23, 2024, there’s been a flurry of online discussions around what these terms mean for developers, businesses, and everyday users of AI tools like ChatGPT. Much of the conversation, especiall...
swyx's site RSS Feed
Moving in Big Cities: Lugg vs Clutter
i recently had to move (from smolhaus 1.5 to a temporary place) and so had to evaluate some choices...
a month ago
i recently had to move (from smolhaus 1.5 to a temporary place) and so had to evaluate some choices in moving options. TLDR: I made a huge mistake not choosing Clutter.
Alice GG
Writing GDScript with Neovim
Neovim is by far my favorite text editor.
The clutter-free interface and keyboard-only navigation...
a month ago
Neovim is by far my favorite text editor.
The clutter-free interface and keyboard-only navigation are what keep me productive in my daily programming.
In an earlier post, I explained how I configure it into a minimalist development environment.
Today, I will show you how to use...
On Test Automation
On life as an independent contractor right now
Before I start: I’m writing this both to clear my head and to vent / rant a little, but also in...
a month ago
Before I start: I’m writing this both to clear my head and to vent / rant a little, but also in response to people both from the Netherlands and from abroad who have shown interest in working as an independent contractor over here.
As Google Analytics tell me only a small portion...
Blog - Bitfield...
Constraints in Go
Freedom is nothing without constraints, and Go’s generics gives us a
powerful way to build...
a month ago
Freedom is nothing without constraints, and Go’s generics gives us a
powerful way to build polymorphic types and functions constrained by type
sets. Let’s geek out.
Blog - Bitfield...
Generic types in Go
Golang generics open up a lot of exciting new possibilities for us as
programmers. In this...
a month ago
Golang generics open up a lot of exciting new possibilities for us as
programmers. In this tutorial, we’ll look at ways we can use type
parameters to define customised generic types.
Julia Evans
ASCII control characters in my terminal
Hello! I’ve been thinking about the terminal a lot and yesterday I got curious
about all these...
a month ago
Hello! I’ve been thinking about the terminal a lot and yesterday I got curious
about all these “control codes”, like Ctrl-A, Ctrl-C, Ctrl-W, etc. What’s
the deal with all of them?
a table of ASCII control characters
Here’s a table of all 33 ASCII control characters, and what they...
James Vaughan's blog
james.land, a place for me to share my scrappy fiddles
a month ago
Jim Nielsen’s Blog
Quality Means The Flexibility to Change
Here’s Ben Nadal quoting Dave Farley:
I've come to the belief that the only definition of quality in...
a month ago
Here’s Ben Nadal quoting Dave Farley:
I've come to the belief that the only definition of quality in code that makes any sense is our ability to change the code. If it's easy to change, it's high quality; if it's hard to change, it's not.
Then Ben comments:
I'm sure that some...
Confessions of a...
Live Session: Live Coding a Bytecode Interpreter for Python
We are due for our next live session.
a month ago
We are due for our next live session.
bunnie's blog
Name that Ware, October 2024
The Ware for October 2024 is shown below. This one should be a smidge easier to guess than last...
a month ago
The Ware for October 2024 is shown below. This one should be a smidge easier to guess than last month’s ware. The main reason I liked this ware is actually the board shown below with the prominent star-routing. It’s such traditional hand-routing work, I love craftsmanship like...
bunnie's blog
Winner, Name that Ware September 2024
Last month’s Ware was a Cue COVID test reader. It uses LAMP (loop-mediated isothermal amplification)...
a month ago
Last month’s Ware was a Cue COVID test reader. It uses LAMP (loop-mediated isothermal amplification) to perform a fast and sensitive detection of nucleic acid sequences. Thanks again to Curtis Galloway for contributing this ware for me to take apart and photograph! Nobody had...
The Codist
My Art And Color-After Tiling
I make generative art with Swift and use tiling in many pieces. Truchet tiles are generally arranged...
a month ago
I make generative art with Swift and use tiling in many pieces. Truchet tiles are generally arranged randomly and contain everything appearing in the final image. What I do differently is to separate the layout of tiles from colorizing the image. I call this technique...
Confessions of a...
The CAP Theorem of Clustering: Why Every Algorithm Must Sacrifice Something
No clustering algorithm is perfect and you must make a trade-off.
a month ago
No clustering algorithm is perfect and you must make a trade-off.
alexwlchan
A script to verify my Netlify redirects
I’ve changed the URL design on this website a couple of times.
The current structure seems to be...
a month ago
I’ve changed the URL design on this website a couple of times.
The current structure seems to be working fairly well, but I made some dubious decisions when I started out that really didn’t scale.
(Like having a single folder for all of my /images/ – of which there are now over...
Jim Nielsen’s Blog
For Sale: Used Domain (**Clean Title**)
Bryan Braun has an interesting post about his experience with what he calls a “haunted domain”:
He...
a month ago
Bryan Braun has an interesting post about his experience with what he calls a “haunted domain”:
He buys a domain that seems fine on the surface.
When he begins using it, he notices some things aren’t right (organic search traffic, for example, is dead).
After some investigation,...
Paolo Amoroso's...
Wrapping up my RetroChallenge 2024 project
<![CDATA[The end of the work on WebCard marked the completion of my RetroChallenge 2024 project, in...
a month ago
<![CDATA[The end of the work on WebCard marked the completion of my RetroChallenge 2024 project, in time as hoped.
I accomplished the initial goal of extending NoteCards to visit websites. This is my Linux desktop after traversing a NoteCards link to a Web card which opened the...
ntietz.com blog -...
They want your ethics for $105
If you have a blog, you've probably gotten those emails that want to "collaborate" on a guest...
a month ago
If you have a blog, you've probably gotten those emails that want to "collaborate" on a guest post—which often means "let us post sketchy links for SEO purposes."
Recently, I got one which was a little different flavor than the usual spam, so I bit and replies.
The end result was...
the singularity is...
America’s Future
It seems this is a place where people are not capable of thinking rationally. Remember:
If America...
a month ago
It seems this is a place where people are not capable of thinking rationally. Remember:
If America is not in decline, I want to believe America is not in decline.
If America is in decline, I want to believe America is in decline.
So let’s ask, what does the future look like for...
Paolo Amoroso's...
A demo notefile for WebCard
<![CDATA[To complete WebCard for my RetroChallenge 2024 project I created a demo notefile, a file...
a month ago
<![CDATA[To complete WebCard for my RetroChallenge 2024 project I created a demo notefile, a file that stores the data of a NoteCards hypertext.
The notefile WCDEMO.NOTEFILE contains exmples of Web cards filed into various types of containers and cards such as fileboxes and Text...
Irrational...
Eng org seniority-mix model.
One of the trademarks of private equity ownership is the expectation that either the company...
a month ago
One of the trademarks of private equity ownership is the expectation that either the company maintains their current margin
and grows revenue at 25-30%, or they instead grow slower and increase their free cash flow year over year.
In many organizations, engineering costs have a...
A Smart Bear
Tech Support is sales
Tech support isn't just troubleshooting; it's the face of your company. Which means it's your brand,...
a month ago
Tech support isn't just troubleshooting; it's the face of your company. Which means it's your brand, your positioning, and when it's excellent, it is sales.
Julia Evans
Using less memory to look up IP addresses in Mess With DNS
I’ve been having problems for the last 3 years or so where Mess With DNS
periodically runs out of...
a month ago
I’ve been having problems for the last 3 years or so where Mess With DNS
periodically runs out of memory and gets OOM killed.
This hasn’t been a big priority for me: usually it just goes down for a few
minutes while it restarts, and it only happens once a day at most, so I’ve...
Ink & Switch
Ink & Switch Unconference [2024 / Los Angeles]
Our third Ink & Switch Unconference, at the beautifully retro Preserve in Los Angeles
a month ago
Our third Ink & Switch Unconference, at the beautifully retro Preserve in Los Angeles
Jim Nielsen’s Blog
We’re All Content Creators for Machines
Nicholas Carr, one of my favorite technology writers, has been blogging over on Rough Type since...
a month ago
Nicholas Carr, one of my favorite technology writers, has been blogging over on Rough Type since [checks archives] 2005. As of late his writing has gone quiet, but he’s got a new book due out early next year and I think he’s starting up blogging again to help drum up interest....
Paolo Amoroso's...
Documenting WebCard
<![CDATA[With the last feature of WebCard behind me I proceeded with the next task to wrap up my...
a month ago
<![CDATA[With the last feature of WebCard behind me I proceeded with the next task to wrap up my RetroChallenge 2024 project: documenting the system.
Since WebCard enhances NoteCards with only a few simple but significant features a full manual would be overkill. So I added to...
Epic Web Dev
The Difference Between Clearing, Resetting, and Restoring Mocks (article)
Understand the key differences between mock state management methods: mockClear(), mockReset(), and...
a month ago
Understand the key differences between mock state management methods: mockClear(), mockReset(), and mockRestore(). Write clean test states.
Blog - Bitfield...
Suite smells: testing legacy code
How do you rescue a legacy codebase that has no tests? Let's look at some
techniques for clawing...
a month ago
How do you rescue a legacy codebase that has no tests? Let's look at some
techniques for clawing your way back to maintainability, one test at a
time.
Tyler Cipriani: blog
Eventually consistent plain text accounting
.title { text-wrap: balance }
Spending for October, generated by piping
hledger → R
Over the past...
a month ago
.title { text-wrap: balance }
Spending for October, generated by piping
hledger → R
Over the past six months, I’ve tracked my money with hledger—a plain text
double-entry accounting system written in Haskell. It’s been
surprisingly painless.
My previous attempts to pick up...
Dan Quach Blog
State of Data Engineering Q3 2024
Prompt Engineering – Meta Analysis Whitepaper One of my favorite AI podcasts, Latent Space, recently...
a month ago
Prompt Engineering – Meta Analysis Whitepaper One of my favorite AI podcasts, Latent Space, recently featured Sander Schulhoff, one of the authors of a comprehensive research paper on prompt engineering. This meta-study reviews over 1,600 published papers, with co-authors from...
Jim Nielsen’s Blog
The Lowest Common Denominator: www
Native apps are all about control. Don’t like thing X? You can dive in and, with enough elbow grease...
a month ago
Native apps are all about control. Don’t like thing X? You can dive in and, with enough elbow grease and persistence, finally get what you want. Write your own C library. Do some assembly code. Even make your own hardware if you have to.
But on the web you give up that control....
Paolo Amoroso's...
Designing a WebCard bitmap the hard way
<![CDATA[NoteCards link icons leading to cards of a certain type can and typically do have a custom...
2 months ago
<![CDATA[NoteCards link icons leading to cards of a certain type can and typically do have a custom bitmap associated with the type.
WebCard cards of type Web initially inherited the bitmap of the parent type Text, a stylized NoteCards blank card frame. To visually differentiate...
Computer Things
TLA from first principles
No Newsletter next week
I'll be speaking at USENIX SRECon!
TLA from first principles
I'm working on...
2 months ago
No Newsletter next week
I'll be speaking at USENIX SRECon!
TLA from first principles
I'm working on v0.5 of Logic for Programmers. In the process of revising the "System Modeling" chapter, I stumbled on a great way to explain the temporal logic of actions that TLA+ is based on....
Blog System/5
BazelCon 2024 recap
Just like that, BazelCon 2024 came and went. So... it’s obviously time to summarize the two events...
2 months ago
Just like that, BazelCon 2024 came and went. So... it’s obviously time to summarize the two events of last week: BazelCon 2024 and the adjacent Build Meetup. There is A LOT to cover, but everything is here in just one article!
Tony Finch's blog
against /tmp
I commented on Lobsters that /tmp is usually a bad idea,
which caused some surprise. I suppose /tmp...
2 months ago
I commented on Lobsters that /tmp is usually a bad idea,
which caused some surprise. I suppose /tmp security bugs were common
in the 1990s when I was learning Unix, but they are pretty rare now so
I can see why less grizzled hackers might not be familiar with the
problems.
I...
Jim Nielsen’s Blog
Tech’s Epithet: “Enabled By Default”
I joked on Mastodon:
If anyone endeavors to write a book about what went wrong with tech, I have a...
2 months ago
I joked on Mastodon:
If anyone endeavors to write a book about what went wrong with tech, I have a great suggestion for the title:
“Enabled by Default”
It seems there really are two hard problems in tech:
Naming things
Setting good defaults
Keeping to scope
Anyhow, a little while...
bt RSS Feed
Installing OpenBSD on Linveo KVM VPS
Installing OpenBSD on Linveo KVM VPS
2024-10-21
I recently came across an amazing deal for a VPS on...
2 months ago
Installing OpenBSD on Linveo KVM VPS
2024-10-21
I recently came across an amazing deal for a VPS on Linveo. For just $15 a year they provide:
AMD KVM 1GB
1024 MB RAM
1 CPU Core
25 GB NVMe SSD
2000 GB Bandwidth
It’s a pretty great deal and I suggest you look more into it if you’re...
ntietz.com blog -...
Debugging my wife's alarm clock
My wife's alarm clock has been acting up lately.
Sporadic at first but then every day, it wouldn't...
2 months ago
My wife's alarm clock has been acting up lately.
Sporadic at first but then every day, it wouldn't blare in the morning at the set time.
Instead, when it was supposed to go off it would... reset itself.
The time would start flashing in that "I'm confused because the power went...
Paolo Amoroso's...
Planning the next steps for WebCard
<![CDATA[Over the past days I ran WebCard a bit, reviewed the code, and checked my notes and I'm...
2 months ago
<![CDATA[Over the past days I ran WebCard a bit, reviewed the code, and checked my notes and I'm satisfied with what the system does. Since WebCard is nearly feature complete it's a good time to chart the next steps for wrapping up my RetroChallenge 2024 project.
Aside from some...
A Smart Bear
The Serengeti Plain: Fallacies that aren't fallacies
A contrarian look at logical "fallacies" that maybe aren't so illogical after all.
2 months ago
A contrarian look at logical "fallacies" that maybe aren't so illogical after all.
On Test Automation
First things first - automate the execution of your tests
“Well, it works on my machine”
I’m sure we’ve all heard a developer say that to us at some point in...
2 months ago
“Well, it works on my machine”
I’m sure we’ve all heard a developer say that to us at some point in our career, and we all roll our eyes at them in response. It clearly doesn’t work on your machine…
We would do well to apply that exact same philosophy of ‘it shouldn’t just run on...
Ralph Ammer
Bergson — Why we live in the past
Should we just live in the moment? In “Matter and Memory” the French philosopher Henri Bergson...
2 months ago
Should we just live in the moment? In “Matter and Memory” the French philosopher Henri Bergson claims that this is not even possible. 1. Perception is physical First of all: How do we perceive the “current moment” anyway? Bergson suggests that the whole point of perception is...
The Codist
How I Defeated An MMO Game Hack Author
In the late 2000's, I worked at a niche MMO game company. We had a small team, not a lot of money,...
2 months ago
In the late 2000's, I worked at a niche MMO game company. We had a small team, not a lot of money, but a loyal audience. It was a game of skill without any of the usual powerups and unreality, and the players enjoyed the challenge.
Then, one
Irrational...
Modeling driving onboarding.
The How should you adopt LLMs? strategy explores how Theoretical Ride Sharing
might adopt LLMs. It...
2 months ago
The How should you adopt LLMs? strategy explores how Theoretical Ride Sharing
might adopt LLMs. It builds on several models, the first is about LLMs impact on Developer Experience.
The second model, documented here, looks at whether LLMs might improve a core product and business...
davidyat.es
Syntax highlighting with render hooks
2 months ago
The Pragmatic...
Did Automattic commit open source theft?
The maker of WordPress took 2M customers from its biggest rival: has a red line been crossed?
2 months ago
The maker of WordPress took 2M customers from its biggest rival: has a red line been crossed?
Confessions of a...
A Selective Survey of Efficient Speculative Decoding Techniques for LLM Inference
What is speculative decoding, how it works and what are some of the recent advances in this area?
2 months ago
What is speculative decoding, how it works and what are some of the recent advances in this area?
David Heinemeier...
Our cloud-exit savings will now top ten million over five years
We finished pulling seven cloud apps, including HEY, out of AWS and onto our own hardware last...
2 months ago
We finished pulling seven cloud apps, including HEY, out of AWS and onto our own hardware last summer. But it took until the end of that year for all the long-term contract commitments to end, so 2024 has been the first clean year of savings, and we've been pleasantly surprised...
The Pragmatic...
Interesting startup idea: benchmarking cloud platform pricing
A team of 3 developers built a neat platform called Spare Cores that makes cloud instance pricing...
2 months ago
A team of 3 developers built a neat platform called Spare Cores that makes cloud instance pricing more transparent. A deepdive on how exactly they did it.
Epic Web Dev
Writing Tests That Fail (article)
There can be a lot of confusion and doubt when it comes to writing tests. Answering this simple...
2 months ago
There can be a lot of confusion and doubt when it comes to writing tests. Answering this simple question may help clear a lot of it out.
Charles Chen
I'm a Gen AI Maximalist and Why You Should Be, Too
Putting things into perspective: many think that we are in the trough of disillusionment; but...
2 months ago
Putting things into perspective: many think that we are in the trough of disillusionment; but really, gen AI is just getting started.
Ink & Switch
Fine-grained provenance, Automerge updates
Some explorations of new editor interactions for writing science papers, and a trio of projects...
2 months ago
Some explorations of new editor interactions for writing science papers, and a trio of projects advancing the future of Automerge.
On Test Automation
PNSQC 2024 - experience report
While most of the clients I work with are based in Europe, over the last couple of years my client...
2 months ago
While most of the clients I work with are based in Europe, over the last couple of years my client base on the North American side of the Atlantic has slowly but surely started to grow, mainly in the United States. As someone who really enjoys working with and learning from...
Jim Nielsen’s Blog
Prompting the Wrong Question
So there I am, working on a bug exclusive to Safari (we’ve all been there). I can’t figure it out so...
2 months ago
So there I am, working on a bug exclusive to Safari (we’ve all been there). I can’t figure it out so I ask AI, “Hey, this piece of code is not working in Safari, what’s wrong?”
The issue might be related to how Safari handles keyboard events, especially for certain keys…
It gives...
alexwlchan
Using static websites for tiny archives
In my previous post, I talked about how I’m trying to be more intentional and deliberate with my...
2 months ago
In my previous post, I talked about how I’m trying to be more intentional and deliberate with my digital data.
I don’t just want to keep everything – I want to keep stuff that I’m actually going to look at again.
As part of that process, I’m trying to be better about organising...
Computer Things
Be Suspicious of Success
From Leslie Lamport's Specifying Systems:
You should be suspicious if [the model checker] does not...
2 months ago
From Leslie Lamport's Specifying Systems:
You should be suspicious if [the model checker] does not find a violation of a liveness property... you should also be suspicious if [it] finds no errors when checking safety properties.
This is specifically in the context of...
Paolo Amoroso's...
Keeping track of visited URLs in WebCard
<
Full Width 
Shortcuts 
Sign Up 
Log In 
Articles 
Reading List 