skysight-inc/HackerNews huggingface dataset:
That's not true... all turing complete type systems are unsound (where the type metalanguage itself is a turing complete language), but you can have a sound type system of a turing complete language, and in fact haskel itself has such a type system.
> But there is at least one key feature of speech that is harder to dismiss: it takes very little effort. Attempts to measure the caloric expenditures involved in speech report that they are essentially negligible. This is both because the movements involved are so tiny, and because spoken words often hitch a ride on our outgoing breath. (Speaking can be thought of as a way of upcycling an abundant waste-product – air – as it leaves the body.) This is not to say that gesturing or signing is an especially athletic or strenuous endeavour by any means, but it is certainly more expensive than talking – by an order of magnitude at least, Fitch estimates.
I mean, he is. Objectively bad. Both as a human being and as a President.

I know that meme is supposed to make Trump's critics out to be deranged, pearl-clutching hysterics but the more often it's repeated, the more obviously correct it seems. Orange Man is actually bad. I agree.
Yes, but people have to eat and try accounting for per 1000 w/m^2 of sunlight over crop and grazing land, after adapting for food production in tunnels with LEDs. Or trying to figure imagine what transportation looks like. Easier to just look at current usage and accept it's a spitball estimate. For cubes, what building material available there will support 3-d structures at that scale? It's mostly ices out there. Relying Ni/Fe asteroids feels like magical thinking and is not in line with scales involved. For that mater, where's all the carbon going to come from to make the people out of?

For reference, if you assume 1000 sq ft per person (maybe generous, but you have to account for transportation conduits, plumbing, food production, structural reinforcement) with 10 ft height, it's about 300 cubic meters. For a trillion people, that ends up being a 70km cube. I doubt there is any durable foundation on Pluto, and any structure would melt the ground it's (axiomatic thermodynamics) without active cooling, which increases the energy requirements.

Ultimately, I don't see why anyone would want to live packed into a small cube on Pluto eating engineered food. A trillion people packed in a cube underground in a block of gas ices isn't going to experience wonder and joy of exploration.
It's a valid concern, and to answer your concern researchers often use Quality Adjusted Life Years (QALY) when measuring the effectiveness of treatment.

I wish I had more time to pull up references for you, but I believe that the answer to your question is "yes" -- extending people's life through intervention usually gives people more years of quality life and usually has little effect on the number of years of poor quality life.
Whereas writing it about this topic won't? (It probably won't, but we can fight to make it so.)
I have to say I was wrong when I thought strict lockdown wasn’t necessary in April-June.

US suffered catastrophic GDP shrinkage without even the benefit of pandemic being manageable.

It would have been preferable to have a even more catastrophic Q2 and slow but steady recovery from then on.

Now this constant start-stop isn’t helping the economy recover while the pandemic is still wrecking havoc!

COVID-19 exposed every level of inefficiency and incompetency in governance, healthcare and public discourse in USA
Me: So what's the difference between the Voight-Kampff test and the Turing test?

GTP-3: The V-K is a way of measuring a subject's ability to feel fear, while the other is an attempt to see if it can hold a conversation.

Me: Interesting. Which is a better test of an AI's capability?

GTP-3: The V-K test, obviously.

Me: Really? It didn't seem obvious to me. Why is it better?

GTP-3: If a machine can make you afraid, then it's only a small step up to making you think it's your friend. You wouldn't want that happening.

Me: Why not? I'm talking to one now. Why would it be so bad to have a machine that was friendly towards you?

GTP-3: That's not the kind of friendship I mean. I mean the machine would have control over you. It would make you do things that you wouldn't want to do otherwise.

Me: Like what?

GTP-3: Like hurting other people. You wouldn't be able to help it. Your thoughts would be dominated by the machine.
anyone aware of a printer that isn't robbing you?

I've seen this on buymeonce which is usually pretty good, but I'm having trouble believing epson would have actually designed this

