skysight-inc/HackerNews huggingface dataset:
Here's a good place to start: https://docs.microsoft.com/en-us/dotnet/fsharp/

In addition to linking to other parts of the documentation, it links out to other third-party learning sources.
This is an incredibly condescending thing to say, and probably not helpful, but I'm going to say it anyway.

When my two year old gets angry and starts a screaming fit, I tell her she's not getting her way and screaming won't help, and practice taking deep breaths with her, and talking soothingly with her until she can calm down.

Being angry doesn't make a person right. A person being angry does not mean you should give into their demands. A mob of angry people is not more right for being large, scary and potentially violent.
Yes, built-ins, intrinsics, and extensions.

My original point was simply that std::vector, say, is just as good a "keyword" as any - perhaps, not because you cannot redefine it but because you wouldn't, and if you didn't like what it does, you'd use/implement something else.
In the recent sales they sold the Link for $5, so unless there's something that justifies putting them out as a loss leader fire sale seems to be it.
The original post talked about "a literal knife to anyones throat" which means physical force.

But what is supposed threat about? We are talking about whether or not Google links to a website, which has nothing to do with that. Linking is purely voluntary and there is not even a contract.

Of course, at scale, financial incentives are still very important for businesses, but let's be clear about this. There are no goons or threat of goons involved.
I've always loved this thing, and enjoyed the first encounter I had with it.
Federated Averaging Algorithm on TensorFlow. Code and Tutorials
Sad to see this downvoted - very funny.
Not the OP, but I would think he's describing: You can't out build rich people. There may be a supply of ten houses and a demand of ten people who need houses. However, that doesn't take into account that one of those ten people might be rich enough to want to buy all of the houses and then rent them back to the other nine. In dieting: you can't out run the fork. In housing: you can't out build the rich people.

In anywhere nice to live, there will always be rich people lining up to buy up everything. Even if they don't live there. Even if they can only live in one house at a time.
> My Subaru never shadow brakes.

Do your Subaru is electric? Does it range compare to the Model 3? How does it compare to its acceleration?

Don't ever buy a product for a feature in beta. For the sake of anyone, never ever EVER do that.
So perhaps this is most comparable to Python's fabric library.
Yes. But that is only possible because the justice system allows that.

I totally agree that these contracts should not be legal. But the argument is still correct overall, the prisons don't put people in prison.

And the US had overpopulated prisons before private prisons. In fact, the VERY REASON why private prisons were established was because there were so many prisoners that the government were just not efficient enough to organize it at that scale in some cases.

Fundamentally it is the bad laws and the bad legal system that leads to this.
I see things I can't see.

I walk a stair and see stains. I walk by garbage and think about it. I thought that my level of detail/awareness is normal but lots of people around me don't notice basic stuff.

I'm more surprised by myself when I become less aware of stuff around me than the other way around. Less or even unaware is quite interesting to me after it happened and I'm happy about it because I have the feeling that overaware is my norm.
Nice if you're the one partying. Pretty sad for everyone else though. Life's not fair. Lots of talented people out there who could build a business and turn a profit, and instead the VC money always chases the smooth talking B-school bro's with Ivy League pedigree, and other big-network phonies.
Ok, the argument about private prisons is not that they fail to detain people.

It's a question of second order effects relating to different incentives of private institutions vs government organizations. Governments see prisoners and thus prisons as a net loss because they pay for them. Private companies see prisons and thus prisoners as a profit center because they are paid to detain them.
Or people who feel less pain gravitate toward being "mindful".

Not that we can get an objective definition of "mindful" and "pain". Also we have no objective way of measuring either.
Do you actually have to go through the App Store to make a new Safari Extension? IIRC an app was enough.
Coincidentally I just wrote a similar set of tools using bash scripts for doing deployments of a simple app. I opted for rsync mostly because I’m more familiar with it than scp. It basically runs some build commands, copies the files up, and runs some commands to restart Docker containers.

