skysight-inc/HackerNews huggingface dataset:
Well,

The problem is there can be a price where some people can't drive to work but other people are still quite able to afford gas and you wind-up still not meeting the goal.

As a practical matter, we need to keep using our present petroleum based system but use it's energy output to build a new economy/energy system. Raising energy prices makes people use less energy but doesn't make them use it efficiently (as mentioned, the rich can hold massive parties on their yachts while the poor are unable to get anywhere).
I read that, I just reflexively feel like it must be the wrong math problem to be solving.

Doesn't it imply the observer has existed forever? Which doesn't seem to me like an obvious assumption.
You can't reduce the entropy just by adding low entropy data to the pool. If I hand you 256bits of entropy you can hash "a" into it as many times as you like - it won't reduce the entropy.

The only thing I can think here is that the attacker would trick the system into thinking it had hit its 256bit entropy minimum before it actually had.

At which point... I don't know what they gain, but sure, it's at least a dick move.
If it’s not, it should be, if nothing else then for the safety of your next tenant.
Seems that's one of these: https://en.wikipedia.org/wiki/Lehmer_random_number_generator
Twitter support tells user to try innocuous action and see if she gets banned
Matrixone – Hyperconverged cloud-edge native database
Ask HN: Anyone else stumble mid-sentence when explaining something?
Since I’m interviewing again, I found that as I got older, I’ll answer a question in STAR format and notice 2 things:

1. I often forget what I was talking about mid-sentence and find myself digressing.

2. I often feel pressure to be eloquent with word choice, and I can see my brain going haywire trying to sort an array of adjectives in my head to find the right words… but the end result is a bunch of confused faces. In other words, I think people think I’m BS’ing, and in a way, I am.

As you age, do you find it harder to decode thoughts -> encode in brain -> decode using speech? Is this something I should get checked out?
I'm not following why you believe people in Austria should have their rent calculated based on the population of China and India.

Can you explain what you mean in more detail?
I have had that similar feeling and have joked around that Amazon is reading my mind. I go outside and see bird poo on my deck and driveway and they send me an add for a pressure washer. Wow, how did they do that, ESP? It sure feels like it, but no, they know I own a home (based on previous purchases, perhaps other things, but really they can tell by what I have bought before). It's spring, and what do homeowners do in the spring ? they pressure wash their decks. They send me adds for other spring home related things. But it sort of felt creepy for a minute until I thought about it.
Nearly every landlord I have interacted with when renting single family housing has referred to the house he is renting as a 'home' even when no one was living in it. I understand local dialects may be differ.
JIT compilation is coming to Unison: an early progress report · Unison programm
Amen to that. I use turbo tax but the sooner I never give then another dollar so much the better.
Here is another similar project that has been around a while for anyone interested

http://opentaxsolver.sourceforge.net
These are really just logically equivalent ways of getting at the same result. You can either prove the statement "for every finite list of primes, there exists a prime not in this list" directly from the axioms of arithmetic, or you can add its negation "there are finitely many primes" as an assumption, derive a contradiction, and therefore conclude the negation of that new assumption. Nothing substantially changes about the proof either way.
Maybe look at how Red Hat does entitlements. It's PKI cert-based. In my experience, it works nicely. I think it could probably be adapted to an offline licensing workflow.
But why do you need experts? Plenty of languages have been created out of nothing in the last few decades and have more users than Lisp. Obviously a new language starts with zero experts.

And Lisp has experts! You're literally posting this to a massively popular forum for developers and it's written in a Lisp dialect!

Reddit, arguably one of the largest sites on the Internet, was written in Common Lisp before being re-written in Python.
There isn't one, because copyright holders have all the legal right to do whatever they want. The legal owner of a copyrighted work is not beholden to the license they release the work under.
Something I've wanted to comment on this as well. It's best to use render_template() when rendering the views so it doesn't tangle w/ a lot of python controller logic.
The great socal house hunt
Right.

