skysight-inc/HackerNews huggingface dataset:
I see your argument a lot more often that mine. Both are very old. This idea that success is random and therefore inequality is unfair also goes back to the dawn of civilization. Nevertheless, in history, it's far more often the brilliant individual than the expansive committee that's driven us forward. Do you really think that each person really is endowed with equal faculties for dealing with money and technology? Is merit an illusion? I just can't accept that.

Most non-inherited wealth --- not all, granted --- is deserved. (Inheritance of massive wealth is a problem because it grants unearned power to unproven people.) I think if we'd strictly applied the principles you invoke, our species would have never left the trees.
> Why ignore the option of specifying propositions as separate invariants or postconditions

These are usually called 'contracts'. But there's not much of a distinction between contracts and refinement-types.
Audi You Buy an Audimobile on Cape Cod
Audicapecod.com
This should be an indication to you that you are missing information or making incorrect assumptions.
Writing a blog post about something I built in my spare time and then sneaked-in to share with co-workers.

Then boss reprimanded me, but another company read my blog post and hired me.

Turned to be the best job of my life.
Facebook had 20 USD per active user revenue in 2018. So it is somehow worth more than that.
Learn Flask by coding / updating an open-source Web App
Ask HN: Why can't we regulate industries to open their code?
what are some of the difficulties that companies face from being forced to give a licensed copy of the code to the end user? It doesn't have to be open source but just viewable or modifiable by the end user.
How will that harm the proprietary software? Business still can't use it for free as it is not open source.
Legal liabilities? I think those are important and for the good.

Of course it can't apply to everything so maybe any code running on a piece of hardware you purchase also gives you an individual license to modify, view or update the code?
Bail? For what? He has not committed any offense for which he should be held in custody under UK law. And the extradition should not have been considered, since the UK official doesn't extradite for charges of political offenses.
The more money a city spends on homelessness, the more homeless people there are. If you were a homeless person, wouldn't you go to a city where there are more services for homeless? Panhandling for a bus ticket is no big thing for them.
I noticed that some of Rivian's promotion videos are CGI, and they are currently hiring even more CGI artists.

Just look it up if you're doubtful.
There is a comment that replied to mine that is now dead but is fairy accurate for me as I do not have a college degree. I’ve been able to some what transition to a technician/mechanic path but I make barely enough to support myself without kids or any other expenses. I have found myself in many ways much happier with my work, but the instability and low wages definitely add stress at times. Unfortunately, I have found few opportunities where my many years of software development experience mean much to potential employers outside of the industry. Of course this is very anecdotal.
I'm willing to bet that the EV battery longevity is even longer than advertised. I have a ten year old battery in my hybrid car and as of yet I have zero reason to replace it.
Even Israel's system is really poor (240/690 in may) and it doesn't try to shoot down hypersonic missiles.
I see this all the time, trying to live off dividends or low returns off something like $1m or so. The thing is if you retire early in 30 years time you’ve spent all of your returns and now inflation has eroded your principal.

I don’t see why you wouldn’t just keep working in a low stress easy job, part time or something, and continue to build savings.
Why is concatenated json a thing?

In what sense is: {0}{1} better than [{0},{1}]? Presumably, if a few bytes are a major concern, you aren't using JSON anyway.
Hats off for developing such an amazing tool. The question not asked is "Why create another image editing tool on Linux?". When 'competing' with a gorilla like Photoshop, perhaps extending / rewriting Gimp would be a more effective way to produce a high quality tool, instead of fracturing the community.

Not a criticism of the efforts, just the focus. It would be really great to have a FOSS alternative to the increasingly expensive and locking-in Adobe suite.
> Hillary's use of a private email server was extremely illegal

Ever single government entity with the power to rule on this has said otherwise. You are the one spreading "lies, propaganda and misinformation."

Tell me, if Hillary broke so many laws, why wasn't she ever charged? You do realize there were multiple investigations that concluded it did not meet a level of criminality?
With enough mid course interceptors, you can. That's simple math
The solution is simple. Stop watching TV and read lol
Rolling deep into anecdotal avenue, but my thoughts on grad school

• Lucrative fields like medicine & dentistry saddle you with enormous debts (often in the mid six figures) that take multiple years to pay off. The ROI is probably worth it if you work to 65, but you're locked in for easily twenty years, and such high debt levels make taking risks very difficult.

• Lucrative, but more populated fields like law & business also often saddle you with enormous debt, and for these degrees you need a school with a strong brand name to get a look in anywhere (if you do an MBA and you aren't at Harvard/Stanford/Wharton, and a very few others, what's the point?).

• In a lot of fields (liberal arts/social sciences) what's the point of getting a masters? Do you get an earning premium? Is the earning premium worth the opportunity cost? I'd be surprised if the answer is often yes. I have a friend who was a teacher and is now studying to be a families therapist. Lovely person, but absolutely terrible choice. Years of additional study and debt, and no hope of a future earning substantially more money to show for it all.

