skysight-inc/HackerNews huggingface dataset:
Oh yes, I agree. We have to get better ourselves too. But having such a stark example in front of us perhaps can help concentrate minds. At least that's my hope.
my first experience with high quality code was with tge quake2 engine.

i was both amazed by the simplicity of the architecture (a huge single event loop), and the attention to code presentation and indentation.
The main point is “don’t be naive, since it’s more complicated than you think.”

Knowing it’s complex, the next step is to get help, not hack up your own solution.

I liked the tone... sort of a “can you believe this?!”
France Bans Smartphones in Schools Through 9th Grade. Will It Help Students?
It's like the dictionary vs encyclopedia thing. A dictionary (vocabulary) is probably the best we can hope for.

I have a foggy recollection that Jerry Fodor (Holism) or maybe Eco had thoughts on the matter.
I agree, I'm not saying they should engage in litigation, just that talking to a lawyer to understand exactly where the law stands on such behavior is probably going to be useful when it comes to talking to Apple, particularly if they don't respond.
scratches head I'm pretty sure I can come up with a codified language proof that you will accept, then define a mapping between the language and transformations of a diagram. And while not an expert on isomorphism, but I'm pretty sure that makes the visual proof isomorphic with the codified language and hence valid (and, indeed, computable).

Basically, although code and proofs are in a sense isomorphic, I think everything and proofs are isomorpic in the same sense. So claiming that proofs should be structured to the same standards as code because code is isomorphic to proof is a bit of a non-sequitur. Why not show the layout of my rock garden is isomorphic to code and hence proving something (my rock garden can be Turing complete) and then claim my rock garden should be structured like a program?

Basically, the idea that the structure mathematicians favour for proofs have fallen behind programmers laying out of code is not well substantiated and the idea that 'proofs are isomorphic to code' is not useful because it is far too broad.
This is as though Apple were hotlinking his images -- they are being consistently used in a setting besides that which was originally intended, without permission (or even attribution).
Facebook could launch its video chat devices this month
I watched the clean coder videos a few years ago and Uncle Bob said the exact same thing: the DB is just detail. I am not saying that he was right and I am not going to argue for his approach but it seems some of the big shots of the industry agree that DB is not central to the design.

Also see:
https://8thlight.com/blog/uncle-bob/2012/05/15/NODB.html

> Databases and frameworks are details!
Well I thought it was quite obvious, but yes. It’s us.
As everyone knows, fear sells. Nice good stories about how much better off we are now? Mmm, not so much.
This doesn’t mean that huge problems don’t exist in the world.
We have the duty to report on them.
I personally try to do things differently than this, and I cover tech, so it’s easier and more neutral. If anything good stories about tech and progress still sell.
I feel very detached from the trends of my industry, and so do many colleagues of mine with no power to take policy or business decisions.
Wisdom and experience from senior hacker developer "Oh you are working with time and dates that is going to get "complicated""

Lets propose a new time format we could count the number of exoseconds since the beginning of the universe. Then convert that number to whatever native time format we want.
Store that as a number and use that for conversion. Age of universe 4.415×10^17 seconds, 4.415×10^26 exoseconds
It's just an extra USB cable. Charges perfectly well with Samsung's charger
I worked on the Semantic Web. It has so many fatal flaws, that I am amazed in hindsight that I didn't see them back then.

Berners-Lee was successful with the Web because it was not an academic idea like Nelson's and Engelbart's hypertext, but it was a pragmatic technology (HTTP, HTML and a browser) that solved a very practical problem. The semantic web was a vague vision that started with a simplistic graph language specification (RDF) that didn't solve anything. All the tools for processing RDF were horrendous in complexity and performance and everything you could do with it could typically be solved easier with other means.

Then the AI-people of old came on board and introduced OWL, a turn for the worse. All the automatic inference and deduction stuff was totally non-scalable on even toy examples, let alone web scale. Humans in general are terrible in making formal ontologies, even many computer science students typically didn't really understand the cardinality stuff. And how it would bring us closer to Berners-Lee vision? No idea.