The problem isn't how much votes cost, it's how many questions have to be answered at once.
Back when I first signed up for CompuServe (1979?) I ordered a bunch of manuals from them. They were for things like "FILGE" (File Generator and Editor) and their FORTRAN compiler. I am always battling my hoarding instincts so knowing that I would NEVER EVER have any need for them in the future, I tossed them about 15 years ago. I probably should have offered them to CHM or Jason Scott first.
>Posters will now stumble over each other to assure you that tax evasion was so widespread

Arranging your income to reduce the tax paid in accordance with the law isn't tax evasion.
I've sued a landlord because their contracted towing company illegally took my car.

I won that case and got my towing fees back but I guess there's a stain on my record now even though this is really the landlord's fault for picking a shitty towing company who can't even follow state non-consent towing laws.
I have no idea if this is how they do it, but I imagine they somehow "mortgage" their shares, then use the money as their own. Any interest you pay on investments is tax deductible, so that would reduce their tax burden. Not to mention, most of it isn't taxed since they aren't realizing those gains.

Again, just me brainstorming loopholes.
too late to edit: p1 * ... * pn+1, of course. not plus.
Is there a good way to follow important legislation? With how easy communication is today I'm surprised it's not easier to build grassroot support for laws but I almost never hear of any except for ones liberals disagree with. And even these happen through very informal channels like random Twitter people or random podcasts. I'm totally fine with hearing about laws liberals disagree with but I'd like to also hear more reliably about positive laws like this.
This is not a Byzantine fault problem. Consensus was achieved as designed.

It was just the "wrong" consensus.
>People who criticize actions to prevent climate change often talk about the economic impact of those actions. The economic impact of not preventing climate change - in addition to the impact on human life - is usually far greater.

I think public discourse avoids this topic because the benefits and costs of climate policy are not uniform. There are there are nations, groups, and individuals for which climate policy is a simply negative. Talking about net benefit risks bringing up this topic, which is largely unsolved. proactive climate policy has clear winners and losers.

While net zero carbon may be relatively cheap and have net benefit for Brittan, for some poor developing countries, avoiding cheap carbon energy means more people in poverty with all the downsides that come along with that.
Do you have a link or can give a brief explanation? How the loans work that you say we don't understand?
They make me think about 3D renders with oversaturated lightings rather than real pictures with filter on them
I agree. When I got there, I was stunned that that was the perk instead of "Free Prime membership" (which has about the same cost but just feels better).
My Adobe emails don't have a link, they require an Unsubscribe email to be sent to unsubscribe-na@adobesystems.com which is undeliverable.
Thank you for the tldr.
Love the idea, but I can't search for exact matches using quotes :(
Lots of network things need (or desire anyway) randomness. A soda machine probably doesn't need randomness (unless it contacts a payment network), most early video game systems are deterministic, some games can have their 'random' state easily manipulated by user input.

A laptop is likely to need randomness during boot. DHCP is supposed to have a random 4-byte XID in the discover message (to be matched by the client in responses), ipv6 slaac privacy wants randomness too. 802.1x (flawed as it is) needs random values as well. If you're doing those, probably you've got a live network cable which might provide some entropy.

Things like address space randomization want to happen as well.
You don't need another license. You just need to either (1) not require a CLA, or (2) if you do, write the CLA so that it prevents you from doing that with others' contributions.
Thinking you can keep the two aligned is naive.

There absolutely are ways to learn to pass arithmetic tests without learning to use arithmetic. It all depends on the type of test.

During an oral test, 1-1 with the teacher, is close to impossible to fake knowledge.

But with written tests, there are plenty of ways.

Cheating (rampant, wide spread, by the way) in its various forms (asking a colleague, having a cheat sheet, getting the answers from someone who took the test earlier, etc.) is the most obvious and easy way but let's exclude it.

A student can just memorize the exercises because the teacher didn't bother to create exercises unique to the test and reused them. Or reused them from a previous test.