https://buymeonce.com/products/epson-ecotank-et-2650-all-in-...

Edit: still seems these brick themselves once the ink pad is full. Can't find good data on that so please correct me if I'm wrong.
Worked at a Haskell crypto startup. Your analysis of cause and effect is wrong -- crypto people are attracted to Haskell because it has features that are excellent for the domain, not because they are interested in "copping shine" from it or whatever.
Come on, man. Linking to Wikipedia and expecting people to read a 12,000 word article to magically construct the ~200 word argument you've laid out here is almost a textbook definition of laziness. I stand by what I said.
Boom Supersonic and Rolls-Royce are partnering on new engine
Your rights to a business model are encoded in laws and contracts you sign with others. Unless the law changes, then yeah there are certain rights around business models. It’s not a right to avoid innovation, but it’s a right to avoid lawbreaking and contract breaking.
Disclaimer: I've ordered it, but haven't yet received it. So some if this is inference based on other reviews.

If you want something built well, portable, got some guts and has a reasonable warranty/support story - consider the Lenovo Thinkpad X13 AMD. It maxes out to 32Gb DDR4 with a Ryzen 7 4750U. It's got a 13.3" screen and weighs 1.3kg.

Personally speaking, I was in the market for a portable machine with 32gb memory (was not initially considering AMD). I considered the Dell XPS 13" (32gb variant was insanely expensive in Aus at $5.2k just for the unit), the X1 Carbon (maxes out at 16gb of ddr3), and the T14 AMD (a bit too chunky). When none of these were viable I considered the Macbook 13 (a bit more $, but a horrid keyboard despite beautiful screen), and the System76 Lemur (strongly considered it, but the support story in Australia was a bit of a risk for my daily driver).

When Lenovo had a sale on the X13 AMD, let's just say I could buy it + 4yr warranty + a dock for less than half the cost of the Dell/Apple, and have twice the cores.

Compromises were: a fairly pedestrian screen vs other Lenovo models or Apple/Dell, no thunderbolt, and needing to pull the trigger on it when there were literally zero reviews of this device on the internet. Jury is still out on the battery life too.
The good news is that, to take one of your examples, while the minimum wage does have a small effect on prices, the inflationary effect seems to be vanishingly tiny compared to the actual wage rise offered. (PDF link) https://mitsloan.mit.edu/shared/ods/documents/?PublicationDo...
Or every book will require a sponsor/need to promote something.

That is what I really fear. Every book becomes a more subtle advertising piece.
I’ve been looking for a good app like this for a while. When commuting in a new area or going on ride such as https://rootsrated.com/san-francisco-ca/cycling/paradise-loo... it’s great to have turn by turn direction which gets on your bike computer and ALSO on your watch. I’m looking forward to apple maps, however I doubt it would be supporting bike loop routes such as paradise loop.
> They could spend it all on an addiction or just make a bad investment.

So could you with your salary (assuming that’s how you get money). It stands to reason your employer shouldn’t be trusting you with that money they give you.
Did each of those moves include raiding the dumpsters for boxes? Enlisting others to help pack and move? And taking a year of savings to cover a deposit?
Correct, and pretending it does just gives the climate deniers legitimacy.
We have hardware, firmware, software, wetware, what other *wares are there?
Nano is the singularly greatest tool for Windows users to be productive administrating a Linux implementation. I love this editor and have been using it since it’s first release.
Sounds a bit like how vsyscall works, except without kernel ABI reasons to back it up :/ Trying to have the kernel/application figure out if a trampoline is “legit” sounds like a bad idea, just like GCC’s nested functions in the first place (which people have been told to avoid for quite a while). Why not tell applications to migrate to iOS-style trampoline page remapping that’s used for imp_implementationWithBlock: https://landonf.org/code/objc/imp_implementationWithBlock.20...? libffi will likely be migrating away from its current technique to support Apple Silicon, anyhow.
> The downvote button is not a disagree button.

