skysight-inc/HackerNews huggingface dataset:
Is making matcha green tea process is different from regular green tea?
Build Python 2.7.12 on Ubuntu with Profile Guided Optimization
#Open a terminal
mkdir -p ~/fastpython2/src
mkdir -p ~/fastpython2/install
cd ~/fastpython2/src
wget https://www.python.org/ftp/python/2.7.12/Python-2.7.12.tgz
tar -zxvf Python-2.7.12.tgz
cd Python-2.7.12
./configure --prefix=${HOME}/fastpython2/install/
make profile-opt
make install
export PATH="${HOME}/fastpython2/install/bin:${PATH}"
which python
you clearly underestimate the revenue of google. 57 million dollars is something google can shrug off as a cost of operation, attack the strongest point not the weakest point, and not the poster please review the HN guidelines.
It will never happen.

I've long thought that in the same way that DDG is a viable alternative to Google on a critical front (privacy), it's viable for an enterprising young VC to carve out a market based on radical transparency of both their wins and their losses.

Doing so however would be the equivalent of airing dirty laundry; there's a lot of people out there who don't want you to know how the sausage is made (FOMO, very little due diligence, etc.), and they likely won't want to get a reputation for calling out founders for their failure, lest their dealflow dry up.

I happen to believe however that the positives of being radically transparent and being notable for that very feature would outweigh that perception. Doesn't appear many VCs agree with me so far.
Voynich Manuscripts Problematic Pipes (2018)
It's even older than that. The Hindley–Milner type system was first described in 1969. In other words, we've had the foundation for this kind of type inference for 50 years.
What's the deal?

Really could be new to him. It's a pretty big world out there.
How I Choose to Read
I've been getting into Flutter and Dart recently after being a long time React fan. I must say I like many things Flutter does differently. Especially around its Material UI package (built-in) which is miles above any other web material component library in any framework (React, Vue, Angular, etc.)

I must say wrapping my head around the addition of 'await' and the changes it made to the EventLoop processing was difficult but as I type this comment I realize I do fully grok it now. I must say that this
is IMO probably the most important piece of info in the article.

Basically,

"`await` causes immediate execution of the Future (up to the first `await` in the Future) verses appending the Future to the end of the EventLoop queue"

If I have the above wrong someone please call me out.

Great article.
In this context yes, especially since it assumes distributions are normal.

The strict statistical meaning of a standard deviation applies to any statistical distribution
I know what economies of scale are. When you are buying and prepping 100,000 of the same meal at once it is much cheaper than prepping 100,000 different meals.
What a sad story. I wonder what other great books, movies, companies weren’t made because someone died tragically without a savior.
Portfolio theory. VC is not about in-depth rational understanding, it’s about getting into as many deals as possible. Due diligence costs too much.
Formal verification totally makes sense for smart contracts as they are relatively small most of the time (around 500 LOC). When your program is tied to so much money, this is probably what you should be doing.
I read The Road to Ruin last year. I don't know if it's viewed very credibly or not but the guy purports to have had a ringside seat to the 2008 GFC. That book reckons it's all about complexity theory and it's just becoming more and more complex and the next time it happens the complexity will be unparalleled and hence it is going to get hectic.

Now maybe that is just a way to sell books and it was a fun read, but I don't know.

I get the feeling we all know something is coming because it always has and it always will. Some suspect it's going to be catastrophic like never before. It's at least assumed it's going to hurt. We don't know when but it seems people are in agreement it's edging closer and closer and things are about to get really unfun for a while.

I just hope all the pain and misery happens to other people and I get through it unscathed. Totally going to take my share of the hurt most likely and that's OK I suppose. It's sort of fingers crossed at this point.
The important metric here would be package activity. If you don't have the package or its out of date, all other benefits don't really matter. Granted, in the Windowsing world, package count is a lot lower, as it's all about big applications and not minor libraries and utilities as in Unix (or worse). So it's easier to catch up.

