skysight-inc/HackerNews huggingface dataset:
building a 3d printer from scratch is really hard

It definitely is right now. Suppose for a moment that a 3D printer were invented that could turn raw materials into perfect copies of itself. Suppose also that the raw materials could be automatically extracted from household and electronic waste. A machine that can turn garbage into copies of itself and other objects with similar complexity to the original machine.

The only remaining obstacle would be software (and data files). If we are to assume that machine learning and AI progress in parallel to the development of such a machine, it's difficult to see how we could ever prevent somebody from putting the pieces together.
This is from over a year ago
The easiest guide to Cohort Analysis
When I started college in 1985, every Physics student had an HP41C. You were at a distinct disadvantage on an exam if you had an infix calculator. I still have my HP41CX that my dad bought me in 1985.

Now I don't see any of the students using them. What happened? When I used to teach, I would write a large expression on the board and challenge students to a calculator duel -- me using my 1985 HP41CX and them using their lumbering infix calculator. I would always win.

The magic is the automatic saving of subexpressions on a stack. Once you got the hang of it, you would never want to go back to an infix calculator.

I have the HP41C app on my iPhone, but you miss the beautiful haptic feedback keys that the HP calc's had.

Actually, the very first programming course I ever took was a 2 credit course called "Programming Calculators" and we learned to program to the HP41. When a program was running, a little "bird" glyph would "fly" flom left to right across the LCD screen. I remember writing a program to get the bird to fly backwards. Silly, but fun.

Of course I had the Math Module that you could plug in and the magnet card reader. Anyway, I always wondered what happened in the intervening time that no one seems to use them anymore.
Denver based software guy here:

I used to live in North Carolina. My son was born there, and it's where I met my wife.

Charlotte is a terrible place for Amazon.

The weather isn't remarkably good, gay employees can't get married, the public schools are shit thanks to the state, the traffic is bad, and it's culturally not noteworthy. Sorry. It's just not a good location. Raleigh could do it, but isn't big enough, and again, not a culturally attractive spot.

In fact, I think the lack of gay marriage rights kill both Austin and Charlotte.
>Now we have a legal framework for growing, for actually doing it in a legal way.

No, they don't. Following that framework is admitting you are breaking a federal law. It bars you from being successful in businesses, make a lot of money and the feds have more reason to target you.
Someone should tell the gcc maintainers then.

int main()
{
int a = 12;
}

$ gcc maintest.c
$ ./a.out
$ echo $?
148
Just tested on the MSVC compiler I have at hands. The standard is not respected.
question: if a reviewer is given a proof to verify, then is it possible to simply step through each transformation and verify it, without really understanding the entirety? Or in cases such as this are there steps that are new or obtuse enough that there isn't a way to verify them without understanding the whole thing. Or, are there individual steps that require so much work that it is impractical to verify them?
$ cat test.c
int main(void) {int a = 12;}
$ gcc-6 test.c -o test --std=c89; ./test; echo $?
162
$ gcc-6 test.c -o test --std=c99; ./test; echo $?
0

Must be a C99 thing.
I've personally modified thousands of e-mails with the ">" symbol; it's called replying. That, per se, has nothing to do with fabricating an e-mail; why mention it?

Of course > symbols are fairly likely to be used in a forged e-mail, possibly next to fake quoted text; but that then is not simply an alteration of genuine text by the addition of those symbols.
I live between Denver and Boulder. My brother lives in Portland.

I think Portland is great, but I think it would be a mistake.

1) The lack of sunlight in Portland is the same as Seattle. There are a ton of people who just won't live in places like this. It's actually allowed my company to easily recruit people from places like LA who won't consider cloudy, rainy places due to Seasonal Affective Disorder.

2) Portland has bad traffic. Shockingly bad for it's size.

3) The airport is nice, but small. Flights aren't often direct.
I still pay my rent in hand-written paper checks. It's kind of ridiculous, actually.
Indeed. We now actually have some math results of interest for which we have only formal proofs and no human proofs. https://arxiv.org/abs/1509.05468 is an example.
Nice format, hopefully with some real unbiased content but I am not expected that at CNN though, nowadays the news has to be a mean value of (Reuters + NYT + CNN + Foxs + ....)/N, but I just do not have enough time to read them all, so I read HN instead.
Is it undefined behavior to have main be anything other than a function that returns int?
>There is nothing here that indicates this is legit CNN?

