skysight-inc/HackerNews huggingface dataset:
How do you plan on making money? My concern would be that you need to be extremely upfront about what data you're collecting and if you're selling it back to these companies whom the person interviewed with (even if anonymized). This is a very personal exchange between an employee and employer that could have significant impact on employment negotiations. For example, I might not want employer A, knowing that I'm also interviewing with employer B/C/D, unless I choose to use it for negotiation. This could be used to target folks into lower paying jobs if they don't have prospects, multiple offers, etc.

I'm not trying to be harsh here or blow up your idea. Maybe it's a totally free app. I'm not sure. But, if you are selling user data, you could be inadvertently increasing companies bargaining power through hidden knowledge of what someone is doing too. If a company uses this added data on me, and gets me to take an offer that's 30k less per year, and I stay there 4 years, that ends up costing me 120k over 4 years (30k*4y) all for using an interview note taking app.
To add to my patent coment I'm sure you're doing fine. In my experience as long as you are learning stuff in your first month it's fine. Also you mentioned concerns about collaborating and communicating in a large organization, for me those skills took like 2 years to learn after joining somewhere and they seemed happy with that rate of growth
The first line of story turned me off completely. There is ZERO evidence that the Russians meddled in the US elections beyond some social media spamming. The media can't let go of it--it was the Democrats themselves who tampered with the elections!

I hope the truth eventually comes out about what really goes on with US elections and who the fraudsters are, what party they all belong to, and let's just put an end once and for to all this hype. Talk about propaganda!
Yeah, I constantly tell new devs that I don't expect them be very productive until 6 months in. Prior to that I just expect them to be absorbing as much information as possible and doing minor fixes.
You quote them as saying “charge more”, but I don’t see them say that. Did they edit their comment while/after you responded?
It's possible to have a favorite pair of jeans and also rent clothes from this place.
Yeah, adding a public option (a.k.a. Medicare for all) actually decreases the budget deficit. So why aren't we doing this?

If Social Security is an entitlement program like any other, why is there any max income? Why is it only on "earned" income?
> Can something like that work?

Yes, indeed! Your version is not only a lot more simple and elegant than mine, but your proof code was enough for Z3 to automatically figure out that everything works.

Therefore, I hereby declare that you are ready to use and learn more about Why3/WhyML.

Here's a working complete implementation of your version: https://clbin.com/cwvKY

There's only a minor caveat with your version: there's no formal guarantee that `binary_search` won't call `pred` below `low` or above `high`, because (as far as I know) we can't encode those requirements if we pass the function as an argument. Maybe there's a way to do that, but I don't know WhyML that deeply.

> Those tests are only necessary for the proofs, right?

I think so. We can probably separate `pred` into a logical version and a run-time version, making sure that the result of the logical `pred` matches the result of the run-time `pred` when `-1 < idx < length arr`.

I think this should be very easy to do with WhyML, I will try and figure out if I can do it.
because the simulation is singlethreaded.
I've been noodling on this product idea for about 6 months now, but never gotten around to building it. Drat, but congrats on doing it.

One killer feature I would propose is to help candidates weigh up multiple offers; salary, equity, commute time, enjoyment, advancement, etc.
> (A Crowdpac campaign has funded close to $4 million dollars to challenge Susan Collins when she's up for reelection due to her supreme court vote; that most likely won't scale)

This sort of thing should be illegal, particularly when it is out-of-state interests injecting money. If you live in another state, vote out your own reps you don't like.

The harassment the poor woman has been put through lately is obscene.
Total agreement. Although zirconium and tungsten aren't exactly the most expensive metals, they are extremely hard and dense and processing them in this manner would appear to be a big minus against this technology. I can picture a factory warehouse putting out 40' containers of PV's, racking, and backup batteries daily, while a far more massive smelter and mill next door struggles to manufacture the equivalent for CPV.

I'm glad they addressed the thermolysis of CO2, because that was a major concern. Having explored thermolysis as a method for reversing carbon dioxide buildup in Earth's air, I realized quickly that breaking CO2 down into CO is not challenging at all, but getting the CO to go to C is the highest temperature reaction known.

Just because I don't think this breakthrough is going to win doesn't mean I'm not thrilled they made it. Never know what other breakthroughs may leverage this technology.
Right now, we're building automated multivariate testing on our structured section types for optimizing lead gen.
Why I’m Still Using APL (2012) [pdf]
> Anyone who claims that Prop C is a matter of being “for the homeless or against them” is selling a facile falsehood

Swap 'Prop C' for any other cause, and 'the homeless' for any other intended benefactor of it, and you get a good formula for how to strip all the nuance out of a debate and turn it into a battle between opposing sides.