If it is a single answer multiple choice, a student might simply develop a bullshit detector and learn to spot suspect options. It is a wonderfully useful skill for test taking when the test is not antagonistic and intentionally trying to trip you up.

There are so so so many options.
This is what I do (not Django but same idea). Works lovely. Between that and a 900+ package npm install for a simple demo code I’ve given up on “modern JS frameworks”.

Or maybe I just got old!
You don't think there is a direct connection between Edward Snowden, Kaspersky, Russia and the NSA? That is a very interesting take you have.
BTW, you were right that Pebble used those memory LCDs in their smartwatches. Unfortunately I can't reply to your comment from that time. Thanks for letting me know!
Here’s a demo that reveals what I’m talking about: https://www.economist.com/interactive/2021/12/18/quadratic-v...

Also, mathematically a question with > 2 choices isn’t ultimately that different from a ballot with multiple binary questions. You can imagine my scenario with credits allocated to a single non-binary question as well, just substitute “poisonous question” with “poisonous option/individual” (though it is harder for me to demonstrate with non-partisan or bi-partisan examples).

Edit: Some plausible examples for distributing credits across issues include multiple open seats and top x contenders get them (so n binary yes/no “do you want x to have a seat?” questions), a ballot to determine which candidate you’re most likely to align with based off their yes/no stance on multiple questions (which is a problem if anyone’s stance is boiled down to a simple yes/no but that’s unfortunately the state of politics today with no shades of grey), etc.
Really? Taxation subsidizes these programs, and I'm not sure that I see that as any more/less coercive than initiatives or legislation that "coerce" people in the opposite direction.
And there were fewer taxes and government income streams so single big taxes (like income tax) represented a larger share of an individual's overall tax burden.
It's well known fact that the government can auto-file for most people, it's not really a secret. Many other countries do it, it's been proven to work just fine.
Note that AGPL and _not_ having a CLA means that this _isn't_ the case, because... you don't have a CLA.
> where a specific employee would boost profits by $100k

