skysight-inc/HackerNews huggingface dataset:
The point of the article is not to talk about low-level specifics of some language, apart, from, maybe, Lisp sometimes. But, surely, not C++ (although, if you could provide a link with a good and accessible explanation of the differences of the 2 styles I'd add it as a reference for further reading). Stil, I don't see that fundamental difference that you mention. If the differences originate from the points that you listed in the original comments can you, please, make the link more explicit? I understand pass-by-reference as being a slightly higher-level and safer C++ alternative to C's direct pointer-based style. But, surely, I may be missing something. But, it seems that the people who answered the SO question I linked are also missing it. For example, here's a quote: "Basically, references and pointers are not very different from an implementation point of view, the main (and very important) difference is in the philosophy: a reference is the object itself, just with a different name."
I can't imagine this with a straight face, but I do think you're a safer driver for it. I imagine an accident like that would rapidly change that. Even a small fender bender changes my driving rapidly for a good period of time. Too bad I can't get over myself :)
Except a Roomba is much more limited than a human maid even in the constrained task of vacuuming the floor. And for a self-driving car you do need human levels of performance. Nor can you cheat and redo the infrastructure to accommodate simpler system like with home automation (ie: replace light switches withe relays).
Tools every programmer should know
Green names indicate newer accounts.

This is so that established users can provide friendly, helpful, advice and pointers to features of HN.
Wow, JetBrains has a whole HoTT and Dependent Types Research Group: https://research.jetbrains.org/groups/group-for-dependent-ty...
Always ignore intention. Either a device sent data to china (etc) or it didn't. Otherwise you're concerning yourself more with PR than the technical aspect. I don't care why the process allowed exfiltration of data.
Which is relatively trivial to do with He3, which is rather the point :)

He3-He3 fusion produces no neutrons, so it requires no mass shielding. The energetic particles that result are electrically charged, so their kinetic energy can be directly turned into electricity, which further adds to efficiencies and avoids all the real engineering problems that come from coupling power generators to the fusion plasma in some way. The ignition temperature for He3 fusion is higher than the traditional D-T fusion, but it's a heck of a lot easier to achieve high temperature containment when you don't have to worry about things like shielding, and that shielding becoming radioactive from neutron bombardment. A great deal of the engineering challenges that plague D-T fusion simply don't show up in He3 fusion.

However the way that you get He3 in large quantities, on Earth, is through D-T fusion. So He3 fusion being easier doesn't help much because to get the fuel you have to do the harder D-T fusion first... unless you go to cold traps on the Moon, or mine the atmosphere of Jupiter/Saturn.
"crypto" means cryptography, not cryptocurrencies. Please stop appropriating the word.
I’ve noticed the same with their notifications. As of right now, I have 1 notification. I will open the menu and see there’s not actually anything there. The badge then goes away. Refresh the page and it’s there again despite not having any notifications
Ask HN: Is it worth exploring Flutter for cross-platform mobile development?
Octopus is a pretty common foodstuff in Mediterranean cultures - I've seen people eating it in Spain and Greece.

Edit: I was never very keen on trying it and the one time I did I was rather ill for a couple of days after.

Edit2: I've since learned how smart they are so I wouldn't dream of eating one again.
Sort of seems like you didn't read your own quote:

"When e-scooter usage replaces average personal automobile travel, we nearly universally realize a net reduction in environmental impacts."

This is not the same as "actually worse for the environment than privately-owned ICE cars", and I'm guessing you've got a reason for your FUD?

I ride electric, too. Mine is charged by solar power. Sure, it took a lot of carbon to get my systems in place - but that's still 100x better than the daily emissions I'm no longer producing.
Did she even say that? What is the direct quote?
Austria. Thanks for working so hard to make this happen, looking forward to pushing offsite backups to you in the future ;)
1) That's a pattern match. Nothing to do with pipe
Everything is a technical problem.

Armed police drones in the right spot could solve the problem, even if we do not want that for other reasons.

But everything is a technical problem.
An application can be designed to communicate over more than one protocol. There is more than one transport protocol used on the internet. For example, the UDP protocol may be used for for P2P / mesh networks. Applications that support UDP may also support TCP. TLS runs "on top of some reliable transport protocol (e.g., TCP). UDP is not a reliable transport protocol. There are also transport protocols other than TCP / UDP [1].

Anyway, if you are making your own mesh that does not require you to have access to an ISP, then maybe you make that mesh over something other than IP. If you did use something other than IP, that would not prevent any of the nodes from including IP in their networking stack. In that scenario, a human user of the mesh might believe that they are completely off the grid / internet, but surprise, all their traffic or leaked metadata is actually being aggregated over the internet because one of the nodes is connected.

I mainly brought this up because it popped into my head and I thought it might make for an interesting discussion. Also, because I have thought about making a distributed mesh network that does not use IP where nodes communicate via HAM radio.