I don't have an opinion on Stripe's position here but that sentence itself is a pretty eloquent summary for how dumb modern discussion has become in many circles.
I was talking about the children.
What do you expect Bloomberg to do? Give up their sources? I'm sure they will have no trouble getting new stories if they did that, right? Given the size of the story and their commitment to it I would bet they were duped. There are many who would like to see them lose credibility, who would like to further escalate trade war with China, or who simply shorted some stocks... Or all of the above. But that's a bet, not an opinion. I do however have a problem with someone taking sides so eagerly, without admitting that they don't have a clue. Or if they do, please enlighten us. I'm sure their sources are better than Bloombergs.
There is actually a severe shortage of shelter beds in San Francisco.

You are right that mental health is a consideration, but the bigger problem is both simpler and easier to fix: the number of shelter beds (and other forms of supportive housing - including long-term housing) has decreased since 2004 and is woefully inadequate for the number of current homeless.

For more reading on this topic I recommend this detailed analysis: https://medium.com/@josefow/the-one-stat-that-explains-sfs-s...
Also Mayor London Breed's analysis and approach: https://medium.com/@LondonBreed/a-bold-approach-to-homelessn...
> Those utilities weren't standardized before C++11.

That's quite a disigenuous statement. Work on C++11 started after the approval of c++98, and the c++0x smart pointers have been implemented and available for quite a while before C++11 was finalized.
Orbital 2: Next-generation Joystick for creatives
I would argue that regulations are ok when there is a well-developed infrastructure behind the regulation. If we have a lot of evidence that human activity causes global warming, and we have a lot evidence that government regulations X can help global warming, it makes sense to regulate X to solve/alleviate that problem. Or say, we have a lot of evidence that legalize+regulate works very well to solve drug issues (look at Portugal). Do we have any infrastructure in Europe, or US to regulate software engineers? I do not know of one. I studied in UC Berkeley, which is apparently one of the best universities in the world to study CS, and then they gave me a "BA in Computer Science" (the same way you get "BA in Physics" or "BA in Mathematics" ... UC Berkeley L&S only gives one type of diploma), it's kind of awkward to claim that the infrastructure in the US that selects qualified software engineers filtered me out, the same way it filters out some people who wanna be doctors. Btw I do work in a company that handles real time, highly critical insurance data. My employer thinks I'm capable of working in this company; which doesn't mean it's necessarily a good idea, as we saw in cases like Equifax, but I cannot think of an alternative. I love my job and I believe I'm qualified to do it, so I'm gonna be pragmatic about this...
If I find out I have cancer:

0) Take all my money from all the accounts, turn it into cash.

1) Give cash to a blood relative in a backpack.

2) If married divorce, uncontested. [You will need 3 months].

3) Apply for 10 credit cards. [Maybe 3 weeks]

4) Use credit cards for all medical expenses.

5) With last card, get a lawyer to help file bankruptcy.

6) Slowly die in blood relative's backyard.

7) Die.

(This is the best solution I have worked out in USA for me.)
I have the same experience. The difference is, I have been doing it for a year now, and still feel the same way. Although I've learned a lot, and am much much better, I still struggle on simple tasks, and don't understand much I have to do.

Being in such a consistent state, the anxiety couldn't sustain, and now is only like once a week of terror.

I just keep learning and practicing and getting better. It's the only thing I can do to try and get myself up to a basic level to be a somewhat effective contributor.

I'd like some technique to improve my learning, but the reality is I've tried techniques, and it just wastes more time than just practicing, and reading code, and learning.

It's a problem, my only solution is to get better.
> All I see is a big push to vilify tech companies so politicians can look like they're for the little guy.

The more popular opinion is that we need improved checks and balances in a major sector of the economy in order to keep it stable. A growing concentration of power and wealth is typically not seen as a good thing.

An updated legal framework which attempts to optimize competitive/market forces is what is needed here. It's not simply about "tear them down because they screwed with my data" as you imagined.
“Fixed Mindsets” Might Be Why We're Bad at Statistics
So people educated with public funds but without kids will allocate 0$ to education, then complain that youths these days just hang in the street doing no good, and allocate more of their tax towards policing?
Money is considered speech. The legislative and judicial branches condone such actions, and the example you take issue with is the result of representatives having national impact (in this case, voting for the appointment of a supreme court judge).
> If the city wants to house all it's residents

The city wants to enable all of its homeless to escape homelessness.

