skysight-inc/HackerNews huggingface dataset:
Erm, GCC is a huge problem for cross-compiling, because it's compilation target is determined at compile time. I mean at GCC compile time. You have to recompile GCC to target a different machine.

Clang isn't broken like that, and for clang you are right that the issue is normally dependencies. Again GNU's libc is kind of broken.

Cross compiling with Clang and Musl is not too bad.
Ask HN: Profile and optimise OpenGL programs under Windows
First of all I have an application using OpenGL where I habe eliminated all the obviously slow parts and I am wishing to optimise it further but jave literally no idea where to spend my effort?

How do you profile and detect where to spend your optimisation time for your OpenGL programs, shaders, etc?

What tools do you use?
Has anyone contacted you about licensing for a mobile port? Seems like it would be a good match for a more casual pseudo rts (in terms of no tech trees or damage stats) where you could have multiple games going at once as you wait for responses.
I’ve seen the email sent to aaomidi, and it didn’t say that. It’s possible that they revised the notice after receiving complaints, but the initial batch was worded rather harshly without any indication that it was possible to appeal.
Making Customers Feel Seen in an Omnichannel World
How ‘Baldur’s Gate’ Saved the Computer RPG
You shouldn't need to wait 30 seconds on any change to a Java app. It supports incremental compilation. My own projects usually take 2-3 seconds to recompile and launch, and they're large.
Do you have a blog or somewhere you talk about the architecture of the platform? I suppose you're making use of Kubernetes in docker?
He recognizes vegetarianism as ethically good while also recognizing that pushing those personal ethics on others often results in a net bad.

That's how I read it at least, and it sounds like a responsible way of handling personal values.

That said, if we do want more people to be vegetarian, then instead of simply making minimal hassle for others, we could also take the opportunity to proactively educate in a caring manner.

If we want a vegetarian world, then instead of scrounging for sides at a dinner party, we could redefine the party to be a collaborative cooking one, or we could try to do more potluck, or we could be more proactive about choosing the meal venue.

Those options take extra effort and aren't even possible a lot of the time, so I feel like OP's non-aggressive stance is a really respectable default.
How do you live with the fact that you're married to and directly supporting a carnivore?
If you've been following the news for the past few months or years, you should know that this conspiracy theory has a higher chance of being true than not.
> Um yeah. The Fed hiked the rates and thus crashed the economy. Some are speculating that they crashed it on purpose

Seriously? I mean, look at inflation expectations - they're not that low! Late 2018 does not look anything like late 2008 - you may think that the Fed should be a bit more dovish still, but they're muddling through.
Look into the Coq language, it is under active development and there is a lot of work going into it. Voevodsky was working in Coq, if I recall.

As to how hard it is to learn, you will have to learn a pretty decent amount. It all depends on your background. If you know what the Curry Howard correspondence is, you are in relatively good shape. If you've never heard of lambda calculus or first order logic, you may have some more work cut out for you.

Here is a nice article I read last night on explaining the move from set theory to type theory. It gets a bit technical but you might be able to get something from it.

https://golem.ph.utexas.edu/category/2013/01/from_set_theory...
Yeah, it sure did.

Whoops, sorry, forget I said that...
I really wish you would have an implementation of DbScan as well.
This list is by actual deaths during the year, not a prediction of future danger or government policies. The US is on the list this year because of a mass shooting at a newspaper.

The full PDF report is much more interesting than the article. https://rsf.org/sites/default/files/worldwilde_round-up.pdf

The report also notes that worldwide journalist deaths are down, and for the first time in 15 years, no journalist deaths in Iraq.
Are you thinking of starting a new cannabis business?
The answer: development time and runtime safety. You don't want your HFT system to blow up with a seg fault when the stock exchange is crashing.
These speakers could well be built without the ability to spy on you. However they aren't, and this should tell you all about Google and Amazon's motivations. Also, they could easily charge 2x or 3x the price they currently do and still find plenty of takers. The fact that they chose to sell it as a loss-leader is also telling.
>The US is on the list this year because of a mass shooting at a newspaper.

