skysight-inc/HackerNews huggingface dataset:
That's a logical conclusion, but many printers outright refuse to operate if any of the cartridges are out, regardless of whether the print job requires that particular color.

I'm sure many people would happily shift from printing all black, to all cyan, then all magenta (yellow probably isn't practical) in an attempt to get maximal utility out of their color cartridge otherwise.
Given the student loan crisis, the supply seems to be artificially unlimited, not restricted.
That comment brought a smile to my face after seeing so many memes with that phrasing. To respond to the actual question though, sometime after you cross 500 karma points, you’ll be able to downvote comments too (posts cannot be downvoted).
>ability to negotiate is driven by who you can afford to hire, who you know, how sustainable you are

This is a good point, often subtly overlooked when discussing similar topics.
But there are rights to control copying. Something which libraries were never intended to perform.
If this program causes inflation because the cost of it is untenable, then $12K can quickly become worthless. Supply and demand are laws of nature, you cannot escape them. If the economy suffers from lack of productivity as a result of this program, and money must be printed in excess of what goods and services are being produced...then nominal payouts matter not. Hyper-inflation is a real possibility and has ruined more than one empire in history.
You might also take a look at how popular influencers use Instagram Stories to collect throughout-the-day updates into cohesive stories across days and weeks.

IE: "My trip to Cabo" might include 1-2 stories out of 10 posted that day, but they are the user's favorite and tell a cohesive story.

Another analogy is Youtube's "Playlist" feature.
SAT solvers are really powerful machines. You can fit many problems in a Boolean formula and then ask the solver to work it out. Now, the solver is not always optimized for your task but sometimes it helps. Also, the exercise of turning a problem into a (usually huge) Boolean formula is interesting. For example, I solved the "find a longest path in a graph" with a SAT solver (TBH, I quickly replaced that with a specialized solver, but, well, that was fun !)
My intention behind content diversity is not based on political interests, but rather a desire to offer a greater level of exposure for lesser known content and blog sites.

By "diversity" I mean that a developer who writes good articles on python whose blog only gets a few users a day will be treated the same as content from high traffic sites.

Unlike other news services that either have political leanings or are beholden to their advertisers, I want to provide an independent service where people can decide for themselves what they read or do not read.
Reading it again, I think I must have missed "However, in support of your point" which changes the meaning.
> I doubt Dafny will have native targets (which I assume is a prerequisite for the "critical-systems" work you're talking about) any time soon if ever

Fair enough. Still a really neat project.

I forgot to ask an obvious question: Dafny uses .Net's garbage collection, right? If so, that presumably rules out its use on hard real-time systems.

> the Fibonacci example in the online tutorial

For anyone struggling to find it, ctrl-f for completed Fibonacci

I agree the Dafny syntax is very tidy.

Surprisingly I wasn't able to find a directly comparable SPARK program. The closest I could manage was populating an array with the Fib sequence, by someone on StackOverflow (I haven't verified it) [0]

[0] https://stackoverflow.com/a/57169728/
And Amazon, I’m pretty sure, gives AWS discounts to Netflix despite directly competing with them. And Apple gives a lot of these companies discounts to buy Macs for their employees.
SAT is the prototypical NP-complete problem.
I’ve gotten the exact same price the insurance company pays pretty consistently, and sometimes even less.
YouTube was amazing back in the day but with censorship it has become a mediocre content dumpster fire. I haven’t been interested in anything on trending in a long time.
What are you getting at?

There's a pretty big difference between corporate treasury software and cryptocurrency scams? Unless you're trying to argue that anything related to finance is a scam?

I don't see what point you're trying to make, it seems such an irrelevant comment that it makes me question your motive and wonder if you're trying to smear Stephen.
Or have a chamber nearby on the surface staffed by doctors trained in hyperbaric medicine [1].

[1] https://en.wikipedia.org/wiki/Hyperbaric_medicine
I suspect you're confusing your personal - understandable - desire for cheap ink with "market forces."

Basic business analysis suggests there are very few practical ways in which a newcomer to the market could produce a product with no anti-consumer features that is also realistically profitable.

Selling on low price -> volume alone - assuming a newcomer could even make that happen - won't do it.

Note I'm not disagreeing that we all want cheap inks without gouging. But I am disagreeing that it's realistic to expect "market forces" to provide this when they're far more likely to do the opposite. And in fact have been doing the opposite for decades now.
> For … reading in a book store, the store has paid the publisher for the book you are reading.

That depends. Most of the time the store has the option of tearing off the cover and reporting it to the publisher as "destroyed unsold" for a refund. That applies no matter how many people may have read it while it was sitting on the shelf.