Registering through CSC is difficult if you aren't a BigCo.
>Not at all. At least Finland and Sweden do have a social security number assigned at birth (or immigration).

Maybe we are misunderstanding each other, the Codice Fiscale in Italy is the same, assigned at birth (or immigration).
The difference is that it is not on the ID card (as it is - say - in Finland or Sweden or Denmark or Spain), but on a separate card.

It is a "generic" identifying number with all public administration offices besides tax use, but of course it is always directly or indirectly connected with taxes.

As an example if you sign a rent contract for a house (between privates), or if you sign a contract for utilities, or you buy a SIM card you need that number, if you ask for some specific kind of receipt (fattura) you need it, when you buy medicines (that may be partially deducted from taxes) you need it at the chemist/pharmacy.

Fun fact: if you want to buy some cigarettes at a vending machine, you need the card to prove that you are 16 or older. .

Of course each country will have its own uses (or non uses) for the thing, that is generically (EU) called TIN:

https://ec.europa.eu/taxation_customs/business/tax-cooperati...

Here is the list with documentation about each country:
https://ec.europa.eu/taxation_customs/tin/tinByCountry.html?...

Germany has it alright (and it is assigned at birth) though it is not on a card (ID card or otherwise) and is used only for Tax purposes:

http://www.bzst.de/DE/Steuern_National/Steuerliche_Identifik...

It has been introduced only relatively recently, 2011 I believe, to give you a reference in Italy it was introduced in 1976.
How about http://multithreaded.link/ for the list? It's so light you can actually flip through full articles on the homepage!
MSVC doesn't claim to implement C99, where this rule was added, so it kind of makes sense that it doesn't happen. (generally, if they added C99-stuff then only where it was required for C++)
Lenny is the most effective time waster for telemarketers I've ever heard. He's truly awesome.

I have seen the reverse problem, where the spammer who called is trying to get off the phone. Many years ago, I had a job as a manager in an outbound telemarketing center. We had a policy that we could not hang up once the call started -- the person we called had to hang up. Supervisors took escalated calls where someone whose dinner we had interrupted was upset that we called. Very rarely, those calls would then be escalated to me.

One time a lawyer in Philadelphia (not even kidding) refused to hang up, and instead continually berated the rep on the phone with cursing. He refused to hang up. The supervisor couldn't calm him down, and had repeated all the stock responses we had apologizing for upsetting them and promising not to call them back. He just kept cursing and said he was going to stay on the phone all night since we couldn't hang up. After about ten minutes of this, the call was escalated to me.

I went through the same items with him when he paused to take a breath. He chuckled and said he was going to keep me on the phone all night. I told him that was fine, since I was paid hourly and had gone into overtime five minutes earlier. (It was five after the hour.) I said, I'm now making $22.50 an hour listening to you. I'm happy to stay on all night. How much are you getting paid? That made him hang up.

These days, though, most call centers have a policy where the rep on the phone can hang up if the customer continues to curse after being asked to stop. Requiring the rep to stay on the phone beyond that can get an employer in trouble for creating a hostile work environment.
Well thank you. I was in a college computer lab reading CNN's web page.
Would love this if it also checked 404 assets and links.
the bright blue LED had not been invented yet, it was probably vacuum flourescent

http://www.vintagecalculators.com/html/calculator_displays.h...

https://en.wikipedia.org/wiki/Light-emitting_diode#Blue_LED
Depends if it's in C99 mode. GCC defaults to “GNU89” I think.
We're talking about taxation here. If you're generating profits there you're probably going to have to pay taxes, yes. But of course you're just deliberately misunderstanding.
Push at the end of the day and watch as the SPOF VCS server melts from the 17:00 thundering herd.

