skysight-inc/HackerNews huggingface dataset:
Oh, of course! I wasn't suggesting this was the right way for everybody, just that it's possible in practice.

I think it would be quite interesting to circle back with you in a few years about this. You might be right. Want to put some contact info in your public HN profile so that I can reach out? Otherwise, feel free to DM me on twitter :)
Coal bucks 15-year decline in US with 22% increase as natural gas prices rise
Wasn't today (Oct 19) the first day of open trading?
It's not perfect, but Norway has a tax on drinks containers that is set up so that the starting point is a tax on drinks containers. However any drinks containers you recycle is offset against the tax. Then there's a government endorsed recycling scheme that handles all but the collection for you, but requires that you participate in collecting containers irrespective of whether you sold them or not.

So the default assumption is that if you do your job, the tax is more of a deposit. If you don't do your job, you, or rather your customers are still paying, and your customers can drive down the cost of your competitors by helping increase their tax offset if you make it a hassle to return things at yours.

By creating the presumption that you ought to be able to collect and recycle most of the recyclable products you sell (return rate for cans and bottles is well over 90%), the tax/deposit can be set fairly high. High enough and you create secondary businesses taking the hassle of returns for those who can't be bothered (don't want to return your bottle in Norway? odds are someone who needs the money will fish it out of the trash to collect the deposit), and there's a strong incentive for businesses to take back anything they sell subject to such taxes/deposits and deliver them to whichever scheme is approved to offset against their tax bill.

This sounds relatively close in principle to an implementation of what you're suggesting. with penalties etc. implemented basically by tallying up the tax per unit sold and then reducing the liability per unit recycled, so the penalty is simply the default if you fail to recycle.
No commercial vendor is going to ship bleeding edge code with a promise to support it.
See: https://news.ycombinator.com/item?id=28517447

"Ask HN: Do you still miss your RIM BlackBerry?"
Sure. I could have similar or different but nonetheless reasons for software and apps. Maybe somehow getting around a SaaS app. Or for other circumstances like finding random people on the web to split a substack or Stratchery subscription with (the latter happened on Twitter and people were not pleased).

The reason doesn’t change my point. The smaller person is hurt by any of these actions when done to their thing - ad blocking, piracy, workarounds, etc.
It's possible to run private joins and see aggregate results without transfering the raw data.
Per the article, the book was submitted for the prize under a male pen name anyway.
Theranos Devices Were Built to Impress, with Error Code Hidden
Maybe a combination of churn from Scala, growing popularity of .NET in general with .NET Core, lack of high-level stuff in Go, static typing coming to dynamic languages (especially JS), functional features getting everywhere. Lots of stuff is pointing at it in a way.
What _is_ the true price of a resource though? You have to ration it out for a certain length of time, but what is the end date? Do we ensure we have supply for 100 years? 1000?

I'm not trying to shit on the idea because I think we genuinely need to do something but I can't come up with any rational way to calculate the true cost of limited resources.
Cathie Wood says $3k is Ark's Base Case for Tesla shares
A good analogy is making pancakes or biscuit batter. You have to stop far earlier than I'm comfortable with, or the outcome is ruined.

This is because there are tons of (nearly) invisible processes going on, and you need to trust the recipe that people have come up with for getting good results.

And trying to understand every input and process could quickly become an entire career for any of these topics.
Thank you for sharing this story. I consider war stories of this caliber to be unironically heroic exercises of thought.
Lawyers will always ask for the most favorable outcome for their client, which in this case was the GP deleting the project. Had the GP gotten their own lawyer (or even "call their bluff" by letting them either take it to court or GTFO), I'm guessing they could have kept the project. (Of course, if GP knew before merging the code that it was someone else's code, then things are likely different, and going to court might not be favorable)
lol with a name like that its hard to not think its from a Charles Stross novel... ZK Fake .

good lord, the world is a strange place. or, we make it a strange place...
> "the quantities that they correspond to are called 'numbers'." is rather circular here no?

No. "Quantity" is different from "number". A quantity is a number plus a unit. "Two" is a number, not a quantity. "Two sheep" is a quantity. This is definitional progress because I can actually show you two sheep in order to explain to you what that means, whereas I cannot show you "two".

> infinite egress

It is not an infinite regress, though explaining why is much too long for an HN comment. It also makes an interesting little puzzle to figure out where and how the recursion bottoms out, but here's a hint: how do you know what a "sheep" is?
Tsk, no Vonnegutian ice-nine: https://en.wikipedia.org/wiki/Cat%27s_Cradle