The best thing for a Windows packager would be some kind of automatic change detecting site powering it -- so if there's a new release for WinWidget appearing on the Download section of Frobnicorp. Inc, the recipe for the previous release is tested and updated.
Didn't we just call it "slashdotting"?
Well, anecdote, but in most cases I know (South Europe) it's the tenants chasing behind the landlord to fix issues in their homes, and not vice versa :P Why wouldn't one want stuff on the property he's renting (and paying dearly for it) fixed?
This makes sense, but I still think it’s really hard to formally verify immutable code against a mutable VM.

Your code can be correct today but the VM can change tomorrow.
Scooters took over Venice and Santa Monica. L.A. County has a different plan
In the 90s, z-notation was taught in many UK CS courses.
I think you're missing his point; you're on two sides of the same coin. Your both saying "it depends", but he's taking the difficult route and highlighting the benefits of the non-dogmatic approach. I think why you should use a function is obvious to most of us. But an analysis of when/why you shouldn't, with concrete list of things to look out for, is more significant. Also, I'm not sure that his general goal (improved productivity, fewer bugs in large codebases) isn't a priority in all languages, environment and fields. I also think it's hard to argue that his specific recommendations aren't globally applicable, especially when he uses the word "consider" in many of them. Is there really a language/env/field where you shouldn't consider inlining a function that's only ever called once?

Aside, but can we all agree that this is what good technical leadership looks like? It's not some arbitrary law passed down about superficial stuff, it's a thought provoking _discussion_ about code quality. It specifically doesn't argue for a one-size-fits-all appraoch, but rather encourages people to consider the situation on a case by case basis. It also includes a concrete list of actions.
Reminds me a bit of Objective-J. What ever happened to that (it had a pretty nifty extjs-ish/Cocoa-like framework whose name my brain can't access right now)?
Wow did not know they were owned by Square! Only knew they took over OrderAhead, which I liked, and tacked on lots of fees. They have a service fee, delivery fee, and driver tip as separate line items.
Fasting is the ultimate weight loss tool. It also facilitates (muscle) growth and healing.
Not sure this analogy works but here goes...

Could you see it as what the car industry did for transportation, the tech industry is doing for our mental infrastructure? Setting up a private car infrastructure was a gigantic experiment with unforeseen (or were they really?) consequences to pollution, noise, the way cities were built/grew and so on. The initial idea was not much criticized, we have only been fine tuning the technology (safer cars, electric cars, better roads, etc). And today we are doing the same experiment but with our minds. And it's not going to change, we're just going to fine tune it. When your products are infrastructure you are safe. So screen/software makers don't really care about the debate of screen time. It's a debate about how much time and what you do on your screen and not so much how we should live our lives (we are already living a lot of our lives through screens!).
Why in the world does it symlink stuff into C:\ProgramData? Normal Windows installers don't do that.
I love the concept of formal methods. As someone who pushes for more determinism in software(yay state machines), I have long dreamed of using them to prove correctness. And then I go look at the goofy, domain-specific language I'd have to learn, roll my eyes, and get back to doing 'real work'.

Formal methods will win when I can point the tools at a mess of C/C++/whatever code and have the tool figure out the rest with minimal overhead from me. Sure, sprinkling a few hints in my code would be fine, but trying to implement my design in a formal language spec and then... convert it to my chosen language, with the chance that I'll introduce bugs, seems like a waste of time.
All I ever find with dating sites is an endless stream of bots and constant 'seen'/'deleted' receipts.

My feeling is I don't have enough "marketable" photos of myself to make the few real users out there take notice among the endless stream of spam they must get.

I end up feeling that the psychological impact from 'playing that game' results in diminishing returns, so fall back to just doing my usual hobbies in the real world and hope in the back of my mind that one day someone might find the things that I do interesting.
>Of course, as Weimar Germany, Hungary, Yugoslavia and more recently Zimbabwe and Venezuela have all found out, you have to watch out for hyperinflation.

Of course, as Japan awkwardly found out, you can have the highest debt/gdp in the world and still get deflation.

(I remember hyperinflation frequently being predicted as the obvious outcome of Japan's staggering deficits in the 90s though... by people who would doubtless pour scorn on MMT)

The difference between all of those above examples and Japan is that their economic output was substantially impared (e.g. with Zimbabwe by effectively destroying their agricultural sector) and they were trying to pay off externally denominated debts as well as sustain themselves.

None of this requires deficits, it can happen even in surplus.
Introducing the Component-Based API
Just a note, ImageX is superceded by DISM, and both of them utterly fail at keeping extended attributes (despite the command line flags). So what you restore won't be the same thing as what you backed up. (I don't know of any tool that handles all of EAs, reparse points, etc. correctly.)
> Deliveroo has started expanding to use local kitchens (that have no physical restaurant where diners can go), though you'll also find examples of those on GrubHub/Seamless.

Not nearly to the same scale as GrubHub. Deliveroo's prep kitchens (called RooBox or Deliveroo Editions) are a lot more ubiquitous. Additionally, Deliveroo actually provides & helps prep kitchens, whereas GrubHub is fairly hands-off when it comes to whether a restaurant has a retail location or is delivery-only.

Their ability to provide prep kitchens works twofold: 1) Help drive down cost, and, more importantly, 2) Gets more restaurants on Deliveroo to drive sales. This is also a perfect touchpoint to sell all sorts of things a restaurant would want: packaging, point of sale, marketing materials:

https://restaurants.deliveroo.com/en-gb/

The fundamental difference is that GrubHub & UberEats are (mostly) just delivery. Deliveroo is full vertical integration. I would not be surprised if they start impacting & controlling supply chains soon.
It'll work just fine, it will however not run at full power.
That's a good approximation :)
But what could have that "savior" done if they lived?
Just about every modern car comes with knock sensors and computer controlled knock prevention mechanisms that will compensate for lower octane, especially on high strung, direct injected, twin-turbo cars like a BMW M3. The only real downside is increased emissions for using non-optimal fuel and lower engine efficiency/power.
thanks for the info, but as I said above anything that relies on the installation of graphiz is extremely hoaky, and as you can see on many posts on SO, doesnt work many times.
That's exactly what's happening in, e.g., Miami[1]:

> A recent Harvard University study tracked the property values of more than 100,000 single-family homes across Miami going back to the early 1970s. It showed that values of homes along Miami's coastline have been dropping, while those at higher elevations are increasing.

[1] https://www.dw.com/en/miamis-affluent-climate-refugees-seek-...
That's a great question, thanks for asking!

This idea was largely inspired by the way Alexandria Ocasio-Cortez (@ocasio2018) uses Instagram. She’s a US Congresswoman and has 2M followers on instagram. In her IG stories she often uses an app called “Clipomatic” that does much the same thing as my app, but lacks a few key features which I believe makes my app a significant upgrade. Clipomatic doesn’t let you import videos from your library, and it forces you to use “cute” themed message bubbles with your captions.

Alexandria Ocasio-Cortez is just one example. Plenty of influencers use Clipomatic, and others use Adobe Premiere to add captions.

So that demonstrated significant market validation to me, so I took this idea and talked to a few "influencers" that I know. Photographers and YouTube creators and such—people with 1 to 10k followers, so not huge accounts, but larger than most. They’ve helped me refine the idea, and some have tested it one their own accounts where it’s gotten positive feedback.

There's also a service called Rev.com (rev.com/caption) that charges per minute to add captions to videos. Since humans transcribe your video manually, they also have a longer turn around. I've seen several brands on Instagram use this, but I believe Caption This is a cheaper, faster alternative with the a high quality result.
No the problem is gluttony. Why do we complicate this so much?
Am I the only one wondering how the discussion to his email thread went back then?
I know what it is as I am an actual system engineer; the question was for our self-proclaimed "principal engineer" to see if he has a clue.
It's as if Github felt bad for standard users that were already paying for repos after their free repo announcement and decided to give us all a "PRO" badge and a star to make us feel better. It could also be a marketing tactic to make people pay if want to become a "PRO" like the rest. I really do hope that badge is temporary.
Bring it up with him and see how the conversation goes. If your relationship can't handle one difficult conversation, it certainly won't handle cofounding a company together.