Instead of commit and push at the end of the day, make smaller commits that are easier to digest. Giant spaghetti patches make for sad times in review.
21 collaborators. Depending on how much time they each spent on it, he could have easily gone over budget.

Also, as it was all unknown stuff at the time, any estimation would have been made without prior experience.
How does that compare to the time it takes to write code vs test code? Maybe not quite that extreme, but test code is time consuming, and is essentially what theorem proving is.
This might be counter-intuitive to types who comment here but the CNN Snapchat thread should also be appeasing to you for the same reasons this text-only site is. You go through their stories until you find the one you want and that's all you get. No ticker tape. No flashing "BREAKING NEWS" decorations and no fluff. It's the same concept only in a visual medium.
"Automated proof" means that the verification is automated. Actually automating the process of finding proofs is still mostly an open problem.

Formal proof software will help you on small stuff, but you will still do most of the work, and you have to go much more in details, so it takes much more time.
That's my understanding, yes.
The subtitle is "Past, Present, and Future", but I'm really missing what the future will hold. All they mention is that "We’re not sure what the next community initiative will look like"
Mastodon and ActivityPub
chrome://flags/

Search for "Autoplay policy" and change it to "Document user activation is required"

I haven't test it on other sites but in Youtube works fine.
Deniable encryption in the opposite way
List of Best Text Editors
I currently live between Denver and Boulder. Lived in the DC area for 8 years.

It's an AWFUL place to build an HQ, but Amazon might do it anyway.

1) Salaries are artificially inflated by competition from the Govt and Govt contractors.

2) Traffic is nightmarishly bad.

3) Housing is incredibly expensive

4) Tech skills aren't as high as the stats indicate. The gov't and contractors have an amazing way of creating people whose titles indicate they know what they're doing, but they don't. See healthcare.gov fiasco for an illustration. A senior data engineer in DC is someone who knows SQL and Informatica, as opposed to someone that can actually do real tech. The intelligence agencies have awesome talent, but they have enormous salaries inflated by their security clearances and you're not going to get them.

5) Weather fucking sucks. I lived there 8 years, it sucks.

6) Quality of life just isn't good. Average commute times and cultural amenities are bad.
He doesn't actually believe this. The reason why Facebook only allows people to have a single identity tied to their real name is that is what advertisers would prefer.

Zuckerberg doesn't believe in anything other than money and power.
I would love to see a free version for just one domain.
In general, a person’s home can be identified by tracking the movement of their mobile phone. At night it is at rest when the person sleeps. Alternatively, turning the phone off and a few hours later back on in the same location. If you use maps you can correlate it with businesses and homes.

Governments could ask telcos for this data (a log of when and where which phones connected to a cell). Or just the general workload of cell towers compared to previous weeks gives you a rough estimation of where phones are and are not. You could also ask for broadband activity and compare it to previous activity. If people evacuated, their bandwidth usage should have flatlined.
>It is next to impossible to actively "block" a specific channel on Youtube. I recently tried to do it after noticing #ElsaGate videos popping up in my son's recommended videos, and I just couldn't find anything.

I never heard about #ElsaGate before. There is obviously a pedagogic message in the videos. The main problem seems that leaving the kids unattended watching these videos doesn't work here. Similar to Grimms' Fairy Tales or children stories from Shockheaded Peter. Parents need to read these books to their children in order to give them feedback. I've read some texts by Prof. Dr. Stefan Aufenanger from University of Mainz about this topic.

EDIT: Of course, in order to explain things to kids they need to be in a certain age. The videos seem to be targeted to children in pre-school age.
Review with Flatte Manifest Builder Console. #firebase #JavaScript #NoSQL
I guess the answer is in many ways contained in the blog post.

Is there any legal regulation or contract compelling them to respond to you? If so, use that as leverage. If there is not, you may not be able to compel them to do what you want.
> so is it just me, or is the "work" of the normal proof only took 1/5th of the time it took for the automated/formalized proof?! that seems counter-productive imho...

It took 5 times to make it not a hunch but a real demonstration. If that's counterproductive or not remains as a something opinable.
Isn't that the same number of keystrokes?

[3] [+] [4] [=]