"Festivities for the narrator's presidential inauguration begin, but during an air show performed by San Lorenzo's fighter planes, one of the planes malfunctions and crashes into the seaside palace, causing Monzano's still-frozen body to fall into the sea. Instantly, all the water in the world's seas, rivers, and groundwater transforms into solid ice-nine. The freezing of the world's oceans immediately causes violent tornadoes to ravage the Earth, but the narrator manages to escape with Mona to a secret bunker beneath the palace. When the initial storms subside after several days, they emerge. Exploring the island for survivors, they discover a mass grave where all the surviving San Lorenzans committed suicide by touching ice-nine from the landscape to their mouths on the facetious advice of Bokonon, who has left a note of explanation. Displaying a mix of grief for her people and resigned amusement, Mona promptly follows suit and dies."
I believe a non-California defendant could move that suit into a federal court ("diversity jurisdiction" isn't it?)

But federal courts don't seem to put too much weight on how individual states interpreted a law -- hence my question.

(Same /not-a-lawyer as above)
GraphQL file uploads – evaluating the 5 most common approaches
Each scam is draining some money from the market. All these scammers are siphoning of real money from the ecosystem each time.

Fanatic and devoted fans there maybe, however they don't have limitless fiat money to play with. In the recent past, new found mainstream popularity has fueled inflows into all kinds of crypto products sustaining the strong bull runs despite significant and clear risks.

This popularity has little to do with widespread belief in distributed / unregulated financial systems, and more because these assets have outperformed traditional instruments spectacularly, the allure of making ton of money fast. Eventually it will fade either because there is not enough new people who can/will put more money or an unsustainable growth tapers off.

When ( not if) the second set of players leave inevitably after enough scams, the hardcore fans that will remain and prop up the market and keep it going yes. However without non fanatic users there is not enough money to come roaring back like in the past.

To be clear, it may take a few years or more and few cycles of what you say, markets can stay irrational for a very long time, it is unstable equilibrium nonetheless, and eventually will correct permanently
I recently started working through Basic Mathematics by Lang. It has exercises with solutions to about half of them. It starts basic but introduces simple proofs early.
Although what counts as 'from scratch' depends on the reader I guess. The book doesn't define numbers via sets, maybe check the table of contents.
So your problem is with allowing companies to sponsor Permanent Residency applications at all?
Some years ago an associate had reported theft of 500 CDs plus some other things to his car insurance company. They were going to cover it all.

Then they had another phone call where he asked how fast he could get the money, as he needed to replace the CDs before he could return to work.

The quick witted agent said something like 'oh so these CDs that were stolen were for your work?" - He replied yes. Claim was then denied - his policy was not a commercial policy.

Don't recall the insurance co.
For your next magic trick, I'd suggest using these to build a Postgres equivalent to Lucene's persisted levenstein automata :)
You said that efforts to relieve the plight of animals "doesn't really matter in the grand scheme of things", but I disagree with you, as helping one animal is meaningful. I don't understand how you can believe that animals as a whole deserve better without also believing that each animal deserves better.

You now brought up a separate issue, which seems to be rooted in a philosophical disagreement. If you think the 'desperate consumers' are causing harm, I invite you to convince them to change their ways. As an incrementalist, I see each small improvement as virtuous.
That's also what jumped out at me.

Good if true, of course. But really needs independent evaluation.
If you ignore the whitespace sensitivity, Nim's syntax is actually more similar to Pascal than to Python.
It doesn't mean it's right, but on this site it is.

Allowing people to editorialize headlines and pick biased sources skews the discussion.

Since we want to limit multiple similar discussion threads but allow everyone to continue talking, this is a good compromise.

Giving too much credit to a biased source or blogspam post goes too far in the direction of skewing the discussion IMHO.

Also the link or headline might change multiple times. Best to just keep it simple.
Feelsile industry in general could become a lot better if there was more friction for m&a. More competition, more likely that companies actually produce value, which will require better treatment of employees, more middle class administrative jobs created, etc.
There are entire textbooks written about how to construct options from a combination of short and long positions in different assets offset by borrowing. It’s not trivial, but it’s a well established discipline in trading world. For anyone that would offer a $1M bounty, it’s probably a talent already on the staff.
"What non-users don't get is the fanatical level of devotion by users. It waxes and wanes with the Bitcoin halving cycle, but always comes back stronger than before."

Indeed. 80-90% pullbacks, multi-year bear markets, the seasoned crypto trader has seen multiple apocalyptic financial disasters, where this simply is a potential next one. It fails to impress.

The really clever ones thrive from these crashes, that's when they buy. Volatility is the feature.
Used to be, they would loft a whole bunch of concentric cylinders, and rely on total internal reflection off their surfaces, which works even with X-rays.

