skysight-inc/HackerNews huggingface dataset:
?! sso means no relogin between multiple applications/platforms which works since day 1 on mac and linux. what does not work is seamless sso over the os (logon+browser+logged into office 365), but even that works with a good configured kerberos, but it's wonky and not supported. (only hybrid tough)
Like you said, this is a variant type that represents either a value, or an error. Here's the definition of Rust's Result type:

pub enum Result<T, E> {
Ok(T),
Err(E),
}

I threw together some examples of how you can use a Result value, although I used arcsin instead of tan as the out-of-domain values are much easier to specify.

https://play.rust-lang.org/?version=stable&mode=debug&editio...

I'm not entirely sure what you're asking about regarding runtime behaviour, but here's two guesses.

As a user of a function that returns a Result type, at runtime the function returns a result that has a flag and a payload, where the flag specifies whether the payload is your value or an error. The only ways to get a value out of the result are either to check the flag and handle both possibilities, or to check it and crash the program if it's an error.

As someone writing a function that returns a result type, you write whatever logic you need to determine whether you've successfully produced a value, or which error you've produced, and then you either return(Ok(my_value)); or return(Err(my_error));. If you're doing floating point math, this might be checking an overflow flag, or looking at your inputs, or checking for NaN after operating, or whatever makes sense for your task.

Using a variant/product/discriminated union like this is orthogonal to the details of floating point operations at runtime. What it lets you do is have the compiler enforce that users of your function must check for errors, as it's a type error to assign a Result<f64,E> to a variable of type f64.

I hope that helps! Do you have any more questions about this, or things I didn't address, or topics where you'd like more explanation or examples?
>You keep coming back to whataboutism

Yeah, I'd say that started with the ridiculous genocide comment. All my comments about how overthrowing an elected president is not supporting democracy have been ignored.

>Show me a leader who did that and then stepped down without an external force?

Fernando Henrique Cardoso, Álvaro Uribe, Nawaz Sharif(external force debatable), Carlos Menem.

>in 2019 you couldn't vote socialist without voting against term limits, which I think left you to pick your cancer: leftist dictator track Morales today or CIA friendly right wing looking to establish a dictatorship tomorrow

There was nothing stopping another leftist from running, and calling his opponent CIA backed isn't fair as the coup did not result in him coming to power.

>I think the people of Bolivia got the best outcome which is usually blocked in representative democracies.

What you think is the best outcome is meaningless, they voted for Morales and they should be in charge of their government. Why should your opinion matter at all?
I had the same experience until I saw a Pollock retrospective at MoMA. Not only is his best work gorgeous, it’s vastly superior to his own early experiments. The whole “anyone could do this” thing I had going in was wiped away completely by the time I left.
Just in my personal opinion, things like a UBI move us towards that world. It wound allow people flexibility.
I think the lesson is, no matter how good or bad you have it, things outside your control can make it or break it, so forget about trying to predict the future and just go for it.

Or as an old space pirate once put it "never tell me to odds!"
Pretty sure rabbit cables were a big deal during late bronze age.
That black kettle on the left of your photo is sold in US as "Fellowes". Notice how closely to the knob the venting steam flows? I've burnt myself a few times that way. An asymmetrical knob could remind the user of the safe grasp angle -- but then off course it wouldn't look so "minimal" in photos ...
What qualifies as evidence, then? Trust is important, but it can only exist long-term if there's a way to detect lies/betrayal. Anyway, I expect market forces to steamroll both of our opinions.
And it wouldn't really be a gotcha story if they did bring vacation photos up. It would shed light on the fact that these teachers are being paid their full, regular salary while also refusing to go to work.

Not that I am against their right to strike or not go to work if they feel it is unsafe. But there is definitely a perverse incentive created here where teachers will still get paid a full salary whether they go in to work or not.
I don’t know why you’ve gone on a tangent and randomly mentioned Apple?

