skysight-inc/HackerNews huggingface dataset:
It's my favorite book. No other book has so many useful strategies for problem solving. It took me a year to work through because any time I'd read it I'd have to stop and write down all the new things that made sense after. There's a short summary at the beginning of the book. Just start with that. https://www.math.utah.edu/~alfeld/math/polya.html
Ah that makes complete sense. I never thought of it that way before but your logic follows. Musk sees what is going on and knows he can take advantage of it. Thank you for explaining.
Hi HN!

I've been working on adding in-depth Docker support to HTTP Toolkit for literally years (I added it as GitHub issue #1 when I started the project - https://github.com/httptoolkit/httptoolkit/issues/1). I think it's finally ready :-).

HTTP Toolkit is an open-source network debugging tool that lets you inspect and rewrite any HTTP or HTTPS traffic, primarily focused on Android & web until recently, and this now makes it fully capable for a lot more backend workflows and other neat use cases.

Internally, this uses some tricks to intercept all your interactions with the Docker API (like creating a container) for processes from an intercepted terminal window, and then automatically transform all those API interactions en route to inject extra environment variables & configuration, and thereby make almost any application redirect traffic via the proxy and trust its certificate for HTTPS.

I imagine the HN crowd might be keen on looking under the hood - there's a full write-up on how this works at https://httptoolkit.com/docs/guides/docker/#the-technical-de... and the source is all available on GitHub: https://github.com/httptoolkit/.

Give it a go, let me know if you have any questions or feedback at all :-)
I wonder how this works with systems like Akamai which by default mess with those headers.
Estonia saved its citizens 820 years by moving public services online
HN thinks a junior developer bootstrapping a webapp over the weekend is production ready.
Have a look at Fred0verflow's videos, for example:

* https://www.youtube.com/watch?v=St0_jsPnGAw - analyze some SO HTTP API responses
* https://www.youtube.com/watch?v=TaazvSJvBaw - transducers from the ground up

I think they are great, crystal-clear examples of REPL-based development.
Not really, crypto is down about as much as ARKK which is a good tracker of risky high growth tech assets
Kraken likely laid off marketing and support staff, not mainly engineering.
No. In my experience they last for several years. At this point, we'll upgrade phones maybe every 4-5 years now so its unlikely we'll use an iPhone to it's full limits of software updates but certainly don't have issues of it only lasting for a couple years with prominent issues arising or anything like that.
Only multiple requests within a given second get the same time stamp. So if you have less than 86k hits per day, then all your time stamps could be unique.

Edit: I misread the article here, where it said each visit incremented the counter by one second. So my calculation is not correct!
> So your claim that The Economist is determined to "both-sides" every discussion

This is not a claim I made. And you generally don't seem to have come to grips with my point.
This isn't a study, it's a review of studies. You will also see this:

>Establishing temporal priority – what come first, bullying victimisation or poor mental health – is an essential first step. Indeed, one important alternative hypothesis that must be ruled out is that early mental health symptoms account for both an increased risk for being targeted by bullying behaviours and also for later psychopathology. Findings so far have shown that over and above early signs of poor mental health prior to bullying victimisation, being bullied in childhood or in adolescence is associated with new symptoms/diagnoses of mental health problems, and especially with later symptoms of anxiety and depression (Arseneault et al., 2006; Bowes, Joinson, Wolke, & Lewis, 2015; Kim, Leventhal, Koh, Hubbard, & Boyce, 2006; Stapinski et al., 2014; Zwierzynska, Wolke, & Leraya, 2013). These studies are robust not only because they controlled for symptoms prior to being bullied but they also controlled for a range of other potential confounders, including gender, parental socioeconomic status and low IQ.
Because the made up consumerism focused holiday is celebrated by most Americans and generally involves buying gifts for loved ones and attempting to relax with family.

Since most people use the money and PTO from their jobs to enable these goals, losing one's job during this time of year adds an extra layer of stress to those who might have hoped to celebrate the culturally dominant evil made up consumerist capitalist holiday with their loved ones.
And those other 29 people are just there to ask me dumb questions.
Habits are huge. I feel like I need to get better at food prep to make further progress.
As much as you can, relax. These things go 100x better when you’re relaxed. Whatever method you use to destress, do it. A lot. I’ve found that all social/romantic situations will flow better if I can build some mental “distance”.
> Happy isn't a long term state of being. It's a short term emotion like anger or sadness.

"Happy" is a vague overused term that means different things to different people at different times.

