skysight-inc/HackerNews huggingface dataset:
After a presentation about the software we built the last year for internal consumption (something we do twice a year -the talk, I mean), this high-rank guy come to my office and told me I was a really good presentator and that "We are wasting your talents, you must give more talks or training". I did not expect that. I felt very grateful for his words.
I’ll talk you on your bet. Don’t back out like Fanduel!!!
I actually just encountered this today. My changes, a large refactor, was trying to be reconciled with tweaks done before my refactor. Diffing mine against their's was gross. The first thing I wanted to see what their changes diffed against our ancestor looked like.

However, in the end I didn't end up merging any code and I haven't yet been in a position where this has come up much. I just thought it was a funny coincidence I encountered this earlier today.
Resigning as the FSFE Fellowship's representative
> A weapon is a weapon even before it is used in anger.

Only if you use an incredibly loose definition of 'weapon'. I suppose you think hammers, shoestrings, pebbles, carrots, and and a rotting fish are all weapons too, since they could cause damage if used in anger?
unConstitutional. Simple as that.
Does it really matter what others think? Too much of our self-worth is tied up in the fleeting opinions of others. There are only two opinions that matter to me: my wife’s and my daughter’s. The rest of humanity is made up of people I interact with for a specific purpose, such as work, and those interactions are governed by certain rules. Within such frameworks we play our roles and go our separate ways after, and no one’s self esteem needs to be hurt.
This is why some Google and AWS smear the leap second.

https://developers.google.com/time/smear

https://aws.amazon.com/blogs/aws/look-before-you-leap-the-co...
> So you have all these academics publishing all this extremely important sounding literature about the semantic web, but as soon as you pry one nanometer deep, it's nothing but a giant ball of crap.

It's not just academia. I made an observation about how most BigCo and BigGovts use a lot of Semantic Web: https://news.ycombinator.com/item?id=18036041
A SIMPLE FAVOR REVIEW: A STYLISH AND DELIGHTFULLY EFFECTIVE THRILLER
Tao has always been a proponent of the fact that proving a theorem establishes powerful tools that might help mathematicians work on other problems, i think his comment is that this does not do that
You can't get a FISA warrant for a purely domestic criminal case, though you can use data discovered in a domestic criminal case. There used to better protections, requiring the gathering foreign intelligence must be the primary purpose of the warrant, but it was changed in 2008 to, "(v) a significant purpose of the acquisition is to obtain foreign intelligence information;". I know people are going to call fallacy, but FISA was a classic slippery slope.
Same here. Colmak allows me to to type at higher speeds for longer without pain.

I carry a mechanical keyboard with dipswitches that allow me to use colmak on other people's machines without much trouble (as a bonus, mechanical keyboard generally nicer than their keyboard too).
As someone else who learned and still uses Colemak... it's just not worth it in the long-term unless you're using it to address something specific like chronic RSI.

QWERTY does return to you, sort of, but only if you still actively use it in some other contexts. If you don't use it regularly, you'll lose proficiency in it and not really be able to easily switch between the two (though in my own experience I did retain some of the muscle memory, it was just much more error-prone). I'm at the point now where I can somewhat easily switch between the two, but it's very context-specific. My fingers recognize my laptop keyboard and gaming machine keyboard and instinctively use Colemak and QWERTY for them, respectively. But there are still times where my brain gets into an "undefined state" where I can't figure out which layout a machine is using or which layout my fingers are attempting to type, and as far as I can tell I end up typing something like a nonsensical hybrid mashup between them which is surprisingly sticky and difficult to recover from.

In the end, I believe my typing speed is something like 10%–15% faster than what it used to be with QWERTY, but I don't feel there's many contexts where I'm genuinely limited by typing speed. On the other hand until I become semi-fluent in QWERTY again, it was maddeningly difficult to use other people's computers.
Your Easy Guide to Monads, Applicatives, and Functors
Here's the link to the actual article with more details... https://www.bna.com/new-york-times-n73014482696/

Perhaps a mod can update it?
Yup!

I made an observation about monetizing the Semantic Web when playing the role of the data/ontology provider. You providea all the data while Siri, Alexa and Google Home gets the glory: https://news.ycombinator.com/item?id=18036041
I really couldn't parse the article title: "Sublime Merge - Git, Done Sublime". I think the correct grammar would be "Sublime Merge - Git, Done Sublimely".

That aside, I'm about to try it out. Looking forward to a less CPU intensive git client than Sourcetree. So tired of the constant flickering of the unstaged files view in Sourcetree.
As opposed to writing an OS? I'm pretty sure the target audience for these tutorials are people interested in learning how these things work, not people who know and are writing The Next Big Thing
I believe that quote is incorrectly attributed to Socrates. See: https://quoteinvestigator.com/2010/05/01/misbehaving-childre...
Still, given a set of axioms, statements will fall into one of three categories. 1) Provably True, 2) Provably False, 3) Undecideable