And why must the entire book be treated as a unit? I see no legal reason why a library could not cut off the binding and lend out chapters or individual pages from the book to patrons on demand, which would allow multiple patrons to read (different parts of) the same book simultaneously. You could easily have 20 or more people reading the same book without major conflicts if you can pass the pages around quickly enough.
Probably about the same as I’d feel if I had no chance of affording college because my family was below the poverty line and I spent my teenage years working part time to help pay the rent, all the while knowing that other children lived lives of relative luxury.
Technically, you could literally do the cryptographic math to figure out the validity of a transaction, and then add it to a block down the road when you get a chance, sooner rather than later to not allow double spending
Giving a discount to a big spender is normal, but lying about it to Congress and elsewhere is not.
That's all a normal part of my process, and true for many people. Seeing that is as valuable as anything else.
I see sentiments like this expressed sometimes, and I'm usually a bit confused. Are you currently employed, and if so is it in a permanent role or as a contractor? What do you plan to do the next time you want to change jobs?

Genuinely curious here, I only know one model and it works well enough for me, but you seem to have a different one and I'd like to know more about it.
Anyone else having a hard time even reading this article because of the lack of contrast from text to background?
Well, in as much as someone who was seriously right wing ten years ago should be voting Democrat today, he’s right. But nah, it’s some groupthink tosh that only makes sense if you don’t actually understand any of the things he refers to.
Nice analysis, thanks.
> Have they been sued over digital lending in general or because they lent out more digital copies then they owned physically?

The publishers are suing over both, though the lawsuit was rather obviously prompted by the latter (ie. The National Emergency Library).

Meanwhile, the IA is pretending (or implying) in its public statements that the lawsuit is only about CDL in general and eliding or minimizing the role the NEA had in poking the publishers hard enough that they pulled the trigger on this lawsuit.

It shouldn't be particularly surprising, given the adversarial nature of the court system, that the publishers, once they decided that the NEA gave them sufficient ammunition to prevail in court, would decide as a tactical matter to tar CDL in general with the same brush. I mean, why wouldn't they make their claims as broad and expansive as possible?

Nor is it surprising that the IA is desperately trying to walk their misstep back with oh-so-careful statements without actually acknowledging that the NEA was a bad move on their part.

What is surprising is that the IA so readily handed the publishers this pretext in the first place.
Thanks Op for posting. I enjoyed the article. As of 15 years ago I used to be a republican voter but the party has become so distorted in its impulses it has become rancid. Even the most basic planks like (agreeing in several cases it was more talk than do) of conservative fiscal conservatorship has given away to institutional levels of perpetual debt. Even the talk is gone now. Too many sit on their hands and brains preferring to look the other way.
Hearing Documents: Examining the Dominance of Amazon, Apple, Facebook and Google
For those curious, that is a loss of about $10,000,000 per covid death.
I don't know about this. Most experienced developers I know of have family, and they generally value their personal time. They don't mind doing boring software. And even if they are bored, I don't think it burns them out.

What I do know is that company processes burns out all sorts of people - experienced or not. From stack ranking, agile micromanagement, unrealistic deadlines, office politics, bad bosses... These things are prominent in nearly every company, especially in top companies like Google.

I agree with the parent post, even if you by chance somehow hired fantastic 10x developers to your team, the environment in which those developers will be working in will probably burn them out quicker than just working on 'boring' software.
NASA's next-gen Perseverance Mars rover tops older sibling Curiosity
Ask HN: Programming certificates for high school students
Second attempt - hoping for some feedback