It probably doesn't particularly want to house all of them, either directly (that is, the city itself) provides housing, or even have them housed within the geographic boundaries of the city. Having them acheive stable housing outside of the city would be just as much of a win.
And before people get too comfortable -- Every single "Obamacare replacement" plan does away with the ban on lifetime caps either directly or indirectly. These are enormously beneficial to insurance companies (they essentially have unlimited liability without them) and there is a ton of money to have the caps reinstated.
For server usage, where you have multiple processes involved, I seem to find that memory bandwidth is very important. If the CPU can not get the data it cannot work with it...
It’s been dying for about 30 years I understand. Kenwood, Yaesu and Icom all went bankrupt 20 year ago. Home owners associations stopped all antennas being erected and power lines and ADSL finished the charred smouldering remains off.

Now I’m going to lock myself in the basement with my guns and cans of beans.
this explains a lot :D we have an old saying in Turkish;

"A home where the sun do not visit, gets a doctor's visit"
Even if you don't care about ispc, the description of Intel's culture might be interesting.
This...is strangely accurate. Minus the anonymity since some of them will still ID with their callsign which links to a public database with their name and address.
A Love Story That Upended the Texas Prison System
> Every single "Obamacare replacement" plan does away with lifetime caps either directly or indirectly.

You mean, does away with the ban on such caps, right?
> but not more

Where there is essential complexity, explain the complexity clearly and skillfully.

The book Style: Towards Clarity and Grace is a good instruction manual, especially for those who have read Strunk & White
Why Being an Asshole Can Be a Valuable Life Skill
The sad thing is, you could reprint that exact same button today and make a mint selling them to the flat-Earth crowd.

Progress!
... and then does the opposite of what it’s told.
I did indeed, thanks for the proofread.
> Besides, you can't restructure the Senate to make it proportional to population (at least without unanimity among the states), as that is literally the one thing that an Amendment cannot do. (There used to be another, but that was time-limited.)

Though, if there was enough support, it could be done with two amendments. The first would be an amendment to Article V, removing the requirement of unanimous changes to the Senate composition. The second would actually change it.

The likelihood of that happening is effectively nil, but it is allowed by the rules set out in the Constitution.
The speaking of English seems to be a pretty good indicator.

It would have been interesting to see countries ranked crimes against women normalized by crimes against men+women. That is, given that a crime has occurred what is the conditional probability that the crime was against a woman?
I am working on a podcast called Would You Like to Restart[1], it's essentially a single player DnD (Player and GM).

It's cool because unlike all my other failed projects it's for fun rather than an attempt at profit. Even if nobody listens we're doing it because it's a laugh - and people seem to be listening to it, so bonus!

[1] https://www.wouldyouliketorestart.com/
SpaceX Cut Out of Air Force Contracts for New Rockets
QSX is coming soon. https://www.qrp-labs.com/qsx.html

Just google like any other technology. Answers are all out there. I never went to any amateur radio clubs. I paid up to do my exams, bought a radio and just wobbled into the bar like a drunk.

Also you don’t have to talk to someone past exchanging RST etc. If they start going off on one just tune away.
Show HN: Find newest comments on a popular HN discussion
Somewhat, since they include ancient Greek and old-time islamic ancestry (as far as I know). According to Wikipedia: "There is a noticeable genetic difference between Sardinians, Northern Italians and Southern Italians. People from the North seem to be close to the French population, while those from the South overlap with Balkan and other southern European populations".

https://en.wikipedia.org/wiki/Genetic_history_of_Italy

But that's beside the point. I invoked the modern use of the term "racism" that includes different ways of segregating a population and not just genetics. "Southerners are lazy, corrupt" etc. Call it cultural racism if you wish.
This is why public statements need a high level of detail to set the record straight.
I adore deep digs on obscure subject like this. One wonders if the idea goes back even further, before registration. Perhaps some 1880's cafe was cranking them out with a diy divice. Seems like it would be a device you produce for practicality first, and 'you ought patent that' later when its utility was manifest.
If you're talking about the USA, this is incorrect. I actually work in the industry and know how this works

* One has to initiate an auction of the client order, at least in the USA - see https://www.sec.gov/rules/concept/34-49175.htm#P193_52817, specifically "Unlike internalization in the over-the-counter equity market, the options exchanges' rules permit a firm to trade with its own customer's order only after an auction in which other members of that market have an opportunity to participate in the trade at the proposed price or an improved price. This auction provides some assurance that the customer's order is executed at the best price any member in that market is willing to offer". In practice the placing firm will bid for the auction at that price, and non-competitive prices don't get posted since then the firm has to lose money.

* counterparty data is reported by the OCC so regardless of where the order was executed you will know who was the counterparty. It's fairly easy for IB to know whether Timber Hill executed an order, whether or not they intentionally routed it there.

Second, I actually have inside knowledge of a sort about how Timber Hill USA worked before getting purchased by Two Sigma, and they did not work with IB to take customer orders and weren't to happy when they did get customer orders that originated from IB, specifically because people then run around complaining that IB is up to spooky business internalizing with Timber Hill.
That would be nice!