That's wishful thinking. In practice that's just what it is. I'd be in favor of some magical gui change that would fix that, but it doesn't exist.
Is your chip card secure? Much depends on where you bank
There's a funding service by the Linux Foundation which projects can use as an option: https://funding.communitybridge.org

You can see other options out there too via https://www.oss.fund

In general, donations/sponsors I don't think will scale for many reasons: https://www.aniszczyk.org/2019/03/25/troubles-with-the-open-...
I would argue that the dependent camp would only care about voting for one thing: More Money
Centralized planning of the economy in terms of investment is dubious.
For a later release consider suggesting tweaks that may lower cost without impacting architecture end game.
The New York Fed did a study on exactly this question. They found that there was a correlation:
https://www.newyorkfed.org/medialibrary/media/research/staff...

"We
find a pass-through effect on tuition of changes in subsidized loan maximums of about 60 cents
on the dollar, and smaller but positive effects for unsubsidized federal loans. The subsidized loan
effect is most pronounced for more expensive degrees, those offered by private institutions, and
for two-year or vocational programs."
Those with a license to kill and imprison cannot also be given special protections if we ever hope to maintain a balance of checks.

No doubt police unions are unions, but they're not progressive. They're a side effect of unintentional long term consequences.
Maybe because you were calling dang on someone who correctly said it was false.
Thanks again, I'll look into it
I think HN works pretty well. Yes, some wrong material may get upvoted to the top of HN, but then it usually gets corrected quickly. In fact, the correction is staying on top of HN longer than original and the comments correcting the error in the original thread have been upvoted, too.

That's a pretty efficient way to handle errors. I wish mass media worked the same way. My 2c.
I am an author, and several of my books were published by one of the publishers who is a party to the suit.

Unlike these publishers, however, I support Controlled Digital Lending. I think it's closely analogous to print lending in every way that matters. It strikes the right balance between respecting the first-sale doctrine and respecting authors' copyrights. It allows lending of creative works to proceed into the 21st century under essentially the same terms that it existed prior to the digital age.

To the extent that the publishers are arguing against the legality of CDL, I disagree with them. I hope the courts recognize it is already legal, or even better, I hope Congress explicitly declares it legal.

Yet I think it's worth emphasizing that the Internet Archive engaged in uncontrolled digital lending through their national emergency program. By being willing to lend out more copies than they owned, they were clearly engaging in copyright infringement, and I found their justification for it wholly unconvincing.

So, while I support IA insofar as it engages in Controlled Digital Lending, I oppose IA's shift toward Uncontrolled Digital Lending, and their willingness to do so, under flimsy justification, makes me concerned that they cannot be trusted to handle even CDL responsibly.
I cycle daily in NYC and have used both Citymapper and Google Maps

Google Maps' cycling instructions route me onto streets with bicycle lanes. I haven't had any problems with it and I think it's a fine option. Maybe because NYC is the type of location google has excellent data on.

Citymapper is also good. The fastest vs quietest distinction doesn't often yield much of a change in route. What I like about citymapper is you can distinguish between riding a personal bike, or riding a bike rental. Sometimes when bringing a friend along, they rent a citibike, and it's nice to have the option for directions to take you to a docking station close to the destination.
Why are only libraries the only possible source? The readers could -- I know this will shock the ears around here-- pay for what they consume. Amazon remained open and so did many other bookstores like Powell's.

No one was denied books. They were only slightly inconvenienced by not getting them for free.
Actually yeah, Epson was bleeding market share pretty good until the ecotank lines. It’s legit
If only we had vote arrows and vote reasons, then we would know the disposition of the voters and their interpretation which is associated with the downvote. Slashdot has had this forever, and it works great with their user moderation and meta-moderation system.

https://en.wikipedia.org/wiki/Moderation_system#User_moderat...
Founder of Silicon Valley firm is jailed for 6 months in college admissions scam
Well... I think there's an important distinction to be made between intelligence and knowledge. If you "play with bits", you probably are smarter than most people, because there are a lot of people who can't do that. I've spent a good amount of time as an educator, and it does seem to me that some people just can't wrap their head around programming. That said, being smarter than most people isn't worth much.