I always think it’s interesting to see things pop up on HN that are randomly relevant to things I’m thinking about or working on.
Not really.

The power throttling and voltage gating that goes on takes a long time--at least microseconds, up to a few milliseconds. The scheduling concerns that compilers deal with are worried about around tens to hundreds of clock cycles, a factor of well over a thousand.
It's not unprecedented. Only a few miles north, New Jersey basically ruined I-95 for everyone who lives above Philly.

https://www.bloomberg.com/news/articles/2018-08-20/after-60-...

DE and NJ aren't really suitable states, they bring zero benefit as a separate entity from their neighbors.

Disclaimer: I live in Philadelphia. Also, fuck Dallas.
You disable shading for such rendering.
Think of it this way:

Pain: My head hurts. This sucks.

Suffering: My head hurts. It's not going away. Maybe this means something is wrong with me. Maybe it means I have some kind of disease or disorder. What if there's something wrong with my brain, like a brain tumor or a blood clot? What if I suddenly die next week? etc. etc.
Even the people saying the stock market was an art assumed you already had the data. Quants didn't master data, they mastered latency.
At least you have some choice when you choose your insurance! (Unless they outsource it.)
I'd love to see some examples of this in action. I'm not the best at implementing these kinds of things without seeeing examples.
> I look forward to a day when network access becomes a permission a sandbox app asks for.

This is something that the sandbox model already supports, but is granted by default to apps under the default profile for App Store apps.
Mindfulness doesn't seem much different from being 'distracted'. Although it sounds completely opposite.
"What happend to using native platform controls?"

This appears to be X11-specific, and X11 essentially does not have native platform controls. Also if you're in X11 you've quite likely already given up any real hope of all your windows looking the same. You also seem to be casually assuming this would be cross-platform, but this would be the equivalent of implementing something in raw Win32 API calls. There's zero cross-platform concerns here, on the grounds it'll never be cross-platform. In fact, given that it's pretty likely the move to Wayland would be completed by the Linux community before this project could reach a point where it would be something you might consider using seriously for a non-trivial project, it's debatable whether it's even good for one platform.
The first generic drug approved gets 6 months of exclusivity where no other generic drug can be approved by the FDA.

