skysight-inc/HackerNews huggingface dataset:
The potentially interesting thing here, to me, is using networks to short-circuit searches that could grow explosively with expression size, but then filter down to answers that can be shown correct. That's also a way to get some value out of a system that doesn't always produce the correct answer as its first guess.

In some cases it may be easy to prove the correctness once you have the proposed answer, but in others the network might need to produce intermediate steps or some kind of 'argument' to let the CAS check correctness in reasonable time. Perhaps do that by instrumenting a CAS to output intermediate steps and train the network on that, not just problem/answer pairs.

Broadly, humans who have seen a lot of problems solved can say "this looks like a situation where you could try X" and do X without going down all the blind alleys that a CAS might. So it doesn't seem implausible that automated learned models might also outperform the heuristics CASes have hard-coded in for making those kinds of guesses.

(You can imagine closer coupling, e.g. a CAS that calls out to an NN to propose solutions to certain hard-to-solve-but-easy-to-check subproblems, or uses learned models to try to guess the right branch to go down in a solution process that already looks like searching a tree of possibilities. But the more you have to crack open the CAS, the less appealing the whole thing becomes.)
Fascinating. How the employees banded together, etc.
"We'll have to respectfully agree to disagree here"

Sure thing, I have just stated my personal opinion, not looking for anyone to agree. To each their own. Everything has a price, immutability/actor included. The rest is all about the trade-offs one is willing to make
1. Right. Because historically “the user” has been very good about understanding security implications of their choices. Have you been following the PC industry for the last 30 years?

No one considers email to be secure because of if nothing else, the store and forward nature.

IMessage is end to end encrypted. Should Apple also allow third parties the ability to intercept iMessage or should they split iMessage from sms? Who does that benefit?

2. Now some developers are in a privileged position.
Not all vga connectors are made equal, I had some that would quite easily plug in the wrong way, luckily no damage was caused by that and it was back in the day.
My picks would be either the new windows terminal or Fluent Terminal. Both are pretty good.
Why is Microsoft tracking "even worse" than Google tracking?

I'm pretty sure Google has infected more of the Internet than Microsoft.
Spacemacs has IMHO a great setup that might interest you. Check out their hotkey discoverability with mnemonics and their use of which-key for suggesting functions.
Although not homeless, but rather being a “vagrant” in youth, I agree that cops will not go out of their way to rustle trespassers (schoolyards, parks, golf courses, under highways, etc) unless someone calls in or you bring attention to yourself/selves (causing smoke for example).
I've had this type of job before. Twice actually. One was for 2 weeks (which I left for personal reasons not job related), and the other was a similar situation to yours (which I left after 4 months). I just didn't list them on my resume/application at places I applied to later. When asked about the gaps, "I just needed to take some time off. For N years, I've never really taken a long vacation so decided to do that".

If you've got the cash and don't have to have your next gig set up, give your two weeks now and start the mental healing.
For extra fun, fill them up with polyglot files!

https://medium.com/swlh/polyglot-files-a-hackers-best-friend...
Well, it seems to me you're trying to have it both ways.

Does advertising cause people to spend more than they would otherwise, or not?

If it does, then eliminating advertising would reduce spending which is what causes a recession.

If it doesn't, then what's all the fuss about?

