skysight-inc/HackerNews huggingface dataset:
What? No it doesn't?

The very first time, you need to very clearly UNMUTE yourself manually by pressing a button, even after you join a voice channel.

After that first time, joining a voice channel will enable your mic, and by default it also makes a clear sound. There is a feature that reconnects you if you were connected to a voice channel before you left (though it seems to be limited to 5m now).

But again, unless you 1. connect to a voice channel and 2. press the unmute button that first time, there is no listening happening...

You can verify all this on Chrome, since there, they have to specifically ask for your permission before accessing your microphone, so you know exactly when they do it. Open Discord on Chrome and play around, join a voice channel, unmute, and only then it will ask for access.
The main issue in Tesla's case is that "assist" can't prevent an accident if the driver isn't alert for 7 seconds. Tesla's software is level 2; you were aiming at 3+. As Tesla heads for 3+, sure, they're going to have to solve the problem you (literally) ran into.
> The researchers found, for instance, that disabling one particular group of transistors prevented the chip from running the boot-up sequence of “Donkey Kong”—the Nintendo game that introduced Mario the plumber to the world—while preserving its ability to run other games. But it would be a mistake, Dr Jonas points out, to conclude that those transistors were thus uniquely responsible for “Donkey Kong”. The truth is more subtle. They are instead part of a circuit which implements a much more basic computing function that is crucial for loading one piece of software, but not some others.

This is blindingly obvious in hindsight, but not something I had ever considered before. Really cool article.
Even though the majority voted against him

I thought the majority DGAF, and those that did were - as always - within a handful of percent of 50-50?
Would you be willing to pay for it? If so, how much monthly?

I'm afraid a search engine so much specialized won't be able to live off ads.
Ask HN: Smallest C Code for Generating Prime Number?
m;main(k){for(;m%k?:(m+=k=1);++k<m?:printf("%d|",k=m));}

Can it be further shortened?
I'd say 7^(1/3) is illuminating in the sense that

1. Someone understanding this is more likely to understand the concept of inverse functions.

2. Someone understanding this is more likely to understand how to solve x^(3/5) = 7. And then more likely to understand how to solve x^(sqrt(2)) = 7.

In a college algebra level type course the ultimate goal is not knowing how to solve x^3 = 27. The ultimate goal is to understand more complicated ideas. The reasoning displayed is a huge red flag. In college algebra a student presenting the solution given will very likely fail the course. That student needs help.
> Mortgage tax deductions are only on a primary home, so they don't apply to owners of rental units.

Mortgage interest on a rental unit is deductible against the rental income on that unit for obvious reasons: it's a business expense for the rental business and hence taken out of gross revenue for that business to figure out the (taxable) profits.

Specifically, for US individual federal taxes in 2016, see Form 1040, Schedule E, line 12. This is the form you use if you haven't actually formally incorporated your rental activity as a business.

Note that you can also deduct your spending on repairs to the rental property, insurance on it, property taxes (line 16 on that form), and so forth, for the exact same reasons: income taxes on business-like activity are levied on net income, not gross income.

The only people who can't take a mortgage interest deduction are people who have a second home that they are _not_ renting out.
Reviewing this project might be a fun assignment for an undergrad economics class.
"I have a trillion-dollar business: I take dollar bills from one person and give them directly to another and repeat that a trillion times a year."
Just to expand on this, David Robinson quantified this a while back: http://varianceexplained.org/r/bayesian-ab-testing/

He ran some simulated A/B tests using my Bayesian A/B testing technique (which is now powering VWO). He showed that while peeking does ensure that loss < specified threshold, if you don't peek the loss will be even lower.