Of course, its basic assumptions about the openness, distributedness and democratric qualities of the Web also didn't hold up. It didn't help that the community is extremely stubborn and over confident. Still.They keep on convincing themselves it all is a big success and will point at vaguely similar but successful stories built on completely different technology as that they were right. I think this attitude and type of people in the W3C also has lead to the downfall of the W3C as the Web authority.
> Very few countries can boast to such a peaceful political turnaround.

Or such a slow descent into tyranny. Let's see when Julius Malema and his supporters eventually do call for the eradication of white people.
Why? It actually performs well.
The most definitive version of a proof one can imagine is when the proof has been expressed via a formal language and a proof assistant checks that each step of the proof complies with axioms or already proven theorems from a library (which, in this case, are simple rewrite rules in the formal grammar). The [Mizar System](https://en.wikipedia.org/wiki/Mizar_system) is an example of that.

The question of formally proving Wiles' theorem is [discussed here](http://www.cs.rug.nl/~wim/fermat/wilesEnglish.html). Currently there exists no tool powerful enough to formalize such proof. It's considered a challenging problem in computer science.
Octopus response to MDMA similar to humans
> Wow. I live in Europe, and find it weird that people can consider the week to start on Sunday.

Netherlands reporting in. My parents always taught me that the week starts on Sunday.
> but somehow you're complaining that C++'s interfaces require programmers to specify where the collections should start and finnish.

I think it is a valid complaint. Most of time you want to apply something like "find" to the whole collection.

I'd also love to have C++ standard maps (esp. unordered_map) where I only pay for what I use. Namely, due to C++ spec I have to pay for the nodes instead of having a flat, CPU cache efficient, buffer. In other words, a different map type where other items are allowed to move in memory when something is inserted or removed.

Oh, while we're at it, it'd be nice if vectors etc. could realloc instead of allocating a completely new memory region and freeing the old one when more space is required.

A more ergonomic allocator story for specifying alternative allocators would also be very nice for some niches, like when you need to avoid fragmentation or require better performance in embedded development.
Ask HN: How to register for Apple Developer Account without using personal name?
I would like to register for an Apple Developer Account without using my personal name, I understand that you can register as a Company and have that company get a DUNS number, but I am in the UK and registering a Limited company already exposes my name to the public records associated with that company.

I am not trying to hide from the law, only to make it harder to associate me with the apps I publish, as I do not want to be contacted directly by sales, or other people regarding my apps.

Thank you
Blockchains have consensus built in at the protocol level. Sure, you could share an append only log, but who settles disputes? All that functionality has to move off chain, and that's a bigger risk, in my opinion.
You could say that Valve was Shanghai'd
How do you interpret this quote, especially the last line.
The first line is how I see myself, the second how you see me, then from who's perspective is the last line?
The “DeWitt Clause”
In parts of the world, weeks of the year are numbered, so that you can talk about things happening "in week 43", and so on. For such a system, it's of course quite important to agree on which day a new week begins. Also (again, as a European) it feels very odd to not have the weekend (Saturday and Sunday) be at the end of the week, but instead "straddle" between two weeks.

I found the original article a bit strange in it's partitioning of the world into { US, Europe, some places }, I feel that is giving ... undue weight to the US convention, but I haven't studied this to see if I'm right.
Nobody is stopping people from using the relatively new article or header tags. There is not really an inherent advantage in using divs except that they are barebones maybe. Apart from that, there are data attributes which are actually used on real-world websites for annotation of texts. Indeed they go particularly well with span tags.

People forget that all these fancy frameworks produce actual HTML5 DOMs, who cares if those are static or dynamic. I someone wants to write a semantic web parser/crawler then it's a great idea, but probably it shouldn't be done using wget. :-)
I would suggest Laravel!
Scholze has a strong accent, but speaks flawless, sophisticated English.
Hey, author here. Any errors in the console? (Sometimes the Emscripten Module fails to load)
You can unlock the bootloader on almost any smartphone nowadays, but every one of them requires original firmware installed to lock it back.
It is quite a lot, considering that the world economy could easily spend enough money to fix this and in relative terms it would cost so little there would be zero practical effect on anyone else's income.