Recessions in North America (can't speak for any other context unfortunately) have ended due to concerted efforts to get people to spend more: lowering interest rates mostly, forgiving debts, and political leaders outright telling people that their patriotic duty was to go out there and shop.

Looking around the world, it seems to me that many recessions didn't, in fact, end. Instead, their economies imploded entirely.

That's not a risk I'm interested in taking, personally. But you do, you rebel you.
> Still compiles Down to js where you lose all type checking.

Yes and C still compiles to assembly with no type checking. What's your point?
I was shocked by the middle school level English grammar coming from the company’s official customer support. Who knew you could get so much wrong in seven sentences! Bad image for a luxury product.
A world where each and every person still lives would be pretty bizarre. That's around 107 billion people.
I'm a huge aviation enthusiast and while I understand your point, I disagree.

I think the captain of this flight should be in major trouble. If you listen to the ATC recordings, they ask the captain multiple times if he needs to dump fuel and offer him vectors to do so.

Instead of taking those vectors, the captain says they won't need to dump fuel and then turns over downtown SF and dumps fuel all over a bunch of people, necessitating medical help.

Calling this a "media frenzy" is probably the most disingenuous thing I've heard this week.
Native command queuing won't help with placement decisions . (And the NCQ queue is rather short anyway for scheduling optimisation.)

For example, even something as trivial and linear as a database log or filesystem log can benefit from placement optimisation.

Each time there's a transaction to commit, instead of writing the next commit record to the next LBA number in the log, increment the LBA number by an amount that gives a sector that is about to arrive under the disk head at the time the commit was requested. That will leave gaps, but those can be filled by later commits.

That reduces the latency of durable commits to HDD by removing rotational delay.

Command queueing doesn't help with that, although it does help with keeping a sustained throughput of them by pipelining.
IE11 is unofficially dead. Microsoft considers it a compatibility platform more than a browser.
Purely digital items bought are not covered by this law. Only physical items bought online, because you cannot try them like you can in the store.

This means no refunds for Steam games unless your government has put additional rules in place to also cover the purchase of digital goods.
Is this functionally different than sending the hash of a block of bytes when sending a block of bytes?

> With a serial hash, the recipient would need to download the entire attachment to verify it

Rings to me as being trivially untrue, since, if the file is divided into chunks, you can just verify each chunk separately.

Alternately, can this be used to generate the complete file hash from chunks received out of order by a download using multiple parallel substreams without writing all of them to a block device in order first?
I'm with you on bugfixing being more fun. Look at it as an advantage. There's lots of legacy software out there and everyone hates working on it but us. Don't stop coding, though.

Always consider transitioning to a non-engineering role, but perhaps, not so urgently. The job market isn't as great for seniors as it is for mid-levels, but it's still quite good.
No point to stay if you know it is not working out for you
Do you say that with a negative or positive tone ? It's hard to tell from your answer. And if so, why ?
I think a lot of that depends on the field the company is in, how much vision is is brought in by fouders (is it a radically new, risky field that requires true vision, or is it another sass app that is reinventing the wheel while taking out a few of the hassles in current industry, etc...). It also depends on how much talent/skill is brought on by employees 1,2,3... etc... Is it rare expertise that is hard to find, vs just another javascript dev that knows AWS etc.... So to define that is tough, or rather fluid but I think offering employee's 1-5 <1% pre-dilution with a low salary is definitely someone being taken advantage of regardless of the company....

I would be OK with contracts that say employee's 1 through 5 get 0.8 to 1% share of the company but is non-diluatable. So their equity stays the same regardless of the success of the company. (of course there is room for discussion with an idea like this but hopefully you get the point Im trying to make)
There's a lot of focus on improving boarding times. But I haven't seen any attempts to improve deplaning. It's always via the slowest possible method.
"I've "accidentally" purchased something with Apple Pay before. Not because I didn't want the item, but because I thought once you press "pay" it'd take you to a page to specify shipping address etc. no such thing – payment went straight through and they just assumed the shipping address was the same as for my Apple account. I don't know if this is the same with all Apple Pay purchases, this was my first time using it for anything physical and some place other than an Apple property."

Speaking as someone who temporarily changes addresses often, ew. That's not good.
Microsoft <3 Open Source. I'm sure it's only a matter of time.
https://techcommunity.microsoft.com/t5/discussions/discussio...
I took SignlaR into consideration when building that.

SignalR does not have some client implementations. I decided to create a small protocol that is easily adoptable in many technologies.

SignalR also has some limitations that made it impracticable for the project.
That happened as I was assigned harder things, and couldn't fit the whole thing in my head right away anymore. It also happened once when I was afraid I couldn't measure up and any effort I made would get rejected.

For the former, I solved it by making something kinda like what I was assigned to make, just to get something in the text editor, then change that to the needed product. For the latter, building confidence with other activities like piano or lifting weights helped a bunch.

Maybe a good vacation is in order either way?

Here's hoping whatever's blocking you clears up.
`https://get.thread-app.com/?ref=hackernews` Isn't that `ref=` bit already tracking?
Mozilla lays off 70 as it waits for new products to generate revenue
Maybe to install an autoupdater?
They'd only be using them now if they cost less than gas + current carbon taxes.

The question is: at what level of carbon taxes would nuclear displace gas, vs. what level would renewables + storage displace gas. In the US, CO2 taxes would have to exceed $300/ton for new nuclear to displace gas CC baseload, and for intermittent applications the needed tax would be far higher.
if those were equipment dedicated to brute-forcing I would expect it to be ASICs/FPGAs rather than typical servers. You'd get orders of magnitude faster solution[0]. At the expense of flexibility of course since those chips would be single purpose.

[0] For a very simple example compare the hashrate on any CPU vs a bitcoin miner ASIC with a comparable size.
This comparison is sort of meaningless, until you tuned Clear Type.
I always thought it would be best to let the window seats board first, ordered back to front to minimize waiting for stowing baggage, then middle seats back to front, then aisle seats back to front. Families traveling together would obviously complain, but it would probably get the plane boarded much faster overall.
The whole thread doesn't hold water. It was just a mix of plausible, implausible, jargon and some profanity for relatability.

Full quote:

> model s and x use openvpn to talk to their backend. inside that backend there are metadata services that feed info to the system, one of those things being a ~20MB+ (generated by the worst erp system) json payload that describes supercharger shit for the map in the touchscreen. somebody was smart enough to do automated linting but forgot to validate against the custom parser the car runs which caused a segfault in the qt app that runs the ui, which in turn for a variety of reasons forces a reboot of that component. I think we clocked about 15 seconds before it read the file and faulted after boot. it was doing that for an hour before everyone panicked and got me and qa on the phone to fix it. i wrote a quick python/fabric script that ssh’d to as many cars as possible at a time to rm the file
Anything biomedical related, we have a bunch of clinical collaborators at the research institute I work at, plenty of tech that needs clinical expertise.
TechCrunch has more info:

"Mozilla lays off 70 as it waits for new products to generate revenue"

https://techcrunch.com/2020/01/15/mozilla-lays-off-70-as-it-...
Expiration Date Chrome Devices
The Rock and Roll Hall of Fame Announces 2020 Inductees
Connected Ventures, the company that owned CollegeHumor and Bustedtees was acquired by IAC. At the time Vimeo was a side project of Jake Lodwick and was part of the Connected Ventures business, but it wasn't making any money and didn't impact the IAC acquisition price. Long story short, Vimeo's cost to operate became very expensive and started to impact Connected Ventures core business (CollegeHumor and Bustedtees). So Vimeo was spun out of Connected Ventures and made its own division in IAC.
The Dwarf Debugging Standard
This has changed in recent years depending on where you live. Some locales in the US make a big deal of paying police to go around and do sweeps of places where you'd think nobody is causing trouble, it's been a source of controversy.

https://mynorthwest.com/1445501/seattle-homeless-sweeps-2019...

https://www.sfchronicle.com/bayarea/article/We-don-t-want-to...

A common theme in sweeps is also intentional destruction of property including personal belongings and medicine: https://www.courthousenews.com/homeless-residents-rip-la-ove...
Patreon taking a cut and not allowing adult content.

Payment processing and facilitating has tangible expenses (cost) and payment processors do not want to get involved with any companies involved with sordid industries (higher fraud).

Patreon adopting crypto cuts out the middleman processor and solves both problems.

But crypto ia too user-unfriendly at the moment, so usage would be very limited.
France's costs are opaque. They didn't separate military and civilian programs, and the information is now not available.

In any case, going forward, France's cost for new reactors are as exorbitant as in the US, if not worse. The new reactor at Flamanville has been a disaster.
CGP Grey has a great video examining different boarding methods and why some are slower or faster than others: https://www.youtube.com/watch?v=oAHbLRjF0vo

Also noting that the way we deplane (front to back) is the slowest method, heh.
Any insights as to why we don't have more connectors in a round form factor, such as headphone jack?
Great. Now give me a safe and reasonable way to uninstall it.
The true irony of having to close an ad before being able to read this article
That's unequivocally true! Immutability + actor model definitely punish you with some performance losses, especially in dynamic languages like Erlang and Elixir. No two ways about it.

I am looking forward to see if the Rust community will manage to make a statically-typed BEAM-like runtime with much stronger performance characteristics. That would be amazing.
The legal theory that spawned (civil) asset forfeiture is just bananas, "oh we're not seizing property without a trial we're charging the money/car/property itself with the being connected to a crime so we can take it." How has this survived any contact with a court? It's owned by someone... you're seizing it from them...

See the classic US vs $124,700 in U.S. Currency. [0]

[0] https://en.wikipedia.org/wiki/United_States_v._$124,700_in_U...
Just strip the query part of the URL. I guess the submitter of the blog post is an Italian.
Let's not fall into "cager" rhetoric. I've been on the opposite side of that where I've rolled down my window to ask some cyclists to not dwell behind my A pillar when driving in the city, just to be ignored.

We're all locomoters, and we have finite road to share, but I do agree that some of these safety systems are probably having a deleterious effect on driving skill and overall awareness in that all the driver assist mechanisms are not being treated as instruments that can fail. They should be considered no replacement for human attention, which I think is unfortunately what is happening. Similar to how safety device advances in football have actually made the injuries more severe due to the players taking greater risks.

As long as we're all on the same infrastructure, we've all got to commit to respecting each other's presence. Cyclist and motorist alike.
> So in an American context... NPR and PBS exclusively then? Because people have proven for quite a long time that they are not willing to foot the bill.

New York Times, The Young Turks, etc. If people aren't willing to foot the bill, then that's fine. The market-niche will be freed up for another business to take a better and more sustainable approach.

> My guess is that if advertising was banned, the news media would become even more reliant on billionaires to keep them going, and I can't imagine that's healthy for a democracy. I know advertisers have impacted editorial decisions as well (especially really big advertisers who threaten to pull their ads), but I think that would be many times worse if a paper or TV station was entirely dependant on one or two people to stay afloat.

Billionaires are not healthy for a democracy. The fact that the news media has to exploit their credibility with the audience to compete with a few wealthy individuals is a testament to that.
Installed it. I use Firefox, but now I don't need Chromium/Chrome/Brave for any websites that do detect Blink.
It would have been particularly interesting to see what would have happened had the study concluded the opposite: that letting slower passengers board first slows overall boarding. Which would have prevailed? Efficiency or the common decency inherent in allowing children and individuals with infirmities to board first?
I fully agree with the general HN guidelines, and believe they've been incredibly effective at making this a smart and civil discussion forum, but I respectfully disagree with this interpretation of my comment.

The original article is very thinly argued, and I do believe it's perpetuating negative dynamics that don't reflect well on the general VC/startup community and the author in particular.

The author of the article is essentially arguing that the only thing that matters is proximity to power, status, and wealth, and one should pursue it at the cost of one's own dignity for almost no renumeration.

Given that the author themselves is in fact powerful, wealthy, and holds high status, his statement should properly be parsed as self-serving propaganda. He's basically saying "find people like me and be their handservant" in as many words. My response contains no more dismissive scorn than his original post.

In my humble opinion, of course.
Installed itself entirely in German. What?
Related: https://www.preposterousuniverse.com/podcast/2019/09/02/62-m...

Michele Gelfand on tight vs loose cultures. There's also a link there to her TEDx talk.
Effects of Seatbelts on Car Crash Survivors
Huh, I've always found deplaning fast except in the case of the person who's overhead is three rows back. There are ways to make it all faster but require some systemic changes to how we travel.
I wouldn't say I'm dyslexic, but I do struggle with typeface that uses a lot of "o" in them, I'm not quite sure what the word is for it.

Unironically the most readable typeface I've ever used that comes standard on all computers is Comic Sans or a variant of it.
Everyone's entitled to their opinion, but Go "being a pleasure to work with" compared to Python wasn't my experience. For whatever reason, I find it excruciating to repeatedly write three pages of Go that might be three lines of Python.

Go instead of C seems plausible, but Go instead of Python when the latter would suffice seems punishing.
I don't think the name carries any value or even brand recognition. But the existing IP would be of value.
I actually hate HDMI as a connector. It has to do with the way the spade is directly in the middle. I'm more technically minded than the average consumer I guess, but with USB A the general rule is to insert the cable with the open side "up".

HDMI only keys based on the metal shielding. If you're trying to insert this without looking, it's almost impossible. I've seen that HDMI ports don't really conform to a specific orientation and very frequently get soldered on the underside of boards instead of on top.
mintty, by far. I'm surprised no one has recommended it yet.

The new Windows Terminal is just not ready. It's death by a thousand paper cuts.

I keep an eye on it, but here's an example from right now when I start it with msys bash which otherwise works just fine:

bash: cut: command not found

dircolors: no SHELL environment variable, and no shell type option given

# echo $SHELL

/usr/bin/bash

# which cut

/usr/bin/cut
You said yourself:

>>Clear affirmative action - the person must expressly consent by doing or saying something

It's not "clearly affirmative" if it's a default that's difficult to find the alternative to, or easy to select by mistake.
I think that's a fair opinion.

The only tweak I'd make is really around sample sizes and statistical significance.

All success _may_ be due to luck (the error term), but we can be fairly confident (say p < .001) it isn't. Said otherwise, we can be reasonably sure that some covariates (e.g. hard work, wealth, education) are significant, given a large enough sample size and we define what qualifies as success. One of course could quibble about these - do we really have enough statistical significance for each trait? - but the fact is that every person everyday operates with some intuitive understanding that these things matter. In other words, not all outcomes are due to luck.

This is much harder to do with small sample sizes or unusual occurrences. Statistics is based on frequencies, and if we have low frequencies (such as a tech boom), we should be much less confident in the significance of each variable.

This is, presumably, why people intuitively chalk up much success during these times as survivorship bias. It's not that it certainly, absolutely is; rather, it's that we're far less confident on which variables are significant and which aren't. The error term remains.

Again, attributing it to the error term, implies mostly that we shouldn't have too much confidence in our speculations on which traits are significant during such one-off events.
Go to Japan. Immigration is absolutely nothing like European or American countries.
I know what happened: Facebook decided to emphasize published content instead. There's evidently more money in that.

As a result, the algorithm is less likely to show my friends if I post a picture of my lunch, we're less likely to have a conversation in the comments about recipes or restaurants, and I'm less likely to bother posting the next one.
I'm reasonably certain that advertising works on most people, even if they don't realize it. Being told a modified and heavily-biased narrative of the world repeatedly, for literal hours a day is likely to have an effect, even if it's subtle.

Maybe you're one of the lucky people that advertising truly does not work on, and fair enough, but I seriously doubt that these big megacorporations would spend billions of dollars on ads if there weren't some measurable effect on a majority of people.