Candidates asking permission to audio record their interviews and upload on the site as a portfolio.
Recruiters listen to those interviews and can be much more assertive on their recommendations!
Cook is claiming everything is normal, but that doesn't necessarily mean that's what Apple actually knows and believes.

It is also possible that they have investigated, did find tampering, and are still publicly denying it.
> Uggggghhh, this isn't an attack upon democracy any more than being spammed on Reddit. It isn't corrupting a vote for office or legislation. It is, however, an easily corrupted online comment system that is merely informative and not in any way asserting an outcome or action.

Actually, since the FCC proposal specifically called for soliciting public comments to inform the decision, those comments can be seen as influencing the outcome, since lawmakers were expected to read and consider them.

It is an attack on Democracy in a very roundabout way (roundabout because this wasn't an election, it was regulatory action put in place by officials that were put in place by elected officials). But in any case, citizens were asked for what they thought in a way that affected an outcome they would have to legally abide, and it appears that their voices where stifled. That actually is a fairly obvious attack on Democracy in general, even if it's only an attack on our Democracy at a distance.
Makes me think that when my dad was sick, the French healthcare system paid for everything. Obviously for all the treatments. But also for an adjustable bed, a homecare assistant and even the redesign of our home so my dad could continue to use the bathroom. We paid for absolutely nothing related to his condition. I knew our system was "generous" but I didn't expect it at this level.
There's an equivalent issue with city with large suburbs: companies in the city core pay a lot of local taxes that stays within the city, but living in the city is too expensive for 80% of the employees who live in the suburbs, which cannot benefit from local taxes paid by the big companies.
Just as a point of fact, the 100 largest cities in the US only represent about 20% of the total population. So no it wouldn’t just be big cities deciding everything.
If you roll up all of the 'huge advancements' (IPC, clock speed, all of it) over the course of 7 years, that's probably in the neighborhood of what we used to call the 'annual upgrade.'

Ancient? Yes. Incomparable? No.
Still waiting for WashPost to disclose their owner's deals with the CIA whenever it publishes a post about the CIA...
How to Add Chuck Norris Jokes to Bitrise Build Logs
FYI "still" meant as of the time of the follow-up reporting in 2016, not today. I think it's believable that SuperMicro's support site got hacked. But I agree that was an incident on par with a sole developer installing malware on their system, not a supply chain compromise or major security incident with production systems.
Don't make me click only to then have to scroll.
If you're seriously considering it and want to purchase it now, Elon has said that both FSD and RWD LR are available "off menu" for the next week.
>The i9-9900k is way better. 3x 256-bit execution ports, 64-byte (512-bit) messages going around the Ringbus, DDR4 RAM (double memory bandwidth).

All those don't matter if they hardly make a 10-15% difference in everyday use, and require specialized code to take advantage of.
In the US Apple would lose such a lawsuit for sure.
I find it hard to believe that SGD would be faster than the closed form solutions for linear regression (gels, gelsd etc.). The closed-form solutions give a lot of other benefits in practical settings as well which makes them more likely to be used if possible. SGD + related optimizers give benefits with non-convex or non-analytical loss functions or with non-linear layers / more than one layer.
Many EU countries are...
Encryption Bill: Consultation? What Consultation, Asks CA's Stanton
> The other angle is one of the recently discovered side-channel attacks that can occur when hyper-threading is in action. By disabling hyper-threading on the volume production chips, this security issue is no longer present.

This line of reasoning feels unconvincing. If there were really worried about this they should disable it everywhere.
You have no idea what journalism represents if you think a report on something like that should be qualified as "irresponsible."

Daniel Ellsberg leaked such "major classified information" (the Pentagon Papers) about the Vietnam war, which ended-up stopping the war in Vietnam (mind you for the better...).

If the NSA has been using the Chinese' own spy chip against US citizens, it's the journalists' responsibility to report that to the public.
Forbes [0] has a rundown of what was fixed/changed in 5.8 along with Windows 8.1 and Windows 10 support.

[0] https://www.forbes.com/sites/jasonevangelho/2018/10/19/winam...
Why not just provide a hash for each version of the document?
Google Pixel 3 and Pixel 3 XL are finally available for purchase
Don't let someone first to market halt your project. Use his product gather your feedback and make it better.
Thank you for sharing this. Is anyone aware of a text in a similar style but for learning music? Or even programming?
I like it. I use both approaches, so there's individual task/habit/notes modules like you have that let you dive deeper and edit and tweak things, and then the general dashboard which is more of an overview that combines them into one and lets you get common tasks done quickly. The dashboard is date based (defaulting to today) while the modules aren't.