But it's also ethically skewed. I have friends who have travelled through the poorest parts of Africa, and they universally return with stories about how "poor" Africans are some of the happiest, friendliest, most generous, and most contented people they've met.

That may be rose-tinted, but it's naive to dismiss it out of hand.

Economic metrics aren't necessarily humane, and the Western economic treadmill - with its precariousness, acquisitiveness, and narcissism - isn't necessarily the ideal destination for any culture.
Code search is slowing down developers
Computer Misuse Act 1990.

I will drop a message to my wider network and see if there is a section that could be interpreted to fit this situation.

Two issue would be:

1. Using a computer device to commit fraud.
2. Accessing the ROM which was digitally protected as well as not intended for general public consumption.
Again, it's mainly for online payments, the others are an addition, and a welcomed one at that if you forget your card (or don't have Google / Apple Pay) when you're out somewhere.
LGTM.in is shutting down First October 2018
I think you're doing code review wrong. In several places I've seen code reviews as a place to have religious wars about code styles after the code has been written and tested. This is the worst way to do code reviews.

Instead I've had a lot of success limiting code reviews to three types of critiques.

1. This code is broken. It does not do what it's supposed to do in a way that will affect current users.(avoid what if scenarios)

2. The code does not meet a clearly delineated style guideline that the team has agreed to.

3. The code does not meet our clearly defined checklist for possible bugs.

The idea is to keep the code reviews objective and boring. People can fight religous wars over the style guidelines, but not over any given lines of code.
[pdf] Elixxir technical brief – David Chaums new scalable crypto blockchain
Because the military-industrial-pharmaceutical complex exerts an enormous influence over American politics, both domestic and foreign, and if they want war: they get it. (cf., the last 40 years of illegal American wars.)

All this attacking-the-figurehead is really doing, is distracting the public from the real cause of trouble in American politics today: the Generals. The Pentagon is a significant source of turmoil in the world - for anyone to think that this doesn't apply to the President, is just plain nuts. Nobody exerts more pressure for war, more war, endless, holy war, on an American President than the Pentagon and its complex of intricate corporate lackeys, financiers, courtesans and pimps...
> Blockchains have consensus built in at the protocol level

They have it built in based on picking the chain which the most work has gone into.

Arbitrarily assigning a number to a transaction and having everyone to agree to pick the smallest in the case of conflict is easier and works fine if your members are all trusted to not maliciously abuse that facet of the code.

Proof of work is throwing away resources to solve a problem you don't have if no one is crafting malicious transactions.
Robin Hood's Bay is well worth the effort.

But that whole coastal strip is full of special places, from the bird colonies at Flamborough to gothic Whitby.
Not universal enough, areas near a black hole have experienced less time, the CMB has experience 0 exoseconds, even earth and space will slowly diverge. This will just make a lot of future programmer cyborgs very unhappy.
> What do you mean will happen?

Even in its deepest crises, India's army did not play kingmaker. Furthermore, India's federated structure–while annoying to reformers–checks the power of aspiring dictators. Every uneducated population, it seems, elects populists from time to time. The damage they can do in India appears to be more limited than the damage done to Venezuela by Chavez and Maduro. Venezuela will probably be an impoverished nation for decades; India has a chance of becoming a middle-income or even developed country by 2050.
The UNIX Philosophy; every day.

https://en.wikipedia.org/wiki/Unix_philosophy

Make small, quality, interoperable things, and glue them together for as long as you need them.
Directory of premium Mac apps with student discounts
Looks like the AI is just playing against Starcraft II's AI, which makes this slightly less impressive, as I first thought it was against human players.