I am an "industry advisor" for my son's School District (in the United States), which is engaged in a multi-year program to broaden the range and quality of technical education available to students for Grades 8-12.
I have been asked to comment on industry certifications for Python, JavaScript and Java programming. Specifically: • Are these certifications needed or helpful to the employment process for entry-level jobs? • Of the three certifications mentioned above, which certification(s) should we focus on? Are there others? • Would industry recognize certifications from a provider like CodeHS (https://codehs.com/info/certifications) or is it more valuable to earn them from Microsoft, etc.?

I have views, but would welcome comments and thoughts from the HN community, particularly anybody engaged in recruiting or working with entry level programming positions.

Please remember that the focus is high school students, and not all students are targeting college. Also, this is a good faith effort by the District to assist students develop real skill sets - snark about certificates is not particularly constructive.
Google destroys yet more smart-glasses
The devs are there because there is no other option where there are sufficient paying customers.

So in order to have that option, there must be sufficient paying customers, but it can be argued that the paying customers are there because of Apple’s restrictions.
> will probably get you your pupil distance if you ask.

I just walked into a lenscrafters in the mall and asked for mine. Guy measured it and scrawled it on a card. Didn't even have to wait.

But if interpupilary distance is all you need, lenscrafters is overkill. It's easy to measure at home, you just need a metric ruler and a youtube tutorial.
It's not that the system itself isn't functional at all, but think about cost, flexibility (i.e. the migration as posted) and support.

If you have to move that much data at once because your RDBMS doesn't work in any other way you're going to be in trouble, even if you get the 50k costing SSDs.

All of the things SQL server does can be done with not-SQL-server things, but you suddenly gain the capability to take shards offline and do multi-version migration, multi-host migration, multi-storage-backend migration. You can query in SQL, but also GraphQL. You can use Lucene search, and you can use ES-specific queries. You can have multiple write hosts, you can have tiered storage on application-level, OS-level and SAN-level and they can actually work together.

Again, it's not that SQL server doesn't do anything, it's just that it's probably not the best plan for time series access logs.
Like every other startup, they pursued "growth at all costs," got acquired by a business that could eat all the red ink, but now over a decade later, that business is sick of it and looking for the mouth wash. It's just too bad they got pretty much the entire first world addicted to it before they decided to ban anti-war content as "racist" and alternative approaches to medicine as "dangerous."

Why is YouTube so insistent that we not use our own minds to decide for ourselves? Perhaps because they really would find it more preferable if you didn't do any of that thinking for yourself. That's not how advertising works. [0]

[0] https://www.goodreads.com/quotes/781798-universal-literacy-w...
> Yep. It's clear that Google Maps optimises for city riding and that's cool

I believe that even in the city it simply maps a path as suitable for cycling and that's the limit of the optimization. It then becomes a "shortest/fastest trip" calculation. They don't mark roads and paths for specific types of cycling and you're not asked to provide such info. So whether it's asphalt, cobblestone, or a dirt road even in the city it will make no difference as long as it's suitable for some bikes. Found out the hard way a couple of times...
Seems like Bright Energy could do more to prevent bird deaths, such as nets or active scarecrows or audio deterrents.
Mag stripes via fingerprinting of the actual stripe, can make make them more secure than EMV or contactless.

Both the standard card data and the underlying magnetic fingerprint of the card is read, all in a single swipe. [1]

[1] https://www.magtek.com/product/magnesafe-intellihead
I don't think I framed it as exclusive, but that the intersection of both sets of skills is uncommon (I attest they are two different sets). Sure, you can aim to hire only people who excel in both, but the typical software interview certainly doesn't assess the latter.
In the OP's twitter thread, Doctorow makes the point that unions operate with solidarity to other unions, but the Police unions don't.
I have not posted those details yet as the network security voice in my head screams, "DON'T DO IT!"

That said, I will probably post something on the site soon as I always find it interesting to see how other sites are built.
> The solution for the wise customer is to go inside and use the POS terminal at the counter if possible.

That's irrelevant to this attack. Bad guys aren't obliged to use that terminal, and they're the ones relying on access to a mag-stripe reader.

However for that "old school" attack EMV could help if it was deployed. Because EMV cards have state, they can have arbitrary rules about how often they're willing to perform offline transactions and how much value for. So e.g. a card can decide it won't do more than five offline transactions or more than $100 of transactions without going online.
Compare covid weekly deaths per 100,000 capita over time to see the effect of different government responses.
> indicate that this drug provided no additional benefit compared to placebo control for the treatment of COVID-19 in hospitalized patients.

This drug has been so politicized recently, and I feel like will continue to be until we see a real vaccine out.
I just don't think anyone will get a sympathetic ear at the AFL-CIO if the lead is "I'm going to tell you what unions really are." The AFL-CIO undoubtedly thinks they are qualified to make that determination for themselves.

Honestly I doubt the AFL-CIO leadership will listen to anyone on this topic unless there is pressure from their membership, like if other unions start threatening to disaffiliate over policing issues.
Show HN: Bigroom.video – better video social events
Hello Hackernews!

Over the last couple of months I have been working on a new way to have social events over video (https://bigroom.video).

As with the rest of the world, my last company transitioned to being completely remote with the rise of covid. We tried to emulate our old lunchroom and bar happy-hour dynamic over Zoom, but found that we could really only have one person speak at a time. With a 20 person Zoom lunch, this turns into each person telling a story one-by-one, people stepping on each others' toes, and a loss of the small dynamic conversations that would normally happen at any social event.

Bigroom has two major features that help bring the dynamism back to socializing.

Dynamic channels let you break off into a separate conversation with one click. At any social event I've been to, people are always separated into groups of 3-6 and individuals bounce between those groups. Dynamic channels allow this behavior without the rigidity of Zoom breakout rooms.

Whispering temporarily mutes your audio to everyone except one person. Click-and-hold on someone's video to start whispering, and let go of your mouse to stop. It's possible for two people to have a complete 1-on-1 conversation within a large group of people by whispering to each other.

Bigroom works on desktop Chrome, Firefox, and Safari, with mobile support planned. On the technical side, Bigroom consists of a web client and a websocket server, both written entirely in rust. I used the elm-like yew framework compiled to wasm for the frontend and async-tungstenite for the websocket backend. The entire client app compiles down to <1MB.

Bigroom is completely free, with premium features coming in the future.

Looking forward to your feedback!

-Kevin
The assumption was that teams from the Midwest would suffer least if it were purely distance (as they have the least shift/average travel) but that didn't bear out.
"Then they imploded..."

On that subject, there's this article from the fantastic Ditial Antiquarian blog:

"We Made Amiga, They Fucked It Up"

https://www.filfre.net/2015/04/the-68000-wars-part-3-we-made...
small pieces of nonconductive tape or other such coatings relieve many of these issues.
> Playing together in a band, there is no way to "game the system". Everyone needs to learn their part to make the overall piece enjoyable.

Sure there is. I did it! Playing the bass meant very few fast parts like the other people (except for some nasty stuff Bach wrote because he hates bassists), and playing cymbals in marching band is way less effort than sousaphone or even a lightweight wind instrument.
There have also been several discussions on non-donation based models. The general term that seems to be emerging is COSS or Commercial OSS. https://coss.media

I think the donation discussions have focused on library creators, while the others have leaned towards larger projects and applications.

I left academia to stop begging for money, and so my COSS ambitions lead to a preferred business model in my case.

https://github.com/hofstadter-io for the curious
https://bigroom.video here's a clickable link since HN doesn't parse URLs in the description :)
Yes, this is an ad for their service. But then, you are on HN, not on Lobsters.

I think that this is great idea that you're trying this. I hope you stick with it and succeed. Because it would be great to be able to hire and be hired, where you're not competing on how cheap you are or some other demeaning metric.

Godspeed.
Ethereum Turns 5
I know some people might find it a little controversial, but I’m super excited about our load balancing future and that we probably have the biggest Envoy deployment in the world now. When we moved most of Dropbox traffic to Envoy, we had to seamlessly migrate a system that already handles tens of millions of open connections, millions of requests per second, and terabits of bandwidth. This effectively made us into one of the biggest Envoy users.
Crono: Less phone, less distractions, more productivity
Something I'd like to know about antitrust laws around the world:

Suppose two major companies work together, such that their collaborative effort is monopolistic. Is such a collaboration subject to antitrust intervention?
Your answer ignores the hypothetical trust fund you were supposed to get, which would be enough to pay for college (if your parents hadn’t stolen the money from it).

This is actually a pretty good example of how bad it would be if parents raided their children’s trust funds, which is something that would definitely happen. Kids who had their money stolen wouldn’t be able to go to college.
Okay, that is hilarious.
Thanks for the recommendation! What perspective do the hosts take in their representation of history?
For an excellent example of "a true American by-the-bootstraps dream," let's look at George W. Bush's Wikipedia:

George W. Bush attended two years at The Kinkaid School, a prep school in Piney Point Village, Texas in the Houston area.

Attended high school at Phillips Academy, a boarding school in Andover, Massachusetts, where he played baseball and was the head cheerleader during his senior year.

He attended Yale University from 1964 to 1968, graduating with a Bachelor of Arts degree in history.

His application to the University of Texas School of Law was rejected.
Hi, what's K9? My Google searches in combination with "formula and/or language" gave me only dog related results.
The last email definitely feels like Steve was not happy with how Amazon depicted the ease to use of Android (via cross platform accessibility of Kindle) over Apple's iOS.
List of U.S. states by date of admission to the Union
I would say those who study music (classical) at young age come from quite wealthy families, which mean easier access to resources, e.g., books, good schools, dedicated teachers, etc which could eventually lead to better iq test results.
> The reason people frown upon the downvote is because we explicitly don't want people using it to express dislike.

Who’s “we” here and on what basis are you able to speak for that group? It has been stated by pg himself a long time ago that it’s ok to downvote to express dislike or disagreement.

> Although it's unavoidable to some extent, I really don't want HN to develop a strong filter bubble where only things I agree with get shown. I want to see dissenting opinions and ideas.

HN already has a strong filter bubble on various topics. Yes, it may seem better than some other communities, but any place that constantly allows new users to view or participate will have them (the new users) see some sort of filter bubbles established and enforced by the ones who have been around for longer (and have these as blind spots that they cannot recognize).
I actually had trouble the a year ago when traveling in the UK (I miss travelling), I was using my capital one through apple pay, but it would get declined constantly and shut off because the UK doesn't pass the CVV into the transaction. I never found a clear pattern for when fraud detection would occur, but one app that caused it constantly was Deliveroo.
What are the conditions for the British Government investing in your startup through Future Fund?