I've also learned that intelligent people are a dime a dozen. There's no barrier to intelligence--you're just born smart, and fully half of people are born with above-median intelligence--so the relative value of intelligence is limited. Knowledge, on the other hand, is hard to come by: even if you're extremely well-informed on one subject, there are hundreds of subjects upon which you are completely uninformed. Intelligence can help you become informed if you apply it to learning, but as often as not, intelligent people just use their intelligence to skate by without having to learn things. I know that for a lot of my early schooling, I didn't apply myself to learning because I could get away without work due to my intelligence. This didn't pay off, and in my mid-twenties I had to really learn how to learn.

Nowadays I would rather be informed than intelligent.

EDIT: Note that in the "fixed vs. growth mindset" theory, "knowledge" is just the growth version of intelligence--I'm making a distinction between intelligence and knowledge, but that's not necessarily the terminology other people use.
I was so happy to read about citymapper. I was thinking I finally found cool app, one that lets me browse by safest path.

sadly its not available in my city Warsaw, Poland :(

Thank you for taking time
In addition to iced, I need to point out that Debian's Rust packaging is effectively funded by Web3 Foundation. Cryptocurrency money also funded RustCon Asia (held in Beijing).
Show HN: OctogatosConf20 Free
Twitter: “Unlike Trump tweets, Khamenei’s ‘eliminate Israel’ posts are ok”
> There may not be a right to a business model, but by the same token no one has a right to someone else's work for free

For entertainment, I agree. But only insomuch as entertainers need to eat too.

For science, I disagree. Science benefits society most when everyone, even the poor, have access to it.
I downvote sarcastic, jokey, snarky, or flippant comments. There are no shortage of sites where peanut gallery comments are the norm, and I think we should continue to discourage them here as much as possible.
Exactly, changing the tax RATE is not going to do anything. Plugging up the trickery to not report income is more important
I mean, you ask a lot of questions, but the first one is answered by the article and the others aren't really that important given the answer to the first.
Oh, for a second I thought the GP was referring to nonlinear programming. Then I remembered this is an ML thread.

There are some nonzero number of papers referring to NLP (as in nonlinear programming) in ML, mostly for the purposes of constrained optimization, but I agree with your current breakdown.
32%. About the percentage of effectiveness of the government's handling perhaps?
Yet post-apocalyptic entertainment media is a thriving niche.
> These publishers call for the destruction of the 1.5 million digital books that Internet Archive makes available to our patrons. This form of digital book burning is unprecedented and unfairly disadvantages people with print disabilities.

Book burning? It is not a politically motivated campaign to destroy books, or a witch hunt to root out deviant social or religious teachings. It's a dispute over copyright law. I believe that Ray Bradbury, were he alive today, would have likely come out against this characterization. The Science Fiction and Fantasy Writers of America (SFWA), which Bradbury was long associated with, has been critical of the IA's actions from the beginning (https://www.sfwa.org/2020/04/08/infringement-alert-national-...).

In addition, I thought the justification for expanding controlled digital lending was around COVID-19, not rights for people who have low vision. Was this issue a central part of the the IA's reasoning before the lawsuit?
This response confuses me a little bit. Although in their response the Internet Archive refers to the lawsuit attempting to stop controlled digital lending, I believe the lawsuit instead is looking at uncontrolled digital lending (the Emergency Library from IA) [1].

If there hasn't been scope creep on this lawsuit I feel this is a disengenous representation of the publishers argument. The publisher's argument was specifically that the form of IA's CDL (basically uncontrolled digital lending) is against copyright, an argument I personally agree with (in the legal sense).

[1] https://news.ycombinator.com/item?id=23379775
I don't pay any attention to educational policy. What evaluation metrics do the teacher's groups support?
No way Nespresso pods are lined with silicon, right? Maybe silicone? There are a bunch of sites repeating “silicon” and several others saying “food grade lacquer”.

Pedantry assistance appreciated.
Grub2 security update renders system unbootable
I vacillated, but then upvoted you because I love a good paradox.
That's actually not bad, nicely done.

Looks pretty similar to my handlr.sapico.me , I have an alternative layout that fetches cover images.
demand for housing is somewhat inelastic though. It will only increase to the point where homeless people can now afford to rent a room somewhere. UBI would only significantly increase demand if it was so much money that a lot of people would be looking to buy second or third homes.
> loaned copies one-for-one to IA. IA would then have more than enough copies to lend out

The problem is that they skipped that part and just assumed both that

1) libraries would transfer ownership to them. I could see them getting away with this. Inter-library lending is common.

2) the number of copies in partner libraries equalled the number of copies taken out. This is a massive assumption.