Other questions that come to mind are - if he has a reputation for this, will your company really benefit from his name and network? Also, maybe you and the other cofounder can tolerate this person - but would your politically incorrect colleague be as tolerant of new people that come on board: can he work in a healthy way with people who are clearly left-leaning or in a minority group?

You do not want to be mentally and verbally tiptoeing around other people in your company. You also don't want to be embarrassed by someone whose name and network are supposed to help your company. And since you're just starting and have more control than usual, you also have more flexibility in choosing who you partner up with.
Notes on Security in 2019 from a16z
Websites will learn to follow the law or they will die. And the web will be better off for it. Stacking dark patterns has been a thing for way too long, it is high time that movement dies.
Honest question: where I live (typical Spanish small/medium city 300.000 inhabitants) most (like pretty much everybody) people live in flats and lots of people do not have a way to plug their cars at night. Anybody knows how this can affect the use of purely electric cars? Even small ones, I mean (yes, neither I nor most people will buy a Tesla).
A stable genius in his own words.
Whenever that is. It was originally slated for the last year.
Toyota rolls out an updated autonomous car prototype for CES 2019
What was your starting weight? Losing 3-5 pounds a week sounds like a lot, unless you were starting from a high weight to begin with. Also, most people trying to lose weight aren't fit enough to run/ride for 10 minutes long, let alone 2 hours.
Dinosaursgames.net
Play free online dinosaur games at Dinosaursgames.net, the best place to play high-quality browser games. We add new games every day. Have fun!
It is a problem in India too. Moreover people here consider being overweight to be healthy and equate being lean to being malnourished!
> If you regularly charge at home, like most people do, you can get extremely low rates at night during off-peak hours. It only costs ~$0.12/kWh for us in SF.

In Palo Alto, this requires also accepting much higher rates during the rest of the day. When I looked into it, I was told that it would raise my daytime rates up as high as 45¢/kWh during the day (nearly double my current rate). Since I work from home and need to use AC/heat, this was not an attractive trade off.
the European market is, at most, at the quarter hourly resolution, so having a finer resolution would be pointless for the pricing
You can still fast, like I do, despite being lean. 4-5 day water fast regenerates the immune system.
Executor used some fiendishly clever tricks to achieve performance on 1990s hardware at the expense of portability (e.g. the possibility of 64-bit support). Advanced Mac Substitute has different priorities and doesn't use any code from Executor.

However, ROMLib looks like a good source of unofficial system documentation, which I expect I'll be consulting in the future as I work on parts where Apple's docs become less detailed.
Bubbles are usually based on real anticipated value, that's what gets them started. The opportunity is there and a transformation is ocurring, but the investors in the bubble won't profit as they're too early or late or don't happen to invest in companies which survive.

e.g. South Sea Bubble, Railway mania, .com etc
Cool story. Wrong url. Should be http://elizagen.org
I believe most of Edison moved over to smart meters, and they're the biggest provider in SoCal. LADWP is rolling it out at a snail's pace.
> Odd a business would struggle to get something that small.

It being that small is part of the problem.

Your potential ROI for a 10k loan with anything resembling a normal rate is pretty small. There's not much money to be made, which means there's little incentive to take risks.
> Google will just stop operations in France (or Europe)

No they won't.

The market is too large, and they are perfectly aware that they have competitors that manage to keep their businesses both legal and profitable.
'2nd stage' is raymarched in a single shader. You can see the (adapted) source here https://www.shadertoy.com/view/MsGGDK
Wait, why are all pizza, Indian, Thai, Sushi etc. places in my city doing this and have been for ages if it is so difficult?
Hard disagree on this. I read quite a bit of code for a living and one of my single biggest complaints about most codebases are trivial functions (or useless objects).

