skysight-inc/HackerNews huggingface dataset:
> why would you write your own Poly1305 in C?

I originally didn't. But when I noticed it was designed to facilitate 32-bit limbs, I couldn't resist. The result is pretty simple.

I also figured it would perform well, though it currently seems to be 20% slower than Donna (32-bit version). I'll try to find why (I can think of 2 causes: sub-optimal loading code, and crappy data flow in the main carry operation. If it's the latter, I'll use the Donna implementation.)

EDIT: I tweaked the loading code again, it's even faster now. I'm now 7% than poly-donna-32 (and 5% faster than libsodium). My implementation is also simpler. I'm keeping it.

> go do the research about how these bugs are found and exploited,

I'd have to know how.

My first searches turned up no methodology —just instances of such bugs being found. And again, this is just a correctness issue. One just have to prove the whole thing works as intended (even informally). I wouldn't trust myself to do it for curve25519, but poly1305 was doable.
Yes, if more than 10% are over 60', then, even if everyone else has zero height, the average is already be over 6'.
except when you practically remove cash and introduce negative interest rates, like it's tried in few countries already (Sweden)
The current H1b system has a cap, with more applications than positions. This is resolved via a "lottery". If you apply, you have a 30% chance of being selected. Indian outsourcing firms started to game the lottery (for every position have 3 applicants).

The new system will resolve the above problem by selecting applicants with the most points (giving points for skills, etc...).

From person experience H1b lottery is heart-wrenching, and makes it difficult to plan. The Australian system (which is similar to this system), is much better.
I agree that doing category theory without homotopy type theory is working with one hand tied behind your back, but you have to realize that it is very different from textbook category theory. For instance, in HoTT you will find that the category of U-small categories is not a 1 category; it's a 2 category (since equality of categories is equivalence, not isomorphism). This is correct and gets rid of a lot of confusion surrounding Cat, but it means that you have to deviate from the textbook definitions a lot.

There are at least two formalization of HoTT categories if anybody wants to know more. There's one formalization in HoTT Coq and the formalization as part of the unimath project. Both work heavily with precategories as well as categories in order to formulate some textbook notions without changing all the definitions...
> possibly cargo-culting others that did it.

Agreed, I don't see the point of mentioning the language for compiled, stand-alone programs and standard, C-compatible libraries. The resulting binary is the same (well, of the same nature at least) whichever language it was compiled from.

It only has a use for programs and libraries in interpreted (in the widest sense of the word) languages, which can only be used together with libraries in the same language, or from programs in the same language, or with a specific external runtime or virtual machine.
Norway is 97% white people, 95% of Norwegian descent. It's hard to say a country is egalitarian if it doesn't really have any diversity.
Yeah, good point. Survivor bias is closer.
The Xperia XZ Premium Can Now Play HDR Content on Netflix
Not a big believer in generic traits either (I much more believe it's the right combination of the company's situation and the leaders abilities), but didn't they take CEO candidates and compared them to those that made it? And then they looked at outcomes?

> A detailed sample of 930 CEO candidates across the companies of all sizes and covering 19 out of 20 NAICS industry sectors which we compared to other c-suite executives.
I will immigrate to US in Dec. and think it is a vast improvement.

H1b lottery is a broken system which is gamed by outsourcing companies.
Well, Adrenaclick does exist and is cheaper, but I'll assume you meant "very hard" rather than "not possible".

It's hard because the US pharmaceuticals market is broken, something that Mylan is paying money to encourage now that they're on top. Have you read the post I linked to?
The air cools down when raising in the chimney because the air pressure decreases, leading to adiabatic expansion.
Sure but that's all still about 'overeating' and 'hunger' (you feed a mice high fat foods, it triggers overeating)?

So it's still the case that if you keep your calorie intake below your TDEE, you won't regain the weight, whereas a lot of weight re-gainers like GGP claim some vague 'endocrine/metabolic' thing, when we have no evidence for that.
Ignoring or repressing that there are differences in women and men doesn't seam wise. However, there are a few important things to keep in mind about it. The difference is multivariate and some people may have some properties of the other gender. As a consequence, infering the capabilities of a person just from the gender written on the ID card is plain stupid. Another thing I want to say about this is that IT is a vast domain requiring various competences. Each gender has some properties that make it more fit for some of these competences. So in practice there is room for everybody.

The conclusion is to get the right person for the job. The gender shouldn't be considered because the reality is not black and white.

Base on this reasoning, complains about imbalance of gender quota or salaries are not acceptable. The salary is/should be attached to the job and performance, not the gender.

In France we have a similar issue with the porportion of black football players in the national team. People who complain about that don't understand that they just picked the best players. This gender debate is the same problem.
It depends on what you’re interested in about programming. Do you like the research aspect of programming languages (inventing new language stuff) or are you into application programming (e.g. writing an app)?

