skysight-inc/HackerNews huggingface dataset:
> arguments in favor of the Boltzmann Brain are written before the discovery of the Hubble's law (1929)

I'm pretty sure the Boltzmann brain paradox is 20th century, likely originating with John D. Barrow and Frank Tipler -- they discuss it in e.g. chapters 6 and 10 of their 1986 book on the anthropic cosmological principle, although afaict the actual words "Boltzmann['s] brain[s]" first popped up in the early 2000s.

Dyson, Kleban and Susskind (DKS 2002, https://arxiv.org/abs/hep-th/0208013) is firmly after the widespread acceptance of the lines of evidence pretty much compelling an accelerated expansion of the universe, for example. Albrecht & Sorbo actually talk about brains and bodies and so forth in 2004 https://arxiv.org/abs/hep-th/0405270v2 : in section "C." they discuss some of the history of the paradox, briefly.

Without a finite age to the universe -- this comes from Lemaître in 1927, rather than Hubble in 1929 -- there is no particular reason to assume that there is a low entropy state in the past. A positive cosmological constant creates more empty space (all of which is very high entropy, because of the indistinguishability of subregions of any region of truly empty space) and thus demands a much lower entropy before the dark energy dominated era. It's the low entropy of the past that's the source of concerns about Boltzmann brains. And a hot big bang is even worse. How did the universe end up in such relatively low entropy? And it must be low entropy rather than a hot dense system in equilibrium, because otherwise one runs into the problem of suppressing Boltzmann brains.

cf. Carroll's deck at https://www.slideshare.net/seanmcarroll/the-origin-of-the-un... starting at or before slide 21. A second deck at https://www.slideshare.net/seanmcarroll/what-we-dont-know-ab... starting at slide 5 is slightly more technical, with references at the bottoms of slides later in the deck. Suppressing an "entropy catastrophe" is very modern hard work for physical cosmologists!

> save the model of a eternal static universe

He didn't know the Raychaudhuri equations (1955, shortly after his death) or the focusing theorems they support, only the Jeans equations (1902), and was trying to suppress a collapse via Jeans mechanisms. Had he known about Raychaudhuri's expansion scalar, who knows where he would have went -- perhaps he might not have discarded his small negative cosmological constant in the aftermath of evidence for the expanding universe, but rather might simply have accepted a small positive value as consistent with the evidence and theory, and we wouldn't have had to wait half a century to get it back in the minds of cosmologists. On the other hand, perhaps we would still have had to wait for the discovery of the accelerated expansion to get to a small positive cosmological constant as a parsimonious explanation.

Finally, this is a really nice way to connect Raychaudhuri and the CC: [Ellis 2007] https://www.ias.ac.in/article/fulltext/pram/069/01/0015-0022
I don't known it good or not. But if i do a lot, but nothing changes? I knew that we need to pass some failure before we success. But when you go in the long way , tressure sometimes want to kill me. Sorry my bad English
Instagram Started Hiding Photoshopped Images Posts
Calendar CSS (Apple Calendar Style)
Delete with confirm gives you a far worse UX than undo does though.
The patent won’t hold. We have prior art from alien spacecraft for decades now.

Most of our current propulsion and lift mechanisms are based on momentum transfer, which has many problems in air. His work makes me think there are a lot more efficient mechanisms to be discovered.
Most people - even those in the US - will never use Airbnb. Being unable to use their service because you did a chargeback or sued them when they overcharged you is not a real loss.
Well, searching for "phone to buy" isn't going to do much good, is it.

"Reddit best 2020 phone" works for me much better, though ...

User friendly it is? No.
I read it as political stupidity rather than malice. Maybe not though. The requirement to have VTOL craft for our new carriers was an unforced error though, that necessitated the much more expensive model of the F35 that even the US doesn't generally use. We could've just opted for a better carrier design, or retrofitted.
Speed is also an issue, the video is speed up 2x and the progress is still quite slow.
People sometimes like challenge in their lives. See Everest climbing & etc
From depression to dementia, inflammation is medicine’s new frontier
"4 bits ought to be enough for anybody"
The OS level actions won't be fast. So this disclosure is closer to an irresponsible attitude. At least CAs should be informed.
For Machine Learning (esp. computer vision) it is really important.
First, as others have pointed out, it lets you use bigger batches of data in a single forward pass. This has not only performance aspects, but also certain regularization aspects.
Second, if you want/need to use higher resolution inputs then you really need a lot of memory. For example, MaskRCNN - a popular instance segmentation network - can only do batch_size=1 at 960x960 pixel images (with some tweaks). 960x960 is not a particularity high resolution by contemporary standards and also a batch_size=1 can cause gradient fluctuations (this is usually not desired).
There is also some trend in NLP (Natural Language) to work with lots of data/bigger models that are memory hungry (e.g. GPT-2).
The HTTPS cert is used for the router's login page - apparently putting an IP address on the box backside label confuses too many people. It makes sense to put it behind HTTPS because the browser will whine "this page is insecure"... but how is a router vendor supposed to include the neccessary certificate that won't get leaked?

The only thing I can imagine here is a dedicated HSM chip... but that's overkill for a 10$ router?
I did hop on the digital nomad train a couple of years ago.

I had to realize it's just a millennial, fancy word for being a monitor bound slave and making up some fancy terms (online marketer, digital marketing professional) for crunching numbers / clicking ads / creating those ads, remotely; where remote usually means a place where your pay worth more. Oh, and don't forget, now you are self employed, so don't need to worry about deductions for your retirement savings and such - if you are a really smaaaaaart nomad, you even move to Cyprus to optimize your taxes, how lovely.

Now put this into an Instagram-deluded world (so that these nomads can show how TRULY HAPPY™ they are), and you will find yourself in a kindergarten you don't really want to belong.

I met a lot of cool people on my way, who own cool businesses, and do cool work. There is one thing common with them. We don't need to put the digital nomad BS label on us. Probably we also make more than those fancy insta-stars, but this is not the point.

I ended up saying "I travel for work", withdrawing myself from the digital nomad groups and communities, and gladly deleting Instagram for good.
Start a Dropshipping Business in 4 Simple Steps – Part 1
I live in Spain and have only ever seen pre-tax numbers discussed. Certainly in professional jobs.

By tax, I mean income tax. I've only ever seen "salario bruto" in my contracts, in job adverts etc.
Not up to speed on the specifics, but don’t the insurances always have $x000 copayments?
>I've accepted that I'm probably never going to get into a company that pays that well, and that's fine.

Why? Have you tried to get into such companies? What part of the interviews are you failing at? If you've given up before you've even tried, then sure, you'll never get in.

You don't have to be a ridiculously good engineer get in.
Blame the perfect storm of VR, ML and Crypto :(
Sign all the things!

But for real.

I had an idea a while back: with all the photo/audio/video manipulation and ‘deep fakes’, there should be a certification available that accompanies (very expensive) cameras/recorders with protected firmware that signs each and every raw frame/recording, so the original is always available upon request from any type of inquiry or investigation.
Slack easily replaced by Keybase etc.

For me the killer would be something that makes meetings more efficient via AI.
> Elon teases trying to catch the dragon on re-entry

Worth remembering the Crew Dragon wouldn't need a major redesign to do a powered landing. That's one of the reasons why the escape system uses liquid fuel - it needs to be throttlable - instead of a simpler solid fuel design.
I tried to point out explicitly that I'm not talking about standard recruiter fluff like you describe.

These individual efforts happen both within big organizations and outside of them. Go read the story of any big product and you'll see how it happens - all of the major Apple products for example had an internal recruiting effort that pulled people off of other teams. I do this a few times a year myself within my org.
"In Edelman’s index of public perception, business ranked the highest in competence"

So business has a competence of 14 and ethics of -2 and NGOs have a competence of -4 and ethics of 12.

Only NGOs are ethical.

Only Business is Competent (but not by much).

Only the public is smoking some powerful stuff.

on edit: added the (but not by much)
Yeah, like "Reformer, the Efficient Transformer for Machine Learning".
What about ferromagnetic fluid? You can still spin it if you are aiming to push it 'centrifugally' into the features of the vacuum boundary, but you shouldn't lose a lot during the detachment.

(Plus it looks much more sci-fi.)
I'm not sure if this will help, but I suffer from a similar feeling. The sense that I'm often a cog. That others around me don't have an interest in seeing me as a full human — and even worse, perhaps, others around me and managing me don't even see themselves as fully human either, but are merely interested in climbing the ladder or making more money; merely doing the minimum required in terms of bravery and wholeheartedness -- i.e. just being beaurocratic checkbox checkers.

The things that have helped me a lot have, paradoxically, not been changing my environment drastically, nor the people I'm around at work (I do believe that changing those things can help a lot, but understanding, knowing, or finding which professional situation or group of people that facilitate what I'm looking for can sometimes be tricky; I'm hopeful, however, about finding a better environment or group of people with time). Rather, doing things like dressing better, reading in the mornings, practicing piano, going on long walks, and doing yoga (it's important, in my experience, to do yoga with someone that feels like they have a sense of poise and setteledness is important).

When I can find a feeling of centeredness and wholeheartedness and groundedness within myself, I perceive others around me as fully human as well as myself — by fully human I mean having potential, intelligence. And that lifts others in a subtle way, I think and leads to better success for myself and mutually. Sometimes the feeling arises that in spite of the normal BS of work, that there's actually a lot of room to get good things done if I can let go of ego, let go of the sense of frustration about how bizarre things are.

The valley has changed a lot the last ten years. I'm sure you'll find your way if you try. We all need to. Despite the money and perks, more people are waking up to how bizarre things have slowly become. Remember you're not alone and things can probably get better if we try.
Digging themselves out of problems that didn't need to exist. They could have just penalised fat pages.
I am curious if your open source app is on F-Droid, and if so do you find a better class of user there?

Slightly off topic - I can understand that people publish on Google Play to get reach, but it's upsetting when open source projects make it their sole binary distribution mechanism. It is strange to mandate that the user adopt the model of centralized control by Google, when 3rd party binary distribution is just as well supported on Android as any other platform. This goes for any app, of course, but open source apps in particular ought to know better (and with F-Droid, need not even host the files themselves).
Potato plant produces a berry too, but the actual fruit is toxic. https://en.wikipedia.org/wiki/Potato_fruit
M*A*S*H (2003)
Yours is the only mentally healthy attitude one can have today in regards to open source. The character and audience of OSS have changed and increased respectively.

It was quite sad to read this post for me, because I can see that the author has partly interwoven their sense of self-worth with their OSS work. The whole blog is a painful balancing act between speaking their mind and being polite which can only end in more grief for them until they let their displeasure show.

This is not coincidentally the impression I also get from the larger online Rust community. They repress their feelings, always trying to be prim and proper in their interactions, but those normal(!) negative feeling are still there and vent in bizarre ways, such as bothering random Rust developers the other day because their code is not "safe enough".
Nokia had invested quite a lot for mobile gaming with their "gaming phone", N-Gage. Even though N-Gage itself was a failure it gave a big boost to mobile game development in Finland.
> I wonder if they leave because of a perceived wage disparity/lack of advancement opportunity. [...] This report suggest that there isn’t much of a disparity

Keep in mind that the results of this report will be somewhat self selecting. There won't be much wage disparity shown if the people on the wrong side have already left. It is stated that wage disparity is a major reason that double the number of woman have left the industry by mid-career.
Actually it does bother me, because it means that employers have been lying to me when they said that this is normal. And if they lie about that, it means that they are deceptive and untrustworthy.

I'm autistic, so this is an area I have trouble in.
Seems to me like the inevitable conclusion to The King's Toaster.

https://www.ee.ryerson.ca/~elf/hack/ktoast.html
For all intensive purposes, it is best to use powerful tools and know how to use them. For less intensive purposes, you may get by with a Swiss Army knife.

But yeah, sometimes we just make a mistake.

Haven't we all uttered a malapropism at one time or another?

I love watching a flamingo dance!
Show HN: Domalio – One platform to track all your domains.
Almost any "large anything" hits pathologic behavior in a compiler.

For example, try to compile a Rust `match int { 0 => 0, ..., MAX => MAX }` statement with one arm per `int` value: you'll notice that for `u8` this kind of works fast: 1 - 2 seconds on my machine, but that means I'd expect compilation to take ~4-8 minutes for a `u16` with `u16::MAX` match arms, yet it takes > 30 minutes [0].

So the complexity of compiling Rust match statements is not linear in the number of match arms. And this is with a single language feature in isolation.

Now write a 100k LOC function using many different language features, each of which have worst case complexities larger than O(N), with different constant factors.

[0]: it doesn't really matter that much to me why this is the case. E.g. the compiler might be building extra data-structures that fill in the RAM, and then my system starts swapping, and it crawls. Point being, the problem is too large for my system, but one is able to hit this problem on any system with a sufficiently large input.
Just wait for the next generation Boeing Starliner MAX...
I have no regrets :D
I dont know. You may try different company. I noticed similar trend while a ago - our profession being increasingly pushed toward passive "do what I told you and shut up" position. That is however general statement and you can find places where it is different.

What I noticed is that it is better when direct leadership are people with technical background and worst when you work under non-technical leader. In first situation you are part of "us" for leader and thus more likely to be listened to or given chance. In latter you are the "other" or "different kind of person" and thus not seen as potential source of value.
Hi everyone

I am delighted to share my new project Domalio with you guys.

Problem : Whether you are a maker, a developer, or an entrepreneur, it can be a nightmare trying to keep track of all your domains especially if they are registered through different companies.
I know from personal experience. I started with a spreadsheet but found that I was wasting loads of time sorting this out.
Hence, I created Domalio to help you keep track of all your domain names in one place.

Current Domalio features:

- Get a unified view of all your domains from any registrar in one place.

- Automatically retrieve relevant domain-related data like registrar, creation date, expiry date, status and more.

- Get notified on change of status of a domain name.

- Log the prices at which you bought your domains and compare the registration/renewal/transfer prices from multiple registrars to get the best deal every time.

- Better organize your domains by grouping them into different categories (personal, business, etc). You can also filter domain names based on specific criteria.

- Comes with a dark theme to help relieve eye strain, and make your eyes feel at ease during night.

- Export domain portfolio to CSV

Please let me know if you have any feedback/suggestions.
Thanks a lot
Reposting the comment as top level, as I haven't seen it mentioned anywhere.

Google has developed Signed HTTP Exchanges https://developers.google.com/web/updates/2018/11/signed-exc... that can then be bundled https://web.dev/web-bundles/ .

Its main motivation is the rehosting of AMP pages while verifying that the cache hasn't tampered with them; but it could be extended to sign and bundle API calls for redistribution if needed.
Giu – cross platform rapid GUI framework for Golang based on imgui
As all the others say, just use the right key fob. It's in the manual how all this works (it is in mine, at least).
Ask HN: Do you ever contact people who have had a positive impact on you?
In the last year or so I've tried to make an effort to email people who have had some sort of positive impact on me. I specifically choose email because to me it feels more personal than a tweet or some other equivalent.

I've emailed quite a few people and have been very surprised at the 100% reply rate I've received and in some instances, the conversations that have developed from them.

The emails are usually very short, personalised messages along the lines of "Hi X, thank you very much for Y. It had a positive impact on me because of Z. All the best"

Some of the people include small to medium sized musicians, authors, developers, and teachers.

I kind of feel like a bit of a weirdo doing it because I don't really hear of many people who do the same. But sometimes I just genuinely want to thank a person for what they've contributed.
Get your own customers.
As amazing as it was, it was a specialist tool that few people needed, with very few of those being able to actually afford it. It was licensed per-machine at a starting cost of $1500.
Supply and demand.

It typically takes 4 years of undergrad + 3 years of law school + passing the bar exam to be a lawyer. If software engineers had to overcome similar hurdles to legally work in the industry, there would be significantly less of them.
Isn’t that usually lambda?
I come from the UK, which is pretty strongly stratified in terms of class (to my knowledge, the most stratified, at least historically). My observation was that, as long as you're straightforward and pleasant, people from all backgrounds are unlikely to dislike you if you come from a 'higher' social class. They'll have lots of ideas about who you are or what you're like, but they are mostly positive.

People from richer social classes, on the other hand, typically either dislike poorer classes for a variety of more or less obvious prejudices, or they dislike them because they project their own antagonisms, and thus feel disliked, then become disliked because they act 'guarded'.

My general basis for friendship is common interests and interpersonal chemistry. I think if people assume they have no common interests with people from different backgrounds, or they sabotage interpersonal chemistry by acting guarded, then they're cheating themselves.

Michelin star food is generally not all that much better than other food, golf is no different to mini-golf (aside from being less eco-friendly and less fun), and a jaguar old timer is just a particularly unreliable, unsafe and low mile-per-gallon Honda. Personally, I don't have much in common with people who define themselves by their career success, whether that's shown by fancy sneakers, or fancy cars.
When you think about how long the modern commercial internet has been around (which is of course the source of the biggest part of software jobs), after 18 years of experience you're talking about people who have been coding since the internet was mostly just HTML. Even since before relevant degrees were worth anything in the internet world.

It's a small demographic, much of which is reaching retirement age. A lot of the rest dropped out of the corporate employment world along the way to found their own companies.

I wouldn't be surprised if those numbers change as time passes and there are more available people with that much experience.
Being a maintainer means that you often have to deal with things when they go wrong. This can lead to the wrong perception that everyone dislikes you and your software while in fact it's the opposite.
Study after study after study shows that women in relationships with men are responsible for disproportionate share of household and childcare related tasks in the present not just in the distant past and anyone who says otherwise is sticking their heads in the sand.
I own a couple or FOSS repos myself, and after some years I tearnt to classify my projects into two categories:

ego-boosting: projects I don't care much and that I give away just because I enjoy making them and increment my selfish ego-feelings when someone uses it.

work: a project that has a specific work purpose or is the base or core product and that I want the users to adopt it.

Now, I hope the following isn't too rude, but it's the way I developed a thick skin, and also how I think about it when trolls and haters come around my projects: being a repo maintainer gives you a (small) position of power (take it easy, you are not Torvalds!). That is, when someone downloads or uses your project, is that someone that came to you and not the way around; when shitposting in some forum happens, it's them talking about you and not the way around. When there is a rude request of some type, it's them needing you and not the way around.

When someone comes with "you should X...", my toughs are "yes, I should because, instead of being completely useless about it, I'm the only one who can do something about it".

Of course, the above applies to the ego-boosting kind of projects more than to the work ones (since I want adopters coming and staying around, I can be more flexible).

If the request or critique comes from well educated, patient users, then obviously the above doesn't apply and the support/request goes through smoothly.

If the critique comes from a peer maintainer or someone you esteem, then the situation could be different (and happened a few times to me, and I can't remember how I felt).
Or a car model with severe problems. This rarely (if ever) happens because with that many cars, severe problems tend to be noticed fairly quickly. That shouldn't change with self driving cars. With several million miles driven each day for more popular models, even rare edge cases should appear within days.
It's in the manual...