skysight-inc/HackerNews huggingface dataset:
I've used RainX intermittently over the years. It's a bit of a faff to put on and also maintain but when it's working well it is truly fantastic, crystal clear vision in the rain.
Downsides are it doesn't work well below 40mph and also it can go foggy sometimes. Brilliant stuff though and well worth using if you know it's going to be very wet.
They went all out with JavaScript overengineering. On mobile devices I don't want to use it at all.
On my system:

gcc -O3
1m40.302s

gcc -O3 -ffast-math
0m5.110s

rustc -C opt-level=3
0m9.278s

gcc (GCC) 6.3.1 20170109

rustc 1.15.1 (021bd294c 2017-02-08)

Edit: Looking into this a bit more, I think 'rustc -C opt-level=3' is optimizing out the actual integration. If I put a println!("{}", x[0][0]) at the end, I end up with 1m43s. Not sure what 'gcc -O3 -ffast-math' is doing; I haven't looked at the disassembly.
Giving them the harddrive is like opening the door. Not my problem they can't read the documents they found.
Very early on in my computing career (nearly 40 years ago now), I remember being blown away when an older IBM Systems 360 programmer showed me how you can swap the values of two variables over WITHOUT using a third placeholder variable by using pure XOR.

I didn't believe him until he showed me. Apparently they used to use it all the time to swap out entire segments of RAM in the S/360 without having to page out to disk or clobber other free RAM segments. It is simply:

a = a xor b
b = b xor a
a = a xor b

Three steps, same as using a placeholder 'c' variable. I think he mentioned on most of the processors of the time, 3 XOR instructions actually worked faster than 3 MOV instructions.

Illustration for the non-believers:

a = 10010110
b = 01100011

a = a xor b

a = 11110101
b = 01100011 (unchanged)

b = b xor a

a = 11110101 (unchanged)
b = 10010110

a = a xor b

a = 01100011
b = 10010110

