skysight-inc/HackerNews huggingface dataset:
> linear probabilistic description of an underlying nonlinear deterministic system.

The math is way over my head, but this sub-statement resonates with me deeply and has been my crude but overarching view of the physical world and our interpretations of it for a long time - except applied more broadly - as a description of the interaction between multiple layers of abstractions of reality (whether the things behind those designated abstractions are natural or human made, e.g transistors for digital logic, a "deterministic" quantized layer created atop a non-deterministic one).

It is layered because each deterministic one is only effectively deterministic by being predictable "enough" in a highly uniform way. The next layer then often becomes viewed from a probabilistic perspective again due to chaotic interactions of the previous one (often computationally irreducible). The lack of access to massive initial state and in-feasibility to compute prediction based on the underlying mechanisms are the only reason we switch back to the probabilistic view at these non-fundamental levels of abstraction.

Now I understand quantum physics is not supposed to be such a layer, because we didn't start out with an existing working concept of what's underneath it in the way we know whats underneath equations for some statistical mechanics for example - but from the perspective of a complete amateur the idea of superdeterminism seems quite natural! - yet at the same time I can't help wonder if there is yet another probabilistic layer underneath :)
Result/Either-based streams have exactly the same problem. An exception-supporting stream API would solve it the same way: a function can either throw no exception, or an exception of the same type as thrown by a previous operation. You could have a .mapException operation which could change the exception type, like Result::map_err in Rust.

In practice, you would end up with the stream throwing an exception of some general type (in 95% of cases, IOException!), but you could still write specific catch blocks for each possible subtype.
I'm curious if there is an elegant way to deal with backward compatibility when adding another case to a widely used sum type? Is it just a matter of fixing all the compile errors immediately?
But this is all limited by how people will coexist and if they will work towards the same goal, which rarely happens on a large scale Paris agreement for example
It's expensive to store, and it may not be worth building the storage facilities if you only get to use them once. So the market is not perfectly efficient here.

But yes, this argument explains why the "running out of helium" narrative is overblown.
Risky infrastructure upgrade made smooth and invisible to users
Not really. The TVs tend to have more computing power than the lowest-end Rokus too.
>go through all that hustle....

I manage 100+ servers, hosting a significantly larger number of domains, on a variety of linux and FreeBSD operating systems. Under both Apache & Nginx.
"..all of that hustle.." to initially setup is under 2 minutes with LetsEncrypt.
The renewal (via a cron job) is completely out-of-sight/out-of-mind.

The execution is shockingly simple. If you think it's "all that hassle" I guarantee you haven't even tried.
> That means that you'll also have to lift whatever type of canister used to contain the gas and the propellant to reach your transport ship.

Or you just push it through a pipe, space-elevator style, exactly how many hard science fiction authors do it for mining gas giants for reaction mass/other fuel.

Should be considerably cheaper from an energy standpoint.

If you're to a point where you can create such a station and manage regular transport between two bodies, you're going to be able to build some sort of pipe that should be able to contain the helium enough to pump it far enough out to considerably reduce the cost of leaving orbit.
That saddens my day...
Well that's what one of the previous comments that led us here stated no?
That it's not always a matter of 'just start your own company if you don't like the way it's going'
Too bad, Qt project itself is moving to CMake as its main build tool: https://bugreports.qt.io/browse/QTBUG-73351
That's a if though.... and has stated below it can't happen everywhere.

I've seen TV adverts from banks for example (Here in the UK) telling people to look for the padlock! This is not a verifiable method of safety.
Manifesto for Applied Artificial Intelligence Development
I think you got downvoted because you missed the point -- the harmful laws criminalizing homelessness were struck down, and the court won't hear appeals to put them back; it's a good thing.
> If you're going to rely on a fancy shell anyway, why not just throw make out of the loop altogether?

