skysight-inc/HackerNews huggingface dataset:
That’s quite an exaggeration, though I understand how it can seem that way to some. Anyhow, it’s the middle of summer vacation, so lots if people are out of town. But more to the point, the meteor was visible over an area vastly bigger than Oslo. Even more to the point, dashcams aren’t that common in Norway, I think (though I have no data). In Russia, they are said to be very common as a defence from corrupt police and wrong claims of other drivers in case of accidents.
In the US, 14% of adults smoke. In California it’s under 12%. Among households with an income above $100k it’s 7% [0].

If you belong to a certain demographic that is prevalent in this forum (upper middle class in California), the above is pretty much true. I can’t think of any person I regularly interact with who smokes.

Globally, it’s a matter of time.

[0] https://www.cdc.gov/tobacco/data_statistics/fact_sheets/adul...
Any complex computational machine is still equivalent to a laptop machine in terms of what it can compute, so it can always reproduced as a regular physics simulation.
Something different could be a machine able to do hypercomputation.
They used to broadcast it into Europe during the Cold War on 648 kHz MW using an absolutely ridiculous 500 kW transmitter and an aerial system that developed 2 MW directionally. This got shut down in the early '10s then was taken over recently by none other than the famous offshore radio pirates Radio Caroline who use it on a much more modest 1 kW. They still have their pirate radio ship but I think its transmitters got smashed up by the government in the '80s so they relay to the old BBC World Service site over 4G.

You can still hear the World Service on 198 kHz longwave after 0100 BST in much of Europe, they even shut down Radio 4 with the national anthem just before like it's the '50s or something. It's a delightful anachronism.
How is this falsifiable? i.e. how would you prove that a weather extreme is not due to global warming? (general question, not specifically aimed at you).
> The difference is that people actually need to get around

This is really context-dependent. Some cities/countries do have efficient enough public transport, and/or they're flat enough to make bikes usable.