While elation or euphoria are fleeting emotions, one can be content or satisfied for prolonged periods of time. It's a bit like confusing sadness and depression.
Yes it would because a unique time stamp allows me to indirectly identify a user.
Advancing convergence research: Off-grid community renewable energy solutions
Physicists observe wormhole dynamics using a quantum computer
You forgot to include CEO taking responsibility.
All true, but you cannot initiate this on the basis of age or disability status -- it must be universal policy that engineers delegate in order to manage risk.

30 year-old must be treated same as 50 or 60 year-old.

If you should ever have to engage in anything that could be viewed as a demotion on the basis of medical disability or age you should it get your HR people involved for due diligence.
Covid Zero and Its Ironies
I agree. At FusionAuth (my employer) we have a single tenant SaaS solution . I think this has legs and serves a real need.

Interesting to note that you mentioning mostly devtime solutions (version control, source navigation).

I think the proposition is even more compelling for components of your application that are used at runtime (like auth servers, databases or message queues).

Wins for the company offering the self-hosted solution:

* Easier to build the SaaS offering as you mention.

* Can leverage same code for SaaS and self-hosted versions.

* Unique value proposition: "run it yourself or let us run it, or migrate between these as needed" has been a compelling message for some of our clients

Wins from the developer perspective:

* Easier to version the tool like a library. No more surprise upgrades. Especially when you using a component that other pieces of code depend on, devs want control over the upgrade process.