Claims that a statement is in category 1 are fully verifiable (by providing the proof). The same goes with claims that a statement is in category 2.
> The author advocates starting with database design before software. Some other people advocate the opposite: the database is just a detail.

If the database is just a detail then you most likely are working on a small toy project. Or a class project. If it is a significant project where performance, scale and security matter, then database is the central concern. You have to start and end with the database. But dealing with data can be boring and cumbersome so we tend to jump to coding and proscrastinate on database and data design.
Would be sweet to integrate this into Slack
This opens up the question of whether you would rather have systems tracking trust or not. They say it's done in a way so that the score isn't identifiable by anyone at Apple but acts as a security measure to prevent fraud. In some cases, people appreciate having systems like this. It's probably better in most cases if your bank can identify fraudulent activity on your account and stop it.

There's a clear separation between bank account activity and a person, but the separation between what's done on an account attached to a phone and a person is starting to blur. We have moved so quickly toward identifying with activity on our devices that we aren't entirely comfortable with systems monitoring for fraud, but we probably also don't want those systems not to exist.
It's odd to see mathematicians resistant to quantifying what they believe to be inferior about computer displays

They're mathematicians, not display interface experts. This is like demanding that someone explain to you why they don't like a particular kind of food -- people are allowed to dislike things without having a complete internal axiomatic system justifying it.
I sort of agree, but I think it's better to prevent RSI than to manage it.
To add to this, another one that seems to be missing is a software CAD tool, where certain simple algorithms that you have to write can be automated based on some constraints (which itself can be turned then be into tests/proofs).
Banks have 2nd tier offerings for credit and debit processing that don't focus on gaining customers with low rates. There are a handful of platforms, First Data, Tsys, Elavon, Worldpay/Mercury & Heartland, and everyone who sells merchant services is selling you access to one of those platforms.
I agree completely that the tooling is not there today.

However:

"The problem is that the required structure for writing sophisticated mathematical proofs is much more demanding than even a piece of software as complex as the Linux kernel. "

Mis-understands why and how we use the linux kernel. Linux isn't that difficult to understand really (both in LOC, and the abstractions it presents). It's simply a base which can be relied on that provides abstraction points we can interface with (both as software, _and_ hardware_).

The important part here is that not only does linux give us a reliable "library" of behavior, but it is one that is common and reuseable.

This "library" of behavior is something we've begun to see present itself in category theory. This is why so many modern papers start with "we show that there exists a isomorphism...".

The biggest thing _modern_ computing and libraries focuses on is composition of behavior. Aka functions that take functions. If a computational interpenetration of uni-valence is found we will have similar capabilities in math (e.g. making it possible to simplify the process of moving between isomorphic structures). I believe this would be a major stride towards broader use of machine verification.
What surprised me the most on that list was the the Unix epoch is December 31, 1969 in Los Angeles.
I didn't see any schematics, but maybe I just missed them.

The SAM L11 doesn't have a USB peripheral... are you bit-banging USB or using a second IC or something? I was considering using an L10/L11 for another project, but this omission is what led me elsewhere.

Edit:

Thinking about it some more, it may be advantageous to rely on a second, physically separate chip to handle USB communication, as it's next to impossible to verify that there isn't a backdoor in the secure chip. Chips that are likely to be used as secure elements are probably juicy targets for backdoors, and a USB peripheral would be an excellent place to hide one (e.g. a special "knock" code that dumps the contents of secure memory and resets the chip and is unlikely to be found via fuzz testing).

I really like the concept, though. I think we need more efforts like this, aimed at making our security tools simpler, more open, and easier to verify.
Your experience shows!

I made a few observations in my own comment.

One being that there is no usable graph store you and I can use as of 2018.

Another being about monetizing the Semantic Web when playing the role of the data/ontology provider. You provide all the data while the consumers (Siri, Alexa and Google Home) get the glory: https://news.ycombinator.com/item?id=18036041
Apple seems to be incapable of making a good Qi charger Anker and Belkin fast wireless chargers work just fine with iPhone X/Watch which support it.

Apple can dress its tech as much as it wants but Qi chargers still work not all of them but all the good ones do.
Do they really only give out stars or am I missing something??

Without a number like 96/100 or something that shows how they came to the star rating it is nearly useless. Otherwise you can easily game the system. Got a crappy car in passive security? Just ad lots of active security! The consumer needs to see exactly how they came to the end result. That is like 3rd grade math.

Here is a much better view of a test from the old Model S with numbers that actually mean something:

https://www.euroncap.com/en/results/tesla/model-s/7897
For example Webkit on Mac and iOS. Blink in Android and Chrome OS.
Credit to the team having both you and Justin as great story tellers.
Morgan Stanley says the performance of Nvidia's new gaming card is disappointing
> There's a good deal of ambiguity in Haskell