I agree completely with your points about teenagers not doing enough due diligence before they study.
An HOA is the last sort of organization I'd trust to run a firewall for me. Those orgs are magnets for petty tyrants, bored stay-at-home control freaks who want to flex on the neighborhood. How many would decide to turn the internet off after 8pm "for the children" or something equally inane?
Human powered in the sense that the expert system we developed uses those human likes, views, star ratings and implements recommendation features to facilitate humans recommending titles to other humans in a very straightforward way.

But there is no ML compiling a profile of every genre/title you've ever expressed interest in and then using that profile to guess what you want to see next like Netflix et al.
In my experience, there’s seldom such thing as a “super simple web site”. I always run into situations where some dynamic functionality is required and vanilla JavaScript gets messy very quickly. Svelte is so compact and easy that it is the ideal tool for such scenarios.
> instead of faithfully implementing the grammar from the specification, allow numbers with leading zeroes and then produce an error for them.

But that's the problem. The tokenizer doesn't talk to the grammar parser (and vice versa)

The tokenizer could understand numbers with leading zeroes and throw an error there.

Something to think about: do languages - not json - interpret -1.2 as [MINUS][NUMBER] or just [NUMBER]. Or how does languages deal with 1.0-2.0 compared to 1.0+-2.0
Hi, I do privacy research at Brave. Our fingerprinting protections are still being improved (our second round of FP defenses should hit nightly in Jan), but the comments here are wrong; our defenses are much better than Firefox and Chrome.

We don't consider as part of our threat model preventing sites from knowing you're using Brave. I'm not aware of any browser or tool that considers this as part of their privacy threat model either (including the terrific Tor Browser Bundle). Our goal is to prevent sites from distinguishing between Brave users.

My claim is that our fingerprinting protections are strictly stronger than Firefox and Chrome. A partial list of fingerprinting protections that are enabled by default in Brave are at [1].

Fingerprinting is tricky, and we're tacking the problem in on multiple dimensions. We need to go further, and expect to have v2 of our defenses in nightly in the next month or two [2], but we're also leading efforts in W3C to address fingerprinting in standards (I'm snyderp, those are my / Brave issues identifying privacy harm in standards) [3], and we're pushing hard to prevent web standards and privacy efforts from being eaten up by vaporware [4].

So, all that is to say, Brave has the most aggressive fingerprinting protections of any general purpose browser, and is getting better. The naysayers are welcome to backup their claims ;)

1: https://github.com/brave/browser-laptop/wiki/Fingerprinting-...

2: https://github.com/brave/brave-browser/issues/5614

3: https://github.com/w3cping/tracking-issues/issues

4: https://brave.com/brave-fingerprinting-and-privacy-budgets/
> It seems like this disagreement should be easy to resolve. You are saying that it's hard to satisfy the type checker when porting a dynamically-typed program; OP says this happens very rarely. Therefore you can easily disprove OP's claim by providing some examples that happen commonly in practice. Provide them, please!

Great, let's stay in a weakly typed language -- and give the smallest of examples. This is so easy to come by it should be obvious that extrapolating this up to real business systems greatly magnifies cost. Here's weakly typed Java:

Function<String, Integer> countChars = str -> str.length();

That's a function that counts characters in a string. It compiles. Now let's drop the types:

Function countChars = str -> str.length();

That is a correct definition of the same function but it doesn't compile. The compiler needs information to carry out its proof.

This extrapolates to infinite more examples and the cost in building actual business systems is profound.

Now carry this to a strongly typed system.

The general claim is that type inference will allow the second form to somehow magically pass the compiler.

Not true.

The type inference requires `length` to be formally declared before the compiler can pass the program. I.e., the compiler must be told about the types somewhere.

In a dynamically typed language I can late bind `length`; ie the compiler doesn't need to be "told" something that I, the programmer, have got fully covered by my own measures.

But the compiler doesn't know this. I've already done my proof of correctness (as I should). But because the compiler does not have context, I have to tell it something that has no innate value to me and what I'm delivering -- it only has value to the closed-room of the compiler. This is hostile to productivity and serves only my early commitment to having a type prover guard my every move.
Weight Management Kamphaeng Phet
Have you ever thought about losing weight without having to go on a diet? Stop feeling distressed about your appearance because we have found the perfect solution for you!! Discover the 2 step ritual which will help you in maintaining your health and your body!! Check out the link and find out for yourself what other people have achieved in following this method!!