This isn't a good model.
Boosting your company's profit by 100k doesn't mean they can boost any company's profit by 100k. If they could, they'd capture a lot more of the 100k.
typo past the edit deadline: "not experimental" instead of "not incremental" (I've got incrementality on the mind these days it seems)
The reason we need more clean energy, fast
Out of curiosity, what monthly tax did you pay to Chicago? The city does not levy income or property tax. Most people will only ever pay Chicago sales tax or things like a yearly “city sticker” car license fee.

https://www.chicago.gov/city/en/depts/fin/supp_info/revenue/...
$20k x 2 >> $25.5k. Marriage penalty in action.
The new ED (a hardcore functional programmer) sounds great, but I didn't realize there even was a Haskell Foundation, at least one big enough to require an ED. So much for avoiding success ;).
I feel like fractional reserve banking and the broken windows fallacy fit in here somewhere too. >smile<
The fact that no one has ever won a lawsuit against South Park, means this case is almost certainly doomed. Even Disney knows better than to try. Only religious fanaticism can stop someone from making an artistic rendition.
Before CompuServe, I dialed in to The Source[1 via Telenet[2] using a Novation Apple-CAT II[3] at 300 bps. The Source was eventually acquired by CompuServe.

1. https://en.wikipedia.org/wiki/The_Source_(online_service)

2. https://en.wikipedia.org/wiki/Telenet

3. https://en.wikipedia.org/wiki/Novation_CAT#The_Apple-CAT_II
A form doesn’t mean a tax is due

It means a transaction was reported and that you better have a good story about why the tax isn’t due and why you didn’t report it on your own forms

The people that are worried about the venmo 1099 are the people that have not been doing a lot more under the table

(Not to invalidate the rest of the population that is just irrationally afraid of tax collectors)
Ha that's cool, that's literally "gamify" eg. the RPG

Cool idea, yeah one thing I've been doing too is multiplying hours against hourly rate ha. I'm paid a fixed amount per month so doesn't really matter how many hours I work (of course usually work more than 40 hrs) but that helps too regarding tabulating.
What does "Sense of Congress on" refer to? A number of line items begin with that phrase.
Absolutely. It's useful in text processing, it's useful in emulation, it's useful for doing bit-math for various encodings and checksumming, etc. The newer revisions don't have any downclocking either.

https://old.reddit.com/r/emulation/comments/lzfpz5/what_are_...

https://travisdowns.github.io/blog/2020/08/19/icl-avx512-fre...

People have made some incredibly broad assertions about the technology as a whole on the basis of a first-gen product that lingered on the market for far too long because of the 10nm woes.

People also hang on Linus's words far, far too much. He's incredibly toxic and willing to opine about stuff he's been disconnected from for 20 years. Lisa Su is putting her money where her mouth is, AMD is making a billion-dollar bet on AVX-512 at a time when Intel has actually abandoned it in the consumer market entirely. Maybe she's doing it just for the server market, but that still means she thinks server-market customers are going to see an actual benefit on normal server tasks, such that it will be worth making every single customer pay more for a larger piece of silicon.

It's not the kind of thing you do "just to win a couple HPC benchmarks". Sorry, I trust the person with the financial stake in this discussion a lot more than I trust Linus's spit-takes.
Show HN: Not an Influencer?Pinz is the link in bio for the rest of us
Not everyone is online to sell and promote, and 160 characters isn’t enough to show the full picture, Pinz is the Link in Bio for EVERYONE. It's your space to pin more, post outside of newsfeeds, and avoid censorship.
Leverage your digital real estate today!
Do you consider Glenn Greenwald part of Kremlin? He has spent the last month doubling down on parroting Putins talking points [1]

[1] https://twitter.com/ggreenwald/status/1508831524854059008
I assume the amount of changes is much higher for the more complex tax forms, which 99% of people don't need. If this free software can even just handle the free tier or semi-complex tier filing, it's still a huge step.
> The second example is the notorious Nazi bonfires in 1933 that turned to cinders and smoke hundreds of thousands of books [..] this was so widely condemned that it seemed no one would dare to repeat it, or at least would not film and display it to the world. And yet in Chile, forty years later, that is exactly what happened

It happened rather sooner than 40 years later:

on May 13, 1946, the Allied Control Council issued a directive for the confiscation of all media that could contribute to Nazism or militarism. As a consequence a list was drawn up of over 30,000 book titles, ranging from school textbooks to poetry, which were then banned. All copies of books on the list were confiscated and destroyed; the possession of a book on the list was made a punishable offense. All the millions of copies of these books were to be confiscated and destroyed. The representative of the Military Directorate admitted that the order was in principle no different from the Nazi book burnings. [..] Artworks were under the same censorship as other media: "all collections of works of art related or dedicated to the perpetuation of German militarism or Nazism will be closed permanently and taken into custody." The directives were very broadly interpreted, leading to the destruction of thousands of paintings and thousands more were shipped to deposits in the US. - https://en.wikipedia.org/wiki/Denazification#Censorship

But while blunt censorship more often than not backfires, there are plenty of ways to effectively suppress ideas. News guidelines on what should or shouldn't be included in articles, which movies or research* gets funded, which books get published.. A recent HN submission on literary censorship went into this: https://news.ycombinator.com/item?id=30836184

*The authors also submitted different test studies to different peer-review boards. The methodology was identical, and the variable was that the purported findings either went for, or against, the liberal worldview (for example, one found evidence of discrimination against minority groups, and another found evidence of "reverse discrimination" against straight white males). Despite equal methodological strengths, the studies that went against the liberal worldview were criticized and rejected, and those that went with it were not. - https://theweek.com/articles/441474/how-academias-liberal-bi...
I suspect HTMX is the salve for backend developers (particularly Python webdev) doing anything possible to avoid dealing with modern frontend and the toolchains that come with it.

I’m not talking about frameworks, I’m talking about vanilla es6+ and occasionally leveraging npm the way they do Python package dependencies.

I don’t blame folks for this but solid devops exists now.

A lot of the pains around including modern js in a template driven web project have been worked out. The benefits including the cross browser compatibility, tree shaking and module importing and are there for the taking.

Form manipulation, Ajax behaviors—-using JS to liven up your app can be learned and implemented.
Pedantic question: would it be pseudo-randomly blocking or randomly blocking?
If you can find an example of the former that doesn't devolve in short order into the latter, I think you can "I think you meant" him.

I have looked, and I am still waiting.
Per [1], the House version contains important immigration provisions.

1) The bill would create a new category of non-immigrant visa called the W visa for owners (W-1) or essential employees (W-2) of start-up companies and their dependent family members (W-3).

2) The bill would exempt applicants holding a PhD in a STEM field from the annual per-country green card limits, enabling them to quickly apply for permanent residency without being subject to the availability of an immigrant visa. This would benefit Indians and Chinese nationals the most.