Obviously not.
There are a few ways to start a software business:

1. Build a tool and start trying to sell it

2. Survey the market and figure out what's missing, then GOTO 1

When starting with 1 you run the risk of making something no one else wants and will likely need to substantially correct to market values. But if you want the tool to exist and are willing to build it purely for yourself, then you might as well build it. You'll be in a much better position for fundraising if you do, and if nothing else you can add it to your portfolio for your next job search.

Also keep in mind that markets do not need to be large to be profitable. Large markets can make reaching customers much easier but also starts you off as a blip in a sea of noise. If you can build something a few customers love, warts and all, then you're well on your way to viability.
I talked with some friends about this idea.

A solar-powered RV that never stops and can follow the seasons or chase daylight...
What version was this ?
Reproducibility is a huge issue in academia and in the software engineering world.

As an anecdote, we were trying to reproduce results for a c++ algorithm for which we had the source code, on the same machine, same compiler, only 2 years after its original creation. Impossible. Our best guess is that some os/hw patch / firmware update had an impact on the random number generation, but we never managed to figure out what exactly caused the discrepancies that we were observing.
If anything it's evidence of our anthropocentric perspective. Use of tools used to be a proof of our intelligence, until people actually started studying tool use by animals and found some birds, chimps, and octopi all use tools naturally, and seals and dogs can be trained to use certain tools. Rather than declare those animals intelligent we seem to have collectively decided that tool use no longer indicates intelligence...
Imagine convincing someone that a web service could be written, vs getting it written and deployed to production.

And none of its dependencies actually exist either. Like someone just said... relational database? Yeah we could write one of those...
I didn't say you would Never want to support multiple calendars, but like I said. For better or worse, most software written will not.
You need to look beyond just profitability as product vs. consulting businesses grow in very different ways. Do you have a pipeline of quality potential hires? consulting headcount grows more in line with workload than product, which tends to stair-step. Can you handle the boom/bust of consulting? demand tends to be infinite or zero. Can you manage a long sales cycle? product (especially enterprise) sales can easily take 6-12 months. These are the clients that will also likely demand the most customization with software purchase.

I like looking at the motivations for consulting, of which revenue is just one. You also get great ideas for new features, solve existing pain points and leverage relationships for new sales leads.

You can do both but should have a very clear picture of why you do both.
Watching someone vomit and a half cup of brain being pressured out of their head to drop on the floor. Very glad I didn't go into medicine.
What is the painful part? The level of detail required for it to check?
Is code-folding necessary? Instead you could put the demonstration in an appendix, and the authors would be free to decide what goes in the core of the article and what goes into the appendix. This could be made automatically where trunks of article would move back and forth from the core to the article and vice-versa, depending of what the reader chose to, and in each case a corresponding pdf could be generated.
Yup!

I made a few observations in my own comment.

One being that there is no usable graph store you and I can use as of 2018.

Another being about monetizing the Semantic Web when playing the role of the data/ontology provider. You provide all the data while the consumers (Siri, Alexa and Google Home) get the glory: https://news.ycombinator.com/item?id=18036041
Just learned google calendar uses the timezone your currently in by default even if you set the location back to your home. When I got back from travel, the notification was decidedly off. :)
Would love to have this as well!
A dance that didn't involve men and women holding hands.
Seeing how "fake news" spread through social media, I have the complete opposite belief as you.
You‘re right, I didn’t go into concrete detail.

It‘s also hard to describe but the best analogy I can come up with: picture a CMS that actually is about _content_ instead of being tied to presentation. So e.g. writing an article about a certain historical event at a certain place consists of stringing all the information and relationships together.

Bringing the correct pieces together eliminates errors and gives a piece of information more meaning when used in different contexts.

Being able to correctly reference e.g. Venice, Italy instead of Venice LA, CA makes a huge difference when looking up time schedules, weather forecast, flight connections etc. Sure there are IATA codes for airports. Wouldn‘t it be great to mention Springfield in an article and having all information about that place (as well as all „backlinks“)?

I also don‘t think it is a technology problem.

However, I‘d like to think about this more in terms of DRY principle of information. There are publications on the web that solely exist to duplicate short-lived, relatively low quality information and putting ads on it. This may be acceptable for some consumer‘s point of view, but fails to create long-lasting contribution to mankind.

Just dumping all bits we currently store into massive archives is possible but taking measures to keep the amount of „information archeology“ needed to understand this data feels the right thing to do.

I‘ll iterate on that.

Sorry if this reads even more confusing and esoteric, need some sleep now.
And how did you get into this type of consulting?
Great explanation—thanks. I think I got the upshot, though I am unclear on what function rad() is.
> The fact that raytracing (onto a 2D plane) and rasterization are essentially isomorphic to one another is a powerful observation.