Voila!
You may be surprised how both extensive and fine grained the constraints you mention can be with current high-end RDBMS. And yes, that includes stuff like high availability and blobs/filesystems. (via naked POSIX API? Why the hell would you do that?)
Though - cheap shots be damned - in my experience "high-end RDBMS" don't include (Non-Enterprise) MySQL or - to a certain extent - Postgres.
This is horrendous. I read this piece about the Mosul Dam (http://www.newyorker.com/magazine/2017/01/02/a-bigger-proble...) a month or so back and found it very alarming, but wasn't sure how seriously to take it. I'm taking it more seriously now.
What happened after each of those failures?
For those who are looking at doing data analysis with Rust in astrophysics, I have a crate fitsio (https://crates.io/crates/fitsio) which wraps cfitsio into rust, allowing the reading and writing of .fits files.
Fantastic, thanks!!!
It originally said "Why does e to pi i equal -1? (visualized)".
Could you maybe explain how you compare copying a cancer drug to automatically putting your own watermark on other people's funny images?
Totally agree. My father would always tell that what's important is to truely understand things and not just be able to do the problem. This had two bad side effects : 1/ i just read the course and didn't do the exercises, and 2/ i "blocked" on things like infinitesimal calculus, because i couldn't get my head on its true meaning.
Tens of thousands of Romanians protested for the 13th day in a row
Well I mentioned it just as an example of humans being better at it than robots. I don't really imply that sending people to death is a good idea.

We should also distinguish between site cleanup (which is certainly impossible) and secure containment (which is possible and was done before). The idea is not to chip away bits of highly radioactive substance, but find a safe way around it to isolate the world from further contamination. Apparently, not everyone is convinced Japan has a plan there.
My motto: when in doubt, count on greed.
Being forced to decode written notes to incriminate yourself is about equal to producing the password that decodes the encrypted data.

In both cases you use a secret and some procedure to derive readable information from some other information.

And in both cases, it is generally impossible to prove you are able to!
>Alice pretends that Bob exists, but actually he does not, but police cannot prove that. What then?

Well it's pretty obvious what happens then. The police claim Alice is lying and hold her in contempt indefinitely. The man from the article claims that he doesn't remember the passwords anymore and can't possibly comply, he's still being held in contempt even though there's nothing concrete to show that he still knows the password.
My assumption is that the piwepkants of the body take the heaviest toll
That's... Quite impressive...
Interesting, the code looks more similar than I expected, yet the results are very different! Could it be that the difference is due to aliasing rules? It would be interesting to see what happens after adding a few restrict keywords here and there...
From a very simple calorimetric pov 1 lbs fat ~ 4000/3500 cal, assuming using 2000 calories for normal daily activity one needs to spend an extra 2000 cal per day for 10 days, which is like running 20 mile with no energy intake whatsoever every day (for 3 days per week it is 40 miles for days when one exercises).
One almond requires over a gallon of water, and you can buy a pound of raw almonds for $8 or so at my grocery store. But that 1/16 gallon glass of water is gonna save the day.

Meanwhile, our state capital is -- wait for it! -- building out water meters so they can tell how much each house is using. They're trying to get 80% of households by 2025.
The LAMER Effect: Let’s all make enormous rulers
The Completion of Changi Airport Terminal 4 Ready to Serve at Q2 2017
So what are you going to do when tourists can't afford to immediately pay a $500 on-the-spot fine? Drag them off to jail? Are you really willing to jail people over a noise complaint? Your local Chamber of Commerce is going to love that.

> narrowly tailored ... broad

Obviously enforcement of the existing broad regulations isn't working, so we should create new narrowly tailored ones instead.

This spin-doctoring stuff is fun!
Or just make GRUB invisibly boot to a default Windows install unless a key is pressed. They'll never see the other OS. A Tails install on a USB stick might raise questions if they bother to look at it.
We've been using both P/V and Garnett on this Goodreads group for "Demons". The prose of P/V is often more arresting and grabs one's interest more readily; Garnett is also quite good in most places, and has the advantage of being available on Gutenberg for copy/paste.

https://www.goodreads.com/group/show/207716-dostoevsky-demon...
And yet, in other disciplines, Word is the standard and you get very, very strange looks if you use anything different.

Source: wrote a psychology PhD in LaTeX.
Thomas Edison’s To-Do List, 1888
For me, clang -O3 optimizes the main function into this single loop:

LBB3_1:
addsd	%xmm1, %xmm0
addsd	%xmm1, %xmm0
ucomisd	%xmm0, %xmm2
jae	LBB3_1

%xmm0 begins at 0, %xmm1 is 0.04, and %xmm2 is 3.6525E+8.

In other words, it's measuring how long it takes to count to 3.6525E+8 by adding 0.04 repeatedly. LLVM (which both Rust and clang use as a backend) optimizes away the actual work of the program.

GCC doesn't seem to optimize things out as aggressively, so that probably explains the difference: https://godbolt.org/g/lBRIIW
Manoj Bhargava, 5-Hour Energy Drink CEO Spends Billions to Change the World
That sounds really delicious. But what does it have to do with heart disease risk?
Sometimes the rail can reinvigorate those backwaters. Case in point: Montabaur, Germany.
Oops maybe I should remember to check before sharing things like this - I forgot that I have "(TODO, haha!)" in the "Documentation" section of the README. Check the Examples section for how this should work. It's very simple, but admittedly my docs should be better.

You can also pick it up from pypi: https://pypi.python.org/pypi/em73xx
> But it's undisputed (aside from most keto blogs) that an increase in serum cholesterol and especially LDL-C increases the risk of heart disease.

Sure, but show me where cholesterol intake correlates to LDL.

At some point someone managed to convince the public subconscious that food fat = body fat, and that food cholesterol = body cholesterol. And it's a ridiculous notion.

I don't eat protein to become protein.
https://github.com/ergonomica/ergonomica/wiki/Installation the installation is somewhat weird.
Interesting. Sadly I strongly dislike JSF (and webflow). From what I have encountered JSF is a synonym for outdated, slow and bloated. And nobody I met enjoys working with it.
Most of the weight loss would be water weight from glycogen stores being depleted, not fat being burned.
Yes, and they don't (generally) feature lock like Intel does, but we will have to see
Until it actually happens.
I think most people who have worked in computational linguistics or natural language processing for a while would have some idea of words existing in some kind of vector space.

The things which still amaze me are that meaningful vector operations work (Queen + Man ~= King), that you only need 300 dimensions (or sometimes even less!) and that it is possible to build this vector space so "easily".
>It's crazy for me to see that C is much slower than rust.

It's not in the general case, but can be for particular code.

Unless the C program was written badly, the fact that Fortran is also faster seems to point to compiler optimizations not easy/possible in C (e.g. involving aliasing assurances).
Remember when Obama passed the law that allows for indefinite detention without charge? And how his supporters said "Yeah, but it's not like he would use it"?

I think it's already used all the time across the country now. A law that "is not supposed to be used" should not exist. If it exists, then it will be used. I'm sure this is some kind of Murphy law or something.
Show HN: Automated Security and Dependency Updates for Python Projects
The amount of space railway needs is infinitesimally small compared the amount of arable land we have. This is not a concern.
So, "why do we need green belts? My mansion has gardens!"
>Is there a risk of bringing a smartphone with no past context on it (e.g. a previously-unused refurb or new phone)?

If you're willing to have two smartphones, or to backup and wipe your smartphone when you travel (don't forget the sim), then I guess not that much. I definitely couldn't be bothered though, hence the cheapie phone. Your mileage may vary if you're going for a 3 months sojourn I guess, I usually do 2-3 day trips.

However, back on the sliding scale of paranoia, the main risk of bringing your phone with you if you want next level protection from the US is that if they ever take your phone and remove it from your field if view, you might want to bin it. The US has proven very adept at modifying circuitry of devices to monitor them[1]. A cheap feature phone can be binned without thought.

[1] https://arstechnica.com/tech-policy/2014/05/photos-of-an-nsa...
The US (and a large number of companies built around helping people emigrate to the US) puts a lot of effort into marketing, and frankly speaking, it's not a lot worse than most places people emigrate to the US from.
OK. Why would you install gulp to get ivy?
> The problems are in the longer term with elevated cholesterol...

From your link:

> These differences were not significant at 24 months.

-----------

> and increasing insulin resistance.

I'm going to need to insist on sources on this.
> Doesn't even mention Google Voice?

Well, you need a phone number to sign up for a Google account, so Google Voice isn't an option if you don't already have a phone.
Just a heads up the the crystal language link is mis-routed in the readme.
Thanks I'll try out Avocado oil. Someone else mentioned it also. When I say "taught" I really mean my mom said "that one's good. Oh that one's good, too."
I came here to post that video by Mathloger, it's very well explained.
If I recall right, they producer more co2 than methane by a factor of 2. A better measurement is pollution, but then we would need to attribute all the particles which makes it more complex to compare the burning of fossil fuels with gas produce by fermentation.

Not to say that I am not a fan of less selective counting. I in big favor of counting footprint based on a person complete effect on the environment rather than specific choices. If we counted everything from purchases of items, clothes, travel, commuting, diet, and so on, I am convinced that the end result is more enlightening than just looking one diet item vs an other.
On my laptop (i7-5500U), I get the following timings (always with -march=native or -xHOST):

GCC 6.3, -Ofast: 5.93s
GCC 6.3, -O3: 93.06s
GCC 6.3, -O2: 134.43s
Clang 3.9, -O3: 346.92s
Clang 3.9, -Ofast: 5.87s
Intel 15.0, -O3: 110.84s
Intel 15.0, -Ofast: 106.88s

The Intel compiler is relatively old, but mostly it seems to be a case of IEEE 754 conformance -- if enabled, things take longer, if disabled, they’re (probably) as fast in C as in Rust.
Would you also describe depression as a lack of mental willpower? Why not?

Normal bodies don't require calorie tracking, the brain automatically signals the body to stop eating; no effort required. This system is broken in some people, their brain tells them they are hungry even after consuming too many calories. What causes this malfunction?
i absolutely loved it, especially compared to atlassian's bitbucket code review features.
Most atmospheric methane produced photo oxidizes to CO2 after about 20 years though.

CH4 + 2O2 -photons---> C02 + 2H20

I'm not sure what time scale of heat per mass equivalencies are based on in your example; there is approximately 28 : 1 heat/mass eq. ratio at the 100 year scale, during which time the heating effect decreases exponentially with the decrease in methane concentration[0]. After 100 years the ratio is approximately 1:1 since almost all methane has decomposed.

[0]https://en.wikipedia.org/wiki/Atmospheric_methane
-ffast-math might be a bit cheating here, for scientific work it's not always applicable. Unless rustc uses fast math by default? That would be weird.

It's surprising that gcc does such a poor job at -O3 though.
Real time stream of all tweets relating to the 45th's personal Twitter account
Machine Learning Recipes by Google Developers (YouTube)
>until a human queries the database and reads from the collected interceptions.

Didn't it go further than this? Just searching the data for some signal wasn't a "search" because a machine did it, it was only a "search" if you were a match and if you were a match then they had "probable cause" for the search.

Not entirely sure how accurate that is but FWIW it seemed like that was the accepted reading of the twisted reasoning on HN back when that came out.
> With an encryption system, any combination of things you know, are, or have could be part of the key. Compelling the defendant to reveal all of that is absolutely a violation of their 5th amendment rights.

In the article is stated that he could actually compel to the order by decrypting himself the hard drive without telling the key to anyone. Could you please read my other comment about this topic? I need further explanation about the legal basis for a different behavior when is involved a physical key or a combination.
As a European, I've never seen high speed trains that require metal detectors and/or luggage inspection. Which country was that?
It looks awesome. I'm looking forward for your documentation.

Is the PCB multi-layered, or two layers? Could you also comment which software did you use to design it? I've used Eagle CAD quite a lot in past and it works great, though I always wished to use KiCAD because it's open source. Thank you!
IIOT venture Flutura raises $7.5M, looks to leapfrog in the ‘outcome economy’
Well, I'm the guy in the black shirt who did the demo.

If you liked that lecture, I'm already starting on some verilog implementations.

This is an example multiplication 8 bit * 8 bit -> 16 bit unpacked (20 bits). It differs from standard floating point in that the fractions are stored as two's complement. It takes a little bit of wrapping your head around, but the hidden bit for negative numbers is actually -2 ! Moment of zen.

https://github.com/interplanetary-robot/mullinengine/blob/ma...
Europe has significantly higher taxes on fuel yet still needs to subsidise roads from general taxes so I think if roads were properly funded it would be higher than fuel prices a few years ago.

Also if both rail and roads were funded only by users then rail would be the more attractive option.
It's actually pretty clear that he did if you look at pages 3–10 of the government brief. The government just doesn't know exactly what's on the encrypted external hard drives, but they suspect it's a lot more child pornography, which could bolster the case against him: https://arstechnica.com/wp-content/uploads/2017/02/fedsrawls...
Ok, fair enough. I just figured that almost any very-low-carb diet would lead to a 15 or 20 pounds weight loss, due to the water loss. Due to the difficulty of the diet (for some), I just always have a hard time recommending it or bringing it up compared to a 'regular' low carb diet.
You're trying hard to be annoying, I suppose. You don't know this, but I've never worked for a startup. If you're looking for that attitude of "oh, he should have learned React and moved to SF", then you're looking in the completely wrong direction. Now, I know there are people on this board naive enough to believe things like that, but I'm definitely not one of them. And as far as "it's not my call to make", I'm not making this guy's call. The implication is that unless I have a job to provide this unfortunate fellow, in your view I shouldn't be commenting and suggesting that destroying his health by signing an employment contract that waives his right to collect damages is a bad idea.

I think that's an absurd attitude to maintain.
Amazon style ? ;)
Ohhh, this is wonderful. I'm eternally grateful for whoever runs yopmail.com; I didn't know that something similar exists for text messages as well!