[1]: https://en.wikipedia.org/wiki/Transport_layer
There's also Dale [1].

[1] https://github.com/tomhrr/dale
I misread Karazhan... What the fuck is the Violet Eye up to now...
No Terrorist Is a Lone Wolf
Apple to Give Security Researchers “Special” iPhones for Bug Testing
LIDAR prices have declined and are going way low-budget now.
Arabic, Turkic, Persian, Moors.
Porting the Basilisk II Classic Macintosh Emulator to the Browser
> It is quite shameless, here is an awesome volunteer run basic service project, and this is a Blockchain rent-seeking VC startup.

You're implying that there is something shameful with providing a market for connectivity which allows for people who can't afford to work for free to participate. What is shameful about this?
Apple Shares Series of Videos Explaining How to Use Apple Card
British Airways passengers facing delays after IT failures
I think the author is describing a symptoms of an ill organization structure rather than the root causes. The reason why there is no trust, sharing of information and centralized authority in modern Arab state armies because Arab societies never really transitioned successfully into a functional nationalistic countries. Arabs never really believed in nation state and in the absence of strong bonding narrative, there is no common ground for the group to collaborate and fight thus you end up with individuals seeking their self interest and subsequently the symptoms which the author observed.

Modern nation state concepts were forced into a region that is predominantly tribal and religious in culture therefore the resulted states, governments, armies and other national institutions are merely a superficial layer on top of a largely religious, ethinic and tribal societies. The west had a long and painful (400 years plus and two major wars) transition from societies dominated by religion to a national secular societies and eventually a capitalistic global societies. That transition never really took place in the Arab region, instead what happened is that western society tried to force national borders and proxy presidents after the world wars on societies that didn’t have the cultural foundation for it and the region has not really managed to reconcile, unify and agree on it’s identity ever since.

So why do arabs lose war? Because really there is no state or reason to fight for it. This was very clear in Iraq when fighting ISIS, the men of the country only mobilized after a religious greenlight from a senior clerk despite the fact that ISIS were at the border of the country's capital.
Wow, I am delighted to see this!

However I cannot find a precise reference for the chosen type theory.

E.g., is univalence a theorem in their type theory? I presume it is given that they say their language has "syntax similar to cubical type theory" but I could not say for sure.

What I'm looking for is a reference containing the actual typing rules, like this one for Coq:
https://coq.inria.fr/refman/language/cic.html#typing-rules

rather than the syntax of the language used for building these terms.
It is a propoaganda account -- recently created to convey the message: "Everything is fine, everything is OK, nothing fishy has happened in Kazakhstan, now move along nothing to see here..."

"And if we force you to install our certificate again, don't trouble yourself, its to fight 'digital weapons' you know..."
Thank you for your answer. It's good to know that dealing with freezes is not a problem only faced by newbs like myself.

Re: playing video, for some reason I can't play South Park on either Firefox or Chrome. Videos on twitter also won't load with Firefox, though they work fine with Chrome.
> They were doomed with Amazon’s relentless price cutting and marketing. Either they sell or they’ll become worthless. You can say they have a choice, but did they really?

So they've provided a worse service? I'm fine with it, if it means lower prices.

Of course they had a choice. And not only "to sell or become worthless", but also invent or innovate, as Amazon did, when it swallowed a huge chunk of Walmart's pie.

I don't know if Amazon is good or bad, neither myself nor anybody around ever used it, but if its service would not be good enough, any competitor could easily use it to conquer the market (as Amazon itself did), until Amazon would protect itself via regulatory capture.
Since when EULA's are above laws?
It was a nice idea until the website mentioned block chain...
Feel worse for the people that didn't make the transition, they typists and secretaries that were no longer needed and the clerks replaced by excel.
And reducing emissions massively, to boot.
Not to mention the constant image processing going on in the background. I wonder how it'd affect battery life / fan noise.
which basically removes cookies and other metadata.
Prince Malchezaar should have the answer
I don't see any qualification of on/offshore, which presumably is a pretty important omission?

Even though one can probably make arguments about the impact of offshore fracking on public health, surely (at least) also a whole class of impacts relating to the human habitation around/above the fracking area (methane leaks, earthquakes, groundwater contamination etc) are not relevant.

I'd be interested in a pragmatic study that calculates the net benefit of fracking. Some of us don't want to go back to the dark ages, and like not being dependent on nasty regimes to keep the lights on. And before we start fetishing the environment, consider the pollution and hazards thrown out by a volcano, of which there are many on the earth's surface.
By that line of reasoning it might be good etiquette to make assumptions about an article and the contents of an article provided that one does not include a disclaimer about not reading the article :-P

I did make the disclaimer that I have not read the article for the sake of transparency and humility. I probably will later this week, but the only spare time I have has been spent responding to this thread :-P
Totally.