* No noisy neighbor problem (at least, no more than you'd have using a VM in a public cloud).

* Still a SaaS, so you get ease of delivery/usage/maintenance.

The major cons:

* it costs more.

* deployment time can take longer (you're not just adding a row in a database and configuring a hostname).

* making sure folks know when/how to upgrade (it's still a learning experience for many devs to have a single tenant SaaS solution).

I had an interesting discussion with the Cloudility folks about the three models for multi-tenancy:

* logical (in a db)

* with k8s namespaces

* with VMs

That's here: https://cloudify.co/blog/podcast-episode-twenty-five-the-end...
Tracking without consent is illegal in Europe, regardless of the method. Alternative tracking methods are not workarounds to get around the law; they are only workarounds in trying not to be caught.
Consider that there’s some long tail of visitors who visit many times in one day. Someone is going to be visiting more times than anyone else, whether that’s 10 or 100 or 1000 page views. That person is now uniquely trackable. To avoid that situation you need to stop counting somewhere, and you’re not really getting any new info after 1 (well, 2 I suppose, if you want to track bounces), so you might as well stop there.
Sending a garbage Last-Modified time might confuse the server and cause unpredictable problems for the user. Blocking it is safe because the server will just assume this is the first time the user has visited the website.
> fuck them for acting like it is still the colonial era and they get to dictate their will to the rest of the world.

The large economies (US, Europe, sometimes China if the company plays in that pool) co-regulate multinationals for practical purposes. In the absence of a world government, that is, really, the only way it could work; if you want to operate in market X, you obey its rules.
Honestly, this is a waste of time and is not going to help as much as the author thinks it is. There is no secret from category theory that will make one's design 10x better. Not everything is even applicable.

>I hope that category theory will allow me to formalize my intuitive understanding of abstraction, put words to it, and use those words (or, better, words others have written) to explain my thinking.

Note how this goal doesn't include anything about improving the author's software engineering ability. The goal is to be able to use category theory to describe existing concepts. Why not us just describe it in ways that 99% of software engineers already understand? Why not learn good software design directly instead of through a subset of category theory which you have to translate?
The experience of being able to tour a rental and be able to rent it without talking to a (at best, bored; at worst, actively hostile in salesmanship) human sounds marvelous. It is much better than the status quo.

Yet the article tries to present this situation for shock value in the lede; it is bizarrely infuriated with a way to remove friction from the rental process. What is the point the article wants to make? Do they want to ban the rental of single family homes? Forcing people into an insanely leveraged bet on a single volatile property certainly does not help affordability.
Bible as an atheist (with Jordan Peterson biblical lecture on youtube as an introduction)

We live a story and to make society work that story has to be shared.

The goal of life would be to be in self-sacrifice in service of truth and love, in a sense it’s similar to the stoic philosophy but with more dept.

So much of our humans problems and pitfalls are outlined perfectly, but we have to find a way to read it without prejudice, with the intention of discovering what we don’t know.

There is a deeper meaning than the bearded magician in the sky, but it’s a process for a scientifically minded person to be open to what is there (we have been taught that it’s a bunch of lies and superstitions)
> coon' is objectively a long standing racist slur.

In the US. Not even the whole of the US, but in some parts of the US.

> That some people ("a guy from South Africa", ffs) claimed not to know this

I wonder who is being a racist now. "South Africa ffs" and "claim not to know".

The world is much larger than the US and is not required to view everything through US issues.

> I invite you to go to any black neighborhood in the US

So, to quote myself: "The question is: who decides it is a slur especially in our global world? Somehow, increasingly, it's the white Americans who end up being offended on everyone's behalf."
I think the article is pretty badly named, it makes a quick remark of "you consider yourself smart so you should be able to fix your happiness problem" then moves on to other, unrelated points around unhappiness at work.
Because pricing is always negotiable in enterprise settings. Even if it was published, that wouldn’t necessarily be what would be charged.

I agree with you in a personal sense that it’s frustrating, but in enterprise, it often is too variable to list because if you are a big enough client, you’re going to get discounts and deals that regular folks just won’t. It’s no different than volume pricing in any other industry.
My advice is to repeat Warren Buffet's adage -- "only when the tide goes out do you discover who's been swimming naked" -- and adamantly deny that it has any non-literal meaning whatsoever.

Warren was just telling us about something he observed at the beach one time
"It's only when the tide goes out that you find out who's been swimming naked"

Fraud and ponzis work fine for a while, but a downturn is exactly what causes its instability to show.
I don't think that's generally true for people in big tech. Just the highest strata. And to the extent that causes problems, I expect they'll be much smaller than the sorts of market fluctuations we're seeing lately, which companies already have tools to deal with.
"The higher a monkey climbs, the more of his arse you can see"
Cloudflare annual plans and price increase
Right. Making people work 10 hours a day, 7 days a week is exactly the way to avoid human error and accidents.
Funny, this is a perfect use case for the tower/desktop case size.

If you were to make a NeXT Cube case like this, it would be cool, to be sure, but it would also be kind of big which (almost) defeats the purpose.
Will just focus on Uber, but I don't agree with this at all.

Has everyone had amnesia about how horrible the general taxi model was before Uber? I can't count the number of times I was blatantly overcharged (e.g. in DC with their braindead "zone" system before they switched to meters) or took an egregiously out-of-the way route, or the cab was filthy, or it just didn't show up when I had scheduled (and I had no way to see where the cab even was), etc. With no feedback loop/rating system there was 0 incentive for cabs to improve their service.

I agree that the VC funding model has resulted in things being grossly mispriced, but even if rides got significantly more expensive, the improvements Uber brought to the rides-for-hire model were huge and everyone just forgets how much people generally hated the taxi experience before they showed up.
Without any actual implications of them "taking responsibility" too
I hear you. But nothing goes directly into main. The working branch is not sacrosanct you know what I mean? I'd rather clean up anything that leaks in before merging and a good .gitignore can protect against most noise.
At my current company engineers aren't very good at technical writing, they were better at my previous org. I think one big difference was that we shared technical documentation much more widely before every initiative, engineers were effectively picking up good ideas and patterns from reading other engineers' docs. Over time the best habits were becoming documentation "standards" through copypasta natural selection.
Is an option "the riskiest stock," though? It's a financial instrument and not the stock itself, no?
If you’re into probability, statistics and/or ML, Judea Pearl‘s The Book Of Why enlighted me kind of.

While reading and applying, the suspicion had grown in me that probability is embedded in causality. Specifically when using Bayes theorem I had tweaked notation for me, so P[X|Y] would mean that X depends causally on Y. Then

P(Y|X)=P[X|Y]P(Y)/P(X)

would clearly show the reverse problem character, and how evidential reasoning is built on causal reasoning.

Thus what Pearl and a lot of contributors built fell on fertile ground with me. I think it is an amazing addition to reasoning tools.
So the full-size pattern works by bouncing a signal back-and-forth between the construction site and an oncoming GPSE. Each time it does this it produces either one or two gliders depending on the positioning of the GPSE. It is these gliders that do the construction.

But the 'recipe' contains 1665791 bits, meaning the signal has to bounce back-and-forth 1665791 times. Because the distance to the GPSE halves every time, it would have to start at a distance of 2^1665791, which is impractically large.

So instead we only have it bounce back-and-forth a small number of times (26), and insert the other 1665765 bits 'manually' by adding streams of 1665765 spaceships that collide near the construction site.
Airbnb Enlists Greystar in Push to List Rentals on Its Platform
If that was all they'd done, it would've been fine. However, according to this story, that was just the turning point and even his manager didn't know what was happening.
Currently on the M1 Max Macbook Pro so about a year old. I generally go for a newer system every 4-5 years now.
I never had SimCopter, but I did have the vehicle based one. I remember having fun playing in it in cities I made. Is it called Streets of Sim City?
> Remove the officer risk and there is no reason to use lethal force.

By that argument, there's no reason for the robot to have lethal options
No.

I design medical devices, same thing.

Its OK for people to take time off for things like back surgury, and people should be able to expect they get their job back when they recuperate. The business processes' should be setup such that the business can accomidate this kind of thing, its the cost of doing business. Anything less is just lazy and cheap management and leadership.
Then SpaceX should've given him headcount to build out his own team.
> One of the most un-intuitive rules of leadership is that you have to make yourself replaceable.

It's called succession planning. You can't go anywhere unless you have people who can do your job when you leave.
author here, for context, I do have a reasonable background in maths (algebra, analysis, statistics) at a CS master-ish level (self-taught and a long time ago, though), as well as spent quite some time with programming language / type theory when I was younger, and I do use monads quite a bit in my day to day programming. In fact, the fundamental algebra concepts (rings, groups, etc...) as well as fundamental CS theory (grammars, proof theory, semantics, ...) were the only maths I felt reasonably comfortable with, compared to say, calculus or statistics which really did my head in and ultimately caused me to drop out of university.
> I thought it was a strange question; having spent my career in age-diverse companies, I hadn’t even considered that this could be an issue.

This was my initial reaction to encountering the new "tech bro" culture. I had been in a "silo," where advanced age was actually a positive thing, for a long time. During that time, the tech industry changed.

> Contrary to stereotypes about older workers being less capable or unwilling to perform hard work, I was actually up for the challenge.

Check out my GH activity graph[0]. That's not gamed. There's something wrong with me. I'm 60. Today, I was working on adding some thread resilience to one of my SDKs[1]. It had been giving me weird crashes, the last few days. Thread collisions are a bitch to debug.

> But nothing was done to remedy my situation

One thing that I learned, very early on, was to think very carefully, before moving to involve HR. They are there only to protect the C-suite. Despite their frequent declamations that they were "on our side," I never saw them actually do anything that did not benefit the executives.

> but asked that I keep my concerns between her, myself, and the head of HR.

That's typical. It means that it becomes a "He said, she said," gaslighting contest.

It really pains me to read this, because I know that experienced, steady, hands were responsible for some of the amazing work that SpaceX has done.

Of course, like all of these types of things, we are only hearing one side of the story. There are many factors, like people being difficult to work with (but that, too is not always a bad thing. I worked for a Quality-first corporation, and we were all "difficult to work with," as we did not suffer fools or sloppy work).

[0] https://github.com/ChrisMarshallNY#github-stuff

[1] https://github.com/LittleGreenViper/LGV_MeetingSDK
I have similar feelings about the magazine. I think a lot of the oddness of their views are down to the writers not really being 'digital natives'. There's a hint of them being slightly confused and fearful when it comes to stories with a technological angle to them.
The fraud seems to get political very quickly with FTX. Sam Bankman donated enormous amounts of money to democrats. He was the second biggest donor behind George Soros. He said he also donated an equivalent amount to establishment republicans via dark money channels.

Sam Bankman was clearly a smooth political operator.You don't have meeting with Gary Gensler the head of the SEC otherwise.
Hanlon's razor.

The vast majority of crypto advocates are true believers.
What age did you start them with BJJ? I've been considering for my 4 year old but not sure if that's too early. It seems too early to tell him to punch the bully in the face (what I did as a kid) but I like the idea of equipping him with the ability to subdue a bully until an adult can take control.
How to Channel Your Rage into a Workout So You Feel Better
I run a technical writing business and all of our writers are engineers, so helping engineers improve their writing is a large part of what I do.

Unfortunately, there's no silver bullet. Writing is like coding. You get better by doing it. There are no shortcuts. Write. A. Lot.

That said, as long as you are writing a lot (and many people will read the next part and try skipping the previous one), we do have some resources that help at [0].

We also ran a writing course a few times [1]. We have no immediate plans to run another cohort - in general we got very positive feedback but participants just weren't able to commit the time to practicing, and that is really the most important part. Happy to run it again, or a version of it, if you have a few people who would find it valuable and have time to commit. Details in profile.

[0] https://ritza.co/handbook/improving-your-writing/how-do-I-be...

[1] https://styleguide.ritza.co/writing-course/
This can be used like a cookie without using cookies as long as definition of cookie stays "...a cookie is a small file stored on your computer".

You have 30 million seconds per year as unique identifier to be used against each individual for tracking. Even though the OP didn't do it.

Put an expire time in between 10 years back to today and 300m users tracked.