It sounds like something that should be an open source crowd-sourced service!

It imagine it could work like this:

1) Generous people donate a phone number by putting a cheap prepaid SIM into an old smartphone with a special app on it.

2) Everyone else can now use this number to receive messages!

3) The service could end up having hundreds of phone numbers available, with stats (eg. last message received, number of messages received, downtime, etc.)

Just like generous people today run TOR exit nodes, generous people could run an "SMS entry node". (not sure if that term makes sense)

Disadvantage: like TOR, it can and will be abused by spammers.

Advantage: Companies need to come up with better anti-spam measures instead of "give us all your personal data".
The other eight unanimously agreed with him, they disagreed that the particular case was analogous to a combination, the other justices were of the opinion that it was really a "key".
I don't know if it's true, but I wouldn't be surprised if many states didn't heavily subsidize their own car manufacturers early in the automobile boom.
I have only been to the USA once and I noticed this. It didn't help that I was in Florida in the late summer (very hot) so none of the locals expected there to be pedestrians!
Will Immigration Reform Hurt the Tech Industry?
So if I put a dial interface on my computer I can't be compelled to give up my "combination"?
Completely agreed (happy LaTeX user in industry). However, I have recently been using org-mode for emacs and treating LaTeX as one possible output format. Being able to output to HTML/markdown is really useful for automating import into more commonly used tools.