The Annapolis shooting to be precise.

>Meanwhile, the shooting deaths of five employees of the Capital Gazette newspaper in Annapolis, Maryland, in June propelled the United States into the ranks of the most dangerous countries for the first time.
I haven't seen it either. In fact when I saw that the parent comment was flagged I thought that it probably called out the HN crowd for being too right wing. I've seen far more right-wing comments than left-wing - particularly when the James Damore stuff was hitting the news.

And re "antifa" as a pejorative - I think it's only really used that way among the Fox news or Infowars crowd. If those guys want to come out as "anti-anti-fascist" then there's a much simpler term they can use ...
Is this true on even x86? On most platforms[1] misaligned access will simply crash your program and you definitely will not execute faster (but you’ll probably terminate faster). On x86 you’ll pay a hefty penalty for the misaligned access and I would expect that it likely costs more than the cache optimization saves (but maybe not).

Of course you can probably optimize your struct packing anyway. Shuffling members around can get a lot of benefit without a bunch of internal padding, though you might still have some trailing padding.

[1] I guess these days the platforms are essentially just x86 and ARM.
I also want to urge anyone with even just a fleeting interest in mathematical topics like this to go out looking for said BBC documentary. It's a marvelous portrait of the characters and backstories behind this proof.
In addition to NHS.UK there is the Empower the Person programme that is all about supporting patients to access the right service first time. Have a look at www.nhs.uk/transformation Recent example of improvements shows a GP Practice reducing many weeks wait times for GP appointments to a day or two by introducing triage and Online Consultations. There is also 'channel shift' by pointing patients at more appropriate services: 111 Online, Community Pharmacist etc
Yeah, I'm extra happy I have my Amazon Echo now, if it also works as a way of preventing paranoid conspiracy-theorist lunatics from interacting with me!
At OPLSS 14, Andrew Appel characterized programming in Coq as the world's best video game, I would have to say it's a close second.

I recall it was accessible if you had programmed in an ML, start here: https://softwarefoundations.cis.upenn.edu/
Repeating the same reply near verbatim doesn’t make it any more untrue, it just proves to other readers you have an agenda to push.
I find that "hack" is simply a sort of close approximation to "jugaad", though this may just be entirely through the cultural context where it's used.
Let me help you understand what OP wrote. It is not that difficult.

OP's goal as clearly stated has nothing to do with living with his parents. He wants time to follow his personal projects. When he was living with his parent he was able to do those projects. But now that that's no longer possible, he wants to regain what he lost in terms of free time and responsibility so he can get back to working on his personal projects.

We can end this discussion right now. I have nothing else to say to you.
Ask HN: Learning resources about computer architecture
Hi HN,
I want to learn about computer architecture not just processor: stuff like how does processor communicate with hard drive/network card/graphic card? How do buses work?
Thanks
You can't have it both ways. End to end encryption or open groups with censorship by moderation, pick one. This is a side effect of private clubs and private online communities. While I don't condone the behavior, we need to get more creative on how to police this than putting in place mechanisms for violating everyone's privacy, which is just lazy and dangerous.

It's hard to read some of these stories without ignoring the current surge of schadenfreude that writers are capitalizing on.
Apple's $1,199 Blackmagic EGPU Pro Now Available for Purchase
A strange response considering you’re not the only person on the Internet. You didn’t post any alternative, and if you had, it would probably have the 1% of the install base of PHP. Remember that most people hosting this thing aren’t going to be setting up their own VPN and Linux. In fact, even YOU don’t do it, you probably will just use AWS creating MORE centralization in “the cloud”. That’s pretty hypocritical. Meanwhile the LAMP stack or NGinX + PHP stack is widely deployed on the web. And many of the installations have the latest PHP. What is less secure about the latest PHP than your favorite language?

Finally, about being modern and chasing trends. Wordpress is not modern but it powers 1 in every 3 websites. Ghost is modern and is used on 0.1% of websites. Thanks but we’ll pass.

