skysight-inc/HackerNews huggingface dataset:
Then one would not have the fun of writing

#! /bin/sh
...
source /lib/lsb/init-functions

and have it not work on systems where /bin/sh is (say) the Debian Almquist shell. (-:
Falkon is a Qt-based browser using QtWebEngine (Chromium).

https://www.falkon.org/
I didn’t say it’s open source, and I don’t agree that the NC clause is incompatible with the notion of open source. I don’t recognize the OSI as the sole authority on the subject but a useful legal framework, so all your argumentation about definitions is moot for me.
In this context, I also highly recommend John Gustafson's book, The End of Error. It is full of great examples, and at one point contrasts advances in numerical computing with improvements in other areas:

"In 1970, a printer might produce something that looks like this, and take about 30 seconds to do so: [picture]
Over forty years later, a laser printer still might take 30 seconds to put out a single page, but technology has improved to allow full-color, high-resolution output."

The book makes a compelling argument that working with floating point numbers is similar to printing thousands of
low-quality pages per second, instead of getting a single high-quality page in 30 seconds. A few paragraphs later, the book states:

"Eventually it becomes so obvious that change is necessary that a wrenching shift finally takes place. Such a shift is overdue for numerical computing, where we are stuck with antediluvian tools. Once we make the shift, it will become possible to solve problems that have baffled us for decades. The evidence supporting that claim
is here in this book, which contains quite a few results that appear to be new."

For more information, see:

https://www.crcpress.com/The-End-of-Error-Unum-Computing/Gus...

and John Gustafson's home page:

http://johngustafson.net/
I still find it awful and not different to open-offices.
> I don't accept the legitimacy of IRB rulings

That's too bad. The rest of us try to learn something from Nuremberg.
Well, not all software, only where you'd decide to use that feature. In non performance-critical code, I'd disable certain optimizations anyway to make sure that sanity checks do not get optimized away. (The Linux kernel had a few high-profile cases of this problem.)

One way to implement my idea would be as pragmas that tell the compiler "don't optimize away this null check", "assume this variable can alias", "just emit the obvious ASM for memory access" or "put memory barriers around this code".

I don't see how this kind of "stupid memory access" would make e.g. SROA impossible. If I just access the memory around "this", sure, I would not see the layout I'd naively expect. But that's not what I want anyway. I want to see the memory as it is actually laid out.
I'm pretty sure whitespace in F# is one way to control blocks. So anything further indented than an if is part of the if block. I'm definitely not an F# expert though, so I'm sure there's more to it than just that.

I also think there's a way to write F# that doesn't have significant whitespace, but uses a lot more keywords. Verbose syntax, I think that's called. I almost never see examples written that way, though.
You're not alone. It affects me a lot too.

On the positive side, my gut sends a sos anytime I mess up my diet, so over time my food habits have improved just by avoiding certain items.

Food preservatives (in packaged foods) affect me much more than people around me. Missing breakfast or anything that gives me acidity triggers it. I always have had a low tolerance for alcohol.
There's always Z-wave, which is way more modern than X10. I started with Wemo because I thought I didn't want to deal with a hub, and in retrospect, that was a mistake. Z-wave is faster and easier to set up and maintain than wifi/IP based equipment like Wemo.
The second part is what he'd rather use. He didn't seem to want a smart oven, which is what he's being downvoted for.
I don't think this is a fair assessment, and I actually think the article does a good job differentiating between the chronically homeless (many of whom do have severe mental illness or substance abuse problems) and the temporary homeless.

As the article points out, you actually don't see, or at least associate, the temporary homeless as being homeless, because these people have jobs and are just trying their best to get by. So most of the homeless that people associate with being homeless are chronically homeless, where many times the stereotype is actually not that far from the truth.
His solution is interesting if you want to rewire your whole house.
Today is one thing, but in 2050, 2080, things could be vastly different.
Sounds like having the plants separated by a road with traffic jams was very expensive.

Probably way more expensive than colocating the two factories.

JITs are really susceptible to shock.
Bola Tangkas Online Tanpa Download
Anda tertarik dengan permainan judi bola tangkas? Sudah tahu cara bermainnya? Memang permainan judi bola tangkas sangat mengasyikan, dimana tugas kita sebagai pemain hanya perlu mengelompokkan kartu yang dibagikan bandar.
Commodore the Inside Story by a Former Managing Director of Commodore UK
The Julia solution didn't require anyone to actually think about making it work, and it works well (we found out from a Discourse post that it works, the developers didn't even know :)), and now we are using it in our research codes because it is a great way to speedup what was traditionally done via parameter sampling.