[3] [Enter] [4] [+]

Both use four keystrokes.
There most definately are, although not extremely common. I recall reading a HAYES (pro-fat) article calling for beauty equalization or some rediculious thing. Sure its not common, but to dismiss any extreme you arent aware of does not help the conversation. The amount of impact is highly variable, but one must assume there is some, as many of these blogs have thousands of followers.
There's a whole website by the Freedom of the Press Foundation that addresses that question:

https://securethe.news
Imagine how much better it would be with margins. Same for HN. Lobstes gets this right https://lobste.rs/
Nuclear power in China will pass the United States within 10 years:

https://www.bloomberg.com/news/articles/2017-01-31/china-s-n...

Coal is expected to drop to 54%.
What AI virtual assistants can do for you?
There's been many comparisons made to event sourcing, but the actual semantics of the dispatched actions are up to you. You might dispatch `USER_LOGGED_IN`, or you could dispatch `SET_USER_LOGGED_IN_STATUS` (ie, "past-tense event that occurred" vs "present-tense imperative set some state"). Redux doesn't care how you name your actions. There's been lots of arguments over how action semantics should be viewed. I recapped some of the discussion in my post 'The Tao of Redux, Part 2 - Practice and Philosophy" ( http://blog.isquaredsoftware.com/2017/05/idiomatic-redux-tao... ).
it's not about their money. Money is the power to choose. In a very real sense, the profit extracted by enterprises represents opportunities lost by their customers. Had profit generating goods and services been priced at the market clearing, efficient level then the end customers would have kept some of their own money. They could then make new choices with that money. In aggregate on the supplier side, that reaped profit represents choices individuals could have made but now are unable to do so.
You can try an HP48 here: http://www.poleyland.com/hp48/index.html
The extract from the second link needs more context. It is Pournelle saying what he would have done had he been Ted Cruz campaigning against Trump.
How do you define ‘just’? How can equal outcomes ever be attained? I played a lot of baseball, but there are only so many slots on the Yankees.
If you write a proof in sufficient detail (which nobody does but is manifestly possible), it can be verified with no understanding at all. Indeed, it can be verified by ~300 lines of Python: http://us.metamath.org/downloads/mmverify.py
Bad place for an HQ. The tech talent is a mix of actual tech talent vs. "I have all of the Microsoft and Cisco certs that XY Agency requires".
Good point. CNN should put hours on their website and only serve news between 9am and 5pm.

Nobody needs to watch 24/7 news
Calling conventions are as much a standard as the C spec.

The main() is called like a regular function, by the system thing that executes programs.

Depending on the compiler and the flags, the main() is not the real entry point of the program. It can add another entry point to do some magic, like setting the return code.
> Doesn't matter. You're licenses to all of Facebook's software gets revoked for any patent claim against Facebook.

Incorrect. Your license to their patents gets revoked. Hence why the React license "issue" is basically a paper tiger. (See, eg, https://medium.com/@dwalsh.sdlr/react-facebook-and-the-revok...)
Show HN: tchn.ws – clean, fast and simple news digest for people in tech
> So even if you tax the top 5% at 75%, you’re covering 17% of total expenditures.

And that's assuming a 75% effective rate, which you can't get at the 95th percentile without also charging high effective rates to the majority of people because it's not possible to charge more than a 100% marginal rate on the difference.
Yeah, far too much executive crime gets to a "who could have known" resolution when they certainly should have known. Or a "few bad apples" resolution when the system the executives designed created and rewarded bad apples.

I would love to see that change. Right now, though, we're in a big wave of "inequality is great", which I think strongly contributes to this problem. Let's hope that wave crashes, letting us start to hold executives and managers accountable.
Same shitty rules and privacy as on Twitter.
I don't know why this got flagged.

At the point that we no longer understand the relationship between the formal proof witnesses (and really, the class of possible witnesses) and the axioms we choose, we can no longer do mathematics, because we can no longer meaningfully explore axioms -- our ability to make guided changes is destroyed by our inability to understand their effect.

It's important for the community to understand something of why a thing, not just that it's true, because that's why drives the development of mathematics forward. (And indeed, particularly so in the ABC conjecture, which sits at a node between the nature of multiplication and addition, which don't usually have much to do with each other.)