For anything with non-trivial maths or structure, I'd still use LaTeX, but it's very nice to have an (easier, more portable) choice of output formats.
This is correct. You can expect maybe a kilogram of fat (2 lbs) per week on a very restricted diet. Much more than that is hard to maintain over a longer period and unrealistic. When you first start with a keto diet, you can easily expect 3-4 kilogram of water weight being lost.
My intuition is different to yours: "mustn't" made perfectly good sense to me in that context. Just a data point.
> ﻿All of those questions are answered in the man page for git send-email. You can specify them via a command line option when invoking that command, or just add that information to the git config file.

Many, many pages below in the configuration section.

Yes, on its own that's not too big a deal (you can always google the setup, though for me it's the fourth result on google that is not the man page itself). But this stacks up with the rest of the issues -- with send-email it's tricky to respond to existing review threads with new patches. Clients fix that, but they have a whole host of other issues.

> Is that done by the Gmail web client or is it something done by their SMTP server?

The web client. Whether or not SMTP does this isn't the point here -- I brought up the web client as an alternative to using SMTP, because SMTP is not an option for many, and even if it is, one really shouldn't have to set up an email client and potentially change their email workflow to contribute patches.

> One thing that I think would be an improvement to git format-patch and git send-email is having it default to setting the Message-Id header in the email it generates rather than relying on the SMTP server to generate it.