I think can still add value in that scenario as the standard project entrypoint. Someone completely new to the project should be able to `make help`, `make install`, etc. Even if the make targets are simple wrappers to project specific tooling (npm, pip, sbt, etc). If the Makefile is kept simple, then users can treat it as a form of README and should be able to cherry-pick from it as they see fit.

But yeah, I share your sentiment about quirky, non-portable Makefiles potentially being anti-value.
Without looking it up: make probably had a license change (to GPLv3?) between those versions.

That's usually the reason why Macs have outdated tools from Linux land.
It's still 100% relevant. I can only speak for FreeBSD, but this is a real pain when building from source (outside of FreeBSD Ports).

https://www.freebsd.org/cgi/man.cgi?make(1)
What mistakes do people most often make when deciding what work to do?
That makes me wonder, could the waste heat from those be used for residential district hearing? Or desalination? Not just technically, but usefully.
I put my snowblower, lawnmower, bandsaw, anything with parts that regularly break, into Google Keep, and now when I am out at Kings, Ames, Sears, Lechmere, Circuit City et al I can quickly pull the model number up and get a replacement part while I am remembering at just the right place.
Deploying Tarantool Cartridge applications with zero effort (Part 1)
You pretty much can take a balloon to space. You'll pretty soon fall back to Earth though, as you'll be nowhere near orbital velocity.

Getting to space is easy. Staying there is hard.

For example, if the ISS passed directly overhead of you, it's only 250 miles away. I've driven three times that in a day. The trick of the whole thing is that while it's only 250 miles away vertically, it's moving at 4.7 miles per second laterally. It goes around the Earth (roughly 25,000 miles) in 90 minutes. It's going to be hard to get your balloon to those kinds of speeds.
It would be awesome if you could place restrictions on the compiler, but I don't know of any such features atm. Still, the compilation happens in the container (which is just a default Ubuntu image with a cross compiler in it). I don't know how much information there is to disclose. Not taking it lightly though, I guess I will have to find a way to really handle the preprocessor stuff, but I still want people to be able to include system headers.
Failing to verify a celebrity birthdate is not the same as failing to vet a source for an impactful investigative piece. There are people paid to write fluff who don't do much research, but the stakes are low.

You still haven't refuted anything I wrote. Clickbait and low-effort articles are pervasive. Everyone knows that. But you can generally trust publications with known journalistic standards and a good record.
Yeah...triggers can have significant overhead though while sending a WAL stream to another server which will process it is super low overhead.
In the laziest, most finicky way possible. Unless you have a Fire Tv or Roku TV, most smart TV 'apps' aren't worth using.
There's the famous Dutch liberalism in action!

The thing about Countdown is that the letters are drawn at random by the host. So if they happen to spell out a rude word, or have a rude anagram, that's can't be avoided, and it's nobody's fault.
New publications that pop up would benefit from better citing the sources of their articles, because then when an article they write is shared and someone says "I have never heard of that publication, I don't trust it", the person that shared the item could refer the other person to the sources that were being cited instead of arguing about the trustworthiness of the publication itself.

As for established publications; from their point of view they can probably manage fine because they have a good reputation already, but I think it would benefit society at large if they too got better at citing sources so that we can rely less on reputation alone.

Reputation is a proxy for trustworthiness, but greater source transparency allows for the trustworthiness of individual articles to be judged with less work and thus less time needed, which means that deliberately misleading articles, factually wrong information and honest mistakes can all be caught sooner.
Depends on your setup.

I currently use a mini CDN (content delivery network) of three different OpenVZ servers in the cloud to host my content, so getting things to work with Let’s Encrypt took about two or three days of writing Bash and Ansible scripts which get the challenge-response from Let’s Encrypt, uploading it to all my cloud nodes, having Let’s Encrypt verify it got a good response, uploading the new cert to all of the cloud nodes, then using Ansible to log in to all the nodes, put the new cert where the web server can see it, then restarting the web server.