I actually wonder if US (and perhaps other) math education is harmful here: the focus on rote learning and just knowing that a thing is true (to mechanistically apply it) has conditioned people to not understand why the hesitance over proofs that humans don't understand -- for most of those people, they never understood the proofs anyway.
Gay employees can't marry. That's all you need to say no.
The Philly burbs are pretty nice.
I would really like to know about what tech stack the Windows 10 apps use.
Hi Marco, we have a £60 a year version for one site, I'm sorry but we don't have plans for a free package at the moment
Take it from us: With Amazon, you can get too much of a good thing
The article didn't explain the abc conjecture in much detail ("The original proof is of the long-standing ABC conjecture that explores the deep nature of numbers, centred on the simple equation a + b = c."). That's unfortunate, because even though the proof is inscrutable, the conjecture itself isn't very complicated:

If three numbers a, b, and c are coprime and two numbers a and b have large prime factors, then their sum c generally does not.

To make that a little more formal, it means that the radical (product of distinct prime factors) of their product abc is usually less than the sum c, up to some exponent 1+eps:

rad(abc)^(1+eps) < c

... for some eps. That eps is important! There are infinitely many numbers a, b, c where this isn't true for some eps (and there are ways to construct those), but the conjecture states that for any given eps, there are finitely many.

To find maximal counterexamples (which, because mathematics consistently uses intuitive terminology, are said to be "high-quality") you typically look for numbers that are smooth (small prime factors) but not powersmooth (larger prime-factors-raised-to-a-power). Typically you'll also fix a to be really small, to limit the search space somewhat. [MM14] describes other methods for finding triples.

Here's a simple example of a high-quality triple:

a = 1
b = 2*3^7 = 4374
c = 5^4*7 = 4375

Because all factors are unique, rad(abc) = rad(a) rad(b) rad(c).

c > (rad(abc))^(1+eps)
c > (rad(a) * rad(b) * rad(c))^(1+eps)
5^4*7 > (rad(1) * rad(2*3^7) * rad(5^4*7))^(1+eps)
5^4*7 > (1 * 2 * 3 * 5 * 7)^(1+eps)
4375 > (210)^(1+eps)

This is a great example, because the exponent (sometimes called q) is about 1.57, which is extraordinarily high. In the first billion c's, there are only 34 with q > 1.4. This is the fifth best such triple we know of. [triples]

Consider a trivial case where all three numbers are prime; a = 2, b = 3, c = 5. Primes are their own radical, so:

5 > (2 + 3)^1+eps

This is the edge case.

[triples]: https://www.math.leidenuniv.nl/~desmit/abc/index.php?set=2

[MM14]: https://arxiv.org/pdf/1409.2974.pdf
As a practical matter, yes. I mean, in principle we could declare a do-over, and re-issue any compromised SSNs (which would be uh...all of them), but uh...yeah.
Hi Pudo, could you shoot me an email Dom@littlewarden.com as to what you would like and I'll look into it
In a college class ~20 years ago the professor passed around a sign-in sheet expecting everyone to fill in their names and SSNs.

I was astonished, to put it mildly, both at the professor's cluelessness and the willingness of my fellow students to do it.
I certainly wouldn't tell a random internet stranger the details if the plan as a start.

In short though, merge consciousness with the AI that becomes the singularity.
Change your paradigm from tech to biology, and you just described an engineered pathogen. I don't know about 3D printers, but gene sequencers and the rest of the tools needed for a garage-plague are nearly here on a global scale.
So don't tax the rich more. Tax the ways by which the inequalities arise. Create counter forces against market concentration. For instance, if there really were alternatives to desktop Windows and Mac desktops (from the hardware through to software levels) then computers would be more affordable and wide spread. That affordability has an income increasing affect on the customer side.
No surprise there; it's why the software development industry is reluctant to adopt such techniques; nobody wants to write 5 times the amount of code, or take 5 times as long to get to the market.