skysight-inc/HackerNews huggingface dataset:
The minimum colony size I might believe (I think Musk was fairly clear that number was a wild guess), but you really need to do more than merely assert your claim that Starship can’t get a million people to Mars.

8 people per Starship (which you have not justified, given its 100-150 tons to LEO design and refuelling in LEO for such missions and the 1000m^3 interior volume; I’ve shared a 70m^3 apartment with another person comfortably for longer than the trip duration, and that’s 14 such units and 28 people in the same volume, and my university accommodation was much denser even than that, so what machinery fraction do you imagine?), and let’s say they can transit one way on each conjunction even though that’s probably only true for the first few trips before fuel generation and storage is done reliably prior to arrival, is still 200 per vehicle-in-the-fleet per century, or million people in a century with a fleet of 5000 Starship-equivalent vehicles. Which is a lot of Starships, but there are more 737s, so it’s not like aerospace can’t be built at this scale.

Now, criticism of Musk’s target price per seat given your beliefs of the maximum occupancy per vehicle to Mars, that would make more sense.

As would arguing that once you have Starship as a launch vehicle, it would make more sense to use it to build some Aldrin cyclers rather than use Starship for everything.

Oh, and we may ban it from operation at that scale because of the environmental concerns. That’s certainly possible.

But that’s not what it looks like you’re doing, it looks like you’re saying it can’t rather than it will be too expensive or that its mere existence creates better solutions or it might be held back for legal reasons.
I wonder why, in the examples, "filter" is colored pink like "if" but "not" is colored orange like a function call. I'd expect "filter" to be a function, and thus colored orange.
The quality of the written documentation is also abysmal compared to HP times. One often has to guess how to correctly use gear that costs tens or hundreds of thousands of dollars.
It is an offline tool that scans a directory of archived emails and returns all the found unsubscribed links.

This seems reasonable.
If you check previous revolutions and mass movements, overstressed, overworked and underpaid masses are as dangerous, or even more than, well, just overstressed masses. It's not live, laugh, love white middle class that was rioting, because WFH was too much of a burden.
It’s strange to present an analogy without something linking it to the thing at hand. Why do you think interest rates and economy are like racing a car at all and not like launching a rocket?
Define a SLA. Classify incidents by priority. Not everything must be solved immediately. Hire a developer from different time zone to cover your night time by his day time. Make your architecture more resilient. Identify most impactful improvements and stop implementation of new features until they are solved. Compensate well for the overtime. Ultimately, run away.
Where are you following the development? The exchange I'm observing still shows just above 19k

Edit: never mind I misread the candlesticks
OP here. It's a fair criticism, thanks.
I have a limit of around 800 words per article. This is a newsletter, otherwise would be too long. It's the format I believe works best.

The idea is also to discuss the what and the how of online privacy. The list of actions can get pretty long, so I decided to divide the article while I was writing it.
Obligatory "this is good for bitcoin"
This is a very curious and fun way to put it:

https://stackoverflow.com/a/57249968

In essence, `undefined` is non-existence. And `null` is existence with a non- (or "invalid", or "unknown") value.

Although using them like that depends on the needs of the application. If "invalid" or "unknown" was an expected user choice, I would still rather encode it as an enum better than a nullable boolean, as mentioned in my comment above.
Google "1 btc in usd"
These are valid points, I'm currently going through the dance of building a custom cross platform gui for mobilde+desktop tailored to my application. Proper localized text rendering is hard, Harfbuzz and Freetype are solid options to start with and are available on recent Linux desktops. I've abstracted the text rendering to replace Harfbuzz and Freetype with platform native libraries on Apple and Windows.

The renderer itself is abstracted and defaults to opengl 3.3 with a fallback to software rendering as last resort and to be portable.

Long story short: It's not easy but very possible to build a polished cross-platform GUI smaller than 1MB. My app binary currently compiles down to 135 KB on desktop, in the end I aim for less than 2 MB for the whole application.