If I understand correctly what they do now, they treat the diffraction pattern from X-rays going through a mask as a sort of 2-D Fourier transform, and transform it to an image with the inverse transform based on the known mask. Which is very clever. I don't doubt that this description glosses over the actually interesting bits.
Author here. Layout is my favorite part of the browser—my dissertation is largely about formalizing browser layout—and so far the book only covers the basics, like the layout tree and how layout is computed with multiple tree traversals, but even understanding those basics I think gives you a huge advantage when thinking about web page layout tasks.
There are solutions to that though, so that you don't annoy yourself at inopportune times.
It’s kinda weird to write an entire article talking about CLAs but not actually say why they’re being adopted (instead saying they’re being adopted because maintainers don’t consider the costs, which is the opposite of a reason). Namely, to prevent contributors from withdrawing the project’s license to their code after the fact, like what happened with Mojang’s Forge.
They could argue that the git commit history being immutable means that they have to delete the entire repository to remedy the existence of the proprietary code being available for download. The best way to continue would be to either rewrite history (eg. with BFG) or fix it, destroy the git history, then start from scratch.
Tables are still not that clean! But luckily tables are way way less important than they were in the past, so much so that browser differences in table rendering leaves most pages readable.
I don't get the point of CLAs. Will they prevent you from being sued, or help your case if you are? Will they allow you to avoid removing copyrighted code that was contributed under false pretenses? Has any of this been tested in an actual court?
> Which fields of human endeavour cannot be rendered symbolically?

All of them other than math.

> do you consider geometric proofs math?

Yes, because diagrams are symbols. They happen to be rendered in 2-D but they are symbols nonetheless.

What makes something a symbol is that it is subject to a convention that allows it to fall into one of a finite number of equivalence classes, so that small changes in its physical details don't change its function within the context of the symbol-manipulation activity. Geometric diagrams have this property, so they qualify as symbols.
Pope calls for universal basic income, shorter working day
> useful

I don't agree that it's useful (not sure if you were being ironic). All of the "frameworks" I've used were determined to make my cog their subject. I haven't come across a framework that was content to be a cog in my machine.

[Edit] Subject, as in royal or imperial subject.
I actually find i'm the opposite (everyone is different of course - to each their own). I can learn from written resources fairly well once i get in the flow.

Interactive content or content where i have to do exercises a lot break my flow, because i am constantly switching gears.
The way it works in my country is: you install an app that uses your passports NFC chip to verify your identity. Then gov web services or verified third parties (like private insurance) can use what looks like (I did not dig in the details) a fairly standard OAuth flow.
"Tether reserves the right to redeem Tether Tokens by in-kind redemptions of securities and other assets held in the Reserves."

https://tether.to/legal/
They do the equivalent of investigative journalism. Arguably everything they know is public, just no one has looked or put all the pieces together until they do a press release.
> it means that everything will more or less work with your code

So you can call any .NET library?
i do get where they're coming from. right now we rely on dang and other mods (do they even exist?) doing the right thing in terms of making benign and beneficial changes to the linked story and being visible about making those changes. i've certainly seen communities where this trust ended up being abused due to scale or change in moderatorship.

it would be nicer from a transparency perspective to make these kinds of changes easily auditable by adding an "edited by" in the full page or a dedicated audit log. it would strike a balance between letting moderators improve the community while improving transparency at the system level.
At first glance I thought it was some kind of version control for designing tool, like figma.

In my experience, the workflow between designers are highly variable and the designs rarely reflect production fidelity. I am hoping to have a tool to facilitate the collaboration between visual/UI design and engineering. Anyway, am getting tangential here
Software engineers today are not just doing ROI positive work, but extremely ROI positive work. Our collective contribution the economy would not be maximized until the point where even the most marginally useful projects could get competently staffed. We are very far from that world.
A lot of these principles are great for investigating complex bugs/incidents. e.g:

- Assume nothing

- Believe nothing

- Challenge and check everything

- use a mindmap

- seek alternative explanations

- recruit a devils advocate
I'm not sure you guys get this: Tether is the reason it comes back.