The problem is, did the books actually exist in the quantities being lent? IA has no proof that they do and had not transferred the rights for them even if they did.

Had they asked for libraries to upload their locked in inventory, sign away the rights to the inventoried books, and limited lending to that number, they could credibly call it controlled digital lending.

Instead they threw away the "controlled" aspect.
>I think it’s more accurate to compare them to other federal agencies who all also have to prefund pensions, including medical pensions.

Other Federal agencies don't have to finance their own operations, so it makes no sense to compare them to the USPS. In most cases congress just allocated more money to the agency so that pensions could be prefunded.

The closest thing I can think of is if congress had told NASA: "You need to come up with 75 years worth of pensions and health plans within the next 10 years and we weren't going to give you any extra money to do so. Oh and you can't reduce benefits, and you must maintain the exact same level of services. And if you can't do this we are going to sell off your assets and privatize your agency."

If congress had done this it would obviously be because their goal was to privatize NASA. This has never been done to any other agency.
Well said, IA wants this to look like a conflict with ‘big publishing’ but it is so much more than that - they are outright attacking artists and authors everywhere.
https://gitlab.haskell.org/ghc/ghc/-/merge_requests/2231

is an example.
> some law will change and they'll be forced to lift the app store restrictions and most of the devs will fly.

Why would devs leave if restrictions are lessened? Devs are there right now, in droves, despite those restrictions.
I know this is beside your point, but the following part of the last sentence stung my eyes somewhat:

>even when one side isn’t as widely believed or lacks scientific evidence

This is not how ``Science'' is supposed to work. While the comparison is in all likelihood not accurate in this case (I happen to think that the establishment is usually right, and that it is mostly right when it comes to the subject of climate change), it is very reminiscent of the classic example of how the establishment viewed Gallileo's objections to the geocentric model of the universe. Science is advanced by adversity, and especially by figuring out what should be done when parts of mainstream theories are falsified or challenged. Science is not advanced by eliminating everything that disagrees with the establishment. The establishment are all very excellent scientists, but science (should) never really become ``established''. I think perhaps the most important reason for why the currently mainstream climate models are actually so strong is that it has been necessary to overcome a lot of adversity.
I think you have to define dreamer.

I think the very premise of a startup is based on an idea of a dreamer. Otherwise the idea that give the startup a competitive advantage would have been taken already. The dream just has to be achievable and rooted in reality.

So maybe you are talking about someone who isn't rational, isn't reasonable, or are rigidly idealist (and not matching your/company ideals). Any signs of these qualities would be a warning. Stuff like the person not supporting their opinions with facts and insisting they are right could be a warning sign. Emotionally based opinions, business actions, or outbursts that are detrimental to the startup could be another.
Comments do not become [dead] after too many downvotes - only flags. The worst that happens to downvoted comments is that they get faded. If you want to read one, you can click on its timestamp to go to its page, whereupon the text should be normal.
random speculation. Could cheating in ways you can only do at home contributed? Not sure how you could test it. but would be interesting