I am not even sure how PHP is disrespectful, so I’ll leave that one alone.

If it makes you feel better, we are also working on an app hosting the whole network from a random computer or a mobile phone on a local network.

[1] https://serverfault.com/questions/922074/list-of-most-popula...

[2] https://www.quora.com/Is-Node-js-killing-PHP
Facebook Alternatives
https://en.m.wikipedia.org/wiki/Capital_Gazette_shooting
Show HN: Increase your revenue and sales instantly, Fix your website now
Outlined: https://outline.com/Yb8sLG
This is something I have been asking myself over and over for a while now.

Personally I believe that the mentorship we are looking for comes in many forms such as:

* articles
* blog posts
* books
* podcasts
* videos
* tutorials
* conferences
* live streaming
* IRC channels / slack / you name it
* meetups

When you cover all this, it makes it easier to become your own mentor in a way and challenge yourself with topics on niche that interests you and feel confident enough to ask questions, no matter how silly they may sound.

Most of the time, my goofy questions provided me valuable feedback by so many experienced people that blew my mind with the availability of options we have.

The more you know, the wiser you become.

The wiser you become, the calmer and more confident you become.

I still have a long journey ahead of me.
Planes can fly without GPS.
I’m assuming the OP meant that there is a higher likelihood of SSO strings (24 bytes)§ being in the same cache line (64 bytes)§ when they are stored in the same stack frame.

Two small strings allocated on the heap at different times have a lower likelihood of being in the same cache line. Even within consecutive mallocs the addresses might not fall within the same line. Unless the memory is allocated exlipicitly for locality, there’s a higher likelihood (>=0) that memory fragmentation causes the allocations to be split on different lines.

Ultimately, this can be controlled on either the heap or stack, SSO seems to be optimizing for the stack case, which probably works pretty well for most cases (especially for oblivious developers).

§ on recent x86-64 processors
The challenge is that without regulation you get $5 life-saving shampoo hacks, but you also get lots of shake oil that is useless or harmful.
Aaaand the privacy advocate community collectively goes "Here we go again" all at once.
I tried to find out the name of the manufacturer of the low-flow oxygen delivery approach recommended by WHO, but couldn't. Anybody else able to figure it out?
Assume photogrammetry was used to reconstruct moves 1:1 from your original performance, do you still think its ok?
In that regard nothing matches commercial Common Lisp environments or Smalltalk.
As a celiac, I wish it were more common.

Celiac in the US shockingly misunderstood. The current gluten-free fad doesn't help.

Of the places I've visited since being diagnosed, Italy was BY FAR the best for eating out while celiac. Rome has some of the best gluten-free pizza. Florence was no slouch. And if a restaurant is not comfortable serving you (small kitchen, impossible to clean properly, not trained, whatever), they'll tell you up front so you can go elsewhere.
> I suspect that in order to access any character index of a given string you must access the entire string and then the specified index. The longer a string the more indexes there are from which to access.

Are you saying that you believe accessing a single character (index) requires reading the entire string? This is incorrect. In C, you might have to read the first N characters in order to read the N+1th character, but that’s a bounds-checking cost due to null-terminated strings(and is avoided if the length is known). And in any case, you need not access anything past the character you wish to read.

The article answers the question. It’s a well-known locality effect.
Are ICOs dead? “if you’re not a solid project, you’re just not raising funds”
This is The Economist. I doubt they use any AP material. They also get nearly all their revenue from subscriptionz, not ads.
Bandcamp, not eMusic!
Unfortunately the source link on that wiki is dead, but a different source:

”Many witnesses and defendants later said they were pressured into making false confessions and accusations by caseworkers from the Washington State Department of Social and Health Services (DSHS) and by Wenatchee Police Department Lieutenant Bob Perez.

All who confessed later recanted. Some defendants said that when threatened with life imprisonment, they pled guilty to lesser charges. Some said they were told that if they confessed they wouldn't go to jail but would be treated in the community. Many were told they would never see their children again unless they signed a confession. Those questioned also said they were told that their children wouldn't be placed in foster care or put up for adoption if they signed confessions.” [0]