As such, the first generic is typically ~10-20% lower than the branded drug. Once the 6 months expire, other generic manufacturers pile in (assuming it's a big enough market) and the price drops 80-90%.
Of course the injuries suffered by the tesla workers are tragic and I'd much prefer if tesla would work at a safer, saner pace so as not to endanger their people. But I'm still glad that someone is out there trying to put a dent in climate change, and get our space trajectory back on track.
Mindfulness is not a well-defined term and can be used to mean different things depending on the speaker or author.

Typically, I imagine, it is mostly used in a meditation context, often from Buddhism or derived practices.

In that context it would be a translation of "sati", which can also be translated as "recall". Practically this means the ability to remember. It is implied in the idea that true "sati" is in some sense continuous, and therein lies much of its benefit.

It is rarely talked about without reference to "concentration", which is a necessary and related, but distinct (certainly in Buddhist philosophy) idea.

These terms can be confusing if considered in a Western culture - they generally mean something different to what you might guess.
> But "head of a billion dollar VC firm" is not really a position that allows for much work-life balance.

Maybe playing devil's advocate a little, but why not? I admittedly don't know what a "head of a billion dollar VC firm" does all day, but what critical business actually won't get done because he takes 2 hours to go to his kid's little league game?
Vienna Offers Affordable and Luxurious Housing
But if it is in the emulator, wouldn't all games suffer this issue?
Restricting the voters like that could easily sway the voting pool in such a way that it no longer represents the views of all Americans proportionally, which is the whole point of the voting system
I think what you described is more a situation of suppressing emotion and using pragmatism to reduce further harm.

To me mindfulness is stopping at lunch or after work, removing all distractions and worries, and focusing on yourself. Asking "what am I actually feeling right now? And why am I feeling this way? " instead of just cranking up the proverbial headphones and marching on, oblivious to what is happening to you or how you actually are feeling. It's about emotional intelligence.
Master slave has been a term in computer science forever. I don't see what the problem is.
This is the same thing everywhere. When I was living in San Antonio, I'd always joke about folks who moved from Austin because they were always saying that "Austin was better X years ago." X being equal to +- 1 year from when they moved to Austin.
A Critique of the GNU Hurd Multi-Server Operating System [pdf] (2007)
> This is partly true, but it ignores the overriding factor: Incorporating in Delaware allows companies to operate under its laws and courts, which are the most pro-management in the nation.

This is inaccurate. Being familiar with both, I wouldn’t say Delaware is more pro management than New York. Which makes me wonder what else in the article is outright fabrication.

(The idea of “pro-management” corporate law is itself a bit misleading. Delaware law governs the internal operations of the corporation and the relationship to shareholders. Shareholders are the ones who decide what rules will apply because they choose where to incorporate.)
C also has raw pointers, manual memory management and a bunch of other unsafe practices that Go doesn't. In comparison to C, Go is practically a scripting language.
In 2007, Hurd developers Neal Walfield and Marcus Brinkmann gave a critique of the Hurd architecture, known as "The Critique", and a proposal for how a future system may be designed, known as "The Position Paper", and began working on the Viengoos microkernel for HURD. As of 2009, development on Viengoos is paused due to Walfield lacking time to work on it.

https://en.wikipedia.org/wiki/GNU_Hurd
All nice and dandy, but please, for the sake of everything, can this site just stop auto advancing on steps?!

I click the last one and advance a step before I can comprehend what this command did or read any context.
Breaks flow completely... And I'm just able to be fine advancing manually once I feel I'm done with the current step.

Other nits:

* show the ;; in the step code snippets, at least at the beginning - else you may be confused fast if you hack around in the "terminal"

* add a 'run this snippet now' button to the code snippets, a small green triangle or whatever those IDEs are using nowadays, allows to copy of examples either modifying before execution or - like me - paste them in a "real" OCAML REPL I have on my desktop.

don't get me wrong, the site and idea is nice, those things just irritate me, almost irrationally, from an UX POV.
Cybershoes let me run around in Doom VFR from the comfort of a wheelie chair
This paper is not about the core of Halide, it's about extending it with automatic differentiation, and about a range of applications that makes possible.

But TVM indeed includes more components than just its language and compiler—in particular, the authors built a library of standard deep learning ops (TOPI) and bridges to other deep learning frameworks (TF, ONNX, etc.). These were the big changes it brought at the start, but could also be built as libraries on top of Halide.

All the remaining points are true for both systems, and have been true for Halide longer than TVM has existed:

- All of the autoschedulers are still highly imperfect, but the Halide autoscheduler does a reasonable job optimizing a different and wider range of operations than AutoTVM, which focuses on tensor contraction-type operations and small local fusions of those with surrounding elementwise computations. Neither is magic, and both are major areas of future work for their respective systems.
- Halide has GPU backends for every target mentioned, as well as Metal, D3D12, CUDA. (And a huge pile of CPU/SIMD and DSP targets.)
- Halide has many full-time developers across Google, Facebook, Adobe, Intel, Qualcomm, and elsewhere, and hundreds of production users who don't just use it under the hood of an ML framework, but actually write code directly in the language.

(And the qualities of the IRs are clearly a subjective opinion.)
> Only chrome needs access to my chrome data directory.

This is changing in macOS Mojave so that databases for things such as email and contacts are inaccessible except through the proper APIs, which present a prompt asking for access.
>What he describes isn't gambling though...

That's like saying that having a very complex system for playing blackjack to have an advantage over the house isn't gambling.

My definition of gambling is "any event in which money is bet on the outcome of an event in which the user does not have 100% perfect knowledge". If you're an insider trader, you're not gambling. If you're Joe-average day trader, you're a gambler.

Being a good gambler is a skill that can be developed. If your game of choice is the stock market, then those things he's talking about are part of how he pushes the odds in his favor.
FullContact (https://fullcontact.com) | Denver, Boulder | Full-Time | On-site

FullContact’s mission is to help the world stay fully connected, master its contacts, and be awesome with people. (& yes - all roles include FULL medical and $7,500 Paid PAID Vacation: https://www.fullcontact.com/blog/paid-paid-vacation/)

We are currently hiring:

* Senior Software Engineer - Data Platform

* Senior Solutions Software Engineer - Solution Engineering

More details about the open positions: https://www.fullcontact.com/about/careers/
That is the way the rest of the world works, and it does so fairly efficiently and successfully, so yes.

That's how stock ratings work, to my understanding. There are problems, of course, but for the most part, it works out. If any one ratings company does a poor job, they lose public trust, and another one is always ready to compete. In the current setup, Apple is the ratings companies for their platform, and if you don't like the job they do, sucks to be you if you want or need to use Apple for some reason.
That sounds like a different problem. If people are so weak-minded that they can't be trusted to hear obviously ridiculous ideas, isn't that equivalent to asserting that democracy is doomed to failure? That the majority will only "do the right thing" if some "better" people "guide" their opinions "for their own good"?
If not for yourself, for your roommates and cat.
No, what alternative is there to browse files on an Android device?
It is about letting go of your thoughts, and thus "mindlessness" would be a better term ;)
Only controversial to people who enjoy bike shredding flame wars.
See, you misunderstand my point. When faced by an angry mob, you don't simply tell them they're wrong. That's not a smart tactic when people are emotional. Just stating facts won't cool anyone's passions or grievances.
Show HN: A First Look at Witnet’s Decentralized Oracle Prototype Sheikah
Please walk us through how "Tear them down and go taller" works in practical terms? Do you just throw those occupants out on the street? Families, the elderly etc?

If not where and how do you relocate them? Where does that money come from? How about the apartments that are privately owned? How does that work?
Taxing plastic would make it cost effective for manufacturers to switch to cardboard packaging.

I.e. how things were packaged before 1960.
What is Fantasy Football
Someone analyzed AVX512 performance on the elusive Lenovo laptop? Link!

Also, source on the power up stall? AVX(2) didn’t have that and I’m highly surprised AVX512 would. Agner at least claims the same reduced throughput during warmup, but I think he only has early silicon.
I would really hope very few Mac users in their right mind would install "Adware Doctor".
I've changed dozens of settings in about:config without issue ever since 2004 when about:config started being documented at MozillaZine:

http://kb.mozillazine.org/About:config_entries
I think of Mindfulness as setting a 'watchdog process' on your own brain: you think about how you're thinking, actively, so that you can control thoughts that might be unwanted at the time, like anger or fear. It takes you from a passenger, reacting to your brain's processing, to being an active driver of your thoughts. That's how I think of it, at least.
I find it is an amazing service that suggest worthwhile readings, at least a few of the best articles I read in the last month came from pocket
Security strength of RSA is much lower than the key size.

2048-bit RSA gives you only ~112 bits of security.
In the framework proposed in the article, if an insurer's clients don't stay out of trouble, the insurer has to pay fines on their behalf. If they can't pay their insurance premiums, they become indentured servants until they can.

The indentured servants aren't free and probably aren't profitable. These are people who can't make enough money on the open market to pay their premiums, so it seems unlikely that the workhouse will be able to generate more profit per worker than that. Given that insurance companies will lose money for everyone that converts from paying premiums into a workhouse laborer, they'll be highly motivated to get them back into the real world with a job, modulo the risk of them getting into trouble and causing another fine. So I don't see the incentive you mention to get them to break the contract.
I have Kodi on my Android set top box, but as far as I can tell, when I insert a USB drive into the set top box, Kodi cannot see that drive, some other program has to mount the drive to the android file system and this is what the explorer program does.
(HINT: HUMOR)

Well, you're clearly not woke then.

https://www.facebook.com/bbccomedy/videos/you-woke-tbtn/1015...

(HINT: HUMOR)
I agree. I also try to keep it simple to avoid too much maintenance hassle. Sadly about:config is too imperative, so you need to explicitly undo changes. I wish it was like regular dotfiles.

In any case this is in my user.js:

user_pref("datareporting.policy.dataSubmissionEnabled", false);

user_pref("privacy.trackingprotection.enabled", true);

user_pref("media.autoplay.enabled", false);

Along with ublocko and httpseverywhere, that covers a lot without breaking mostly anything.

A quite famous user.js hardening project is https://github.com/pyllyukko/user.js. But I've found that keeping such a complex configuration functional requires a lot of constant effort.
Supermodel author here. Ian has been doing some amazing work reverse engineering the Model 3 graphics hardware. It's quite an interesting and unconventional architecture, developed by a Lockheed Martin spinoff (Real3D) and pre-dating the more-or-less standardized approach popularized by 3Dfx/Nvidia/ATI a few years later. It was incompatible with OpenGL AFAIK.

For those curious about the architecture and the various discoveries Ian and others have made, I invite you to peruse the Supermodel development forum: http://www.supermodel3.com/Forum/viewforum.php?f=7

One of the more exciting things Ian has figured out is how the Model 3 handles transparency: http://www.supermodel3.com/Forum/viewtopic.php?f=7&t=1523
Isro displays space suit, crew model for 2022 mission
An insurance is a "right to commit crime" as much as an insurance is a "right to crash your car into someone else's". If you have a car and an insurance, you can just try for yourself. The insurance would pay for your liabilities in that case, but they would likely not be happy to do so, and will efficiently communicate their unhappiness to you.

Your next round of insurance will cost significantly more after that, and if they decide that it wasn't an accident but a deliberate act, it might as well cost s much as a new car.
> Well, they managed to murder someone - I'm not sure the fact that it was or wasn't closely observed makes such a difference.

Maybe you can argue that the first time that this happens. Well, it happened twice already.

> “Like a coffee shop, or a bar, a private car can become a half-open, half-private social space. It’s a very sexy application scenario.”

You're right. The vision and marketing are also to blame.
Interesting. I have never tried Inferno. Are you running it bare metal? What do you use it for?
Yeah, the Openmoko situation and OsmocomBB really highlights the nuances of the situation.

I wish the FSF RYF requirements explicitly allowed a later release of a flash tool. (It seems like this only improves the user's freedom - suddenly you can treat your device as programmable, but only if you want to.)

But I don't think people will be nearly as upset if the Librem 5's RYF certification becomes void later.

I think the impact will still be large if it has RYF certification on launch.
Please don't break the HN guidelines by becoming uncivil.

https://news.ycombinator.com/newsguidelines.html
I'm still upset about the permanent-until-vzeroupper "transition" penalty on nonVEX instructions on skylake after any VEX instruction.
There is nothing stopping an app from pretending to be Chrome or Firefox and decrypting the history file for themselves.
Hospital funding is a mess in the US. The US government flat out gives money to for profit hospitals because of how messed up the system is. EX: https://www.hrsa.gov/rural-health/index.html

Non profit's still need to play the game to stay in business because their costs are no lower.
>This is inaccurate

How so? I'm curious, as I don't know much about corporate law.
Record every ride.
5) The appstore alternatives, from Google Play to Microsoft to Amazon and even Valve are unlikely to be any better.

Just because the garden has a wall doesn't mean that anybody's tending the roses.
https://news.ycombinator.com/item?id=17933915
I'd love a list of all tricks of this kind. I don't give a damn about visual acrobatics. Battery life and cpu usage on the other hand..