skysight-inc/HackerNews huggingface dataset:
I think UBI is kind of dumb, but UBI on the state level is just plain stupid. If you don't control your currency, UBI is a non-starter.
I think it's already clear I disagree with your premise that the BBC is only useful to an insignificant number of tax payers and that such taxation is therefore "theft".

I also disagree that the only use of this money is to "inefficiently fund some low-quality education for someone else's child". I think an educated populace is in everyone's interests. There are obvious public health benefits, for a start.

In terms of parts of your comments I consider irrelevant: in your later comment, the reference to the NYT (I explained why earlier), and the earlier reference to e.g. the Iraq war - although I can see what you're trying to get at with this point (civilisations doing questionable things, therefore the idea of doing things "for the good of civilisation" being something of a fallacy) I find it difficult to understand the relevance when we're considering a public broadcaster.
You can't really extrapolate things like that though. Try extrapolating west virginia diabetes related death to the world and we'd be fucked too.
Well for many things there are "good" reasons.

> we don't allow dynamic languages

I would translate as "we have now experience in running and maintaining those platforms, which causes issues"

> require a deploy-window to be announced 21 days in advance"

This sounds a bit like ITIL or similar processes in oalce, which are there to ensure the systems are in defined state.

> with four(!) managers managing me.

Usually those should have different roles. Like technical oversight, communicating with the actual users and getting their requirements, then the IT management for operations and than oversight (variance exists, but lots of things, different stakeholders and as they spent public money they have to do extra documentation of processes for accountability reasons)
If this risk area is of interest to you and haven't already, you might want to look into some of the "x-risk" effective altruism stuff going on. My favored branch of EA is about solving global poverty, but it's also got a bunch of people thinking about black swan extinction-level events.

One notable organization here is ALLFED[0] -- they're specifically looking at how to avert global famine in cases of global catastrophes.