https://achieveloseibs.weebly.com/
Used to experience the same. Eventually had tonsils and adenoids out. Some improvement in frequency, but still used to succumb. Went low-carb (properly) and found myself without _any_ congestion, which solved the initial and subsequent problems. N=1, etc. One paper by Paton from 50's relevant (re pneumonia), otherwise nothing I can find in the lit. Recommended, though, for that and other readily apparent reasons.
Principles by Ray Dalio changed my life and really helped me better understand that inwardly looking at and analyzing my emotional responses to problems at work and home set me up for failure and since reading it I've had such profound clarity of thought. I recommend that book to literally everyone.
And why bees will sometimes harass people that look too much like a tasty flower.
The whole left/right dichotomy is a bugaboo.

Politics is the continual friction between individuals and various groupings of people.
On The Shortness of Life by Seneca.[1]

Man's Search for Meaning by Viktor Frankl is also excellent.[2]

[1] - https://tripinsurancestore.com/4/on-the-shortness-of-life.pd...

[2] - https://www.amazon.com/Mans-Search-Meaning-Viktor-Frankl/dp/...
Trying to solve manufacturing while inevitable improvements to battery chemistries and electric motors proceed, is a viable strategy. They’re not inventing a new magic box nor disrupting the art of office leasing, they’re building electric vehicles.
Not sure what's confusing. "[01]" is not valid JSON. JSON being a subset of JavaScript means that all valid JSON constructs are valid JavaScript constructs. So, the subset statement says nothing at all about "[01]"
Interesting... that led me to this article:
https://www.savingforcollege.com/article/history-of-student-...

It's skeptical of those claims of abuse that seemed to originate in Congress, but nonetheless discusses some of the other historical approaches to solve for that, such as requiring a 5-7 year waiting period for bankruptcy after graduation.

I think rayiner added some compelling points above too, income based repayment may be a substitute here to solve for this issue while preventing abuse.
USSR had no problem smuggling in conventional explosives and rather bulky spy gear into the US
This whole setup doesnt make sense for me.
Flying as a whole is not that comfy even if you are flying first class. Pack + taxi + controls + wait in lounge + wait boarding and etc.

I believe not needing to fly is more luxurious life than flying. If your job requires you to fly, than business class is there just for that purpose :) (company pays)
Honestly because this person is incorrect in their supposition that Krita competes with Photoshop. Gimp competes with Photoshop (extremely poorly), Krita is OSS Corel Painter and it's great at that. They're all image editing tools sure, but the focus is different.
It’s cyclical. The stronger the economy is, the worse airlines and hotels treat their loyalty program members. When the next bad recession hits, they will open the “loopholes” back up and we’ll be adrift in a sea of unbelievable promos.
There are basically zero consumer devices right now that actually support that functionality. It's not useful as a selling feature when TVs all have wifi now anyway.
Airplane sewage contributes to fast global spread of antibiotic-resistant genes
Still think that dynamic language with dynamic type and messaging still have a future. Objective c, lisp and JavaScript have some of this. Not all will die out.
The Samsung TV is a physical object that you purchase. It might be true that you don't own the software running on the TV, but you at least own the TV.
What a fantastic machine the Archimedes was. If your BASIC programs needed more performance, you just used the BASIC's built in assembler.

In about '94 my Archie could out perform a modern(ish) 486DX PC despite it being an origonal '87 model
The Forum on KQED (radio) had a great program on this very topic — best books of the decade, with a broad set of recommendations by panelists and callers.

Website link below has whole program for listening (I recommend), as well as a published list of all recommendations:

https://www.kqed.org/forum/2010101874704/tell-us-your-favori...
Does a piece of cork amount to "exotic material science."

Disposable heatshields are certainly used on all of them.
Inner Fidelity has some useful data for various (mostly expensive but not all) headphones. The frequency response graph is particularly helpful.

https://www.innerfidelity.com/headphone-measurements

I like my NAD VISO HP50.
Thank you for taking the time to write this response.
The EV market has already hit a plateau, suggesting that it has exhausted the customer base for very expensive cars with short ranges. September 2019 sales were down (US and global) vs 2018, and 2019 Q3 sales were down vs Q3 2018 as well (also for the US and globally). These sales figures suggest that EVs need something new, like lower prices or more utility, to start growing again.
But it's still work - you call it work, for one. I mean you enjoy doing it, doing it for free, anonymously, without recognition - although the recognition part is starting to sting now - so why not? But there's other things to life than work as well. Find things you enjoy doing that aren't 'work'. Broaden your horizons. Even if it feels like a waste of time.
The first thing you need to do is get one that matches your audio output.

In "theory", you get higher impedance as a result of thinner/lighter wires in your voice coil, which "could" result in better sound reproduction.