Anyway, speaking of unique identifiers in mobile devices, mobile phones have had IMEIs for ages - pre-dates Apple by a long time.
It's just a terminology thing. Sort of like how atheist actuaries still account for Acts of God.
The developer's cancer blog seems to indicate that they live in the UK and are receiving medical treatment from the NHS.
DLP Technology and Digital Mirror Device Under Microscope
Make objects Actors (as per the Actor model of computation). You don't call methods on objects, you pass a message to their mailboxes, Objects then choose how to process those messages. To do this though, messages would have to be immutable.
Biden ended the pandemic.
And the good news is Facebook has pictures of all of us in masks and without masks.
I don't know if virtue signaling is the right term. The better term might be "shibboleth" for so-called rationalists. It's as if you took the kids who loved lists of logical fallacies and told them they could resolve all disputes if they just reduced them to first principles and used words like "prior."

Nevermind that the first principles lose all context of the original issue - we're in a world of pure logic, where we can use theorems! To the rationalist community, everything looks like a good opportunity to write a lengthy essay reinventing the wheel with Bayes theorem. It's a cargo cult of basic statistics dressing up otherwise uninteresting arguments.

It's very tedious for people like myself who actually studied statistics and apply it professionally. Bayes theorem is barely even a theorem - it's literally a basic rearrangement of the axioms of probability. It's not some supreme revelation that imbues arguments with more credibility. Most of the time I see it invoked in discussion, it's not even rigorously quantified. You can choose arbitrary priors, so at the end of the day you never arrive at an objective truth. It's profundity for its own sake, and nothing is really achieved.
Note Japanese companies typically use the worst possible open-office layout, where everyone sits in a row next to their manager and competes to be the last to leave the office so they won't look lazy.
Bitcoin skeptic is the new politically incorrect
Illumina Flow Cell Teardown
Thanks from those of us feeling relatively young for once, even if we have read McCracken.

The best failure I know was due to beer fermenting in the warm space above the fancy disk of an old Sigma 3; with hilarious consequences. No opportunity to get worse for wear from that batch, obviously.
(Disclaimer: I have no interest in this matter; my interest here is only in the structure of the argument.)