So although peeking is still valid, that validity does come at a cost.
The Great Lint Migration
This is very similar to the 'array-type', which I've written about before (And could talk about if you're interested). Functions (and arrays) degrade into a pointer to themselves when used in most situations (for functions, I can't think of a real case where it doesn't degrade, besides declarations). But the 'func' in this case is the type of a 'function' ('value function' as you're referring). Interestingly, declaring something of type 'func' is the same as forward declaring a function of that type:

typedef int func(void);

/* These two lines are equivalent */
func foo;
int foo(void);

Obviously though, the above is of limited usefulness. It is kinda handy to ensure functions are compatible with a certain typedef, but if it isn't you'll generally see warnings or errors in other locations anyway.

The advantage of my technique here is that it doesn't 'hide' the pointer inside of the typedef, which I consider poor form. Consider these two:

typedef int type1;
typedef int type2(void);
typedef int (*type3)(void);

type1 *var1;
type2 *var2;
type3 var3;
type3 *var4;

All of the above are actually pointers, but from the declaration alone you can't tell that `type3 var3` actually declares a pointer. In fact, `type3 var3` and `type2 * var2` declare the exact same thing (minus the name), but `type2 * var2` makes it clear that `var2` is a pointer and not a value type. I find this to be a fairly nice aide in reading, and if you keep this consistent for all types then you don't ever have to worry about a pointer being hidden, or the usage not matching the declaration (IE. You declare it as `type3 var3` but then do something like `* var3`, which looks incorrect unless you know `type3` is actually a pointer).

Moreover, lots of people that are newer to C (and even those that aren't but just aren't clear or didn't fully check what `type3` is) will attempt to use `type3 * var`, a double-pointer to a function, when what they really want is `type3 var`, a pointer to a function. There's no confusion over what it is if you don't hide the pointer in the first place, and there's really no great reason to hide it besides not knowing you can avoid hiding it in the first place. Even when you're not new to C, keeping track of things when people do `typedef struct foo * bar` and then `bar * foo2` can get to be a headache really fast.

Edit: Fixed formatting
Search in verbatim mode. It probably can be made into a search shortcut.
What's up with companies creating a product that looks identical to a zillion other products, and then never saying on their landing page what makes their version different?

This is even more confusing when it comes to a product that relies heavily on network effects for its success. There are already a lot of alternative social networking sites. What makes this one worth checking out compared to any other?
>Airlines lost those regulations under Reagan"

It was actually Jimmy Carter that signed the Airline Deregulation Act, this was in 1978. 3 years before Reagan took office. The transition was complete by the end of the Reagan's first year in office in 1981.

I'm not trying to nit pick but for some reason Reagan always gets credit for this.
> I don't believe they counted cars without the sensors, either before or after. Your statement about "at most a small fraction" has no evidence.

Thanks for explaining. The NHTSA report says:

> ODI analyzed mileage and airbag deployment data supplied by Tesla for all MY
2014 through 2016 Model S and 2016 Model X vehicles equipped with the Autopilot Technology
Package, either installed in the vehicle when sold or through an OTA update, to calculate crash rates by
miles travelled prior to[21] and after Autopilot installation.

> [21]: Approximately one-third of the subject vehicles accumulated mileage prior to Autopilot installation.

So yes, cars which never had Autopilot installed were not counted, but they obviously did count cars from calendar year 2013 which later had Autopilot installed or else they wouldn't have said "MY 2014".

I don't think it's safe to say that the bulk of the miles driven "before Autosteer" happened between March and October 2015 on cars which had AEB systems available.

> Finally, who said the reduction in crashes is Autosteer alone? Not me. It appears to be a combination of AEB and autosteer. That's what "some of the AEB benefit is in the earlier figure" means.

It's implied by Elon Musk's tweet and all the press articles I've seen that Autopilot/Autosteer is responsible for the 40% reduction in crashes, as I mentioned in an edit to my previous comment.
> How is this different from PIX for Windows

That "died" with the DirectX SDK (which last recieved an update June 2010) when the DirectX SDK release cycle was merged into the general windows one AFAIK. It's had several lingering bugs - to wit, OOM issues, D3D11 support breaking on Windows 7?, and issues with managed code (64-bit specific perhaps? It's been awhile...)

Visual Studio gained support for graphics debugging as a "replacement", in what appears to have at least been a complete rewrite of the UI at bare minimum - with some new features and some missing ones, at least for awhile there.

Aside from "DXSDK PIX" and "VS PIX", there's also been "360 PIX" and "XB1 PIX" (referring to the consoles) - all effectively different pieces of software with their own quirks, bugs, feature sets, user interfaces, limitations... there's probably some common DLLs in the mix, but they're so varied in even 'core' functionality like capture behavior - that it wouldn't surprise me if there was minimal code shared between them.

This latest standalone version looks visually similar to "XB1 PIX", but that could handle D3D11 and this apparently can't? Should I call this "12 PIX"?
Just putting libraries that were never designed to scale up behind RPC usually won't help you scale. These libraries tend to work with mutable, stateful objects and don't have any groundwork in place for partitioning.

That doesn't mean you can't scale up from a monolith (even one without clean interfaces) - every startup growth story is a testament otherwise - but it's never as as easy as strapping an RPC layer over your library.
A student solving the equation in the way the OP stated will likely fail the course. They are showing they don't understand the concepts. The student needs help.

They are unlikely to understand inverse functions when that topic is taught. They are unlikely to understand how to solve x^(2/5) = 7. Or x^(sqrt(2)) = 7. Probably they don't understand exponents.

The solution given is a huge red flag.
Actually even that isn't the best question.

The best question is what's the expected reward from choosing A.

Consider the scenario of 10% chance B > A, 90% chance they are equal. To me that sounds like a winning bet.

In contrast, 70% chance B is a lot better than A, 30% chance B is a lot worse than A sounds like a scary bet. I'll wait and gather more info.

Proper decision theory is based on a loss function which incorporates the magnitude of gains/losses rather than just their existence.

https://en.wikipedia.org/wiki/Loss_function
It could even be true, for his customers. For all you know, he sells inflatable sex dolls, and it's important to focus users to get that sale. The tactics that work for sites selling more mainstream products are probably different.
Marketing teams are usually data driven rather than user experience driven.

How does one counter the argument that "anecdotal evidence suggests people who sign up with us are 2x more likely to convert, so let's force more sign ups to increase revenue".
Uhhhh.

Sure, use Signal, and Tor, and others -- if you want your communication to be preferentially screened by every single three-letter agency.

BTW this is not to disparage any four-letter agencies, eg. GCHQ. They do awesome work, which I do appreciate very much.
This is not a 8-bit computer built for 8-bit retro experience. It's a workstation to develop, trace, and debug Z80 programs on hardware level, down to step by step execution.

The latter is incredibly cool.
SO where is the tribunal that pay for atrocities committed by Maori's? Do Maori's not do what's right?

>I think you'll find that the Japanese payed reparation after WW2.

I think you'll find Japan doesn't even recognize many atrocities it committed in WW2.
Generally that survey result get discarded; one big trick used by many apps is to have surveys that distract you away from leaving negative results in the appstore or other places where the survey result actually counts.
The main reason for the mortgage interest deduction is that for corporations various expenses (like interest on debt) are in fact deductible from income for tax purposes, because we tax profits, not revenue.

So if there were no mortgage interest deduction for individuals that would simply be incentive for people to form a corporation they are sole shareholders for, for the specific purpose of buying the home. This would be especially true for people who are contracting or otherwise self-employed anyway and hence can have totally legitimate income for this corporation...

Now having the mortgage interest deduction but no imputed rent income due to the owner-occupancy, that part is arguably weird.
From what I remember, the assignment was to write a function that implemented quick sort (or something else moderately complex) and getting it to run and satisfy the proof checker was exhausting.

Edit: Found a forum post I made during it asking for help. Oh, the frustrating memories... https://dafny.codeplex.com/discussions/546995
Tesla’s Self-Driving System Cleared in Deadly Crash
What the World Would Look Like If All the Ice Melted
How a dessert cafe in Thailand hit IPO success
What about AGPL?
I've been an Uber driver for 2-years in a metro-area of about 1-million people. The first year was rough, as Uber aggressively lowered rates and royally screwed me over income-wise. But now, I'm making more than ever thanks to the service scaling.

The author of this blog post admits that he hasn't run any numbers, and his conclusions make that obvious. I've run the numbers, and I make part of my living as an Uber driver (it's not busy enough in my city to do this full-time). Uber doesn't worry about my expenses because it's not their job to worry about my expenses. Their job is to run their servers and make an app that customers want to use, and they've been doing a great job at that IMO. My job is to worry about my expenses, and yes, I've accounted for fuel, maintenance, and depreciation of my vehicle, and I am making enough profit to make it worth doing.

As for self-driving cars, Travis has publicly stated that Uber does not intend to own and maintain them, they are going to look to their former drivers to do that. I doubt Uber is planning on having a monopoly for self-driving cars, they just want to be in on a part of the action, but their main focus will probably always be the software of their core app.

Uber has created more jobs faster than any company in history, and this is something our economy sorely needs. They literally let everyone who passes a background check on their platform. That means no discrimination can even take place at the company level, which I think is something very very cool, especially since I have a serious health condition that has riddled my resume with holes. (Discrimination can still take place from riders however, as the ratings are what determine whether a driver stays as a driver or not.) Also, since I am my own boss, I can rest when I need to, which is essential for coping with my condition.
yeah so they have to wait until then which is god knows how long.
GstarCAD 2017 Serial Key and Crack Patch [Free] Download
Uber built its network city by city and a competitor could do likewise.

A smart competitor would cherry-pick the most profitable markets and ignore the rest.
I respectfully disagree. Amazon MASSIVELY subsidized their service. It was commonly stated, and I believe true, that shareholders were paying for that critical 2-day free shipping.
That's a classic problem for understanding these things: If you don't know how the money flows, you have no idea how to second-guess what's best.
I'm curious what you use in place of semiconductors? Vacuum tubes?
This is pretty good to hear honestly. Competition is always good for the consumer. This rivalry between Discord and Slack will only make things better for everyone.
I run into them seemingly all the time. My background is supply chain management, and I could fill books with just the problems I've worked on for Amazon alone.

As an example, a particularly prestigious problem to work on there was optimization of order fulfillment across warehouses with different inventory to reduce costs for split shipments (order two things and get two boxes? That's a split shipment). It's a very difficult problem to solve, considering that there is optimization within an order but also across different orders from the same customer that are yet unfulfilled, and even across completely unrelated orders competing for the same inventory. And with hundreds of thousands of fulfillment options for even a two unit order, it can get extremely complex very quickly. That problem, by the way, is one that was worked on by a founder of instacart when he was still at Amazon.

If you're really interested in IP/LP/MILP/CP with business applications, start picking up literature within the Operations Research discipline. There are plenty of great books to go around. I'd recommend Model Building in Mathematical Programming...its mostly an intro to LP techniques, but the it was the book that made things click for me in terms of identifying and translating real world problems into mathematical models.
>culturally unable to field a competitive on-demand driving service

Or, they could easily decide that that's not their business model. Being a car manufacturer is different from being a fleet operator is different from being a finance company is different from (for that matter) being a car sales and service organization.

A company may decide to do one or more of those connected things and they frequently do in ways that are more direct or less direct. Culture's part of it. But it's also about focusing on capital requirements, core competency, etc.
That's exactly what personalized search results are, but it changes rankings passively and automatically for you.
Uber seems to do a much better job of serving non-wealthy & minority neighborhoods

When was the last time you took an Uber from O'Hare to the most dangerous areas of the South Side after dark?

Cab drivers are obligated by the terms of their licensing to take you, once you've hailed them. An Uber driver can just ignore you.
Bankruptcy/Reorganization.
Hah! That's a good one.

BTW, for context, I think that conversation took place in Singapore. "Challenger" is the name of a chain of computer megastores here. "Simi" is local slang for "What's up."
Any modern computer is a workstation to do all that, because accurate Z80 emulation exists. What difference does using a real hardware Z80 make if you're avoiding the "retro experience"?
Hash maps wouldn't work for bindings because they don't guarantee order, whereas the order of the bindings is very important.
I think it makes sense for Discord to stick to it's gaming niche, rather than trying to do a bunch of things poorly.

The other market is a bit more saturated, with Microsoft and a few others piling on top too. Whereas the Gaming market was completely lacking. There were a few clients which focused much more on voice (mumble, vent, ts), but nothing quite like Discord. Free and one-button to make a new server.

The only other contender I can think of is Raidcall, but that was a joke... Now there's Curse but they came too late to the market and were DoA, except the people they forced to use it by paying thousands.
My reading of the "Developing Grumpy" section of the README [0] is that Grumpy is primarily a transpiler, and that's what `grumpc` is. It says right there it takes your Python, compiles it to Go, and then you run `go build` to build a Go executable.

The "runtime" comes in at this point. It sounds like `grumpc` compiles Python objects down to stubbed-out Go objects, which depend on the functionality implemented in grumpy for the implementation of those stubs. "The Go code generated by grumpc performs operations on data structures that represent Python objects in running Grumpy programs."

To me, this mostly sounds like a Python->Go transpiler with special hooks to more easily facilitate Pythonic access in Go. If anything, it seems to support my original point that transpilers are custom-built even more; from my high-level and probably wrong reading, it looks like instead of a full-scale Python-to-Go transpiler, Grumpy's developer realized it would just be easier to implement if he made the programs dependent on his "runtime", which he could freely do because he was running his own project on it and he can execute that project through `grumpy` just as easily as he could through anything else. Such options would probably not be available to someone who was tasked with writing a generic Python-to-Go transpiler that was expected to work anywhere that Go works.

I also could be misreading this, because again, I've never used it, and maybe by "runtime" the author really does just mean "library", and it all compiles down to a standard Go application. That'd be cool.

[0] https://github.com/google/grumpy/tree/aa58aa68717f6ac2ebf40f...
Per this reddit comment [1], the languages supporting some kind of compile-time constraint-checking/proving include Why3, Dafny, Fstar, Coq, Agda, and Idris.

Also, some languages have been extended to support it: LiquidHaskell, Frama-C, and Spark/Ada. I also recall some Java extension but can't find it atm.

[1] https://www.reddit.com/r/ProgrammingLanguages/comments/4ref8...
As someone who loves J (though I'm far from mastering it), I certainly wouldn't want to work with it either. J (and APL) really shines when you're playing with it in interactive mode, gradually building sentences and looking at the output at every step. In my case, I've been using it to experiment in algorithmic composition, and I find it forces me to think in interesting and potentially powerful ways.

But, as you say, browsing through a large codebase in J would be not be a fun experience. The only way to handle it for me would be to comment it heavily and keep each line as short as possible (which is indeed what maintainable J files tend to look like). So I reserve it for experimentation - and I'm finding it very adapted for the purpose.
I have a profile set up there, but so far it's been useless to me other than to stay in touch with one or two others from a prior job. I hate their "news feed". None of the content is ever relevant or useful. The design is poor.

They also make poor use of notifications. My "friend requests" always shows 1 new notification- but it's a fake notification trying to get you to send out invites. I find user-hostile actions like that very off-putting.

Considering deleting the account, but I'm curious if just "having a profile/presence" on the service is useful or desired by employers? Not sure if I'm "losing out" on anything by not having an account.

The one thing I do like is that others you've worked with can "endorse" you for certain skills, but in reality I'm not sure how useful that is, ultimately.
WTH. I didn't say "it's safe to say that the bulk of the miles driven "before Autosteer" happened between March and October 2015".

If you want to debate Elon Musk's tweets and not what I'm saying, respond to Elon. If you respond to me, please respond to what I'm saying. You've totally wasted my time, and all the readers of this thread.

(Edit: Oh, and thanks for not marking your edit an edit.)