Until I see someone else take an existing ODE solver like LSODA and convert it into something that can output uncertainties without having to do parameter sampling, I won't think other ecosystems are very close to what we have already done. Places like SciPy are still calling out to Fortran routines from ODEPACK for this, so making it work with Numba class jitting is a long way away. Show how easy it is to code it by showing code. Ours is already done: the ball is in your court.
>I can understand that the companies don’t want underage kids driving it but why would the police enforce a breach of a private contract?

Police in the US exist to protect private property, not people. It's the basis of our entire economy and system of government. The same reason police will go on an international manhunt costing millions of dollars for someone who robbed $10,000 from a bank.
very well said indeed! +1
It depends on the bootcamp. There's a local one at a decent university that turns out a ton of people with no real ability to program. It's not a very tough course, and so many people are able to get through it without actual aptitude by the end.

On the other hand, I recently interviewed someone from an out-of-state bootcamp that was very impressive. They had been self-teaching for a while beforehand, but from the interview it was clear that they learned a lot more at the bootcamp than they had learned on their own.

We have never considered hiring anyone from the local bootcamp. We are definitely considering the out-of-state person.

In short, your views of coding bootcamps are going to depend on the quality of the bootcamp near you.
To be clear: Are you claiming the expensiveness and ineffectiveness of social programs is due to only one party?
Selling equity is not the only (or even primary way) that companies obtain capital.
Have you used these? Any good for receiving and making phone calls?
I used to believe that was true, but recently I read that even in the hardware space formal methods have limited application - like software, they're usually used only on very specific sub-parts like MESI protocols. But it's not the case that a modern CPU is extensively applying formal methods.