If your code does n operations in sequence, just list those operations. Don't hide them off somewhere.

Code that reads linearly is by far the easiest to read. At least when you are familiar with the language and idioms. It's like the difference between a novel and a choose-your-adventure book.

Modern IDEs help, but there's only so much they can do.
It sounds like it will hurt the business more than it will benefit it, which goes against the best-interests of stakeholders including yourself. Have a friendly conversation with him and decide if this person is worth working with based on his willingness to change certain behaviors that you don't approve of. If not, then you two aren't the best fit for each other as cofounders
When you do it from a non-admin powershell, it's precisely as secure as downloading and running an installer.
Do you have some followup sources for these fairly strong claims?
Where I live (Poland) it's possible to opt for cheaper electricity at night (10PM - 6AM), and over the weekends (Friday 10PM - Monday 6AM), in exchange for premium pricing during peak hours.

Example prices (probably a bit outdated, but to illustrate the difference): Flat rate metering: 0.55PLN / kWh, split metering: 0.71PLN / kWh peak, 0.26PLN / kWh night & weekends.
I ponder the reason Hemingway never mentioned him, and I imagine - which is not to excuse him - that acknowledging the person who died in your place is a trauma to be revisited. Instead of celebrating Fedele Temperini's death, it seems that Hemingway felt guilt and shame. Even though that's an easy reading of silence; I may be wrong.
Search for JAM stack and static site generators like GatsbyJS, Hugo, Jekyll etc.
A typo:

while (microTaskQueue.isNotEmpty){
...
return;
}

It should be either "if { ... return }" or just "while { ... }".
Exceptional claims require exceptional evidence

You could just be someone with an axe to grind
Decide that you want to not be fat more than you want to over-eat.

Then choose to sustain that decision by re-affirming it daily.
The Most Common Mistakes in Database Design
They will come back in the form of continuous variable quantum computers.
A speeding fine is the punishment, and the limited amount of points on the driving licence, some of which are taken away at each infraction, are the incentive for changing behaviour.
Completely agree. This line sums it up:

>> Before we prove our code is correct, we need to know what is “correct”. This means having some form of specification

That is the problem. The people who come up with the spec don't fully know what is required. It's even worse than that actually; the requirements change constantly to account for changes in the technological and business environment within which the project exists.
I still can't see the link to individuals using DDG as an immediate or relevant solution to the problem discussed by the author. The comment, to my eyes, came off as flippant.
"it will absolutely be designed to consider lawful intercepts" is a bit of a stretch. If we were talking just the US, I would agree that that precedent has been set. But we're not, we're also talking the EU - which doesn't have a history that dystopic.
How would this hypothesis explain the fact that people with low-functioning autism are maladapted to the environment, in the sense that they would have low chances of surviving a few thousand years ago?

It seems to me that it is nearly impossible that this form would be naturally selected, unless current levels of dietary iron were always common and are therefore not excessive to begin with.
I get the feeling that a lot of programmers (especially the older senior ones) are overestimating their significance. It's like people don't want to accept the inevitable future of AI and automation and be like "oh, code is never going to write itself! nope, it's never going to happen! herp derp my job is safe!".

Give it 10-15 years and the bubble is going to burst whether we like it or not. If you're not into machine learning or deep learning at that point you're screwed.

Change my mind.
> but people often choose their physician based on skill.

This is utterly wrong on the face of it.
>The hardest part of dieting is realising that in order to keep it off, you will have to continue like that forever.

Yes and no. It depends on your goals.

Some form of modification is needed from whatever you did that made you fat in the first place.

Some form of modification is needed from what is currently keeping you fat.

But you could 100% have a diet that is meant to shed weight quickly, and then switch to something to maintain weight. Add in moderate amounts of exercise and you can eat a bit more.

You need a sustainable, long-term, somewhat permanent diet. It doesn't necessarily need to stay the same for forever, because there might be less radical diets for maintaining. This might be a completely different diet than what got you to your target weight.
Ask HN: What's your biggest pain point when hiring developers?