That doesn't make sense, it doesn't know what message id to set. It needs to hook in to a mail client to know that.

> How do you deal with the case when multiple discussion threads are interleaved with each other? Is it easy to find the email that was partially quoted the message you're viewing?

I meant chronological view for a given thread. You still need fully threaded view, but comprehending an entire thread in non-inlined fully-threaded view is really annoying. Inlining the emails or using some JS for expand/collapse can help, but as it stands most if not all web interfaces for MLs are terrible.
What do you mean by “number set notation”?
Educational Websites For Lifelong Learners
Proper encryption is indistinguishable from random noise
I've built this last year because it was a great hassle for me to keep multiple projects updated and secure.

Would love to get some feedback!
OHHHH! It works on gitlab as well!
When I get my music, I want to use that for the next 20 years at least. It's stored in my NAS lossless and I can convert it to any format I want? For example, I use 192kbps opus files on my phone, which work nice while using A2DP to pack the sound even more.

But if I own music, FLAC is the proper format. I can go into any other format from it and re-pack my whole collection in the matter of minutes. Buying and storing content in lossy format doesn't give me this freedom.

And even if Spotify Vorbis sounds ok, it doesn't change the fact that many records in there have a very bad mastering and no other versions at all. Which was my original point here.
Good point...I will make it so that destructive is opt-in
I once was giving a training getting bored, so I timed how long it took for the dev to write down some simple tasks. The guys using vim and emacs were consistently slower than the guys with the IDE with GUIs.

I get that you can like vim and emacs better, and it's perfectly alright. But don't pretend it's more efficient. There are very few people (I meet one maybe each year) actually efficient with them because they are tools putting the burden of many tasks (reminding states, doing transitions, making very specific selections) on the user instead of the machine.
Well it's certainly not going to include people that have $13/hr jobs in America.