Hasn't this been a pretty well-known perspective (no pun intended) for a couple of decades now?
Given the anecdotal correlation between math and autism, and the effects of autism on sociability, one might expect mathematics to have different toxicity.

I never went deep enough into mathematical academia to judge, let alone getting into other fields to allow for a comparison.
Extracting information is not the issue. Figuring out what it is is what the Semantic Web (or any good Ontology) helps solve.

For a ML to provide that insight - requires the ML to have access to a good Ontology.
React Native FAQ
Summer of love has echoes down the years...
> the presidential-election year youth vote is ~20%. In non-PE years, it, of course, falls

That doesn't seem to be the case, as best I can tell. This is site shows Presidential election years with a ~40% turnout, and mid-terms at about half that: http://www.electproject.org/home/voter-turnout/demographics

Interestingly, the seasonality of the 18-29 voters is much greater than that of other age groups - half as many show up for mid-terms. Compare that to the 60+ age group, where ~70% vote on PE years and ~55-70% vote during midterms.
Even here in TN where it's easy to drive without congestion, biking allows me to simultaneously save fuel, get blood pumping, and run errands. Feels practical
That's a lot of assumptions you've made without any backing.

1) Building a startup requires the ability to build a tech product and knowing how to solve a problem and sell it. Bob the literature professor is not a good example, as he would not know either - but these guys could clearly build the product at the very least.

If you looked at their backgrounds, at least the CEO (OP) had previously started a fairly successful apparel company. https://www.linkedin.com/in/kentmori

So to correct your analogy, this is like if Bob the video game software engineer was starting a video game startup.

2) Many top fashion companies are built by men. In fact, H&M - your example - was founded by a man.

https://en.m.wikipedia.org/wiki/Erling_Persson

I'm all for diversity, but your comment is overly harsh in tone and not back by substance.
What does that even mean? I'm sure some like me more than I think and some hate me more than I think. But mostly 99% of the people don't care because they have their lives to lead.

Are there people I like more than they know. Sure. Are there people I hate more than they know. Absolutely. But really 99.99% of the people don't matter. I don't think about them or them me.

Ultimately, you care about your family and friends. Do people waste their time wondering if "people" like you or not?
I’ve had the same issue, and it’s really tough. I’ve had some success by asking people questions, paying attention to the answers, asking follow up questions, sharing details about myself if relevant. It doesn’t come naturally and I don’t always do it right, but it has allowed me to become friends with some people who I wouldn’t have been friends with otherwise.
You're probably right, lack of knowledge of the context and the industry helped lead to or caused this company to close. Having someone in the company who was a subject matter expert, if they didn't, probably would have helped them in many ways obvious and not obvious. That doesn't seem to have anything to do with sex or gender though. It might, sure, but it doesn't seem to obviously relate to it.
Not wanting to be a complete BSD bigot, I can't actually remember if this broke in the {Free,Net,Open}BSD world as badly. The 2015 docs for FreeBSD don't help (oh, for a time machine) but go to "you can test what we do" which is good.

https://www.freebsd.org/doc/en_US.ISO8859-1/articles/leap-se...
What Will Happen to Elon Musk and Tesla? 4 Possible Futures
Tomorrow's Earth
rad is the arbitrary function you asked about ;) rad(x) is the product of the distinct prime factors of x, ie. it drops repeated prime factors, rad(2^n)=2, etc.
I think AI is a different kind of thing. Re:

>More than 2,000 European AI experts have come together to collaborate on research and call for large-scale funding from the European Union to counter China and America’s rapid progress in the field.

you wouldn't get them worrying about the US / China's rapid progress in Semantic Web.
I spent at least 6 months when I was 19 playing this and mentally designing an app to do this. Awesome that you did it!
rad is the radical of a number [1].
In short rad(x) is the product of all unique prime factors of x.

So rad(8) = 2, rad(24) = 6, rad(75) = 15

[1] https://en.wikipedia.org/wiki/Radical_of_an_integer
Here's an insight from a developer with 15+ years of experience: be very, very careful who you take advice from. The so called "best and brightest" in our industry have led us down the path we're at today. I have a supercomputer in my pocket compared to computing speeds in 2000, but it can't even smoothly scroll down a webpage. Object Oriented programming alone has derailed progress in computing by at least 20 years.
Margaret certainly had both of those things. :)
100ms is slightly arbitrary, but the real point of saying "100ms" is that it's lower than the multiple seconds typically required for page load, and higher than the 16ms required for smooth animation. An appropriate target for input response time (the "R" in RAIL) is somewhere in between those two.

If 100ms strikes you as too high, then by all means target a lower number like 50ms. But it's still not a disaster if your 95th percentile is 100ms. Also, if your A time is above 16ms or your L time is above 5 seconds, your limited development time might be better spent improving those rather than bringing R down even further.