In such contexts, using a bike is a realistic choice (like mine). This goes even for families with children (in some countries, parents who don't want to depend on cars use cargo bikes).

I know that in some countries/cultures, people will use the car even to avoid a 5 minutes walk (I know it for a fact; I'm familiar with that), with the result of massive traffic and pollution.
My information is that there is almost no gender pay gap, if you adjust for special factors.
You get these in the scientific articles, you cannot expect a newspaper article to include these. It should only include the interpretation of experts of these statistics. Not the statistics itself. That data is up to you to look into yourself...if you are an expert in the field.
Life as a “Comfort Woman”: Story of Kim Bok-Dong
if a kid threw a small rock at you some years ago and then slowly over the years more kids throw rocks at you, only a couple at a time, and then one day you walk out the door and there are hundreds of kids throwing rocks at you and there is a newspaper on your front porch with headline "Kids throwing rocks projected to increase 50% by tomorrow"; do you think "I guess I've had a kid throw a rock at me before, this is no different"?
Yeah, a webcam is generally for people on the other side of the video call, not for yourself.
I'm afraid that in a decade, humans will just accept this as our reality and forget that it wasn't always like this. In 20 years, we'll have a generation of adults who'll think our stories of years of generally calm weather sound like pure fantasy.
Exactly. After noticing this, I finally pulled the plug on deleting my FB...but in a creative way... Deleted everything inside the account; posts, pictures, friends.
Kept the account for events, messenger and logins.
Am I right in thinking that the long term business plan for these is to get bought up and turned into one large provider network such as Openreach?
Just because there are wheels doesn't mean you'll never need to install Rust to install Cryptography. Just this week I got a "you need Rust" build error inside of a Docker container due to Pip not being able to find a wheel for the specific Python version used by the container. Fortunately, the version of Cryptography that was being pulled in supported that environment variable to use the C version instead, so I was spared from having to do a ton of work.

For now. One day I'll wake up and a future version of this container will refuse to build because whatever library pulled pyca/cryptography in got upgraded and now needs the Rust-only version.
Some time ago I spoke with a Norwegian, who told me that smoking is socially perceived as negative, to the point that it may happen that somebody ends a date because they find that the other person smokes.

They've told it's been due to successfull campaigning against smoking. I'm very surprised, but if it this is accurate, it shows that a cultural shift is possible.
Um, they are maintaining a distro. It’s called PureOS [0].

[0]: https://www.pureos.net
Evidently there are problems with incompetence in leadership and that encompasses orientation and strategy of agencies responsible for security.
If you follow the link there's fullscreen hardcore pornography playing behind the transparent age warning. Incredibly not safe for work.
> It is unknown who stocked the machine.

Unknown as in nobody at/from Capitol Hill told anyone, or unknown as in nobody at Capitol Hill knew.. or worse, I wonder ? :)
The biggest issue IMO is that most software begins as a startup, and despite becoming big companies later, the startup mindset and habits don't really change.

Before product-market fit, you don't really know what data you need and what data you'll need. You can't go back in time to collect data, you need to do it now if there's a chance it will be useful later. In a pre-seed company (or even at seed), you don't have the resources to audit every package much less get SLAs in place. Most companies I know do the bare minimum for GDPR, and it's not a lack of care for the user, but that often it's not the best place to deploy resources when considering the survival of a company.

Most software starts out being assembled in flight with multiple changes in destination - and those habits stick.
both?

- tech manager != tech leader, different skills

- CTO is like a Chief Science Officer at a biotech or seniormost Principal/Fellow Engineer at a bigger tech co: ~No boss and ~no reports. The more boring the core tech & scale, the less important to have.

- VP.E might do more on internal people processes, like run overall technical recruiting, while CTO stays involved like helping close candidates & joins bigger sales calls, but is overall more peripheral to the people management. They are not fully removed -- they might focus more on say code culture due to being an experienced technologist & deeply familiar with the core code.

- Both VP.E & CTO might say fix little bugs to make sure code culture is sane and help add productivity tools to the stack, but CTO will more likely run major arch advances & new system prototypes, while VP.E will help trains run on time by seeing ahead around coordination issues. Both need to be leaders (consensus building, ...), but one leads the company's technology and reads deeply on technology, and the other, its technologists, and reads deeply on management.

Lacking a good VP.E. leads to inability to ship: cannot execute tactically. Lacking a good CTO leads to a stagnant technology org: cannot execute strategically.

I suspect this changes at bigger scales, where my cynical side suspects, at most orgs, corp dev (M&A) > Office of CTO for technical leadership :(
Being inoffensive and avoiding confrontation aren't the same thing. You can politely engage with people who don't see eye to eye with you. It's done pretty often on HN.

If you delete your reply to this, I will try to delete mine and maybe the whole thing can disappear.
Gaze upon our work, and rejoice:

pub fn try_join<A, B, AR, BR, E>(a: A, b: B) -> impl Future<Output = Result<(AR, BR), E>>
where
A: Future<Output = Result<AR, E>>,
B: Future<Output = Result<BR, E>>

I get why its like that, but I really wished this wasn't a typical Rust generics signature.
I love cars. Not only how they look and work, but because it can bring me to places where other people don't usually go. It gives me the ultimate freedom feeling. Going far in car to some remote country/region is such a nice thing to do.
I don't want to live in a city from where I rarely leave.
I need my cars.
> The thing is, you're supposed to read the terms and conditions before using something, AS FOR EVERYTHING.

Doing it for everything is impossible. Reading it for critical things is fine and needed, but for everything I would need to hire several lawyers.
Haven't read this article yet, but I've enjoyed most of the previous ones from amos
Agreed, I recognized this after a few seconds of more thought. Tried to delete my comment but it wasn't possible, since it looks like your reply caught me before I could!
If you want to (also) backup remotely (the server don't have access to encrypted data), I would recommend some borg-specific hosts:

- Rsync.net: https://www.rsync.net/

- BorgBase: https://www.borgbase.com/

- Lima-Labs: https://storage.lima-labs.com/

- others?

(I'm not affiliated in any way, I'm just a client of one of them.)
I don't think the reason Restic won't support compression is because of some security concerns (Restic encrypts blobs separately, and you'd compress things blob-wise as well), but because there simply wasn't any space designed into their file formats to signal compression, so it's essentially impossible to implement it without breaking compatibility.

Borg's story is actually similar but the opposite. Attic only used to support zlib, other methods were added later. This was possible because the zlib header uses only a few values for the first two bytes, so there is enough room to indicate various compression formats.
> Fascinating! I have not yet had a chance to hear it admitted openly.

In SV, it's common for HR to write internally "we need engineers for X - but only women."

There's 3 problems with that:

1) Often nobody gets hired, because nobody knows women that do skill X. Anything on call (Operations, DBA) is one example where it could take years to find somebody, and frankly, where people are needed ASAP to share the on-call load.

2) The logical fallacy that Laurie Voss falls into in her tweet (linked in parent.) "Diversity" according to her should include more candidates, but when it's restricted to one group for example, there's less total candidates, because it's not diversity increasing total candidates- it's affirmative action of a minority population.

Whenever feminists say something, you have to fill in the blanks for what they didn't say to support their narrative.

3) And often people don't want to refer friends to a company that has issues. HR meddling in eng. hiring is a red flag.
> it is very common for polish people to omit polish letter

Is it still common? It was popular when there were many encodings that always broke and when people wrote SMS by pressing number keys 5 times for 1 letter, now I don't see it that often. I'd say it's about as common as writting l8r in English :)
Training a GAN is an interesting approach!

But one thing that I'm not sure you're aware of - is that you can get very good results without resorting to this.

The trick is basically to get Freetype to render the glyph with hinting enabled, but at increased horizontal resolution (eg 4x is enough). By stretching the glyph horizontally, you basically get rid of the vertical hinting. Because you're rendering for LCD sub-pixel display, you triple the 4x again, so you actually render horizontally at say 3*4 = 12x pixel width. This wipes out the effect of hinting horizontally, but preserves the vertical hinting, which gives you the best of both worlds. You get crisp horizontal edges, and the ability to place glyphs with sub-pixel precision on the X axis. Of course for mono-spaced fonts this doesn't matter, and for maximum crispness, you might as well just render LCD sub-pixel glyphs with full hinting, which gives results that looks similar to the example at the top of your page.
It's a really hard pill to swallow. It will require expenses and sacrifices far beyond those that covid required, and for far longer.

I have zero hope of it happening. People won't stop driving, flying or eating meat. They won't even drive smaller cars. As I understand it, that would just be the start.

Looking at how we handled the pandemic, I don't think we'll manage.
This resonates with my thinking as well. Although something I’ve always been missing from people talking about agile in general, is more specifics on how collaboration can happen. Especially collaboration with ”the customer” (customer is a terrible term). I’ve learnt so much more from reading blogs by Teresa Torres than from any agilist about how to actually learn from what you deliver.
China has almost completed first experimental 2MW Thorium Molten Salt Reactor
There has been the stylus tech for a while to do good input, but typing out phonetically is basically much quicker (and the "flick"-based inputs of touchscreens even faster). Do you want to write out like 7 lines on a screen for a character? or just type its 2-4 letter phonetic?

The current input stuff is basically like T9 crossed with gmail's autocomplete: it's really good at predicting what you want for the most part, and lets you type at very fast speeds whne you're good at stuff. Exaggerating a bit with the GMail autocomplete but some very common fragments will pop up almost instantly when you start typing them in.

In a sense the input methods are a solved problem.
IMO if your article is long enough that it crashes MobileSafari, it should have a table of contents. Or it should be a book chapter. It’s a really obvious criticism of all of fasterthanlime’s posts that scarcely bears repeating at this point but they’re not getting any shorter. I get that he has a lot to say but I just don’t have time to wade through all of that. What slice of Rust users are both such noobs they haven’t heard of cargo-edit and can’t Google it, but also so advanced they are interested in implementing Future manually to deepen their understanding? It’s ok to teach both things but why together?!
We picked one startup idea out of 125
I support banning cars specifically in certain neighborhoods in Manhattan. Probably not in any other borough or Jersey City but I want a ban on cars in Manhattan for exactly the same reason you are describing - building empathy toward people who need to use the subway with their babies in a stroller or backpack (not sure what the correct terminology is for this). If everyone has to use public transit, maybe we will be nicer to people who have to take their human infants to the doctor in a bus or a subway.
While climate change denialists minimize and try to pretend that more analysis is needed before lifting our smallest finger to change the obvious problem (humans burning hundreds of millions of years of sequestered carbon in the span of 150 years)

It’s actually rather urgent that we collectively acted like the singular species we are, and acted yesterday already.

Don’t wait til 2030 to phase out whatever, let’s go full bore and do it now dedicating our full combined engineering might to tackle the problem.
IS HUMANITY CAPABLE OF COLLECTIVE ACTION IF OUR LIVES DEPEND UPON IT?

You know those films with alien invasions where humanity comes together to fight it, can you imagine traitorous factions saying the alien invasion is just a myth? Undermining all that is needed for collective action
Somewhat of a tangent, but another (and somewhat more disappointing) trend are "only high margin item stores". There's a lot of this in DIY, where it's easy to find a new drill but hard to find a new drill chuck, easy to find big boxes of screws but never that one particular length and size you're looking for, easy to buy a pump but not 3m of whatever kind of tubing it takes. Stores used to be able to use those big ticket sales to subsidize unprofitable sales of small items and replacement parts, but the internet has made that an impossible business model.
The world is changing rapidly. In a month it will be possible not to recognize this world. Taking into account how technologies are developing, we can wake up tomorrow in the world of fiction.
Pomodoro Sucks. Try Flowtime
It is about what the other user linked. The responsible minister was Ernst Albrecht (CDU), the father of Ursula von der Leyen.

Not saying she should be responsible for what her father did, but it is noteworthy because her career was mostly being his daughter.
Generics are about encoding supplemental bits of information in the type system. That information has to be spelled out somewhere
I'll be honest, I'm very interested in knowing how that polish phrase entered a Scotsman's, living in Czech Republic, canon and what it means
Regulators have the power to actually do something but instead do the policy equivalent of a clickbait youtube thumbnail. This isn't behavior to celebrate or praise. Policy needs to actually do something.
A lot of Japanese music is available on Apple Music and iTunes
As for the pandemic, the tension in the world is growing, and not for medical reasons. Society is sharply divided.
Do you have a better way to write the same constraints?

Conceivably if there was a way to not repeat the future parts.
I use restic as well, was just interested to see what's different about Borg. But I think restic was the right choice, already saved me once from data loss.
The great thing about vague bullshit is that if you squint really hard, there's always a semi-plausible interpretation which makes sense. See also: fortune cookies, horoscopes.
The main reason safari is used in desktop is because other browsers are not first class citizens. They have access to resources that third parties don't.
Davinci DC 100 – open-source and API
Nix it's very common to relink using patchelf, but I don't know if that makes sense linking from glibc to musl. Changing the compile environment from gcc to llvm and/or glibc to musl, means you will be building a LOT of things from scratch because upstream Hydra only builds and caches glibc. There's nothing "wrong" with glibc, but it does cause issues where a compiled binary says `-linux-x86_64` and then doesn't work with your system's glibc. I had a tool I wanted to use in an Alpine container, and switched to Debian or Ubuntu because I didn't want to deal with the incompatibility even if Alpine is smaller and faster. I got the author to put out a paragraph in the README about alternative, non-glibc not being supported by the prebuilt binary (ghc from Ubuntu isn't static).
So we're holding Ursula von Der Leyen responsible for her father's actions now? Or is it that his immorality is genetically transmissible and she too is definitely a bad person?
I don't understand the emotion, or even the idea that I have to feel something about cars or roads. What is it to do with me, why should I care? Its not as if I can do anything about it.

The governance structure provided us with road infrastructure in the past. We were sold this idea and developed our lives around it.

Now the governance structure wants us to live in smart cities, with no cars. This allows for greater control and tighter management of the tax paying stock.

No one gets to vote for this stuff. It is not a way of life I would choose - I don't like being manipulated. I'm not going to stand at the sidelines and clap these changes on. It is communitarianism - but its not a good thing.
Brain Science Terms
The difference is that, first, you get 100% back and not 50% (a tiny detail...), and second, you elect UK government and MPs... you don't elect the "Commissioners" in Brussels, you can decide what and where to spend money on.

But if you have no problem with that then contact me by email, for your own good, i'd suggest that your spending go through me first, give me your money and I'll fund you in the "optimal" way, for your own good. ;)
> One would expect that they'd also count "I will, "we will", etc. and show a ratio. But no.

No - what you want to measure is the absolute number of occurrence, not the ratio, the reason being that "making negative predictions" is not the opposite of "making positive predictions". Similar to the fact that negative and positive affect aren't opposites but distinct factors (that share some correlation though!).

'Common sense' can easily lead you astray here. It's a good example for something that looks simple, but really isn't.
Having lived there for a while, some observations:

Travel: major airlines have robust enough mobile sites or apps to make a 100% smartphone experience seamless. Printed tickets can be obtained from ticket kiosks inside any convenience store. Big travel agencies such as JTB or HIS also still play a large role.

E-banking: might be different now, but 2018s Japan still eschewed credit for cash, and rely on passbooks [0] for teller/ATM transactions. Most Japanese people I socialized with regularly carried around $300 USD equivalent in cash.

Transferring money to other individuals or companies is easily done through ATMs.

Bill payments: either auto-withdraw, or paper bills mailed to you and paid for at...convenience stores(called conbini in Japanese)! Just have the cashier scan the QR code and pay in cash! Miss a payment? No worries, the grace period goes for something like 60 days and the balance due will just roll into the next paper bill.

Online shopping: the spot that shows the greatest amount of credit card adoption...but you can also pay for things using gift cards (sold at the nearest conbini) or ...you guessed it, more QR codes and kiosks (at conbinis).

Subscription services: All
major streaming sites sell gift cards for various time amounts. Or you can tie your apple or google pay account to your phone provider and have the charges added to your phone bill (payable via conbini kiosk).

By the time I was leaving there was a greater push for app-centric user experiences but for the most part, life goes on via cash and conbinis. It is very possible to live life with just a smartphone in Japan.

Something also of note is that unlimited SMS is not a thing in Japan and the Line app rules the day for daily communication. Line has been pushing their digital wallet really hard lately, and I had to mute the app due to incessant pleas to make me throw my hard earned cash into Line...

[0] https://en.m.wikipedia.org/wiki/Passbook
We found that restic (at least in its newest version) uses ~ the same amount of RAM or even less that Borg on some systems. But no big differences there.
I think it will be quite some time yet. As a researcher, my objection to computer-aided proofs is not that they're hard to read -- you would of course write a human readable version to go with it -- but rather that they're extremely time-consuming to write. (And writing papers is hard enough already.)

A typical research paper is written at a very high level; often steps in the argument will assume the reader is also a skilled mathematician, and invite them to fill in the lower-level details themselves. This reasoning is as much intuitive as it is formal; I suspect it will be a while before proof assistants are as intelligent as the typical reader of a mathematics paper.

I think there's an outside perspective that if math isn't 100% logically verified, it's worthless, which doesn't really match up with my own experience. Most results rely more on the intuition of the authors than on the precise logic they write down; thus the surprising result that papers with logical gaps are, very often, still correct.