Considering the entire contextual insanity of this case, the obvious and absolute hysteria which surrounded the entire case, the biased and careless ways the cases were handled, the decision making processes which happen when someone must choose between life in prison or lesser charges, the literal thousands of charges which were dropped/overturned, and perhaps most disturbing of all—the way that dissenters were suddenly brought up on charges, I have no problem sticking by my original statement:

This was mass hysteria.

[0] http://www.historylink.org/File/7065
An amazing (word of a number theorist) documentary from the BBC's Horizon program: https://www.dailymotion.com/video/x223gx8
You can see Wiles crying when he talks about his work.
Ask HN: How much is known (with certainty) about the Moche culture?
Drop in a buckek, more important question is are they still being kicked out of NY? or was this a bribe?

https://arstechnica.com/tech-policy/2018/09/charter-negotiat...
It's blacklist vs whitelist. Servers should only have a whitelist.
The page containing the pointer's value is needed, not the string.
SpaceX's Starlink eyed by US military as co. raises $500-750M for development
Huh? I guess you mean short strings are stored in the string object rather than separately allocated. That memory will only be on the stack if the string itself is...
Another approach would be: https://www.manning.com/books/type-driven-development-with-i...

If you are a programmer who hasn't touched any functional programming, this would probably blow your mind all over the place.
The first few lines of the story make it clear that there is not (necessarily) some physical seizing of computers going on here; it is the data that are being intercepted, monitored, and decrypted.
Breathing oxygen is harmful when taken to excess. Try breathing 100% oxygen at 33ft underwater and you very likely won’t live long. The point I’m making is something can be BOTH very vital to our health as well as a cause of death if misused. Hence outright prohibitions of things that “can be bad if misused” is just silly.
In addition to Coq that other commenters mentioned, there is also a family of proof assistants based on higher-order logic. Isabelle/HOL[1] is probably the most widely used prover in this family, which also provides a great deal of automation compared to other provers. For example, it has been used to verify the seL4 microkernel [2]. As for introductions to the topic, I can recommend "Concrete Semantics" [3] which introduces the reader to Isabelle/HOL generally and shows how to model semantics of programming language and prove properties about them.

For Coq, a widely used book to get started is Software Foundations [4] which is also focused on PL semantics.

[1] https://isabelle.in.tum.de/

[2] https://sel4.systems/

[3] http://www.concrete-semantics.org/

[4] https://softwarefoundations.cis.upenn.edu/
A New Center Being Born
So are you guys going to change or put an asterix on the front pages "Get private, secure, ad-free email hosting for you or your business" claim? :)
WRT Russians and celiac - I know celiac disease is far more common in western Europe than Asia. I'm not sure where Russia fits into this, being in the middle of the two. It's possible they simply don't encounter celiac at the same rate as in the US or western Europe.
Your claim was the charges didn't stick, which doesn't seem accurate
> the state senator that is the author of this bill recently sent a tweet to someone telling her to kill herself after she posted pictures of him parking his car illegally. He's also had multiple road rage incidents.

Perhaps someone should amend that bill to also apply to motor vehicle ownership.
Starting March 15th, 2019 Slack will drop it https://get.slack.help/hc/en-us/articles/115002037526-Suppor...
Please revisit that linked article. There is an Editorial note there stating: "Editor’s Note: This piece was written in response to a story published in 2013. As of 2014, Boyan Slat has conducted a feasibility study for the Ocean Cleanup Array and published a 530-page report that addresses criticism – check it out here."

[0] https://www.theoceancleanup.com/fileadmin/media-archive/Docu...
I thought the point of solar roads wasn't that they were more efficient than, "just putting them on buildings or the sides of roads" it was more of a way to utilize otherwise "wasted space". As in, when you're laying down a new road why not add some solar generating capacity as just another thing you lay into the pavement just like those little reflectors or paint.
Yeah it was irrational and nonsensical to keep hemp out of markets for so long in the war on plants, but the upside to that is there are many market uses for it and will provide explosive growth in lots of sectors and jobs in the economy. Hemp legalization definitely challenges Pharma a bit but hard to stop market opportunities and benefits, they will be in on it but hopefully not cornering the market via bribes/force.