Point being, the amount of effort needed to get things to work with Let’s Encrypt varies, and can be non-trivial.
They have certifications for full home theatre including video (panels & projectors) but you're paying more for the THX logo than for a guarantee you actually bought the best option for the price since hardly anybody pays for the cert.
I feel like Greta should reduce her social media use because everyone wants a piece of her popularity now. And this kind of dramatization of a simple train ride is kind of ridiculous. But oh well, maybe I'm too old for social media.
What distinguishes involuntary falsehoods (e.g., misquoting someone unintentionally, or basing an argument on data later proved to be false) from lies in this case? How would you go about enacting this? I think this is a pipe dream, and not something that can (or should) be implemented.

And as for "one way street" voting... that's because voting is an ephemeral act, not a sustained one. Your vote happened in the past and had an effect. You can't change your vote later and suddenly someone else is elected.
Yesterday, sorry to say but still off by magnitudes. These things are measured in ms on the eclipse side and in whole seconds on the Intellij side. On a good day it's less than 5 seconds in Intellij. I developed in Eclipse before I switched a few years ago and while it was a bit finicky with gradle, maven support was pretty solid. I never had issues where Eclipse compilation state was wrong for more than a few hundred ms. Basically if it says it compiles it means it compiled without errors, class files exist and when you run something it jumps straight to forking the process with no delay. In Intellij, it takes seconds at best; sometimes closer to 30-60 seconds.

Given that performance is a recurring topic in the Intellij release notes I conclude that they know they still have issues there and they are slowly looking for ways to make things faster. This is not a solved problem.

Part of this is the Kotlin compiler; part of this is indexing; part of this is simply caching logic.

I recently worked on the Elasticsearch code base in intellij. Fast is not a word I would use to describe that. It's a big code base and it clearly was struggling with it. I know some Elastic developers that still use Eclipse basically for this reason.
> Is it possible to restrict the compiler's access to only files in "/usr/include" instead? Seems like it'd be hard to cover every case with just pattern matching.

chroot into a build environment
> the ability to recall your vote, i.e. unelect, at any time would make your attitude towards your initial vote less serious

How do you know that about me?

> elections/unelections would cycle too fast to govern

Ok, that may be so, but without trying it we'll never know. You could implement this at the municipal level first, see how it works, iron out the kinks if any are found and then scale it up bit by bit. The whole idea that a politician can say anything and only be held accountable many years later is a pretty big flaw, possibly bigger than the flaw of having multiple election cycles until we find people that do keep their word.
> But, if you have probability then you have information, yes?

What do you mean by that?

Suppose you and I are far apart in space and are each going to toss a coin, but we somehow magically know that one of us will get heads and the other will get tails. Can we use this pair of magic coins to communicate information? Actually no.
Python tips and tricks, November 2019
Working on federation now. Depends on what you mean by privacy.

If you have federation for a group in society like doctors, you can push policy down to the applications themselves, who can express and enforce it locally, while trusting identity from the Idp (identity provider). If you want more centralization, you can have the applications consume their policy from a UMA2 (or formerly xacml) policy service, but to me that level of central governance is dumb, imo. Provide tools for the edges instead.

The users themselves don't have anonymity and their movements are all logged, but this is what facilitates the data subjects (patients) privacy in that scenario. So it's a question of, "privacy, for whom?"

On the normal internet, arguably, it's content providers who have all the privacy where viewers/users do not. The criticism in the article is federation doesn't invert this model, but that's not what it's for.

The radio/tv model where users can anonymously receive a broadcast signal is the conceptual model for most privacy thinking. This isn't how the internet works, and the only way this is possible is by adding noise to the channel the way Tor does it with onion routing, or some future way of obfuscating the origin of a request using ephemeral paths and end points.

Barring new cryptological link/network/transport layer protocols, we're basically stuck with the current privacy model of the internet until quantum computing becomes commercial.
I like make because it can be as simple as you want it, yet powerful if you need it to be.
tl;dr

This exploit doesn't require local access, and is a software-based attack similar to Row Hammer. I highly recommend reading the paper that was released highlighting how the exploit, Plundervolt, works available here ([https://plundervolt.com/doc/plundervolt.pdf](https://plunder...) in order to get a better understanding of how it functions.