However I wouldn't recommend this for most applications where a framework would be a faster option for a traditional GUI.
My favourite side effect is the Graphics Card prices coming back to realities.
It means that if you have these names internalized (redorange for example, I'm sorry for not using the proper names), then if you see berries in that color then you recognize them easily - those are the only redorange berries I know. Otherwise these are just another red berries to me, I have to notice differences in shape for example.

How you divide reality into patterns influences a lot what abstractions you can come up with on top of that.

E.g. take evaporation. It's much easier to discover it if you divided things into solids, liquids and gases than if you divided things into fire, earth, water and air.

It can get much more subtle like with intro/extroverts or asperger/autism in psychology. It's really hard to compare things and find new patterns between them once you put them into some buckets. You can much more easily find patterns within a bucket. But among different buckets, it's hardly possible, and it seems extremely hard to ignore some pattern once you've learned it.
Yeah, when targeting desktop only workloads, given that they have hardly been updated for anything else, and it is actually one of the Qt 6 roadmap items to improve upon.
You can say whatever you like in North Korea, so long as you're prepared to accept the consequences.
> Frankly, I'm not sure what GA could do that would bother anybody.

It puts tracking cookies on your visitors which means you need a cookie banner.

And of course it invades the privacy of your users and slows down your site.
A lot of people appear to be under the impression that saving is a virtue. What it really means is that they worked for nothing.
Coingecko.com and coinmarketcap.com show aggregated prices from the larger market.
It doesn't scale, only a few chosen can do that and I think that's what Wolfram is trying to do here. But when you are using a different framework, learning it and creating a mapping is usually just too expensive for other experts. So you get ignored until you can no longer be ignored.
I’m sorry to hear your dad’s experience. It’s the nature of a private system in a country of 300 million people that experiences will differ. Aggressive glioblastoma is something that won’t be covered with the cost effectiveness thresholds in many European systems. The median survival duration of treated patients is just over one year, with costs, as you outline above, of $120-250k. The typical upper end in the UK NHS is 30,000 pounds per quality adjusted life year ($36,000). The UK recently introduced a cancer drugs fund that can go beyond that, but it’s been intensely controversial within the UK, because in that country there is a deeply established focus on cost effectiveness and “NICE” protocol. But US insurance companies routinely pay hundreds of thousands of dollars for glioblastoma treatment. Median insurance payments for high grade glioma were $180,000 in one study: https://ar.iiarjournals.org/content/anticanres/39/3/1375.ful...
If you were having to wake up multiple times per night, your on-call system is completely out of whack.
Actually sounds like she might be the protagonist of the story if you read between the lines.
Belief in mind-body dualism strikes me as the only reason to reject the possibility that seemingly external and inanimate physical processes and human consciousness are fundamentally the same.

If you worry that suspending this belief would rob humans of consciousness (free will, etc.) and “lower” them to the level of “things”, note that you can instead “lift” those externals by granting them the relevant qualities, just expressed at sufficiently different/foreign scales so that human mind is unable to easily grasp the equivalence within its framework of perceived space-time.
that was a great watch
Considering Bitcoin had never fallen lower than a previous cycles ATH (All Time High) until now, who is thinking that this might be a sign of the end of crypto?

Each cycle goes higher was pretty much the only thing that kept the whole thing going. Now that is gone I think the space will dry up.

Tether collapsing in the next couple weeks will likely put Bitcoin under $10,000
Check out loom.com for video recording
This is exactly the point though. People are not choosing alternatives, as they want to be brainwashed.

Even then, YouTube is rife with Ben Shapiro/Russell Brand/Jordan Peterson/Bill Maher/etc. videos regardless.

Social media is an utter dumpster fire for nonsense propaganda and misinformation.

The web has become vastly more manipulated than mainstream media.

People want to be entertained, and they want to be told what to think.
Curious question: can the commenter delete their comment (given it is wrong)? Perhaps add another comment to clarify.
"Putin thinks the collapse of the Soviet Union was the single biggest disaster of the 20th century – not World War I or World War II, but the collapse of the Soviet empire."

This is often repeated and might sound strange from a Western perspective. However, from a Russian perspective it makes perfect sense.

The Russian Empire suffered losses during WWI but survived as the Soviet Union.

The Soviet Union suffered heavy human losses during WWII but emerged as a superpower with greatly increased status and influence.

When the Soviet Union collapsed Russia lost pretty much everything and this was clearly a low point over hundreds of years for them.
Good spot. Paddy McGuinness is younger but his accent is very similar, particularly the very distinctive vowels which are quite different from Manchester's.
A runtime check can be more precise; a compile time check has to reject more potentially unsafe code, which means people might turn it off.

I think there's a lot of possibility in runtime assertions that fail as fast as possible, ie the instant the program enters an invalid state rather than the later time you get to the part of the code the assertion is written in. Don't know if there's any systems like that, it's just something I thought of.
Maybe it is competitive now, it hasn't always been like that.

https://gitlab.gnome.org/GNOME/gjs/-/issues/231

https://gitlab.gnome.org/GNOME/gjs/-/issues/361

https://feaneron.com/2018/04/20/the-infamous-gnome-shell-mem...

Just to give you a taste of the issues.

When I complain about something, usually it is based on experience and knowledge.

And if I wanted to have a desktop where JavaScript gets used everywhere I would buy a Chromebook instead.
Yes, many people in my family actually work(ed) in the building profession, and are/were “real men”.

They are/were more passionate than anyone about safety in building, because they have literally seen people killed when safety was poor.
Advertising works in the sense it makes a product's existence known, everything beyond that is advertising of advertising ...
You could just set a cookie that is a binary ‘I have already seen you’ value, gdpr only cares if you create identifiers.
>This might be cynical but now I think a large segment of the economy is just bullshit excuses to circulate money around.

It literally is. Money doesn't circulate on its own so we have to force it to circulate through bullshit jobs.
Those too, but I find myself at a loss as to whom to compare them to in the context of elementary school. Maybe the kids that still believe in Santa by graduation?
International operation takes down Russian RSOCKS botnet
I'm sure it varied considerably. I'm certainly no subject matter expert.

I know there was a historical uprising someplace where slaves objected to plans to set them free. I'm unfamiliar with the details.

There is also the fact in some of the Caribbean islands, slavery was so harsh that average life expectancy was 3 years at one point, IIRC. They outlawed the importation of slaves well before they outlawed slavery and during that period the slave population shrank. They were not reproducing fast enough to hit replacement levels.

I read two or three books on the situation in the island or islands in question. Scholars speculate that slaves must have been using some means of herbal birth control as a protest to bringing children into such harsh conditions.
Down $42,000 since the “Fortune Favours the Brave” commercial - which is famously something Pliny said before setting sail for Vesuvius as it was erupting, and then dying.
> C++ is completely unsafe. You can largely trust Javascript code that someone else wrote.

This is an interesting claim since JavaScript runtimes are written in C++. I suppose we do trust them, but only after wrapping them in all the other layers of safety we can get our hands on.
That would require abandoning the idea that land owners have special rights over people who don't have land. We used to tie voting rights to land ownership. We will have to abandon a lot more special rights to reach any form of equity.
Thrussh – Portable SSH client and server library
2020 is not that long time ago...
Tether collapsing would have a far larger effect than putting BTC to 10K, it would probably be the end of crypto. The vast majority of alt-coins cannot be exchanged against dollars and have a value only if they can be traded against USDT or other stablecoins.
I'm glad this stops before he has to negotiate the lip of the chimney as I was already getting the willies, having never fully recovered from watching John Noakes climbing Nelson's Column on Blue Peter all those years ago,
> This is why formal specifications matter.

note that "formal specifications" generally means "specification written in a formal language", very often in Hoare logic.

Here's a paper that presents one possible way to formalize the building blocks for control flow (if and goto basically) in a very, very, very, very simple language: https://www.cse.psu.edu/~gxt29/papers/controllogic.pdf ; the core is Fig. 3.

Let's be honest: maybe 0.00001% of anyone programming can understand this properly without spending 100 hours on learning the associated formal baggage. Doing something like this at the scale of "real" languages is unrealistic and useless: how many contributors GCC or LLVM would have if the requirement was to be able to parse Hoare logic fluently to transpose e.g. the C / C++ formal spec into code ?
Dumb money drying up?
You're ignoring refinancing. Cash out refis on homes, businesses and government debt.

Somebody doing a cash out refi for 100k to add an extension to their house can certainly be inflationary
Do you think the tech disappears when Bitcoin goes below some magical threshold?
Agree with basically all of your points. I have huge concerns that the humanity of the future will basically split into two different species: the technocracy and the underlings. Sounds like science fiction but it honestly feels like we're headed in that direction. Even today, the privilege afforded by a life in technology and among technologists seems to set a person apart from the rest of the world to such an extent that they almost forget it exists. It feels like such a technocracy would have no moral right to exist. It can't really just be survival of the fittest, can it? I'll just keep believing (pretending?) that the answer is no.
I was laughed at, repeatedly, on Twitter, by crypto types when I often said I was confident Bitcoin price would fall below $20k 6 months ago.
It's not something you can really short though?
My take on it is that everything doesn't have to be running at peak efficiency just so that we can maximize our time spent consuming. It doesn't have to be actual woodchopping.

The OP mentions Netflix but also that hobbies feel like a waste of time. I'd go as far as to claim Netflix is a waste of time while a hobby that leaves you happier isn't.

Edit: for the record, actual wood chopping is a very rewarding task. It's a great way of relaxing one's mind after a stressful day at work.
I was just wondering tonight, while lying awake, if you could get more depth by either using the other voices (probably not) or the filter. Now this paper and the demo are so cool, really made my day.
> It does not matter at which point the unsafe action is stopped.

It does in practice. With a compile time check the issue simply cannot happen, and there is no need to deal with it in the code or at system level.

With a runtime check the issue may happen, but will be detected when it does. Still, the choice then is either to crash or to deal with it with some runtime recovery action. Either way has some cost: the system around the executable must deal with more crashes, or the code gets more complex (and sometimes more brittle, even if the intention is the opposite).

Only the compile time check makes an issue really go away. This is to me the attraction of strong typing and any form of compilation time check. There's a price to pay too in accepting the related constraints: type checking must pass. So there's a cost here too. For complex or sensitive applications I personally much prefer this upfront cost.

But it's definitely not the only way: Erlang has runtime type checks, but a very good runtime error handling framework (the reference?), and it works well. Still, most environment relying on runtime checks are not at this level.
While I appreciate that's somewhat psychologically important, I don't think it's magically going to drop to zero now.
You mean when people were forced to stay home for months, deprived of social contact, and denied a normal life due to a global pandemic which was killing their friends and family?

Yes surely this is a good representative experiment.
Wait, how do you do this? I love shottr and wasn’t aware of this capability. Bonus!
"Fusion funding is literally peanuts: In 2016, the US spent twice as much on peanut subsidies as on fusion research."
I’d still wait if I were you.

That’s a red hot used market that Lovelace still needs to sell into. The drops aren’t done yet.
I don't think this is really a problem. I know Vala and I don't see a problem with confusing the two.
The paradigm of qt is good, the code is cryptic when you are a beginner. It uses too much concepts that people wouldn't necessarily be used to. If you read the code there would be many lines where you just tell "what is this?".
> Even in a commercial environment, hardware like this would be unusual, and very few people would have access to it.

For most companies it's kind difficult to justify the investment, if they need equipment this accurate at this frequency they will just rent it from a third party Test Lab during hardware verification stages.
You can short Bitcoin on larger exchanges
I don't believe it would. We've torn down about a million SROs* since WW2 and largely outlawed the creation of new Missing Middle housing.

We used to build smaller scale housing in walkable neighborhoods as something of a default. Policy changes and the right financing options could help bring such back.

* https://en.m.wikipedia.org/wiki/Single_room_occupancy
This is interesting. I designed a similar system a few years ago, although the company ran out of runway. We made many of the same design choices.

A few small observations:

1) GCM encryption is limited to 64GB under the same key/IV. Files bigger than that may need splitting up.