I would pay higher for a laptop with directed sound, so that at open offices (or public place) I can watch one off videos (typically for reference) without getting into hassle of wearing headphones.
That's still too many steps - the trouble with bi/tri-lingual life is you often interject words (places, addresses, proper nouns) in the local language into sentences in any of the other two languages.

Constantly opening and closing settings dialogs gets on your nerves in the long run.
That scatter plot is terrible - don't use light coloured dots on a grey background.
> I'd gladly pay $15 a month for a service that really focuses on quality educational content.

https://curiositystream.com/ starts at $2,99 per month. (Not affiliated, but I've heard good things about it.)
What a witch hunt. This is akin to persecuting people for their politics.
I have a small framework I built for developing small web apps faster and it also has a translation engine very much like this, basically what it does is:

<span class="text-muted">$T(Detajet e blerësit)</span>

and it translates it to:

buf.WriteString(T(`Detajet e blerësit`))

T is a function that takes a string and returns a string from static map that gets built when app starts or when somebody translates a label.
Learn to Code with 6 Programming Resources
I think precision always matters in writing, especially science writing. If the author of the article is making obvious mistakes, it's reasonable to wonder whether they're making mistakes I am not qualified to spot.
https://www.globalresearch.ca/growth-renewables-stalled-inve...
And here's another quote from this very much upvoted answer (https://stackoverflow.com/a/596750/977052): "A reference can be thought of as a constant pointer (not to be confused with a pointer to a constant value!) with automatic indirection, ie the compiler will apply the * operator for you."
While the Trump government has taken things to extremes for our time, the US government has a long and storied history of genocide [1], forced relocations [2], mass deportations of citizens [3], and internment [4] that doesn't get washed away just because Trump is the leader of the day.

Also worth mentioning that several of the horror stories that hit the news during the Trump administration happened under the Obama administration. Yes, Trump is significantly worse, but one administration does not achieve this level of viciousness this quickly unless the way is well and clearly paved.

[1] https://www.history.com/news/native-americans-genocide-unite...

[2] https://en.wikipedia.org/wiki/Trail_of_Tears

[3] https://en.wikipedia.org/wiki/Mexican_Repatriation

[4] https://en.wikipedia.org/wiki/Internment_of_Japanese_America...
> This is laughable to me. To be in the frame of mind to need or want to shoot up in a public bathroom is not the same frame of mind to use a sharps bin to dispose of a needle.

If you provide sharps bins they tend to be used.

They do this in Sydney, and there are maps available to show where the bins are.
Thiel can only protect himself against some threats. In the long run, we're all dead and he can't fight lack of water or systematic financial collapse extending beyond two or three years, or viral threats beyond his enclave leaking in. Sheep diseases mutate and his NZ hideaway is suddenly buried in fomites...

So his plan is ostentatious consumption for a specific subset of problems. What he fails to strategize is how an Iwi or even just a bunch of NZ hoons can unwind his plan. I like to imagine a Morris minor version of mad Max politely knocking on his door asking for some assistance raising hell
I'm confused - the link does not say the things you say about black friends or considering black people just as qualified. None of what she says is related to his attitudes or policies towards blacks.

It doesn't even say she considers Clinton the first black president. Just that someone unspecified have been saying that.
My go to reminder of how old civilization is is the fact that the time between Great Pyramid and Jesus is longer than the time between Jesus and today. And this ignores even that we know of rather large settlements (hundreds) even twice the age of the Great Pyramid.
WinForms: Errors, Holmes
thanks for clarifying! I was under the assumption that, in a normal setting where 'n' people have subscribed to an ISP, there would 'n' backhauls, one for each subscriber.

Turns out that isn't quite the case...
A P2P file discovery and sharing platform written in Golang
Hm, IMHO most of the ridiculed under "paranoia" would not be ridiculed anymore post-Snowden. Government listening on all your Internet activity? Remotely destroying hardware? I mean, not only are these things possible, as we now know, they actually happen.

Joke's on us?
> we all know that it's basically impossible to attack a modern well configured system.

you must be living in a different world...
That means this trivial module will have to be refactored into a legal construct.
This is a legal problem, not a technological problem.
What about capturing sound as it scatters on the listener's head?
The downsides of having organs all over :). Any position might either stress the organs that end up on the bottom or encourage a less that ideal flow of fluids.

I guess YMMV. Some trial and error may be needed to see what works for you even if the theory says otherwise (heartburn is an easy one to spot).
I would be hard pressed to believe anything Elsevier says/claims at this point, without extensive and detailed evidence supporting it. Even then I would be fairly dubious, truth be told.
I have the same setup as you and can confirm this. If I go to facebook.com from my browser, it will always show 1 unread message even though there isn't one. It's pretty annoying.
Real time technology in web development
Where were you on the ballot paper?
It isn't net-free; as a sibling comment mentions there are opportunity costs. In this instance, the opportunity costs are the driver for the decision - in the micro, it is obviously a big win to swap 100 man-hours worth of Australian input for work by a foreign firm that can be paid for with 80 man-hours of Australian input. We'd get the same amount of stuff with less effort.