Category theory is the lowest level of functional programming. At this low level you can do some pretty ground-breaking stuff (like the Haskell z3cat[1] library which can apply a SAT solver to a regular Haskell function), but it’s not required, in any way, in order to write great Haskell code, and make use of Haskell as a tool to write applications with very few runtime exceptions.

[1] https://github.com/jwiegley/z3cat
All this is possible now, the big thing holding back this sort of approach, and many other tech advances is batteries. Once we can get batteries with 10x current energy density, the game really will change. Smart Eyewear becomes actually feasible, as do many other form factors. I'm interested in this potential Apple device, but given the current model only really lasts a day, I'm not not sure how they plan to integrate radios and maintain that, and the form factor.
when any gas expands, it does work in expanding against the outside "surface" of the control volume, which comes from the internal energy - temperature - of the molecules.

The equations are commonly derived in thermodynamics undergrad courses. look up adiabatic expansion.

here's a video:

https://www.youtube.com/watch?v=ObnWb7yspxA
Dealing with a bad month as a SaaS business
British police using facial tracking at carnival
so you can buy a domain and host unpopular opinion like supporting KKK? that is pretty bad, it is the complete opposite being "free".
Souns like get/set in swift for me. Does it have computed properties too?
Yes, but if you're keeping the ticket active so you can access the lounge, you have that several thousand dollars still tied up in the ticket. You could just buy a yearly pass for a small fraction of that, so it makes no sense.
> Is it such a huge deal that most women are not interested in technology?

If this is because they have been systematically discriminated against in tech and primed at a young age with BS like "cars are for boys and dolls are for girls" then yes, absolutely this is a huge deal. If it just so happened that they were not interested because they don't have the "technology gene" then this would not be a big deal, but that is nonsense and all the evidence points to the former.
> From the results of the study, one would infer that if they adopt these 4 traits, they will become CEOs.

Did you read the article? They were looking at what makes some existing CEOs more successful than other CEOs. Nowhere did they say these traits were what allowed people to become CEOs. In fact they kind of said the opposite - boards tend to over-index on different traits, like overt confidence and extroverted charisma, when hiring.
The concept of "ideological diversity" is definitely a clever tactic for changing the subject away from gender and racial diversity. But that's all it is -- or are you really clamoring to hire people who think the world is flat, who believe monarchy is the only acceptable form of government, or who indent using precisely 17 spaces?
Yes indeed you can "clock in" to your Todos as you work on them, and then generate a "clock table" to see what time you've spent where.

http://orgmode.org/manual/Clocking-commands.html#Clocking-co...
Been waiting a long while for this. Super keen to get stuck in. Huge thanks to the whole team.
We need ChimneyCoin!
I'd agree in general, but I have noticed that particular topics have a way of provoking a lot of comments that do seem 'suspicious'.

I've found that while in practice these comments are often by otherwise somewhat acceptable HN commenters and not shills, they are often noticeably more partisan/controversial/low-quality than their other comments.

Specifically, this seems to happen with discussions that involve particular nation states (India, Turkey, Russia, Serbia, China are at the top of my list), as well as particular topics (gender, Trump, socialism/capitalism, etc.).

While I do agree that pointing this out violates the principle of charity and possibly hurts the conversation, it's still a 'dynamic' that kind of stands out.

EDIT: this is more of a general 'observation', not necessarily applicable to this particular thread.
If you insert "browser" between "existing" and "implementation" then it's correct. Most libraries also support unencrypted HTTP/2. E.g. nghttp2 (as used here in node.js, and also used by others like apache and curl) supports unencrypted connections. My own library for C# (https://github.com/Matthias247/http2dotnet) does too. The Go library might be a little bit of a special case, as it actually supports it, but the required functions are (or at least were) not exposed in the standard libraries http package. They should however be available in the x/net/http2 package.
Which includes the necessity for looped animation?
The approach in this book is incredibly important and deserves far wider awareness than it has had so far.

Unfortunately the book itself is less than ideal for working through directly, it would benefit greatly from the polish of professional editing.