I wouldn't be surprised if this ends up being one of the most serious security vulnerabilities found in a hardware processor in quite a while. Effectively every single modern Intel processor is affected and at risk from this exploit right now.
I'm not sure. While it's true that some reporters/journalists do a respectable job, I feel that the the field is overall lacking in respect for their job, care, etc. The amount of directly false or misleading information that piles up every day is staggering, and by very well known newspapers an TV channels.

If your job, or something you have direct experience of have been affected by the news cycle then you know how much BS reach eyeballs.

But not only that. Try to read the twitter profile of the journalist you found writing a poor piece. This exercise didn't help me appreciate the field, quite the contrary.

Such experience made me laugh when spanish media panicked about fake news and social media a while ago. They are the primary source. And I guess such behavior can be translated to other languages. I can see the pattern in the US newscycle for example.
past discussion, https://news.ycombinator.com/item?id=13887853
Could there be an etymological connection between Latin "Cronus" (the god of time), and Latin "grano" (corn or grain)? Today, we measure time in seconds and minutes, but the in old agrarian societies there were no clocks, and the pace of time was measured by the seasonal rhythm of the crops.

According to wikipedia, the name Cronus is of uncertain origin, while grano comes from proto Indo-European.
Missing closing parenthesis:

createBill(addToCart(cart, updatePrice(item, 100))
Perhaps the part I'm missing is how you are rewriting the https:// URLs to the paths. Do you preprocess the Makefile?
Since NYT, WaPo, and WSJ publish unverified info "all the time", perhaps you could prove your point by pulling examples of false info they've published in the last month without a correction?

Since it happens so frequently, it should be easy to find one or two, maybe even for each publication.
installing gnu make on FreeBSD is not hard. Other unixes such as AIX and Solaris are super obscure now, and gnu make also works there.
As it's a DNS server that only ever serves certificate validation requests, and doesn't need 100% uptime, a normal simple BIND or knot is good enough.
Oh cool, I wasn’t aware of the PBS documentary, I’ll definitely check it out. Thank you!
On most other operating systems than Linux gmake != make. Darwin, bsd's, Windows, Solaris, ...
The fear is illogical because there is a 1 in 2,925,000 odds of dying on commercial aircraft [0].

Before the MAX 8 was grounded, it had well over 2,000,000 hours of flight time on 387 aircraft performing 8,600 flights/week for 56 airlines [1]. Two out of 800,000+ flights crashed due to MCAS taking input from a broken AoA sensor, related to the poor maintenance of the airlines, and poor training by the airline and possibly pilot error.

Imagine the level of detail of scrutiny the MAX 8 is currently undergoing. I'll wager it'll have been the most scrutinized aircraft to have ever flown once it's re-certified, if not the safest. Plus, everyone knows about MCAS now so a crash due to it misbehaving in the case of a _double_ AoA vane failure is incredibly unlikely now.

So I think the fear is still illogical.

[0] https://www.economist.com/graphic-detail/2013/02/14/danger-o...

[1] https://en.wikipedia.org/wiki/Boeing_737_MAX
Keep in mind that Buffet is a different kind of manager.

Gates is a notorious micromanager (in the early days of MS he memorized employee license plates to keep tabs on comings and goings). Buffet is a macro kind of guy. He buys companies, leaves management in place and skims the cream.
Hi, can you point to the source for this? I failed to find any mention of it in the article. Or did you mean the two games annotated by Kramnik? Thanks.
> I do believe AI will replace most developers in our lifetime

AI can't replace a developer, it can only perform the tasks that developer currently does. The developer can go do something else. The possibility that AI can make humans obsolete in the next 100 years is extremely unlikely IMO. By doing the low-level tasks, AI opens the doors for humans to spend their time on more important things.
In this snippet parentheses are in the wrong place

(defmacro nil-throws [form]
`(let [result# ~form] ;; assign the evaluation of form to result#
(if (nil? result#)
(throw
(ex-info "uh oh, we got nil!" {:form '~form}) ;; save form for inspection
result#))))

I guess, should be

(defmacro nil-throws [form]
`(let [result# ~form] ;; assign the evaluation of form to result#
(if (nil? result#)
(throw
(ex-info "uh oh, we got nil!" {:form '~form})) ;; save form for inspection
result#)))
Yes! It's basically a built-in stack trace! Permanently written straight to your disk!

It does get unwieldy after a certain size, but that's what I'm building tooling for.
There has been a massive push in scientific communities to recycle helium used in cryogenics. It’s happened in the past ten years from market forces. In truth, if we’re frugal, we don’t need very much helium.
> It’s almost 2020, advertise one favicon size. Remove all the other <link rel="shortcut icon" and <link rel="icon" references.

Which one should we keep?
You mean like a fight or flight trigger?
Term limits. Or vote them out next time. Part of the reason the Constitution writers made 2 and 6 year terms, to try to force the House to be responsive to public opinion and the Senate resistant to GIGO cycling of proposed bills.

Of course that's all moot with the current 'ideology above sanity', but that's the game today.

Term limits.
> The First Incompleteness Theorem tells us that assuming PA is consistent, one can formulate propositions that cannot be proved (nor disproved) on the basis of PA, but which are nevertheless true.

As far as I know, that last clause was never a claim made by Godel. Specifically the claim that these propositions are nevertheless true. This follows quite simply from the assumption that either a proposition is true, or its negation is true (i.e. the law of the excluded middle).
But I recall reading that Godel, in his proofs, went to great lengths to avoid the law of the excluded middle over infinite sets.

Indeed, (again AFAIK) godel's first incompleteness theory still holds in constructive mathematics (roughly where the law of the excluded middle cannot be used). As such, I think the addition that these propositions are 'nevertheless true' actually hides a lot of complexity.
Because there are philosophical positions in which these independent propositions are neither true not false.

And really, this is why we call them independent. The truthiness of these propositions is not determined by their axiom systems. It's a rather big philosophical stance to say that the 'truth' of these propositions can be determined outside of the axiomatic systems. It seems to me like that claims there is an objective (as in, not dependent on an axiomatic system) definition of what is true.
BSD make (pmake) is still very common, as it's the default make in almost all BSDs. Also Windows has nmake which is kinda-but-not-quite POSIX-compatible.
Preparing for the risky world of extended reality
Yeah, I'm using a preprocessor to generate the makefiles from what is basically blueprints.
I'm not sure what you're objecting to here. The switch enhancements, in particular, seem to me to reduce boilerplate and improve readability. If I ever go back to spending time in Java I'll certainly be using them.
It depends heavily on what exactly you need out of a message queue. E.g. if extremely (extremely) high throughput is required and you don't mind dropped or lost messages, SQL may be a bad choice. But I've had a lot of success using Postgres-backed messaging.

Also your links are (mostly) from message queue companies who have a vested interest in your not using Postgres, or are from a time before LISTEN/NOTIFY and JSON(B) columns.
You're serious? Agreed about the armv7 thing..
Roku is probably the least evil of the smart tvs.
كلمات اغنية لوكان جا قلبك دوزي
> Ok, that may be so, but without trying it we'll never know

Of course we can. Take the US dominant two-party system, and look at the approval rating for politicians. Look at how many times it crosses the 50% line. Some would only be in office for a few weeks before being replaced, but then who would replace them? What if the previous candidate has a better job already? Does The Party now get to pick someone? How about when approval ratings move back and forth between 48% and 52% over the course of just a few weeks, multiple times?
I had issues too.

I installed the Reason extension from Jared, I think, and started a new project.

My main problem was that I needed bs-platform installed globally AND locally in the repository. Otherwise the extension would display some errors that the bs-platform could not be found, which didn't help first, because I already installed it, haha.