2) GCM is broken if you reuse an IV with the same key. So be very careful here.

3) I don't see anything about how synchronisation works. When multiple clients can read or update a central store, clients really need to know which is the latest. We used vector clocks for this to get event ordering. Some care is needed to preserve privacy and integrity and performance when adding in additional metadata.
All of these are nice, but why do all of them use material design? That basically rules them out for me.
Hi guys! I wrote an article about Stylify vs Master UI as next-generation CSS Utility Libraries, Check it out;
Regarding maps apps: Arguably, Pure Maps is decent (in a Mainstream Smartphone way), and Mepo is great in a nerdy way. I really need to look into packaging Osmin for postmarketOS, it‘s almost upsetting that it’s only available on Manjaro ARM.

For more info on these and other apps, check out https://linuxphoneapps.org/apps/ - contributions welcome!
Probably not, but the myth that trees grow to the sky is the only reason 99% of the money that bought into this did so.

A year ago the internet was non-stop jokes about how much it outperformed the S&P 500 year over year.

It’s now underperformed it by 75% since the previous peak. The myth has been completely shattered.
Freedom is an important part of the American identity (arguably the defining part, at least aspirationally), and I believe in freedom.

But we should recognize that humans are sometimes happier having some clear directions to follow and tasks to perform. Depends on the person and the situation, of course.