However, Gregor Kiczales of University of British Columbia has a absolutely top notch class he teaches based on the book. It's available free on EdX: https://www.edx.org/course/how-code-simple-data-ubcx-htc1x
Don't be put off like I was at first by the mass-market title ("How to Code").
Yes, but that kind of setup doesn't give you HTTP/2 server push so gives you hardly any benefit over HTTP/1.1, does it?
On the contrary, an egalitarian society is much easier to achieve if your population is homogeneous (it's just not a big achievement).
Does Guantanamo hide an underwater alien base?
These seem to be a random selection of TF projects.

For example, the sentence classification project is interesting because it uses a CNN instead of one of the more common techniques for working with text (eg, a LSTM etc). In this case that does make it interesting, but the unique aspect of that isn't really pointed out anywhere.

Also, the discount code for stuff at the bottom makes it pretty clear what this post is really about.
I don't know about the LibreOffice people.
I know that the AOO would NEVER allow that. There is enough hatred that keeps them going.
Dengue Fever Could Go Worldwide, with Help from Air Travel and Climate Change
ACL2
Indeed it does. That's the process which was mooted last September.

However contributors _and Apache Board Members_ chimed in to announce that Apache OpenOffice was healthy and would continue. They managed, weeks laters, to spit out a release containing almost literally just one bug fix and then nothing since. So long as Board Members pretend everything is fine the Apache process won't trigger. This has become about the ego of Board Members versus the interests of the wider community.
Are you suggesting credit cards also don't have value?
https://en.m.wikipedia.org/wiki/X10_(industry_standard)#Limi...
You cynicism and attacks on an easy target doesn't make your point any clearer.

The fact is plenty of companies have setup as currency exchanges.
> Maintaining local birth rates is going to be a colossal problem 50 years from now

Evolution and natural selection would solve that problem: children of people who have more kids - are more likely to have kids themselves.
No. That's exceptionally rare and the worst case scenario. See Intel and TSX (transactional memory).
There's a difference between actively stealing service and owning a television. It's not like BBC is the only thing available in the UK.
> all the evidence points to the former.

There is an interesting documentary called "The Norway Paradox"[1] that explores why do we see a much higher rate of gender segregation in developed countries. The thesis the documentary advances is that there are indeed innate differences between the sexes, and with higher freedom that can be found in advanced societies, the people are freer to choose a job that fits their innate tendencies rather than be forced into something else by economic or social circumstances.

[1] https://www.youtube.com/watch?v=p5LRdW8xw70
1. This is the Supreme Court. It doesn't get random pro se petitions, it gets appeals and certain politically sensitive cases.

2. Court staff already have to deal with this paperwork, they just have to deal with it in paper. This is requiring litigants to submit their filings in electronic form, which would then be automatically added to a publically queriable database. It also saves a lot of pain for lawyers - those I know would love to avoid submitting everything on dead trees, if only their local behind-the-times court would get on board.
I'm using my own CLI script to control Hue lights[0] and I confirm that you can set the state of your lights directly, without referring to or even knowing the previous one. The API is pretty straightforward.

I suspect that even the vanilla Hue app on Android does that - given the way I often manage to switch the lights before the app UI figures out what's their current state.

--

[0] - https://github.com/TeMPOraL/hju
Cut from the same cloth then: that guy is so intertwined with Alex Jones they may as well be two faces of the same operation.
again. I don't know. you don't known. the real btc/bth to dollar offer and supply is not transparent. miner can move either way in any second. I don't follow all of the public groups. and there are mostly private big miners now anyway.

you might be right on the reason. only the exchange knows. the trick is that the dollar to btc is a known value for them only.
It depends.

The 10 minute wait is only ok if the result is really really good. If I use google I do maybe 15 searches to crack a mildly hard nut, if each search would take more than 10 seconds I'd be too annoyed.

I would pay, but again it would depend on the quality and I would probably use it just once a week. If I could do it myself with google in 20min, I would not pay more than 2 bucks. If you can do the china-shop thing, I might pay 15 or even 40 if I knew it was good.

When I search for myself I get a feeling for whether there is more information out there or not. I'd have to trust the service to be good enough not to miss much.
> and I have no responsibility or obligation to stop any crime.

You don't have to ask someone if he wants to commit a crime, so that is not the problem. It is when someone explicitly asks for your help in commiting a crime and you think to yourself "yes I want to be complicit in this" that lands you in legal trouble.

If someone asks you for a handgun to kill someone you don't have to stop him, you just aren't allowed to aid him.

I really don't understand how you people seem to be under the impression that not going out of your way to help criminals takes more effort than not. I am more under the impression that you would pull the trigger on your on grandmother if it made you money, since it is not you but the blodloss that finally does her in - degrees of seperation and all that.
> people who are pro big blocks
[...]
> people who are against big blocks

Please don't play up this narrative unnecessarily. It's an easy narrative, but it's also wrong and misses important things about governance and identity. It makes it sound like the Segregated Witness proposal, which won supermajority support on the development list, does not increase block size (which it does, just in a backwards compatible way).

It has been known for quite some time that apart from a bug in the software, that could destroy value in an instant, the biggest challenge will be managing an open source project in the face of competing interests. It's the first time the IETF governance model meets fintech, and if Bitcoin continues to grow it will make the patent drama round rtcweb look like child's play.

> pro-Blockstream people

This is also simplifying beyond what's reasonable. Bitcoin is an open source project. There is a mailing list. You can join it.

It's not always roses and civilized technical discussion, but every argument can be heard out and there are enough people lurking the sidelines to act as a guard against abuses of power.

The Blockstream narrative plays down the contributions of Lau, Lopp, Lombrozo and dozens of others which do a lot of the development and release management of the software.
A Solar Concentrator Power Station is neither of [1], [2] or [3] posted above.
>but presumably a reasonably large merchant would find that they need to accept both though, right?

Bitcoin Cash isn't the first new or even nearly the most popular altcoin. Ethereum has actually overtaken Bitcoin in some indicators at times, though not in number of accepting merchants. Nothing has gotten close to Bitcoin in terms of how many places accept it.
My money is staying away from the volitility of crypto currency.

It's very hard to predict this market in the long and the short term. As far as I can tell speculation is the only driving factor in bitcoin. Not something I want to bet on or against it's too random for me.
Easier, yes, but that still doesn't solve the problem over the course of decades; in fact if that is your primary strategy, then you're going to be completely fscked as an organisation when someone _does_ leave (or dies). Employee retention might make things a little quicker to find, but is downright negligent as an institutional knowledge strategy.
Top Best iCloud Bypass Tools for Bypassing iCloud
But it's not a stable system, it's being driven with heat from the base.

A simple hydrodynamic [physical] model should be easy to build in the lab.
Design and maintainability are not mutually exclusive.

The original Thinkpad design is the laptop equivalent of blue jeans - functional, comfortable, durable, fashionably flexible, and timeless. Are blue jeans as "high" fashion as an evening gown? No. Does that make them "bad" fashion? No.

I for one want more blue-jean electronics.
Equality is a fundamental right. There is nothing stopping a state from eliminating marriage under the 10th amendment.
Judging by the reaction "diversity" also seem to boil down "fill the place up with people who think like me, the person calling for diversity".

Also, extrapolating anything from a text we cannot see rapidly brings us in strawman arguments territory.
> Furthermore, the listening approach can be expanded to listen for other things besides smoke detectors just be changing software. You could add listening for your doorbell, or your telephone, or your dog barking, or glass breaking.

Or a whistling gas kettle, which is an actual use case for me.

Generally, I very like the approach of listening and trying to recognize sounds. It's much more flexible than trying to put a brain in every other thing you have at home.
A Desktop Web Test Is Facebook’s Next Attempt to Jump-Start Facebook Stories
Epic fails in security, the Lexnet case [spanish]
The thing about data
Everything anyone will say publicly with their name about this, is lies.

He did not shit on leftist values. That can't even be a misunderstanding, that was just a lie (plain and simple). He simply pointed out that society uses a mix of leftist and rightist values, and neither side is 100% right.

Google has people openly say that "if you are republican then you should be fired" (and much much worse).

Nobody will criticize these lies, because this is a witch hunt, and one where this guy must be publicly shamed and destroyed, and anyone who speaks up against it must also be destroyed.

I hope many Googlers take notes and screenshots, because this is a clear discrimination lawsuit waiting to happen. I know some Google employees who are adding to their lists of future discrimination lawsuits. Harassment for political opinions.

This is what happens if you express an opinion against the dogma that is "There is ZERO difference between genders, it's ALL societal, NOTHING innate".

The guy started with a whole section about how you cannot use averages to judge individuals (he even had graphs showing exactly how you cannot), but that a 50/50 equal men/women engineering pool is not a realistic goal nor helpful because there are innate differences between men and women.

He then sprinkled it with some cherry-picked and possibly incorrect research, but is the basic premise wrong? No.
What if it turns out that his "co-conspirator" stole and sold his PoC malware? We're talking about thieves and fraudster after all so this doesn't seem like it is outside of the realm of possibility. The only proof to the contrary would be if Hutchins profited from the sale of the malware.

Writing malware should not, in and of itself, be a crime. Security researchers need to create proof of concept programs in order to do their jobs. I don't think that he should get off scott free because someone else handled the actual marketing, sales, etc but if he didn't gain anything from those sales, or fraud perpetrated in connection with the malware, then - having been arrested and indicted and such - he is just as much a victim as those who were infected.

To use your bank analogy, he found a hole in the bank's security. Someone took knowledge of that hole and sold it to some bank robbers who went on to rob the bank. The seller of that information says that he got it from Hutchins. Unless Hutchins got a cut of the sale, did he do anything illegal? Is there anything really connecting him to the robbery other than evidence that he knew about the hole first and the word of the hole seller?
How long does a charge for a Google Glass last? I think energy density is a factor but I think getting it to fit into the shape of a normal-ish glasses frame is the bigger challenge, along with the camera tech and the tech to project onto a lens in a discrete manner.
The S/N ratio of Reddit is slightly above 4chan, I find it mostly an exercise in image macros and copy paste. No development takes palce there. If you are interested in the protocol and the software, I would recommend lurking the IRC channels and/or mailing list. There is drama there too, but it takes the form of rational arguments and walls of text.