The SC2 AI on higher difficulties does cheat though (extra resources) so it does make it slightly impressive, but still a far cry from human opponents as SC2's AI is pretty easy to beat (it would be around Gold in ladder I think)
> Their point is to verify that the whole OS from kernel to userspace can't be modified by 3rd parties (such as you, the owner of the device).

Or, _perhaps_, someone who doesn't own the device.
Adventures Without Unpleasant Casualties
It seems there's a weird fetish in C++ land where non-letter characters seem more "pure" than words. I remember suffering from it myself, implementing atrocities like a subtraction opeartor on a path class which would give you the relative path between two paths. It made me feel very clever but I feel sorry for anyone who would have to look at my code now and try to figure out what the hell was going on.
And the OnePlus kernel and modem firmware are broken so much the maintainer of 3 and 3T LineageOS branches couldn't take it anymore.

https://forum.xda-developers.com/showpost.php?p=76423626&pos...

https://forum.xda-developers.com/showpost.php?p=76511525&pos...
I recommend to look at the following:

https://www.npr.org/templates/transcript/transcript.php?stor...

https://www.gapminder.org/tools/#$state$time$value=2018;&mar...
To take one of your examples that I happen to be familiar with: Wiles' proof of FLT. I can assure you that in the >20 years that this proof has been out, thousands of professors, postdocs and grad students have read and reread every line of the two Annals papers.

They have been the foundation of hundreds of Phd projects and the scientific merit and public fame to be gained by finding a gap in the argument is clear.

Actually I think breakthrough papers are least problematic when it comes to unverified claims in math.
Shared social perspective. The same thing - what we think other people think - is what most affects our behaviour about most of social reality.
I imagine this will get buried in the comments, but this brings up a separate truth that I have only recently begun to discover.

People just want company.

I have a tendency to assume that I don't have a meaningful relationship with someone with whom I have not spoken to extensively. Or, similarly, that they don't like me if we don't speak when we're together.

Something I've learned through traveling is that sharing silence with people is just as important as sharing words with them, and people like you either way. Sitting at a cafe or in a backyard having a drink quietly is all we need. We just want to feel acknowledged
An Analysis of the Atlassian Acquisition of OpsGenie
I don't believe you can. They will display the legal name of the individual or company. https://developer.apple.com/support/enrollment/
> These secure boot systems exist because of DRM protection to media that is mandated by the content companies.

That statement sounds too simplified. How about non-approved images pumping power upstream above regulatory limit on RF? Or overclocking the CPU? Or reporting all keystrokes to a place of your choice? Would you, as a manufacturer of the device, like to make that easily possible?

> Their point is to verify that the whole OS from kernel to userspace can't be modified by 3rd parties (such as you, the owner of the device).

What makes it impossible is not the secure boot but the fact that the _unauthorized_ 3rd parties don't have the keys for signing stages of the images. Some owners of some secure-boot devices, do have keys and sign their images. One example: a telecom operator, owner of its park of the set-top box decoders, does that. Secure boot can be made to allow several/many authorized keys.
That was actually a very useful link. I am somewhat disappointed that there is no standard for quality of articles submitted. I am so tired of reading leftist bleeding heart sob-stories on what is supposed to be an engineering news site
The quote is also further up the thread and I'm repeating my comment, but
how do you interpret the last line of the quote. The first line is how I see myself, the second how you see me, then from who's perspective is the last line?
It's interesting- in the Silicon Valley, hip consumer-centric startup scene, native is king. React Native is touted in a pinch; Flutter is the new flavor of favored cross-platform solution that is getting the hype that RN had. Yet I wonder how many firms in the larger world aren't just writing Xamarin apps, but apps using derided old hybrid solutions like Cordova/PhoneGap or Appcelerator.
Nvidia Vid2vid: High-resolution photorealistic video-to-video translation
Show HN: AI to make people smile for 4 seconds
The really interesting question is, was the author of the quote actually right at that time or not? Some generations are laziers when it comes to sport then others, some are more authority following then others.
How do Zig programmers using Linux or MacOS validate that their OOM handling is correct?
That's a rather ugly personal attack, which violates HN guidelines. However, for the record, since not everyone will already know all this:

A. I've been a member here for over 9 years. My previous handle was Mz. Some of the people asking questions know that I have an established track record here and are familiar with at least some of the following details.

B. I was molested for several years as a child and raped at the age of twelve. I'm quite open about that fact, as well as the therapy and infidelity and divorce that is part of my backstory.

C. I'm not advocating for infidelity. I'm also not going to automatically vilify people for it. I spent years reading all of the research I could find on the topic to sort my crap. It's usually not a black and white case of one spouse as villain and the other as victim. It's typically more complicated than that.

D. The last man I had intercourse with was my ex husband the night before he physically moved out the first week of May 2005, more than 13 years ago. I've been celibate for medical reasons ever since.

That fact has freed me of a lot of baggage from an unfortunate childhood and I no longer live in fear that "I'm really just a whore and was born such, obviously, which must be why grown men did unspeakable things to me as early as age 3 or 4."

At this point, I'm quite clear that I'm socially conservative and "the marrying kind."

My infidelity is not the reason my marriage ended. My ex is a good man who put up with a lot of crap because he loved me. He deserves a purple heart for what I put him through. He's one of the reasons I recovered from my childhood trauma and did not, instead, either commit suicide or end up in jail for some reason.
> My first guess is that the fastest route I can provide is Java through the Oracle's Java Programmer II certification and creating an original Android app for Google Play store.

Oh great, flooding the already low quality programming industry with even more "in it for a quick buck and I don't really care about quality" programmers?
Do you have an example of a beautiful language that adopted due to vendor stance? I cannot call C# beautiful. Perhaps Swift?
I got that too when i opened the tab in background. Chrome 70, console says:

Active resource loading counts reached to a per-frame limit while the tab is in background. Network requests will be delayed until a previous loading finishes, or the tab is foregrounded. See https://www.chromestatus.com/feature/5527160148197376 for more details

Works fine after page reload.
There are already a lot of suggestions here, I've added to my always increasing reading list this one[1] because, being based on Scheme (Racket to be exact), I'm curious on how a Lisp dialect compiler works internally.

[1] https://github.com/IUCompilerCourse/Essentials-of-Compilatio...
I've worked on private blockchain solutions for financial firms (in supply chain and commodity trade finance). The reason companies are doing these projects is because in a lot of scenarios no one trusts each other. Even if they do, there are not allowed to for legal and compliance reasons. As such huge parts of the industry are paper based. Because if there was a simple MySQL solution from a company they would have gone with that 2 decades ago.

The article talks about reasons for wanting a private blockchain. But I have never heard any of these reasons come up in any of my projects. I'm not sure what projects the author is talking about, but definitely not anything related to what most private blockchain projects companies are doing. That said there is a lot of hype in the space (not denying that).

You can make an argument that bitcoin in the whitepaper was defined as an open access system, and as such any closed access system is not a blockchain. Sure, but the developers on these projects (like me) are calling them blockchains nonetheless because most the of the tech is the same (except for things like consensus forming, you probably would never use PoW in a private blockchain).

----

Companies are looking into private blockchains because they allow for systems where not one party is in charge of all the data and the network. But they require more than an append only log.
Honestly; the HN community does a good job of self-regulating this behaviour.

The consensus seems to be against these types of comments, as they are more often than not at the bottom of the post.
Don’t underestimate the business interests of the people who have built up infrastructure on the east side of the water. There are several deep pockets who do not want their customer base to have easier access to markets in Seattle proper.
...and then there’s the giant ball of NIMBY/“preserving property values” that is Mercer Island...