But it's also human nature that everyone wants to be the one giving the directions, even if it makes them unhappy.
Prices are gonna be dirt cheap after Ethereum switches to proof of stake in September
Are used graphics cards worth buying or does bitcoin mining cause significant wear and damage to them?
The x in "distance x" (grandparent comment) is very small.

"Very small" in this context is less than the lattice spacings, which for a typical crystal can be on the order of the wavelength of an X-ray (i.e., there's ~ 0.1-100 ångströms between the crystal's diffracting planes, so "distance x" must be a fraction of that length).

A typical room is effectively a <https://en.wikipedia.org/wiki/Gas_in_a_box>. If the walls of your box are good X-ray detectors then an isotropically-radiating X-ray source somewhere near the middle of the room will evidence an essentially uniform energy loss at the detectors, and and weak reflection from air molecules back towards the source. However, if you substituted the air in the room with a crystal lattice, the energy loss would be much stronger at detectors in some directions, and there would be strong reflections back towards the source along some directions. See <https://physicsopenlab.org/2018/01/18/bragg-diffraction/> for some details.
Indeed. https://www.youtube.com/watch?v=tGZ-h70IK9s . And the camera-man presumably did the same thing first, with camera in tow...
No, the code still sticks around, useless as it ever was for almost everything that was boasted of it.
What, on a fundamental level, makes Go worse than Javascript at desktop apps?
Annoyingly, 2.0.3 appears broken on 12.5 Beta (21G5027d).
Maybe one can argue that this funded the internet revolution? Maybe thanks to the obscene amounts of cash flooding the society, people got to experiment much more freely without expectations of profits from products but give these products away at a loss and use their securities as gambling assets?
It's definitely cheap to execute, the problem lies in the network overhead. With sub-resources (css, js, images) you can go from 1 request per page to 10 or 100 which is still negligible for fast connections (10 mbps+, http2) and servers with low request overhead - but the worst case scenario is high latency http1 connections where each request really matters.

However if you are serving clients with highly restricted bandwidth you're probably going to want extremely cacheable resources (public, immutable) and perhaps even a completely different site architecture.
No one cares about the tech if people won’t put money into it anymore.