skysight-inc/HackerNews huggingface dataset:
> I'm sorry but "less effectively" and "greater expense" is just your opinion

No need to be sorry, it is pretty obvious that it is my opinion, since I made no attempt to support the statement, that is all it could be. That said, it would have been more polite to ask me why I believe what I wrote rather than being dismissive.

> "less effectively" ... "greater expense"

I feel that in order for me to provide satisfactory support of my claim to you, we'll have to first agree upon a strict definition of these terms. You're right to call them out in quotes as my use of them was intended to be qualitative and informal. How about more "effective" development being development that is more focused on serving the needs of its users & the goals of its developers, and "expense" include direct monetary cost, manpower, and any other resources whose use incurs an opportunity cost?

> There is NO telemetry in Linux (the kernel) and many other great software.

1. As I mentioned above, my comment was informal. It was not intended to make a strong claim about all software, without exception.

2. Unless a majority of pre-internet software was developed as effectively and cheaply as Linux and the other software you were thinking of, it is possible that my claim is still correct in the general case.

3. Software used primarily by those who actively contribute to it (such as Linux during its early development) has a very different communication dynamic from other software.

4. Linux is not representative of software developed pre-internet, considering the project was first announced by Linus in the comp.os.minix newsgroup in 1992[1]

* To be clear, any additional claims I have made above are _also_ my opinion.