If you follow the link to the 2018 "startling claim" (https://archive.is/QAa5x), what's presented there is not a claim of "explicit permission" as you say, but a reasoning from the principle that "For example, a sign declaring an office to be closed on Sundays suggests that the office is open on all other days of the week". (That is, in that article Idan Dershowitz suggests that an earlier version of Leviticus 18 forbade homosexual incest, which if true would in turn lead to the conclusion that homosexuality wasn't forbidden in general.)
South Africa...I looked on the wiki page for it now, and it doesn't do the state of healthcare here justice.
I'm a lawyer, and a former (and still occasional) programmer. In my experience, tools developed for (or at any rate, targeted at) lawyers seem to always be bloated, slow, and of negligible utility as far as I can tell. For "legal development" purposes (i.e., writing a letter, contract, memo, brief, etc.), nothing I've experienced surpasses plain old Word Perfect (still in use in some offices I deal with). Word's automated numbering system can burn in eternal damnation.

What might be useful would be better change tracking and management. The problem here is Word's dominance as a means of exchanging drafts. When working on an agreement, I and opposing counsel usually exchange Word drafts along with PDF redlines, which works well enough. Some attorneys like to use the "Track Changes" feature of word, but after a few turns you end up with a complete mess. Still, the sophistication and power of a git or mercurial would probably be wasted in the sort of contexts in which lawyers typically work (a series of form-based documents which are individually tailored in essentially one-off transactions).

I'll ignore your quip about productivity, except to note that you might feel differently if you were the one paying the fees.
Even if you shouldn't be convinced of a terminal value thing based on evidence, doesn't mean you shouldn't be convinced of an empirical thing that happens to be associated with or championed by those who are promoting different values.

That's true, and I have been convinced of some of those things. For example, I am empirically convinced that mass shootings by spree killers are shocking but not a major issue of public health or safety in the US. Even though I believe that Democratic politics gives disproportionate attention to mass shootings, weirdly mirroring how Republican politics gives disproportionate attention to Islamist terrorism, I'm not going to say so in the company of many Democrats. Because another thing I have been empirically convinced of is that people build effective political coalitions by emphasizing common ground and judiciously overlooking their allies' faults. I want action on climate issues, so I'm not going to alienate my natural allies by lecturing them about their irrational fear of semi-automatic rifles. Effective politics is almost the thematic opposite of a personal quest to aggressively probe all things in search of Truth.

I also don't think cognitive error can be entirely reduced in all cases to revealed preferences, because, uh, -- well, ok, one can, of course, model all behavior as arising from a preference to take exactly the sequence of actions that one takes. But I think you will agree that this is not a reasonable model.

It's a model that doesn't lend itself to mathematically grounded predictions. But is it actually not reasonable? Without access to another person's qualia it's really easy to misattribute whether their more surprising decisions are revealing a preference, demonstrating cognitive error, or servicing a fundamentally different value orientation. Like Hume's Problem of Induction I can't effectively grapple with it but I can't exactly dismiss it either.
There's a virtual keypad below the game area, and you could use the arrow keys.

https://victorqribeiro.itch.io/qubes

https://www.outpan.com/app/99694412f2/qubes

https://play.google.com/store/apps/details?id=com.victorribe...

you can also play it in any of these links
Open offices and micromanagement are the default in Japan, we didn't invent them. It's actually a lot worse there because the culture is much more intense and yet the pay is low.
L2 can scale Eth2 as well. In fact Vitalik mentions often that scaling can go 100x with Eth2 and 100x with L2 for 10000x total scaling.
In a situation where if you stop paying then the mob responds by ignoring you.
Robert Heinlein on Happiness
In his 1959's novel Starship Troopers, he says:

>Happiness consists in getting enough sleep. Just that, nothing more. All the wealthy, unhappy people you’ve ever met take sleeping pills; Mobile Infantrymen don’t need them. Give a cap trooper a bunk and time to sack out in it and he’s as happy as a worm in an apple—asleep.
> Consider: your HR department is left leaning, your boss is probably left leaning, your teachers are left leaning, the government is left leaning.

Did you forget this is a US based website? Are you posting from China?
This is something I think of fairly often.

Telling young people that the world is ruled by a clique of powerful old white men who conspire to keep them oppressed must be crushing, especially if done incessantly.

A cynical part of me says: see, sowing and cultivating frustration is precisely what some politicians need to reap power. They might not gain as much power if their voters had more self-esteem.
Maybe they are talking about vaccines like the Russian one. Which, by most expert accounts, was not sufficiently tested, not by a long shot. But, it has turned out to be a safe and relatively effective vaccine.

But of course, scolding a government for not giving it to people is like scolding someone for not buying the correct lottery ticket.
Author of the blog post here. There are two Flang compilers:

https://fortran-lang.org/compilers/

The legacy Flang and a new Flang. I don't know exactly the plans for the legacy Flang, but I assume the idea is to eventually use new Flang. The new Flang and LFortran where started at about the same time, they have a little bit different design. Both written in C++. LFortran has from the ground up written to be interactive (like Julia or Python), in addition to regular compilation to binaries. Some of the other goals of Flang and LFortran overlap.

I think it's good for Fortran to have at least two actively developed open source compilers.
Frankly, either "Doug" or "Rob" applies equally.

(For those not in the know - Rob Ford was a former mayor of Toronto, whom was not known for being a particularly smart or nice person; Rob Ford died a few years ago. Doug Ford is his brother, and is the current Premier of Ontario. Doug is definitively less of an embarrassment, but only "less".)
Free as in out of our collective insurance pool, yeah. So free just like in a country with socialized medicine ;)
If you're living with someone and had a long commute you're in a more ideal situation for WFH. (I mean, if you had kids it'd probably be even more ideal, not less.)

I live alone and practically next to my office, so while there's still advantages it mainly means I have to do chores more often and cook a lot more.
A lot of people are considering what it might look like to live in a “post-truth” world. To me events like this suggest projects like ChainLink and the Band Protocol might become vital infrastructure of truth much sooner than many think.
In the same way that Markdown compiles to HTML which is then interpreted by web browsers into pixels on a screen, I find it fascinating to consider the logical next step: the runtime environment in which "legal code" runs.

A contract is really a function of (world state) -> (booleans for parties in breach), and lawyers excel at traversing the function space of possible contracts based on simulations of possible world states, making them optimizers over those function spaces. Their "speculative execution" and ability to cull parts of that search space are based on having efficient caches of case law; we literally train lawyers to be optimal caches by having them take bar examinations, because even with databases at these professionals' fingertips, the latency with which they can simulate contract space given novel information (in trial, in live conversations with clients) is a core competency of the profession.

I wonder if some of the tooling and philosophies being developed in the machine learning world can be applied to great effect in this context...
Back in the day, the license keys weren't checked at a central server, there was some kind of check sum or database inside the software instead. This was wonderful for both pirates and legitimate users for when the company disappeared.

I still remember a working Starcraft CD key (though it later turned out that something on the order of 01234566789 worked).
Yeah I make it a point to never trust the opinion of "experts" on such matters which can potentially create panic in society. It's just far easier to sound assuring than tell the naked truth as it is.

Most of these experts earlier said that the UK variant was nothing to worry about. Now we know it not only spreads faster but is also much deadlier. Same thing might happen here.
The Greatest “Classic” Mac Laptop Ever: The Powerbook G3 Pismo
We already know the management engine is a backdoor/botnet. No intel powered computer is secure or private.
I don't even understand why someone would use a headline like "Jaw hit the floor" without even bothering to share the two images. It's not like Adobe Photoshop doesn't have the ability to export images...
Thank you, that's very informative!
Caffeine isn't really beneficial for work, right? Most of its effect is because it's addictive and you need to prevent the withdrawal. The point of a break is that it's an excuse to stand up and walk around.
But when they targeted Tesla for the story, they already had an agenda.
Lack of null and monads are kinda orthogonal. Yes, you can use monads to model "early return", but you can use them for so many other things. F# already offers computation expressions, which you can use for monads (but with no typing). But even Haskell provides no enforcement of the monad laws. Surely you must know about F#, so your comment makes little sense to me. If you want HKT's in F#, why not just say so?
It is also unhelpful that transit in Toronto is packed to the gills, and so outer areas that are on a transit line that could also take development are basically full.

I will believe that the hemming and hawing over whatever the Ontario Line/Downtown Relief Line is going to be is over when there are shovels in the ground, but until then, Line 1 is packed to the gills, and the future extensions north are not helping.
> Besides, having a tumor during the pandemic is particularly unfortunate as the standard of care has degraded mostly everywhere.

Same here... I lost my dad to cancer at the height of the first lockdown, and it was really painful to overhear the oncologists that were treating him holding passionate conversations about covid and nothing else. The nurses were obviously overworked and did nothing else than provide morphine. Cannot complain about the professionalism of the care he received, given the circumstances. But I feel that I could have spend a few weeks more with him if he had fallen ill at a different time.
It's likely that the shadiest people use cash though.
That’s not designing failure into a product. That’s designing a product so that when it does, it fails in specific ways. The latter is just good product design and engineering; the former is what’s arguably unethical.
I've thought about similar things, it seems to me to be a sort of retroactive causality.

It seems to me that there will be mutually exclusive states of reality existing in different spatial contexts; it's only at the meeting of light cones that the contradiction is reconciled (the likelihood of superposition mutex events is zero).
If you're running into containers that are writing logs to files, IMHO that's a code smell and something is off with how they're using containers. Most of the container ecosystem has settled on stdout and stderr as the defacto log locations and then leave it up to the container orchestrator (docker-compose, k8s, etc.) to deal with the log data. There might be some good reasons to use files for logs, but in 2021 they're likely exceptions and not the norm.
That’s not Hebrew technically either it uses the Phoenician alphabet or a variation of it.

I can read the Dead Sea scrolls I can’t read what ever this is :(
What's your source for F# getting HKT's soon?
Because "your attitude determines your success" explicitly states that if you fail it is because of your attitude. People fail for many reasons, usually a combination of reasons. Attitude is just one factor.

It is very comforting for people who are high on the social ladder to believe in a meritocracy: it lets one their successes are due to their superior character, and those who are on the bottom of the ladder are there due to a failure of character.
No, not really. Agreed.

But I thought Steam = Steam. My mistake :) I didn't consider the computational model until it was too late.
> In my experience, the hardest part of estimating how long a project will take is estimating how much time things OUTSIDE of the project itself will take.

Of interest, the author mentions Work Breakdown Structures. A WBS is meant to obey the "100% rule": it must contain all the work (ie, sums to no less than 100%) that goes into a project and it include only the work that goes into a project (ie, sums to no more than 100%). So if something shows up that wasn't foreseen, you add it immediately and adjust the fractions.

So far, this is not helping the competing-work problem. That's where old-school project management adds control accounts. Each item in a WBS has an account where individuals "spend" their hours, dollars and so forth. If you have competing work, then the dollars and hours get spent on a control account belonging to some other WBS.

Finally, this typically gets rolled up into an "Earned Value" plot. You can show much time and money was intended to have been spent at a given point in time and how much has actually been spent. If you notice that the rate of spend is below intended, you go looking for where the leakage is. Since you can perform Earned Value analysis on any part of the graph of control accounts, you can quickly identify what's going on.

And that's when two project managers begin to yell at each other.

This kind of apparatus comes with a lot of overhead. But I think it's underutilised, even informally.
> Nobody can know with certainty what's really true or false, and the author isn't claiming to know either or judge people for disagreeing.

Yeah, that’s the kind of epistemological meat we really need to slice into. My view is that certainty is impossible but that knowledge is possible, and that we get ourselves into a lot of messes when we confuse knowledge with certainty. The quest for knowledge should not be a quest for certainty (either in the emotional sense or the Bayesian sense) or a quest for a perfect method of obtaining or justifying knowledge.
> Telling young people that the world is ruled by a clique of powerful old white men who conspire to keep them oppressed must be crushing, especially if done incessantly.

If you're a young white man with a fighting chance of becoming one of the next generation of powerful old white men, I can understand where you might find that unnecessarily demoralizing.

But for everybody else, it's the bitter truth they nevertheless need to know. And the only way to change this is at the systemic, political level.
Planners think the problem is a lack of planning, but the things that make the city great are the unplanned ones. Most desirable places in the city are the ones that were mostly left alone. It has become a city of busybodies and corrupt developers. The growth in Toronto is going to come from foreign capital flight, not endogenous growth, and it these days it might as well be an extended international airport where people and capital just pass through. We should rename it Greater Pearson.

The planning we have today has been anti-restaurant, anti-patio, anti-car, anti-nightlife, and anti-street-life. Street level retail is dominated by money laundering operations run out of nail salons, massage parlours, and tattoo shops, and the rents are so expensive it's too much risk to start something unique, so we get a bunch of overcapitalized global franchises on every corner. The condos are just cells masquerading as display cases for shallow consumer lifestyles for people who won't have kids.

The best possible solution to the waterfront would be to fence it off and leave a few thousand storage containers for people find and inhabit, and in 10 years you will have a real local culture based on an equilibrium of desire.