It is a different kettle of fish if you want to run it as a low cost welfare operation or as a long term strategic skill building exercise. It'd probably make a pretty good welfare operation - soak up a bunch of labour and get them doing something useful but not necessarily of high marginal benefit. We'd still expect it to be a net loss if there was something that the people involved could have done that was not government sponsored, but the economy is looking shaky at the moment so it might be a good idea. This makes sense if in the prior example there is no 80-hours-of-work opportunity/20 leisure option - if you have no opportunities there is no cost.

I don't know if train track construction is a useful long term strategic skill for somewhere like Australia. We'd probably get a lot more out of investing in chemistry and biotech rather than beefing up on people who lay down track.
I gather you understand the topic, but I'm still left wondering: who is this for, and what will they do with it?

E.g.: Is the hope to make something all mathematicians will eventually use? Is it targeted at a relatively narrow mathematical field? Is the audience instead programmers looking to prove things about algorithms they're working on?
> Where I live there is no difference between taxi and Uber.

That's one of the problems that ride apps solve - ubiquity of service. No matter where you go in the world
- and I come from a very remote place so I should know this - uber is there and it sometimes even delivers food for less than a dollar and in about 1 hour!!!

Taxis on the other hand don't always have apps and can't bring you goods like food.
Is there anybody that has experience with any of these? I have tried to play for a day or so both with xtlang and Scopes and was disappointed.
At the time when I tried Scopes it was not even clear how to properly manage memory. In the case of xtlang I wasn't able to hot swap a function definition at runtime and I didn't understand whether it was me doing something wrong or rather this capability was completely missing from the language.
Face Unlock on Linux with Go (Golang)
I thought Marcel Grossmann was usually credited with helping Einstein with the tensor approach to General Relativity. All of this was more salient at the time, which the article points out: Hilbert carried a grudge against Einstein for a period of time. Lorentz was bitter about Einstein getting credit for special relativity to the end of his days, and Einstein denied ever having read Lorentz's or Poincare's papers even long after he had moved to the Institute for Advanced Studies. The bitterness and personal politics involved have faded. It is now interesting just from an academic (historical) standpoint.

A lot of quantum field theorist refer to "Einstein summation convention" which is a special case of Ricci calculus and is a notation that was developed together with Levi-Civita by Ricci in their contributions to the field of relativity. At least most quantum field theorist know about Levi-Civita through the Levi-Civita tensor. Given the controversy described in this article one wonders why they are called the Einstein equations and the Hilbert-Einstein action when Einstein indusputably had nothing to do with the derivation of the action principle but Hilbert disputably is responsible for the derivation of the field equations. At the very least people talk about the Lorentz transformation and the Poincare group.

Since general relativity was essentially a unification of the spacetime defined by Maxwell's equations (special relativity) and gravitation, the quest to fully unify the theories that began with Lorentz and Poincare pointing out the strange transformation properties of electric matter continued. A lot of people are aware of Einstein's continued search for a Grand Unified Theory. But in general people are less aware of what theories he introduced (teleparallel gravity for example) or that other people were all trying (Kaluza and Klein for example) and continue to try to this day. In the case of things like dark matter, there might be some hope of measuring the Kaluza-Klein scalar fields or maybe we genuinely need a completely different theory. The history is more interesting because of the missteps, mistakes and politics along the way. It helps us understand the missteps, mistakes and politics of science that are still happening today.
>This is akin to persecuting people for their politics.

Whether or not this is a bad thing strictly depends on the politics.
It wasn’t clear to me what that sentence meant. My best guess was that maybe WhatsApp needs to do background work to decrypt messages for notifications. Before you’ve unlocked a phone (to allow WhatsApp to access its keys), notifications just show up as “you got an encrypted message” and can’t show what the message is. Perhaps that would happen to all messages after this change.

But then again it seems that apple would want to ensure that there’s still a good way to do end-to-end encryption, so I would guess there would be a workaround.
I gave a straightforward argument: it keeps these complexities away from people who don't understand them as much as reasonably possible, while still leaving them within trivial reach when they are necessary. If you don't like the argument, whatever, but acting like Chrome is making this a double click instead of a single click because of some kind of differentiation strategy or ego or whatever is just silly.
> Mom: "Don't do that! I don't want my voice on the internet!"

Alexa, tell me how much the times have changed.
Cool stuff! I would love to hear more about it. Please ping me at abhi@langapi.co if you want to talk.