Production (farmers and eventually more products/companies/uses), consumers, the environment and the market love the product, finally free to innovate. Hemp shall get its revenge after being thrown in the Château d'If and locked up for no reason, it is coming back as the Count of Monte Cristo to exact revenge and take over.
I agree with you, but having the Mono interpreter (which does not have the same issues) fully work for mobile (Xamarin Android/iOS) and desktop (it is with --interpreter) and web (it is with Blazor) would make life easier for this kind of mainstream development.
Where can I find this lecture please? It is the kind of thing that would really motivate me.
/s
Here you dropped this
Marry Christmas and Happy New Year Decoration Ideas
Blueprint for a more accessible internet
Ummm, that is exactly how password cracking works.

The fact the reporter actually went the extra step to crack some of the hashes is impressive reporting actually.
I've researched this some a few months back. I don't blame you for saying that Java is wrong for HFT. My first reaction was the same, but there's much more to it.

Java has a few things going for it in HFT. The obvious pluses are it's mature and memory safe. What's less obvious is that you can make it low-latency. It takes a lot of work, but it's doable, at which point you have all the nice things: mature ecosystem, speed, latency, safety. It takes a lot of work, because Java was always oriented towards server use cases, as in high-throughput, not low-latency. That's changing by the way, there are two new GC engines coming out that are low-latency oriented. Also, there's been third-party JVMs with low-latency guarantees for quite a while.

Of course, what's between the lines is that there isn't any easy answers for HFT people. You either choose mature safety and do gc gymnastics (because everything is throughput oriented), or you choose manual memory management, which is its own gymnastics.

Anyway, that's my take. I welcome input and contradictions.
As long as you don't cross a cacheline boundary, I don't believe there is any misalignment penalty on recent x86/ARM processors.
This is not as easy as some comments here imply. Basically, there are 3 popular languages used for this in a academia and the industry: Coq, Isabelle/HOL and Agda. They're all extremely different languages doing different things (but their end goal is the same: formalizing and automating proving). Coq and Agda are intuitionistic by design, you need assume lem to be classical. Agda has a Haskell heritage so it's purely functional other two are more "procedural". Coq has 2 languages built into it, a tactic language and a language go write types in.

Anyway this is one of the hottest research topics in CS. I know we keep seeing deep learning papers all the time, one might think this is the only thing happening in CS world. Currently it is nowhere near easy to formalize a complex enough theorem in a system like this. Good news is there is a large chunk of certain theories (like homotopy theory) already formalized for you, so you can go ahead and use them as libraries.

The biggest challenge is mathematics is written for humans, it is not meant to be formal. When you formalize theorems you start proving smallest shit you'd never have thought that would need a proof. You even need to prove things like what it means x == y and that for all x, x==x. There is no AI involved in this currently, so it's a very manual, intellectually complicated and long process. These systems have a proof finder built into them which performs a tree search with heuristic to help you, this usually makes manual proofs easier, but usually only marginally easier and you still have to micromanage your proofs.

Keywords you can search: automated theorem proving, dependent type theory and homotopy type theory.
Interesting read. Wikipedia recounts the tale as well - https://en.wikipedia.org/w/index.php?title=Fermat%27s_Last_T...
I think that because it's basically unmoderated you either get:
1. Posts that are usually removed elsewhere stay
2. People who would otherwise go elsewhere (because their posts are removed) stay.
But it is incredibly problematic.
There is the ideological argument that a lot of regulation comes out of Congress ceding its lawmaking authority to un-elected and largely unaccountable Executive branch officials. So it's not necessarily a desire that the regulation not exist, but that it come out of Congress so there are faces and names attached to it.

And while some regulation is certainly a response to bad actors to say that "nearly all" of the tens of thousands of new pages of regulations written every year are that is going to need some sort of citation.