W.R.T. things like static type systems, I agree. But progress there has been fairly minimal in the widely adopted languages. Mostly, in fact, the type systems did not get stronger, but the focus was on making them easier to use through more type inference.
https://news.ycombinator.com/item?id=18052182
Congrats on the deal, been following STRIVR's work for a while. Your sports training looked really promising.
I wonder if this makes it more difficult for the live-in caretaker to eventually find another place (if that's what they wanted) because they're effectively earning less? I.e. I wonder if the rent is usually R dollars if their salary (S2) is actually S2 = S1 - R where S1 is what they would be paid if they weren't receiving the housing, or if it something more like S2 = S1 - R*T where the amount deducted from their salary is more than the actual rent cost.

Not quite the same, but I've done many "work trade" situations where I've lived on a property with some kind of house/structure and other furnishings/utilities provided in exchange for doing farm work or other labor. It never worked out economically well because the amount of time I had to put into where I lived made it difficult to also work elsewhere for money.
Almost everyone owns a microwave. You're literally the only person I've spoken to who doesn't.

Over 90% of the US owns a microwave. (Though sales are apparently dropping)

https://www.google.com/amp/s/qz.com/187743/the-slow-death-of...
I could take your experience (which is shitty, I admit) and multiply it by 5x or so times and that would be my experience with cars everyday.
This article misses so much of the point. Older, but much better:
https://www.lrb.co.uk/v33/n05/judith-butler/who-owns-kafka
Thanks for this. It's pleasing to hear there might be a better way!

I shot myself in the foot a bit when I saw the web worker thing working (ish!) and carried on down that path, so didn't really explore the other means with requestAnimationFrame etc

Will be definitely looking at it now though, it's good to know that everything can run on the browser thread!
>they might as well be more dangerous than cars

this is dumb. cars weigh 1000x more than these scooters.
Amphetamine salts instant release (10mg x 2) and extended release beads (30mg x 1) across the whole day. Make I'll try dexadrine and then vynase, but I recall vynase is converted to a lower level of amphetamine in the body than straight amphetamine?
maybe this is a cultural/regional thing? I am not from the US.
Looking around America generally and how things are done here and attitudes around driving and transportation just gives me little faith things will actually improve here.
This is not the reality I live in. Everyone has a microwave, and for people in student halls or less affluent accomodation, it's sometimes the only available way to cook. For many (in the UK) 'ready-meals', most of which are preparable with just a microwave, are a staple part of people's diet - even among more affluent, but time-poor people. There's usually a whole supermarket aisle dedicated to these foods.
It will end up applying to them regardless of providence. Companies need to simply stop selling to Chinese companies. It's not worth it due to IP theft. But hey the Chinese government will just steal it anyways.
I spent a few months developing this app: https://deepnest.io where I have a "pay what you want" model. Currently it has a conversion rate of 2.08%, with average payment of $28.73 totalling 1,556.00 in the past month. In terms of income it's really not great, as I imagine actual commercial software in this space is making much more than that.

I guess it really depends on how much you value money vs having people use your software or other ancillary benefits.
> given that school also serves the purpose of gov't sponsored day care, i'm not sure what they could really do better aside from granting tardiness allowances for students with bona-fide sleeping disorders.

Remote school. Lot of things could be learned and done from home. Then you can stagger your buses from 11am to noon for those who require communal food then group activities (art, sports etc.).
>enters the intersection to a busy 30mph road (where cars frequently go 35 or 40+, easily)

well I think we've found the problem. We don't enforce the rules for the vehicles that have the potential for the most damage.
Everyone I know has one. Very few use it for anything other than reheating. Maybe boiling a cup of milk and the odd ready meal.

The microwave at work on the other hand gets loads of use.
And yet I have never encountered such a careless attitude wirh regards to DUI than in the US. Age alone is clearly not the only thing that matters.
How does your pricing compare to https://www.hetzner.com/dedicated-rootserver/ex51-ssd-gpu ?
Surprisingly enough, I've been using Stylus on quite a few sites as well
Several comments elaborate on the big gap between normal programming practice (e.g. structurally recursive algorithms) and the great difficulty of dependent typing those practices. Some of these comment on how dependent types are "just out of the lab".

This brings into focus a question I've had for a long time: Why this gap, and especially in this direction? E.g. in aerodynamics we had Bernoulli's principle for a couple of hundred years before we could build airplanes, which depend on it. In formal language theory we had lambda calculus, Turing's universality results, etc. decades before we had Lisp and Fortran.

We often see the difficulty of building a practice to exploit theory.

So it seems very strange to me that we are able to write / plug together literally world-spanning software systems -- which do have bugs but fact work correctly nearly all the time. But we can't easily well-type even simple algorithms with extremely well understood properties.

Why this huge gap, in this direction?
I believe the point was one party makes the programs expensive and the other party makes them ineffective. I hadn't thought of it that way before!
Taking the response in good faith I would assume that it's just showing the way the debate could go. It's rather constructive, whereas asking why repeatedly, seeking to arrive at a contradiction, is a fool's errand that may work both ways. Proof by contradiction is an important tactic to weed out misconceptions, but the strategy for communication
is to find common agreement. Faith is a loaded term, so in effect the response opens up the meta level to your believes about faith. Indeed, I wouldn't go there out on a limb, either, if I don't have anything to add.
On the other hand, I watched a teenage boy ride a Lime scooter onto a highway 880 on-ramp yesterday.
If it were common I’m sure I would have seen it though... it’s not like most of us weren’t in uni for at least 4 years.
He has great examples. Sadly he found shortcomings to his unum numbers and his new alternative[0] do not seem that great compared to the current status quo.

[0] https://posithub.org/index
There's already two smartphones and an iPad in my living room. Why should I care about adding a fourth listening device?
Microchip 'god mode' flaw: Is it time to rethink security? – TechBeacon
How d'you know what most people's experience with the homeless is? Also, distinguishing between "homeless" and "chronically homeless" (which makes it sound like an extreme sport) by your definition can only happen once you've been stabbed, stabbed another, or squeezed one out on the sidewalk. So until one of these things happen you don't really know.

Forgive me, but it sounds to me like an easy way to justify hating on the homeless. Chronic or otherwise.
Parent Driven Development
This was my first thought too. Don't know why you're getting down-voted because of it.
> I have never seen the need...

Nobody "needs" any of this stuff. But once you factor in laziness and convenience, "normal" people are willing to make tradeoffs.

I know I don't need Alexa, but when you've got grocery bags in both hands and it's dark, being able to turn on the lights by voice is handy even though it's far from "needed". And when it works well enough most of the time, it's easy to become dependent on it. For some things, voice is way more convenient than pulling out your phone and fumbling with an app (like changing a setting on a Nest).

A slightly related but different example: I just tried installing a pihole in my network, and it ended up being a total headache.

My wife likes using deal sites for shopping, and they like to redirect to a half dozen tracking sites before landing you on the e-store you want. And of course, the pihole got in the way of her shopping. The pihole ended up being way more trouble than it was worth and got decommissioned after only a couple of days, as white listing is a time consuming cat and mouse game I didn't want to play.

My wife cares more about her $5 shopping rebate than she does her information being passed around to marketing companies, because the tradeoff is worth it. I don't think my wife is much different from most normal consumers in that regard.
This matches my experience exactly, even with some of the best doctors in the country: very good at passing exams, not so good at lateral thinking.
Not yet; we’re still working on the semantics of the language, and proofs for it; you need that before you can prove things about the code in the language. Or at least, the stuff we’re most interested in.

The EU is funding some of this work.
I don't know about these kids but I took the bus around town when I was a teenager.

A scooter would be far more convenient.
Ask HN: First employees, how much equity did you get?
The point is that it seems flawed that these are approved for exams, not that this isn't a good business decision on the part of the company advertised here.
A handful of cities/states where overbearing paternalistic government is in vogue are not representative of all of America.

In most places the cops wouldn't blink twice at anyone on a scooter so long as they're not riding like an ass in traffic.
I have a background in both science and philosophy, and so I have thought a lot about Kuhn. Here are my conclusions.

To start, there are two parts to Kuhn's ideas. First there is a historical analysis of the process of an old theory being replaced by a new one. Second Kuhn tries to come up with a metaphysical explanation of what is going on here.

The historical analysis seems sound. I say that because it fits my own understanding, because scientists in general think it is right, and because philosophers of science, most of whom initially rejected it, have over the years come to mostly support it.

Where Kuhn gets into trouble is his metaphysical explanation. He has a sort of dualistic view that leads to a type of anti-realism, though he can't quite admit it.

What he should have done instead, in my view, is to explain his historical findings with a metaphysics from one of the anti-foundationalist philosophies, such as Pragmatism, existential-phenomenology, or the later Wittgenstein. This sort of approach makes possible a realism that fits his historical studies.
I find a strange certainty in the stomach theory repeated all around the article.

Why in the stomach? How can they discard that the fig was in a pocket or a bag or was just planted by somebody later to mark the area?
I agree with dcbadacd.
> This is what the average user wants

I'd say it's what the average user was tricked into. In first years of existence Chrome was smuggled as "additional software offer" along with default browser setting in many software installers - that's how it mainly became popular. The typical computer user wouldn't notice the difference of new web browser presence (tho, the initial panic - "where are my bookmarks/passwords" could and did happen) and thus, as you're saying will accept that Chrome is the Web interface.

> With Chrome Google has succesfully defeated Apple, MS and Mozilla.

I'd say they managed to accomplish what MS couldn't with IE years ago - they had dominant position but not the quality and that's what Google with Chrome has achieved. I'm still "crying" after Opera decision of moving from Presto to Webkit/Blink - without it there's little to no competition at all between two remaining meaningful players. Nowadays it's Firefox with Gecko/Quantum vs Chrome along with all its's copies using Blink; an artificial homogenization of browsers market has happened - stimulated by shady marketing actions (mentioned bundling within installers).
I think the most important line of the article is:

"On its first run in 2016, Interapt had 800 applicants, accepted 50 and graduated 35."

Any strategy that posits IT and programming "insourcing" as a solution for the troubles of Middle America is going to have to have a strategy for the 750/800 people who don't have the chops to become a software engineer.
anti clickbaiting:

> The number one thing was timing. Timing accounted for 42 percent of the difference between success and failure.
I'd agree with you, but as soon as I came back to live in the city, my nite-owl tendencies returned with a vengeance. It was like flipping a switch.

I'm also not trying to generalize to everyone, I'm only surmising that there may be a lot of people like me. It's arrogant to assume your personal experiences apply to specific other people, but it's equally arrogant to assume you're a snowflake and that other people's experience is irrelevant to your situation. Everyone is their own unique blend of the many human commonalities.
Invites for new streaming site like Stream Royale
VR is not dying. It's a new technology that is under active development.

Magic Leap just released their first dev kit last month. StarVR has a new HMD coming out with 210 degree FOV. Oculus is working on a standalone wireless HMD. Things are actually progressing much quicker than anyone thought back in 2014 when the "VR renaissance" got started. We now have wireless HMDs, eye tracking with foveated rendering, perfect sub-millimeter inside-out camera based tracking, and the first multi-plane displays (on Magic Leap One).

None of that tech even existed 4 years ago, or if it did it was in a university research lab. We're now less than 5 years away from having a slim, lightweight, wireless device that you can put on your face and have 100% nonstop presence. There are still things to solve like haptics and locomotion which will be decades away, but the visual component is totally solvable with current tech.
Putting a dollar value on one of oil’s biggest subsidies: military protection
> the chance the teenager is going to be more smart, agile, conscious and simply decent are fairly far above zero

True. And the chance that the teenager will be overconfident, inattentive, unaware of risks, or take dumb risks to impress some girl/guy are also above zero, and often pretty close to one.
What does moralizing have to do with it? These are people who could benefit from systematized programmatic interventions. Relying on some moral guideposts to decide who is worthy and who should be harassed or left to suffer feels really pointless. Just help them, both for their sake and for the quality of life of everyone else around them.
Seen the average size of a GP's house in the UK? It's not a coincidence that they often have expensive hobbies like flying, yachting, etc..
> The key to a good apology is empathizing with the other party.

We're reaching the Godwin's law here.
A "good" apology is not always a good thing though. If you do apologize you should do it to the people you know and cherish, otherwise you might be apologizing to the worst human being on Earth and then face the even worse consequences. Rebuttal could be a good thing and it pays to be polite.
Look here:
https://en.wikipedia.org/wiki/Jackie_(dog)
Straight and never married? IDK, ladies man, or committed to his work, or never settled down?

It would be arguing the “social” he never married vs the literal. It’s been reasonable acceptable to say gay since I was a kid so I only know about the phase from reading.
A dumb teen isn't going to try to drive a car on the sidewalk. I've seen teens drive scooters on sidewalks. You can't lane split with a car, you can with a scooter.

Cars have a greater ability to be dangerous, but maybe scooters are more dangerous because of how they can be and are used. I do not actually know, I've never looked into numbers.