Tether drove the 2017 bubble (this is when Bitfinex'd got their start) and has driven the 2021 bubble to the tune of $70b.

This resilience wouldn't exist without Tether.
You've opened up a can of something. Check this out:
Zeke = 4 letters. Ezekiel, the long form = 7 letters (note this number, cos it will come up further down).
Cloak = 5 letters.
4 + 5 = 9.
9 is the number of spiritual adepts that govern the 7 Universes.
9 * 7 = 63.
Add those two digits, and you get 9, again.
See where this is headed?
Oh, we're all equal and decentralized here, but some are more equal than others.
I've actually never seen this one before, and I'm not sure if I like it. I generally tend to favor "composition over inheritance", and I'm not sure what the advantage of inheritance is in this case, compared to standard DI.
Isn’t that the idea of the “TiVoisation” clause in the GPLv3? Basically, TiVo released their Linux derivative code, but you couldn’t actually flash your version. The problem is that Linus is staunchly against the GPLv3
It would be embezzlement (and not fraud) if the money had first gone to Netflix and then been redirected to Kail (without their knowledge).It's only fraud because the funds never went to Netflix in the first place

Embezzlement: Misappropriation of funds
Fraud (in the inducement): (Specifically wire/mail fraud when talking about contracts): Misrepresentation of contractual terms to induce entering into a contract. (Here the misrepresentation is the amount of money that the vendor was going to charge netflix since technically his kickback would've reduced the expenses to Netflix)
So then of course the question arises, what is "two?" And is that a mathematical object? (Shorthand for S(S(0)) doesn't work either because S(S(0)) is clearly just another numeral system, not a number itself, indeed arguably any formalism is just a numeral system, rather than the number itself) And how does that comport with the reality of natural numbers in our universe (i.e. the incompleteness argument)?

> how do you know what a "sheep" is?

Right the usual answer is to tackle the map-territory head-on and say some of it is essentially "out of scope" but I'm curious if you had another idea.
Portugal tends to be on the poorer side of Europe, and besides it is a tiny market. I don’t see why this is relevant
Is it named Fable due to its relation to the Fable series which Microsoft publishes?
How many seconds of income is that? :-/
the biggest point is: you are telling me there is something that makes up the majority of matter in the universe (27% dark matter vs 5% matter) and we still haven't observed a single iota of it, even after spending more than 3 decades and billions of dollars?

'well it fits all of our understanding of the universe and what we observe in a few things'

It comes on top of things that cosmologists have been wrong for very very very long times on. Look how long they thought it was silly to consider the big bang. maybe it would be easier to accept if they were like 'well the big bang is a very interesting idea but it just doesn't fit evidence' instead of 'that's a stupid idea, my idea (static universe) is simpler so its right'.

speaking of which, we really need to get off this 'simple idea is the right idea' dogma. The universe owes us no such obligation to be simple.

cosmology got so many assumptions baked in them its hard to figure out where they begin and end. for example, look how much relies off the idea that the universe is the same everywhere, which we now know as wrong, but cosmologists are only slightly admitting to that fact.
Microsoft finally takes down malware from OneDrive, O365 platforms
Can you show me how to write a frontend web app with C? Or how to make a keyboard driver with Python?
> So spending say 5 years, noodling around with abstract mental concepts and ending with symbols that turn out to be manipulatable and useful in a mathematical way means, you haven’t done math until year 6 starts?

Yes, that's right. Until you write down the symbols you quite literally haven't done the math.
I wonder if you could use something like IP in IP (https://en.wikipedia.org/wiki/IP_in_IP), basically just slap another IP header on your packet so your IP becomes two 32 bit IPs, one for your ISP and one for you.
If you’re likely to do any Kube or docker swarm work you’ll be happy to have more ram. Try for 32 at least
I like iOS devices as a slab of glass & metal that becomes various tools (apps). Since there's nothing else that operates that way, the more it becomes like a general-purpose OS, the farther we get from having anything available that behaves that way.

The shock of the move from 6 to 7 was pretty large. 6: "slide to unlock" slider that looked like a physical slider-latch, like one you might slide to unlock a container, and was so obvious in what it did, that it hardly even needed text to be usable by anyone. 7: "swipe to unlock" in thin text on... the background? So what do I swipe? Oh, the screen itself, which is a completely different metaphor for interaction, and entirely unintuitive to people who don't think like that. That kind of thing, repeated across the entire UI.

Most of the multitasking stuff they've added, are just weird modes I accidentally put myself in then have to spend time figuring out how to get out of them. I'm sure they're pure rage-inducing hell for most people, who are even worse at tech than I am.

I think the loss of the home button, one of the most brilliant UI elements of all time, is a big loss for intuitiveness/usability for people who aren't immersed in very digital-native metaphors. It was such a great safety net for people. "Oh shit, what's this?! HOME BUTTON! Ah, now I'm in familiar territory". Swiping the screen up from the bottom is not a complete replacement for that.

Overall it's just far less relaxing and straightforward than it used to be. Used to feel like some kind of hyper-advanced "slow tech" sort of thing. Now it's a lot closer to just being another computer OS. I wouldn't care, except there's no alternative that provides the old thing that I liked better.
certain company has spent considerable resources continuously promoting that framework. At times I seriously think it has a real chance of evolving into a full blown religion.

I am only semi joking
Even if you disagree with this, the competition will bring prices down to non inflated levels for everyone, and your insurance premiums will likely reduce as an effect.
I'm not an immigration lawyer but I assume sponsoring a permanent resident would be covered under a different program with different rules. Trying to shoehorn this into H1B is very much the wrong program and abuse. The intent of the program was that the green card application would have been accepted or rejected within a reasonable time frame and not exist as a way to extend the temporary H1B indefinitely.
Three-letter Microsoft acronyms come and go, but win32 is forever.