[0] https://allfed.info/
Checked my (already filled in mail-in ballot). No, Evan Low (who introduced this) aren’t getting my vote now. (and I have to request a new ballot now :( )
Early Mongol Flags
China has a mass cremation program underway to deal with COVID19
Just a quick shout out to Microsoft (no affiliation) - Their Sculpt keyboard has taken all the discomfort out of 15hour coding sessions. If you're a professional developer, get one.
A big downside of that proposal is that everything takes up much more space, which makes it much harder to keep track of what else is going on. In toy problems it is fine, but in real problems having the answer to "did the code already check for i == j" visible at the same is really important. Let alone context such as "is this the reference implementation for single core validation or the vectorized function" or "is the radius at timestep n or n+1/2".
We actually don't know how bad this disease is.

China's reporting on it absolutely can not be trusted, because:

- their health care system is overwhelmed, so they're not testing everyone who may have been infected (a lot of sick people don't even go to the hospitals because they know they'll get turned away)

- they seem to have run out of testing kits in many places

- their testing may be faulty anyway (which could account for the many reports of people testing positive then negative then positive again)

- their media is tightly controlled so there's no independent verification of what they tell us

- they've changed their reporting criteria multiple times

Outside of China there have been too few cases to know yet either, and the countries where it has spread seem to face some of the same issues as China (such as not testing enough people), so their reporting is likely to be skewed as well.
A type checker should track an aspect of this thoroughly. If you find yourself relying unit tests as a contract to prevent future changes something is wrong with your coding methodology. Too many dependencies in your code, not enough modularity.

If your coding methodology was good, the type checker is enough to verify these contracts.

A language without a type checker will have more need of unit tests.
Two ways to interpret boxing here:

1 Storing a primitive as a first class object

2 packaging and repackaging data

There may be situations where the former is not an issue, but the latter often is. If you don’t have a way to treat filter() as a generator/coroutine it means your traversing one collection and inserting those values into another, only to pass it to map() which iterates again and creates a third. If you’re doing that once a frame, maybe not a big deal. Three times per object per frame? That’s a lot of temporary data structures.

If the other responder is right, I speculate that the borrow checker forced someone’s hand in Rust and they found that a generator keeps the borrowed objects on the call stack where they already had tools to track ownership.
Evan Low introduced this bill. He is on the ballot right now, please vote accordingly
The first demo has JavaScript spewing out the bottom of the page on FF Mobile.
Kubernetes solves a huge variety of problems, as well as introduce new ones. Kubernetes is great if you need a scalable infrastructure, but currently, every mom and pop shop wants to ride the Kubernetes train.

The main problem comes when something breaks and building another abstraction layer on top of it won't help.
I’d be a lot more interested if they’d fund it via property tax instead of VAT. Since California has such severe restrictions on housing construction, anything that puts more money in people pockets just gets absorbed by higher rent. The entire CA game is the fixed supply of housing eating up most of the economic output of individuals who aren’t grandfathered in. So if you’re going to fix it, collecting against the property owners who have spent decades greatly enriching themselves by making it prohibitively difficult for anyone new to move in would be a good start. Then when you go to try and remove the barriers to housing supply, they’d suddenly have a lot more reason to get on board (or at least get out of the way).
I've heard ghastly horror stories from PhD friends of mine at the Ivy I attended. I don't think the average person appreciate how unbalanced the power dynamic can be for doctoral students. An advisor can exert a fearsome pressure on their subordinates. You can also get lose funding, forcing you to pay an outrageous rate of tuition to the university (100k~ per annum) if you can't find another source of funding.
I was wondering about this -- but how would CAD or Photoshop be more than a Context Free language? In particular, consider Feature Structure Grammars which are equivalent to CFGs and can really capture a lot of inter-context agreement without needing to be Context-Sensitive.

I certainly may be wrong though, all sorts of stuff ends up being Turing-Complete.
I've just paid £500 ($650 USD) to replace a lost Land Rover key and only they can program them against the car. We needed two but I decided to stick to just the one(!)
You know, I once learned category theory, at least to the point where I could explain from the ground up what a monad is, as well.

And the most important thing I've learned in the process is that these theoretical buzzwords don't have any relevance to programming whatsoever. This theory stuff is not a means to an end. It's a means unto itself.

> My answer to this is: the ultimate type system is constructive logic (following the proofs-as-programs direction), the ultimate typechecker is a theorem prover, and theorem proving technology improves over time. https://twitter.com/TimSweeneyEpic/status/123141241308757196...

People who say such things have simply drunken the kool-aid, big time. When it's about practice instead of theory, I prefer to listen to people who have actually made stuff in the last decade.
> please do not call yourself an engineer

> just anybody can call themselves engineer?

> It's not about titles.

It was about titles!
Even if average height is quite high. There will still be people on both sides of the bell curve much taller and much shorter than average people exists.

So basically, it will look like as it looks anywhere else. Pretty sure there are 6'3 Dutchmen who feel short in Netherlands.
I think the assumption I can't do math is insulting. But let's run with it. Here, in the same form, is your theory of value delivery.

2.5 5.0 7.5 10.0 12.5 15.0 17.5 20.0 22.5 25.0 27.5 30.0 32.5 35.0 37.5 40.0 42.5 45.0 47.5 50.0 52.5 55.0 57.5 60.0 62.5 65.0 67.5 70.0 72.5 75.0 77.5 80.0 82.5 85.0 87.5 90.0 92.5 95.0 97.5 100.0

That's your theory, of course. You can see how cost is not proportional to value delivery. But from what people have been saying about your program, it sounds like actual value delivery is more like

0.5 1.0 1.5 2.0 2.5 3.0 3.5 4.0 4.5 5.0 5.5 6.0 6.5 7.0 7.5 8.0 8.5 9.0 9.5 10.0 10.5 11.0 11.5 12.0 12.5 13.0 13.5 14.0 14.5 15.0 15.5 16.0 16.5 17.0 17.5 18.0 18.5 19.0 19.5 20.0

So in that case, charging 100% when they're only 25% of the way through a program that's delivering 20% of what it should is even more obviously bad.
When I was 19 I worked at Dominos Pizza, and they offered me a management track position. I would attend Dominos University, a management training course where they would teach me the art of pizza restaurant management and advanced pizza making skills. The starting salary for management back in 2007 was $38k per year with 10% bonus, and included health insurance, paid sick leave, etc.

I say this because - why do these adjuncts subject themselves to such torture? If you are smart enough to teach medieval poetry, you can run a pizza restaurant. These people fetishize university life and kill themselves for no reason. It's absurd. Universities get away with paying horrible wages because there is a seemingly endless line of people willing to be homeless in order to teach undergraduates and grade papers. Insanity
Haha, I agree. Sorry.
Wouldn't it be easier to move away from the big cities and the big rents with ubi?
> but for a streaming compiler... you just don't have liveness analysis

I understand that streaming compilation wants to start compiling before the entire module has been read, but is it really that important to start compiling functions before their entire definition has been read? Seems like a huge artificial hurdle.
Do we get a little black bar on the site for her?
See, you have to pay the share of all the property owners in the state paying decades-old property taxes too.
Maybe its not the general population that will foot the bill. Also, if other state benefits were reduce, that would change the math.

It's easy to throw around FUD. But anything that redistributes wealth from the top 0.1% is the right direction.
Warren Buffett finally trades in his $20 flip phone for an iPhone
plenty of other languages do so, but it's both unfairly diminishing to the parent & questionably correct to refer to it as "basic type safety stuff"
What’s more is MA has many if the best public schools and Romneycare (at 3% uninsured, that’s the lowest amongst the 50 states) and its taxes aren’t higher than CA’s.

CA somehow manages to waste a lot of money. SF has city budgets higher than some states and still says it needs more money.
This looks fantastic! What a treasure trove.
Paul Snively (the author of the linked reddit post) also gave a great talk entitled 'Typed FP on the Job - Why Bother?' at LambdaConf a couple years back, that spoke strongly to me:

https://www.youtube.com/watch?v=8_HsFrXhZlA

> And now you can do the most important thing you can do with any piece of code... stop thinking about it! Go home! Pet the cat! Watch House with the wife! ... I love Friday deployments ... you know why? Because I know what my code is going to do before it runs!
This is likely due to hotter temperatures having an effect on humidity.

Very cold and very hot temperatures would reduce range of droplet transmission and viability of fomites. (contamination)
I use a 250 watt heat lamp suspended about 3 feet above by keyboard. It warms my hands, the kbd, and the desk surface. Doing so for years, way more comfy.
>an incredible, inhumane, History Will Judge You shortage of supply.

I'm starting to feel it's really just the massive demand. California cities are already quite dense. We can certainly do more but to say we're historically failing just doesn't make sense to me.

I'd love to see numbers on just how much pent up demand there is and how much building would need to take place before residents felt it but I realize its not an easy thing to estimate.
Are you suggesting that those users have no choice but to use that software?
Actually this is quite a bit different. This is more a columnar-store version of SQLite, basically an embedded OLAP database, which is pretty cool. I’m not aware of other column-stores in this niche, most are distributed systems meant for big data and so are much more complicated to setup and manage.
It's a salt/sand mix, since the sand (grit) provides extra grip.

If it's really cold (I assume this can happen in Scotland) it would just be grit.

(I'm not sure why "gritter" would be difficult to work out. "Grit" is a normal English word: bits of grit in the cabbage, 100 grit sandpaper.)
To the owner of the cert, I suppose. But how many browser users are even aware of the existence of certificates, let alone CAs and expiration dates?
Computed properties in Swift: A basic feature for safer and cleaner code
There aren't that many movies out there about the excitement of a technical career and that movie was a great one.
From my research on alternative keyboard research (http://tbf-rnd.life) I've come into contact with the author of (and managed to piss of) the author of talon. Seems like a competent solution, even though I haven't been able to dig that deep into it on account of not being a mac user (until know)...

There'd be some back and forth regarding it's suitability for coding over there. Much better support than I expected apparently...

Still as a general solution I do believe it has drawbacks, noisy environments etc.
People also discount things that will probably kill them decades from now in a horrible way if they don't change their behavior instead of things that will maybe kill them weeks from now in a horrible way if they're unlucky.
If you double taxes, but the money is literally just going back into people's pockets, less administration fees of the UBI program, it's just income redistribution and can completely work.
Launch HN: Linguix – check grammar instantly in Real-Time on your favorite sites
I don't even see them making sense for tenant rights or home selling. Placing a minimum on the size of apartment someone's allowed to rent to me, or the size of home I can buy ultimately comes into conflict with my right to decide how much money I'm willing to spend.

Other housing codes - say, requiring the wiring not to be a fire hazard - make a lot of sense as a way to protect me in situations where I can't reasonably be expected to have the expertise necessary to assess the situation for myself. But I am the ultimate authority when it comes to deciding how much space I need for myself and all my crap.
"science" is the enactment of the scientific method, which involves hypotheses and Ockham's Razor.

> "questioning the sources", is inherently anti-science

There is no sense in which this is true. Have you ever gone to a doctor for a second opinion? Peer review itself is based on "questioning the sources" of an article. In my example, the questioning is extended to whole fields of study, or groups of scientists. And my real world example, Monsanto, is exactly why such larger categories of sources should be questioned.

> There is a large difference between conspiracy theories and actual conspiracies.

No, there isn't. The only difference is in the amount of information available. Many people found the US surveilance conspiracy compelling, at a level of information it sounds like you would have disparaged. That makes them perceptive, not anti-scientific.

TLDR: mistrust is often well-placed, and those who believe the scientific community is above question are naive.
Well, "something" is being tested as your code is verifying that an input produces an output.

But your philosophy is correct and we are in agreement on that.

The thing I was referring to is the abstraction of dependency injection itself. It leads to code that is over complicated as the abstraction itself is not only pointless but adds unnecessary layers of complexity.

There are ways to target the philosophy of what dependency injection for unit testing is trying to accomplish without introducing the side effect of unnecessary complexity that comes with dependency injection. It's as simple as just separating IO functions from core logical functions. Don't bundle these two things together into an object or a single function, that's it. (Also don't use objects period, but that's another topic.)
I use one of those at work, and a mouse at home. I like to think mixing up the motions helps, but honestly it's because I'm not nearly precise enough to game with a ball.
Even a divorce which is not lengthy and avoids acrimony can leave one feeling like the "reset" button got pushed.
The precautionary principle seems to be thrown to the wind here.

The unintended consequences of such a policy are far-reaching and poorly understood. UBI has seen a lot of coverage in the media recently and gets a lot of people excited on social media. Most coverage of it is shallow, but even the most in-depth studies of it that have been performed have been too small scale to have any bearing on the reality of transforming an entire state's economy.

It would be nice if we lived in a post-scarcity (or sufficiently close) economy where we could afford these things. I doubt we do.
You mean specifically SARS, which is a syndrome not a name of the virus. The really really agent is immune pneumonitis, or cytokine storm related sepsis.
My read on the exclusions is that UBI as a form of welfare solves an issue all our other welfare programs have: attempting to apply credits to very specific costs instead of eliminating loads of administrative overhead and terrible paperwork by just giving people money to spend on what they actually need. cash instead of a giant coupon book which doesnt cover edgecases.

So I could understand if they want to try to replace existing welfare programs with UBI and then ratchet up the UBI amount until its better than the old programs (and more flexible).

But as-is, yeah, this doesnt help some of the ppl who need it most
PCI-DSS is a joke, just look at all the zero days that have gone on before today, Comodo the CA hacked, DigiNotar to name a few, the recent zero day in Windows hilighted by none other than the NSA back in Jan. The public have ADHD attention spans, so who cares as long as the money keeps rolling in hey? Do you think your politicians, law enforcement, big businesses or Banksters give a toss? Criminals rule the world and its been going on for thousands of years with people believing in things like Religion and Royalty!
> Or they simply don't want their stuff stolen?

Equating credit card fraud to physical theft is silly. The intermediaries of the credit card industry earn revenue by charging fees to process transactions. When fraud occurs, they're only liable if they were some how responsible. PCI allows the network to shift liability to the periphery and to allow the central network to deny taking responsibility for systemic problems with the infrastructure.

To use your razors analogy, PCI is like Gillette shipping razors lose in a box to CVS and telling the store that it is liable if anyone gets cut or the razors get stolen AND Gillette can fine them if anyone gets cut or razors get stolen. But that's not how it works, in the real world razors come with safety covers in tamper evident sealed plastic clam shells.
It's subjective. My experience is exactly the opposite. A pipeline of sequence operations is something I can skim at a glance, but a for-loop is a pile of code that I need to stare at before I understand what it represents.

This does not invalidate your experience. It's common, and with good reason. This sort of dissimilar experience with the same code is why coding standards need to be views as social norms for the team using them, and not just technical things.
Sure looks like one.
I think that the issue is that most people do not make enough money to live comfortably, stash some away, and not worry. For example, if someone wants to own a home in a major cosmopolitan city in the United States, then they must be extremely wealthy.
Mongols had no problem going Europe and dominating much taller tribes.

Yes, it could be why Scandinavian are taller but East Europeans are not, maybe Scandinavian never faced enemies like Mongols? So in Scandinavia always solo fight (sword/axe) gave advantage to tall men while in East, archers were already able to kill taller men with ease so there was no advantage of being tall.
It certainly reads like an ad. Then again, I've been seeing more of this "cutesy" style of writing popping up in tech, so it's a little hard to tell.
It's been in early development for ages, but MicroG's degoogled Play Store may fit the bill.

https://microg.org/

I could see there being a filter for apps without google dependencies.

That said, I think F-Droid is still the better choice. If the source isn't open, then it'll be hard to prove that the apps aren't degoogled in the first place.
No, because that’s where the vast majority of jobs and other services are located.
I'd recommend avoiding 15-hour coding sessions over using an ergonomic keyboard.
My ideas of writing tests has changed over the years:

- It's a must-have for business logic, because errors can lead to actual dollar costs (and looked at by the SVPs). Any maintenance change should require a unit test for this type of logic. This way our code confidence in deployment of a new feature or change goes up.

- Catching regressions. We've had errors we've missed in the past, and as our team changes and team members come and go, the want to make sure we are not making the same mistakes. Thus, automated testing on regression tests helps our confidence in code stability goes up.

- System failures. This is more obvious as an integration, but it's good to have these tests in place because once again they can be traced to actual dollar amounts. ALso helps confidence level of deployments by junior/new employees.

- Maintenance of legacy code over YEARS. I think most people skip unit tests because they are writing new code, which gets tested over and over during development, but adding a new feature to massive legacy code is still an aspect of our jobs. I don't remember how my code worked last month let alone 3 years ago, so unit tests help not only in confidence levels, but in speed of development because I wrap mocks around any services that I don't want to wait for or should not be triggering for this rapid-iteration development.

Each circumstance is different, but I think unit testing goes beyond just knowing the domain well.
> Most serious UBI proposals do what this one does: Either keep your current benefits or go on a UBI, whatever works best for you.

I appreciate that we wouldn't want the situation where instituting UBI stops (for example) severely disabled veterans getting specially adapted cars.

But doesn't this mean we retain all the forms and bureaucracies and weird income caps and disincentives to work, and the administrative costs that go with them?
Residents in Milan, Italy have raided the grocery stores as panic about COVID19
Negative Ion Products are Radioactive [video]