[1] https://www.cs.cmu.edu/~awb/linux.history.html
By trusting the people working here. Anyone can commit anywhere, so long as they get a reviewer. We ask the reviewer to punt to someone better qualified if they're not sure how to best proceed.
Why? This doesn't look like anything new. It's just a cut down, low power variant of old, existing tech (zen, 14nm, vega - we've all heard this story for the last 2 years). It's kinda cool, but it's not worthy of an event of any kind, either.

The article words it really badly for some reason. For example "dual quad-threaded cores" - except it isn't, it's dual dual-threaded cores, more commonly just referred to as 2c/4t. And calling it "triple vega cores" sounds cooler than the "vega 3" it actually is. Slightly faster than Intel's i3-8145U from Q3 last year (also 2c/4t), but same basic product & capabilities as those that have been on the market for years.

Only semi-interesting part is the dual 10gbe. Cost on that would be the interesting part if this suddenly results in a new lineup of consumer NAS products with cheap 10gbe options.
Again, reality - expectations = our reaction to what we see.

You seem to feel your version of expectations are better tuned so that when we subtract them from reality it is what you expected.

I see this as amazing. Again, that has to be because I see human communication more flawed than you do. And that is fine. Personally, I think you do a lot of hand waving when you say something like "there's always a jerk in the middle who changes the story to something totally different" and then just outright ignore that when talking about oral tradition maintenance. Especially when you consider wars, famine, mass migrations, etc.

But alas, it's different expectations and and given that you aren't amazed, your expectations are apparently more accurate (as long as those expectations were truly held before the proof was shown)
This is a really good point. The usage of the term really ads clarity to it's usage.

You guys - gender neutral.
The guys - gender specific.

I think a lot of people who are annoyed by the term guys don't like the fact that there is a word that has both gender neutral and gender specific definitions being used as gender neutral.

Dudes is another one.

Spanish has an explanation for this (which i think is what people are frustrated by).

Ellos => them male
Ellas => them female
Ellos => a group of 10 women with one man in the bunch
Why? Self-driving cars can already do those dozen blocks in Manhattan. And a lot more than that. The wait currently is to ensure every reasonable edge case is handled, and to understand the degree of safety.

And how does a wire in the road help avoiding pedestrians, bad human drivers, construction, etc? You still have to build intelligence into the car.
Github has the code owners feature. A pull request can't be merged until all the owners approve.
I just bought a house. Before turning on my PC (or even plugging it in), I set up my 7.1 system, including mounting most speakers to the living room walls. I swear that it sounds better than it did similarly set up at the old place (and that's not "it's better because I own it" sentimental BS).
The comment above you added a bunch.
Especially when it comes to Sony...
It's painful even on a 1 Gbit/s dedicated fiber connection. Most video conferencing tools just suck.
and where do you draw the line when moving from real world example to digital?

watching tv at home and netflix tracking everything about you?

alexa being actively used in your home to check the weather?

alexa and LG tvs passively listening in your home? and reporting back all the offline media you play?

google tracking what you search in your property (devices) in incognoto mode?

you using a mobile device that is technically owned by the wireless provider for another 11mo?
Even without the UK, English is probably the language most commonly spoken among EU member states.
Why Are Hollywood’s Writers Fighting with Their Agents? Let Li’l Abner Explain
W. Stein resigns from tenured position to work on CoCalc
Why do neutrons bound with a proton 'live' substantially longer?
What Is Machine Learning?
Often it's best to just express preconditions in the normal types. For example, instead of having a `head-of-list` function that crashes with empty input, define its input to be of type `NonEmptyList`.

Refinement types are also worth exploring in this space, as they appear to give a good power-to-weight. See Liquid Haskell, for example, https://ucsd-progsys.github.io/liquidhaskell-tutorial/03-bas...
Does this figure take population growth into account?
Estonia was under foreign occupation for 40 years. At the end of that period, it imposed a straightforward language requirement for ex-colonists to gain citizenship.

- It did not try to throw them out like many countries have done in the past.

- It did not simply keep them around as jus sanguinis countries do. I've known a person whose PARENTS were born in Switzerland and she doesn't have a citizenship.

So kindly let's all ease off on indignation before learning at least a tiny bit about a) Estonian history and b) how citizenship laws very in all our oh-so-advanced mature Western democracies.
Still, English is probably an easier pill to swallow than the French having to speak German.
To say nothing of a lack of cognitive energy to significantly alter the flow of cash/calories.
Not throwing shade, but since the comment you replied to assumed the availability of public assistance, did you find that to be available in your experience?
And William Stein (founder of SageMath) just quit his tenured professor position at UW to continue working on CoCalc:
http://blog.sagemath.com/2019/04/12/should-i-resign-from-my-...
I have seen highway patrol officers doing what I assume is this in California. They turn on their lights and zigzag across all lanes, preventing anyone from passing them. Then they gradually slow down to a moderate speed, maintain that speed for a while, and at some point turn off their lights and drive off at high speed.
Bryan Cantrill on Rust – Why He Feels It’s the Biggest Change in System Develop
Formal methods and "proving" "correctness" have not taken off because while they seem like a great idea, it's insanely expensive to do it for non-trivial software, and you end up with a provably correct piece of software that is still full of business logic bugs and which inevitably fails to keep up with ever-changing business processes.

I agree that software is terrible, and programming language choice plays a big role in what sorts of mistakes you can make, but I'm skeptical that attempting to write provably correct programs is a remotely realistic goal. Sure, it's possible to prove an algorithm, but the real world software systems that need the help--certainly anything that involves more than one process on a single CPU--have complexity that goes well beyond what can be modeled or reasoned about, much less be proven.
This book may change your mind about the apparent connection we may really have with our cosmos: "Cosmos & Psyche", by Richard Tarnas. It did this for a Professor of Computer Science I'm friends with. Tarnas published "The Passion of the Western Mind" about a decade prior, a book on history that's now required reading at over 100 universities worldwide. Can you imagine the shock and horror of established academia, who'd lauded this man with so much praise, only to see him publish a treatise on this heretical subject? It is a beautiful read. The current state of astrology is a sad one indeed, but it may have evolved to a greater degree of understanding had it not been tortured and killed out of our societies in previous centuries.
I increased my programming productivity with this one weird trick!
The reason why many "stateless citizens" don't get their EU citizen right is that as EU citizens they have to pay a visa to visit neighbouring Russia, with the grey passport they have they don't have to (Russia treats them specially.)

There is a procedure to obtain full citizenship, which includes a basic test of Estonian language. If you lived all your life in Estonia, the test should be pretty easy. Personally, I would wave it in many cases.

Many EU countries have much more difficult procedures to gain citizenship.
IIRC also the drone ship has active role in the guidance loop. ICBM targets usually don't do that.
Is there anything you could do with dependant types that you can't do with a number of types wrapped in an enum? A dependently typed variable should have the same memory footprint of an enum, right? Do you just want a different syntax, or am I missing something?
One tip is to not wait until you're ravenous to start eating. Another is to try and savour each bite, noting the flavours, letting the fat melt in your mouth, etc. And finally, counting the number of times you chew each bite is supposed to be effective, if not tedious.
Video: Amnesia: The Dark Descent’s horror relied on a bit of cheating
No car action anywhere that I can find.
Resubmitted later, with more votes and comments:

https://news.ycombinator.com/item?id=19672436
> Like, they'd cook you if they leaked out.

Nope, they wouldn't. The standing wave would break down as soon as it left the enclosure. It would still be a potentially harmful amount of radiation, but not like that.

And no, 24 GHz is not in common use. It's used for special applications, mostly highly directional tower-to-tower links (I have one sitting on my roof for a high-bandwidth HAM radio link). With 5G, it will be ubiquitous in an unprecedented way. We've already seen plenty of interference with 5 GHz.

Of course, there's a lot of fearmongering whenever RF radiation is involved, but there are genuine safety concerns.

Source: HAM radio operator
I wish Mathematica was more affordable. I loved using it as a student, but now I can no longer afford it.

A professional license costs 3500€. Which is probably worth it if you use it every day, but not so much if you just use it just once a month to make a graph or integrate something.

They have a "hobby" license for 350€, which is reasonable, but according to their license it can't be used for anything work related.

I think this is an issue with a lot of professional software. It's priced for heavy users and if you are just an occasional user, you are out of luck.
https://en.wikipedia.org/wiki/Oral_tradition

There's plenty of research and precedent for it.
A while ago "allegedly" was very popular with some TV news networks.

They'd take some pure BS story from the internet that aligned with their politics and report it as "allegedly" to sound fair... and then list out the lies word for word as they came from some conspiracy site and then just move on. They'd sprinkle their whole broadcast withe these tidbits. You couldn't help but get the impression that controversy and scandal was surrounding whomever the target of the day was, despite no evidence of any kind being offered.
I also think python is going to be around for a long long time. It has become the runaway favorite in the AI/ML space, and that space seems to be here to stay.

Even bigger for its staying power is the fact that I see it more and more as the language universities use to teach, which is obviously going to be a big boon for its popularity and staying power.
You'd still get kicked for high ping even if you sat right under the 4G tower.
No, not really.

I have contributed towards Chrome's implementation of PNacl and wasm a few years ago. Wasm is still not anywhere close to the capabilities of PNacl and has all the signs of a 'design by committee' specification. I will be (pleasantly) surprised if wasm gains more traction.
It depends on how the word is used. "You guys" is very different, for instance, than just "guys". As it happens, that's the usage in the title of this thread.

I'm not saying there's no reason to reconsider language choices. Frankly, I agree overall that this phrase and its derivatives should probably be slowly retired, if only to avoid the occasional confusion. My point is only that even in colloquial usage there are patterns involving "guys" that are clearly gender-neutral at this point and have been for decades.
Given that the current Playstation and Xbox are based on (more or less) the same AMD platform, is it reasonable to expect that the next Xbox will too (with an identical feature set)?
Trams have a human at the wheel at all times.
> - Ownership is only the point person of knowlage/direction/insights

this is such a key factor to preventing the toxic attitudes that can develop, imo.

At the end of the day, everyone who touches the code base is "responsible" for keeping the machine running.

Any team that favors blaming/shaming for bad code should be avoided at all costs. The mindset should be "what is wrong? How do we fix it? How do we prevent it in the future?" At no point should "who did this?" enter the equation, unless they are harboring some secret fix that no one else knows about (and this just points to other deficiencies in the process).
"The restored republic recognised citizenship only for the pre-occupation citizens"

You do recognize that the Russians invaded their land, killed their people, and occupied their houses, right? If that is granted, surely you recognize the reluctance to endow those same people citizenship.
As long as the Irish stay, there's a solid case.
To play devil's advocate: heads of state are usually ultimately in charge of these departments, and if some corruption were to be exposed by a whistleblower it might be bad for their re-election bid. They may see it as a potential way to self-incriminate, even if they personally had no involvement. To claim they had no idea is just as bad, it shows voters they are a weak leader who has no accountability in the departments they are ultimately responsible for.
The PS4 works fine as a 4K Blu-ray player though. Having the hardware to support 8k output means you have that covered when it becomes widespread
Most MEPs claim the maximum office allowance, with only a handful reimbursing the parliament for unspent funds. There is no requirement to provide invoices, receipts or any details on how the funds are spent.

The ECJ has even ruled that forcing MEPs to divulge how their allowance is spent would undermine their privacy.
I never said it was doing worse once. And it absolutely does snowball. A student who is a poor reader in grade school often falls further and further behind.

And grades are not "bell curved" shape. That's ridiculous. Do you know the average grade at Harvard for every class, it's an A.

That's definitely not Guassian.

Man made things like income, grades, stock market prices and home prices are not "bell shaped".

They are heavily skewed one way or another.

I would recommend you do a little research before making such patently wrong statements.
It's basically the Ship of Theseus thought experiment: https://en.wikipedia.org/wiki/Ship_of_Theseus
Where Suspicion Meets Reality: How Conspiracy Enters the American Mainstream
In fact it's an easier sell, isn't it? You're not adopting a language of one of the 4 major members, you're adopting the first language of a small member on the periphery (Ireland) that happens to be a second language of so many Europeans that no other European language comes close.
The same applies to painting replicas, and I think most people don’t mind if the original is kept for preservation and near perfect replicas are exposed/sold for viewing purpose in comfortable conditions.
Google blocks Chinese app TikTok in India after court order
It's not that hard to automatically prove that a large piece of software has no buffer overflows and no null pointer dereferences. We had that working decades ago.

Unless the code is in C. Then it's really hard.
After collapse of Soviet Union some Russians decided to not get Estonian/Latvian/Lithuanian citizenship thus staying alien. Their kids then also become Alien.
There are countless of programs to give citizenship and it is very streamlined and costs nearly nothing. Most of those aliens have identity issues and love Russia and Putin, however do not go to live there. Also because of such identity issues they hate Baltics and out of spite do not learn the language thus are unable to attain EU citizenship.

Sad story really, however Estonia has nothing to do with this, Baltics are doing all they can to help them - they just refuse the help.
Charged with conspiracy to gain access to a computer Manning already had access to in a hope to protect Manning from being caught. Expected behavior for a journalist, and a dangerous thing to consider a crime.
<strike>Still on the board and is the largest share holder. Your statement is patently false; .5ms worth of research is not much when you're making such a bold statement.</strike>

edit: Apologies; you were correct. Now is a good chance if anyone wants to update his Wikipedia page.
Agreed. Ada 2012 [1] and Spark [2] (an Ada subset with formal verification features) provide production-ready versions of most of these features.

Clojure's spec [3] is also promising for better specifications and more automated testing

Over the past decade or so, we have seen many mainstream programming languages adopt functional programming features. My hope is that more mainstream languages adopt preconditions, postconditions, invariants, and useful formal verification features. There are so many more great tools that could be used to build high quality software than unit testing.

[1] https://www.ada2012.org/

[2] https://en.wikipedia.org/wiki/SPARK_(programming_language)

[3] https://clojure.org/about/spec
I prefer the term SME (Subject Matter Expert) over owner.
Anecdotally, I can say that there is a strong distrust of Russians stemming from the various occupation of Baltic states as recently as 1991. [1]

[1] Source: My wife's estonian grandparents
"The Citizenship Act provides the following requirements for naturalisation of those people who had arrived in the country after 1940, the majority of whom were ethnic Russians: knowledge of the Estonian language, Constitution and a pledge of loyalty to Estonia. The government offers free preparation courses for the examination on the Constitution and the Citizenship Act, and reimburses up to 380 euros for language studies."

Correct me if I'm wrong, but I don't see anything particularly bad about this policy. Considering the fact that the Baltic countries were under Russian occupation for a while, I don't have much of a problem with them making those Russians who decide to stay learn the language. This is coming from an ethnic Russian whose family used to live in Latvia, and who now resides in Canada - learning English was also required here since I wanted to obtain Canadian citizenship.
An extremely handwavy explanation would be that they do not: the neutron decays into a proton and other stuff. That other stuff is captured by a proton that becomes a neutron. This is borderline metaphoric, but it gives a gist of the physics.
As a nice complement to GLFW, there's also bgfx which can be configured to use GLFW:

https://github.com/bkaradzic/bgfx
Most people don't come close to hitting their cap unless they accidentally update their 200mb apps on the data connection.
> can you type *{@ without looking at your fingers?

No, but I would love to! Thanks for your comments. After thinking about it, I'd be willing to lose some speed (if at all) if I never had to look down to type ()=>{};

I'm a bit hesitant to use programmable layouts/layers. I already sometimes type 'jj' in MS Word because of Vim. I'm slow in context switching.
You can get a sense of scale from mountain landscapes or city skylines. As you get closer to the city, you get a better sense of scale and size based off of how much the city has grown or shrunk.

The moon is very far away, but it DOES grow and shrink as it comes closer and further away from us. Using the size differential, you can get an innate feel to the size of the moon. Technically speaking, just driving towards (or away from) the Moon will have you traveling closer / further away from it, and give you a sense of scale.

https://en.wikipedia.org/wiki/Lunar_distance_(astronomy)#/me...

The next time you drive to a major city or large, recognizable landscape, keep an eye on how big and small mountains (or buildings) are and how quickly they move parallax to the foreground. It really does give an instinctive sense of scale. Train this instinct well enough, and you can use it on the moon.
> Is there any reason why someone who is more interested than me in becoming a head of state may think otherwise?

Corruption is the obvious one. Keep in mind that running for elections has a cost, people that pay for it are more likely to expect to gain something in return.

There is also the non-obvious but still existent problem of the Law simply getting in the way, so decision makers try to act outside of it.
These are beautiful and geeky. They would look good on office walls.

I would play with palette and maybe even make variations of color available.