skysight-inc/HackerNews huggingface dataset:
Originally, categories arose as (mathematical) descriptions of various universes of functions. For example, there is universe of functions that are given linear functions (i.e. matrices), which is contained in the universe of functions given by polynomial expressions, which is itself contained in the universe of functions given by rational expressions (i.e. fractions of polynomials). If you've studied calculus other example are also universes of analytic functions, of smooth functions, of differentiable functions, and of continuous functions.

Significantly these are not just single-variable functions, or even functions whose values are real numbers; all that is necessary to describe a category is for functions to have specified domains and codomains and that any two functions with matching source and target can be composed into a third function by feeding the target of one into the source of the other, subject to the condition that composition is associative (it doesn't matter in what order you pipe the functions together), and for any object there is an identity function with from the object to itself, meaning a function which does nothing when composed with another function.

It turned out that the above axiomatization of how functions behave (i.e. that they have sources and targets and can be composed in an associative fashion) is very flexible. For example, you can essentially implement the category of linear maps (between finite-dimensional spaces) as the category whose "functions" are matrices, with source and target given by the numbers of rows or columns, and whose composition is given by matrix multiplication. Note in particular that matrices are just tables of numbers, i.e. they are not actually functions, and that the sources and targets are not the spaces themselves, but just their dimensions.

The relationship with type theory comes about as follows. The fundamental object of type theory is the type judgement "if a term x is known to be type X, and a term t is known to be of type T, then a term p(x,t) is known to be of type P". But the term p(x,t) can be understood as a function transforming a pair of terms of types T and X to a term of type P. The type judgment is then the validation that the expression p(x,t) determines a legitimate function (in the context of the specific type theory). Hence in this way, each type theory can be understood as being a syntactic presentation of a specific category of functions.
Well some tribes have different time concepts tho

http://www.bbc.com/news/science-environment-13452711
You mean besides applying for an internal promotion, I guess. How much clearer could he be at a company where he thought poor treatment was a pervasive problem?
Are those services free in the US? In Canada forwarding costs quite a bit.
This line catches overlong forms:

*e = (*c < mins[len]) << 6;
"The algorithms were written in C# using visual studio, and i used GIMP to make the actual gifs."
https://imgur.com/user/FishyMcFishFace
Rewriting it as a HTML+JS application only made it worse.
VSCode for everything though I have been noticing bugs in the C# plugin and I am starting to consider trying Rider for that.
Responsive and sensitive to human sentiments AI seems to be the modern Frankenstein monster.

Right now it's about attention grabbing and using machine learning to connect content to consumers in the most addictive way in order to show advertisements on the side. How long will it take until the content itself is artificially generated on demand to fit the mental state of each and every recipient individually? What are the unintended consequences of the ever advancing technology of automatic manipulation?

I think the most frightening part of this excellent article was, "how do we know it has not already happened?"
A Visual Language for Bitcoin Transactions
Running the bulls: Tech talks without the pain
Sorry I was a bit unclear. If every district is decided by 50% but some are 75-25 one way and some are 25-75 the other way, the efficiency gap is 0. If all of them are 75-25 the same way, there will be a large efficiency gap.
IntelliJ is slow to start up (though I've no idea why that would matter for an IDE). And when indexing and building it can be very demanding on machine resources.

But I've never found it slow in any respect that matters for doing actual work. For everything that matters (opening files, project-wide search/replace, refactoring, typing latency, looking up docs, code navigation etc) it's easily competitive with lightweight editors.
I don't really understand your question, since you say you are 'learning computer science theory and calculus comes up' it would appear that you have the answer to "What is calculus used for in Computer Science?" already. In the interest of trying to be helpful, I'll provide some of my some of my thoughts after completing a Computer Science degree at a large research university in the US.

The vast majority of computer science THEORY involves discrete math, at least at the undergraduate level. There are numerous APPLICATIONS that use calculus and some of them have already been mentioned. Initially I thought it odd that we were required to complete multi-variable calculus for our degree, which seemed to have little to do with the 'discrete' math world and more with 'continuous' math topics. However as time went on I encountered topics in advanced courses where you were expected to be familiar calculus at that level. The notable exception to the lack of calculus in computer science 'theory' that I recall relates to Probability, as it is used in algorithm analysis. Hope I didn't misunderstand your question completely.
Very nice app and promising. However, I would the UI would look more "modern" (don't know if this is possible or not). Right now the button and the scrollbar is a bit outdated. The bonus point for me that this is written in Kotlin, not another Electron RAM killer app.
After reading the original article and Hickey's response, I'm significantly less sympathetic to Hickey.

Here's the question: would Rock Hickey be Rich Hickey without Clojure? Would Cogitech exist without Clojure?

I understand both sides. I know the frustration of living with someone's arbitrary decisions. I also know the frustration of getting nothing but attacks from something I have worked hard to give away.

But Hickey has a higher standard here. He's gotten a lot more from the community than he admits in his response. It reads like he wants sympathy for all he has missed ot given away because of his work on Clojure. That's not a good response.
But Windows 7 is still being supported (or so they say).
Type Directors Club
I wonder how disruptive a switch of dominant commercial banana type will be? Do farms have to cut down the old plants and start a new variety?
The Many Places Amazon's CEO Jeff Bezos Calls Home
> If somebody values cash more than other things I like to provide

What a b/s!

A good programmer wants to work with a good entrepreneur. And a good entrepreneur knows how to find money. That's the definition of a decent entrepreneur.

Your "working with good people", "good work-life balance" is b/s! You just don't appreciate the work engineer(s) do. That's it. You wanna pay them with snacks, not money. And it's a shame!
Nice try, Mr. Kim.
The Yankees Are No Longer the Evil Empire
Your Software May Be Lousy but at Least It Is AGILE
Rust is extremely community driven. The main team does work and had input. But they respond to community requests with an openness and a speed that is rare.
The spec was solid - superior LAS capability over F-22 and F-16 and F-14. How to get that spec realized, well...
And the install process has a non-negligible chance of bricking your car until you get it towed back to the dealer.
Words in Flight
Not necessarily, no. It’s just that a big company won’t take the publicity hit that would come from reneging on the pinky promise that they’d refund the deposit. Even where it is contractually provided for, the contract could be forceably renegotiated in bankruptcy.
The Kings Ransom
There are more reasons to exercise than just weight loss and there's more to being healthy than just maintaining a specific weight.
What We Get Wrong About Lyme Disease
I have never pulled nor considered a (professional) all-nighter.

No project I've worked on has been that important, though I can think of some situations that would be.

I have left the office after 8pm (11-12 hour day) a handful of times, mostly when I broke things late in the day, or when we were migrating something large during off-peak hours.

I don't consider working late a valuable tool to have in my toolbox. I'd rather deliver ahead-of-schedule, estimate more appropriately, and turn down work that is overly high-pressure.

FWIW I'm an employed developer and my employer would never ask me or anyone else to do this, in my estimation.
They would, but banana plants aren't all that long lived to begin with, a couple sources say ~5 years.
And acknowledge when you are getting things from the community that you couldn't get otherwise.
In my experience much of that is corporations which are always slow to switch. Almost all the people who buy windows machines I know have gotten windows 10
Ayopoligami App  encourages 100% Polygamy -United Nation reject  this
Is it not obvious that a search algorithm for maximizing a revenue function, devoid of ethics, eventually becomes a search algorithm for identifying and exploiting human weaknesses?

AI/machine learning is just a way to optimize this function further.
Worth mentioning, these support groups. Because not all men are rapists and neither are all pedophiles.

Virtuous Pedophiles (for those who never raped) virped.org

Community support for offenders after prison (Australia):
http://www.smh.com.au/national/pedophile-support-programs-ch...
I think the fact that consumers don't feel like they have an alternative is a problem. Also, remember many people use their computers for purposes that require no security measures be taken. Who cares if someone hacks a computer that is only used for excel and casual web-browsing?
No, because they don't report monthly numbers.

Other manufacturers do, you can see them here: https://insideevs.com/monthly-plug-in-sales-scorecard/

The numbers for Tesla on that page are monthly estimates which are trued-up every quarter.
When I do it, it's not fun. I'm in my 30s and I'm actually a night-owl, but if I have to get up--nope!

I actually just can't stay awake if I'm overly tired. I will fall asleep anywhere, including driving. I don't commute but I try to avoid it anyway, since I'll (involuntarily) sleep during work-hours to make up for what I lost.
This is a story from my own hometown ("Humpty Doo" IS in fact a real place down the road from where I live). We had some wild bananas growing in our back yard, and I remember the day that the 'Banana Inspector' turned up at my door step and announced that they would be destroying every single one of the banana trees in the neighbourhood. (To prevent the spread of Banana Freckle disease).

Not much I could do in the face of bureaucracy, official forms and red ID badges, so I let them go ahead. I'll never forget when they finished, he poked his head in the door again to say "We've destroyed the plants and salted the earth to prevent them coming back". The only other time I had seen the phrase 'salted the earth' was when I read stories of Genghis Khan wiping out entire villages and salting the earth for miles around so that any survivors couldn't plant crops to survive!

Probably a bit much to compare a Banana Freckle Inspector to someone who reputedly conquered the world in ancient times, but I bet the power went to his head more than once. :)

A year later, I got a call from a much nicer chap who offered government assistance to plant some new (non infected) banana trees in my yard, but that also required a slew of government forms and waiting period, so I never went ahead.
it's not about the use-case of the victim, it's about the system resources it adds to the pool for the attacker to use as they wish.

Now add "offline" to your list and i'd agree. Every online node is a potential threat not to just the direct victim but to potentially anyone else on the net.
He is correct. It is undefined behavior—memcpy should be used.

C++11 § 5.2.10, paragraph 7 says:

An object pointer can be explicitly converted to an object pointer of a different type. When a prvalue v of type “pointer to T1” is converted to the type “pointer to cv T2”, the result is static_cast<cv T2>(static_cast<cv void>(v)) if both T1 and T2 are standard-layout types (3.9) and the alignment requirements of T2 are no stricter than those of T1, or if either type is void. Converting a prvalue of type “pointer to T1” to the type “pointer to T2” (where T1 and T2 are object types and where the alignment requirements of T2 are no stricter than those of T1) and back to its original type yields the original pointer value. The result of any other such pointer conversion is unspecified
Borg 1.1
Pretty cool, a recent development, only in Haswell and later architectures (2013 and later.)

https://en.m.wikipedia.org/wiki/Bit_Manipulation_Instruction...
Mad props to them. That's impressive and very community-minded.
I've wrestled with this same question, and I'm not quite sure where I stand. Maybe HN is like nicotine gum, still the same chemicals and neural pathways being activated, but a better substitute for a user who can't just quit cold turkey and replace the addiction with a more productive habit.

On the other hand, if I want to be more charitable to HN (or possibly to rationalize my own addiction), I see Hacker News as a kind of social circle , like an English cofeehouse in the 18th century where thoughtful people congregate to discuss what they see as the important issues of the time.

I've completely gotten rid of facebook with the help of News Feed Eradicator, I don't have an Instagram (though I rarely will get caught up recursively stalking people which leads to feelings of envy / contempt / anomie), and I find most of reddit to be utterly banal pop culture TV-for-the-internet.

So, maybe hacker news is an addiction, but the social aspects of being able to connect with all of these brilliant people, that I otherwise wouldn't, and hear their thoughts and experiences is something I find extremely valuable, addiction or not.
> The article states a Bloom filter is "guaranteed to report correctly if it contains the item", however a Bloom filter cannot do this.

I think what's going on here is that you're reading "if" as meaning "whether". In fairness, this is common English usage: "I'll tell you tomorrow if I'm going" usually means "I'll tell you tomorrow whether I'm going".

That's not what the OP means. The correct reading is perhaps clarified with a comma:

> A Bloom filter is guaranteed to report correctly, if it contains the item.

or perhaps better

> If it contains the item, a Bloom filter is guaranteed to report correctly.
"Viewcrime".
Swing will always look like that. Java FX is the new stuff.
This is like some sort of awful Black Mirror episode. What if we could generate infinite "new" content without harming another human to do so?
This story seems to get republished every six months or so, and without fail it always hews closely to the storyline "only genetic engineering can save the banana!"

Here are a couple from all the way back in 2011, for example: https://www.newyorker.com/magazine/2011/01/10/we-have-no-ban... http://www.the-scientist.com/?articles.view/articleNo/30953/...

James Dale's publicist is certainly earning their pay...
Show HN: Judgin – Ask questions to potential hires' connections
I don't know if it has changed recently, but for many years the core team for Ruby were all Japanese, and most of their conversations were in Japanese, and so almost nobody in the wider Ruby / Rails community had any visibility or influence on the language's development.
What, like a fake family /friendship so you can undercut salary? I don't do work for hugs, bro. That doesn't put food on the table or pay bills.
I think you’re actually required to mention this according to the amazon affiliate tos
If "good work/life balance" means working 40 hour weeks instead of 80 hour weeks, then it's far more valuable than a beer fridge and a yearly snow trip.
For what it's worth, I can vouch for this situation happening to me. On a few occasions. In different organizations.

Other than the vague "Are years four through six here going to make me more valuable than years one through three somewhere else?", I would have been fine sticking around with a promotion, new technical opportunities, more strategic leeway, or even a big enough raise.
Not just unethical. Illegal in many regions. I will not hesitate to charge back a software purchase if the software cannot be returned but does not work.

It's fuzzy because of the definition of working, but I get to decide that.
You set up a company who owns the property's you can then claim expenses back against tax - you then pay your self a dividend.

As opposed to you owning the houses directly
you're wearing a hunter gatherer genome, whats your point?
Ha! I take it back: some of them aren't about "only genetic engineering can save the banana", here's one that's about "only genetic engineering can improve the banana" -- which happens to use the exact same photo presumably supplied by the exact same hard-working publicist: http://newatlas.com/golden-banana/50389/
It's disturbing that people are engaging you in discussion without mentioning that Galt's Gulch would be impossible without a free energy device and invisibility cloak. Pure science fiction.

Let's totally discuss that in depth for a while, then get back to your TV/talk-radio politics, and then finally we can talk about graphic design if there's time.
Just to clarify - the police department didn't create the site from scratch. They busted the original owner of it, then took over the site 'as is' and ran it for a while longer to gather evidence of other users, then shut the whole thing down.

No different from cops everywhere knowing where a drug shipment is landing, then setting up a sting operation around that to see who comes along to collect, and then pouncing. (Rather than intercepting the drugs mid shipment or before it leaves).
Look at the lifespan of a corporate pc. 3-5 years before warranty, risk management end and they’re replaced. Often the OS is not upgraded in between. Plus Corp software that depends on everything down to how obscure system dll versions. So we are looking at 2020 before most are migrated probably
Thanks for your part in getting this story published!

If you have not seen it, the BBC series "The Century of the Self" details the pre-history of these tendencies in the creation of the public relations industry by Freud's nephew Edward Bernays [0]. It is truly fascinating and horrific -- all 4 or 5 hours of it!

Social media/big data has also made the consumer a (not fully willing or conscious) _producer_ of mass addiction, through the exploitation of their social graph data. There is a fictive "work contract": give me your data and we'll give you your buzz. This relationship is based on unwaged work. What if this work, the value of it to BigTech, were recognized? It leaves open the possibility of mass refusal. And in some sense how people use social media now is already composed of many types of refusal, some more and some less effective. To state one obvious way -- Facebook is used around the world as a tool for political organizing. The fact that this makes it an even more valuable commodity for repressive governments, starting with the US government, does not stop us from using it and finding it effective, does not stop us from getting together "in real life".

More needs to be said about the social basis of addiction. It's not only ad scientists pushing well-studied biological buttons. It's the trauma of living a society that locks up an insane number of people, puts its children on psychotropic drugs, poisons them with toxic environments and toxic fast food, separates poor children from their mothers, criminalizes their survival, abandons entire communities after natural disasters, bulldozes neighborhoods to make way for hi-rise condos no one can afford, etc. Or the even bigger trauma of living in a world that has the guns & money of this toxic society pointed at them, literally or potentially, every day, forcing migrations and threatening survival of entire populations.

All of these things come into play when we look at why virtual realities are more attractive than real ones, and lead us to have some sympathy for those who use them for networking with others and temporary escape.

If you have not seen it, I recommend reading some of Gabor Mate's work on addiction, for instance "In the Realm of Hungry Ghosts".[1]

[0] https://youtu.be/DnPmg0R1M04

[1] Interview with him: https://www.democracynow.org/2010/2/3/addiction
It does! But it is the coffee kind of addictiveness, you know "scientists say it's good for you and you'll live longer, get anti-oxidants and so on" not heroin type "you'll sell everything you have and live on the streets" addictiveness. But at the same time those who are addicted usually say "they don't have a problem" so...
Show HN: Interactive Visualization of Sorting Algorithms
This is an interesting article, I've thought about this before but never had the words or knowledge of network theory to express it correctly. Thanks.
I don’t like how this comes up when Jobs is mentioned but I wanted to put a real reference here. Ignoring other factors a stage I patient is looking at 61%.

https://www.cancer.org/cancer/pancreatic-cancer/detection-di...
You can substantially improve appearance by change the default look and feel to something better, for example your platforms' look and feel.
Back when SubEthaEdit was new, I was a writer on a comedy show. Many afternoons, our team of 4 to 6 writers would get into something like a competitive I-can-finish-you-joke-before-you-do edit war. I don't remember ever again being paid for having that much fun.

But that only worked before SubEthaEdit worked absolutely flawlessly with anything we threw at it. You'd have two people editing the same word, yet it never occurred to anybody that we weren't actually all playing with the same piece of clay.

(Moral of the story: "nobody would ever want to that" is a self-fulfilling prophecy)
I don't care if you're trying to gift me a gold bar. If I get even a slight whiff that you're using psychological tricks to sell me something, I'm blacklisting your company.

Nothing turns me off faster than sales tehniques. Don't call me a partner, don't waste my time.

I've paid a premium to reward an internet company and a furniture store who are simply dead honest and to the point with me. I need a way to find more of these in my life.