3) The bill would provide for Temporary Protected Status for certain qualified residents of Hong Kong, as well as Special Immigrant Status for highly-skilled Hong Kong residents, capped at 5,000 per year.

However, this bill is not finalized yet according to [2]:

> But it’s not through to Biden yet: Now the Senate and the House will have to reconcile their competing versions of the bill, and “a final measure is unlikely to be completed before the end of May”

[1] https://www.rnlawgroup.com/immigration-provisions-in-the-ame...

[2] https://www.politico.com/newsletters/playbook/2022/03/29/the...

Edit: clarified that these are only in the House version and will have to be reconciled with the Senate version.
https://www.govtrack.us

(no affiliation, avid user of the service)
Yes, and USWDS does it without being bloated. Far more usable IMO.

There is room for well designed, compact UI that is also accessible. It is not that strict of a trade-off as you suggest.
In the old American paper check system there was an important but subtle distinction between "fraud in the making" and "fraud in the inducement". If a criminal stole your checkbook and forged a check then an intermediary (like a bank or a grocery store) which cashed a stolen check could be on the hook for the money--if you protested to your bank the transaction could be reversed. However if the criminal simply induced you to write them a valid check (e.g. as payment for a non-existent bicycle) then any intermediary that cashed the check is not on the hook, and the only recourse is to get the money back from the criminal.
You talk to an investment bank and ask

You can borrow against anything, if someone is willing to lend

Collateralized lending is the least constructive of all

Make it worth their while
>> why does the landlord need to know when I go/come to the house

Exactly for that reason I did not want this in my last (and hopefully final) rented home.
.Net CodeContracts were this for me, but that was never fast. C# is a statically-typed language, so what kind of types could you further add to it? As a trivial example, maybe you want to ensure that `invoice_id` consists of at least 20 characters. CodeContracts would then statically attempt to prove that assertion for you. They had meticulously annotated the entirety of the .Net stdlib, and those annotations were spot-on.

This obviously helps with things like `null`.

It completely changed the way I code. You have to think a little bit more about how you structure your code if you plan to hand it off to a theorem prover. I unlearned several bad habits (I unlearned even more with Rust).
And temperature sensors to detect fires!
If nothing else it's a good challenge regarding patience.
Wages are certainly included in the conditions of work, some would say they're among the most important!
Every single one of them according to the charts.
> but registering as an E-file provider is a pretty complex process

Sounds like yet another thing the e-filing lobby worked to ensure their monopoly...
Maybe he means TC? I know meta does or did pay that before the stock dip at least.
Yep, that is a good idea! But a timestamp only adds a little bit of entropy, and you want a few hundred if not a few thousand bits.
https://www.levels.fyi/leaderboard/Software-Engineer/Softwar...