In practice, I don't think that's really relevant for most usecases (in any case, you would have to measure the performance of the specific hardware anyways). So the most important thing is just get something that your output driver can handle.
Yeah let's make it more difficult for people to get back on their feet. While we're at it, let's not forget about arresting anyone who is an addict or has mental issues. We should expand that and arrest cancer patients and people with other maladies who went bankrupt and became homeless. Maybe we should torture them too. We could light a fire under their ass to get them moving back into society. Literally. All great ideas. I'm sure as long as we stay on this track we've been on for so many decades and do the exact same thing we've been doing, things will magically improve. That's logic for you. Hard to argue with that. /s
Streaming is the prime use case.
If you don't have an extra amp, you'll probably not want the 600. The safe bet is the 32, anything can drive that, including your phone.

Traditional wisdom is that higher-impedance models have better sound, but at least I wouldn't be able to hear that, and there is a certain bias in that comparison, because higher impedance models are bought by audiophiles, so companies cannot cut too many corners there.
Emoji works on IRC.
Yeah, carbon emission tax or other similar taxation can be used more effectively, I guess. Raising taxes for luxury that are not providing anything but a way to brag should be heavily taxed into oblivion.

I wish we could have something like pollution emission credit, the higher your credit. The more percentage of income/wealth you have to pay but that is unenforceable, actionable and will go against human rights to track.
I never said Krita is competing with Photoshop, I just compared them, take a look at the last rant :D
Then you'll just be suicided in a cell.
Probably Robert Anton Wilson’s Cosmic Trigger or Prometheus Rising back in 2010. The “reality tunnel” concept has defined much of my personal and intellectual exploration of the past 10 years.

“ When we meet somebody whose separate tunnel-reality is obviously far different from ours, we are a bit frightened and always disoriented. We tend to think they are mad, or that they are crooks trying to con us in some way, or that they are hoaxers playing a joke. Yet it is neurologically obvious that no two brains have the same genetically-programmed hard wiring, the same imprints, the same conditioning, the same learning experiences. We are all living in separate realities. That is why communication fails so often, and misunderstandings and resentments are so common. I say "meow" and you say "Bow-wow," and each of us is convinced the other is a bit dumb.”
The Black Swan by Taleb and Thinking, Fast and Slow by Kahneman are two books that pretty much completely changed how I view the world, and have made me much happier as a direct result.
I wonder if it is an age thing. Paraphrasing but there is a quote along the lines of the difference between experienced people/managers and inexperienced people is they know which battles to fight. Sadly this is a right of passage, you need to fight the wrong battles first before you realise this. I am in my forties now and so much better at selecting which battles to fight.
Is there a name to the concept of always getting in on something too late?

I won't say I'm a music fanatic, but I quite enjoying finding new music and new bands to listen to. I just checked out a few playlists and they were very solid for the most part. I can only imagine how useful this would've been to use regularly.
Ask HN: How to find good news analysis?
Which blogs would anyone recommend for intelligent and impartial analysis on current events? Getting really sick of mainstream media.
Since PGP has almost no serious real-world adoption (search your feelings; you know it to be true)

Checks...it's not true. Maybe the original email use case never caught on, but that's not the only one. For example, PGP is a standard way to transfer Visa, MasterCard, or Diner's Club credit card transaction files. We have thousands if not tens of thousands of entities transferring PGP encrypted files every day, and we get new requests for PGP enablement on a regular basis. This is a deeply embedded business process (even embedded in many corporate financial systems like Oracle Financials), and it's not going away any time soon.

Other use cases...yeah, PGP should go away.
I already did, over a decade ago. I tell friends "No cloud services on this ship!". They've bought into it too, buying more CD's, records and dumb only TV's.

My current setup is an old 1080P Bang & Olufsen setup. Looks and sounds great. Similar with audio - B&O did airplay back in the 80's called master link. So each room in the house can play music from anywhere else.

The only things networked are actual computers and phones. That's more risk than I want to handle, no need to add more. Similarly I've passed over smartwatches for good quality Swiss watches that'll still be worth something in 18 months time. I swear I'm not some character from a William Gibson novel.

I expect at some point old school offline stuff will make a comeback like Vinyl has. Society lags a good 10-20 years behind the frontrunners. Sometimes more.
I'll go ahead and plug https://patchbay.pub here. If you're somewhat less concerned about having encryption, you can do CLI transfers of files of arbitrary size without installing anything (assuming you have an HTTP client like curl already), and without needing an account:

Sender:

curl https://patchbay.pub/random-channel-chosen-by-you --data-binary @file.mp4

Receiver:

curl https://patchbay.pub/random-channel-chosen-by-you

As mentioned by others, https://file.pizza is great if both devices have browsers, and the WebRTC connection between them succeeds.
Several years with help of volunteers. There's also a bunch of people writing subtitles for the recorded talks; live streams are automatically subtitles nowadays. Some years ago we would even do manual subtitles for live talks.
Krita started as an image editing tool, but now it is tool which you you would use for creating stuff from scratch, and not mainly for editing Photos or manipulating images, :D
I'm fairly certain the word existed and was in use before 1988. Do you have a reference for this incident causing the creation of that word?