skysight-inc/HackerNews huggingface dataset:
Your post doesn’t make any sense.

How on earth would you hedge a Bitcoin position with tether? This is like saying you’re going to hedge your SPY position with dollars.

Also, a CDO is a variety of debt packaged into a single instrument that pays out cash flows to tranches, some of which are paid before others.
Why the negativity? This can be an interesting, valid scientific advancement while not being a huge breakthrough.
This is now ToyBox

https://github.com/landley/toybox

FAQ:

https://github.com/landley/toybox
Thank you, you are right. I’ll add examples and ping here.
I agree it would need to be very well executed, but there are some strong minds around. You'd need a great domain and really great team, and some press (even if just tweets from people with huge followings).
Reddit is a potential B Corp or non profit masquerading as a VC backed tech startup with exit or ad revenue potential. Bag holders get tired eventually.
Oldest Living Gorilla Celebrates 60th Birthday at Zoo Atlanta
Gotrade gets $7M led by LocalGlobe
I would not necessarily say that game development has better quality than web browsers. And the latter are anything but slow — they are engineering marvels no matter what you think of them. It’s just that websites like to utilize it shittily.
“Space is for everyone”: Europe's Space Agency to hire first disabled astronaut
Always be wary of the potential for apophenia.
U.S. panel votes yes on 'break 'em up' antitrust bill
The whole point of signal is privacy, so the fact that it's tied to a number is insane to me. I have friends in china that can't use it because china blocks the verification SMS. It's otherwise great app IMO but this is nearly a fatal flaw.
You are wrong about me being wrong.

C++ is just a compiler. It outputs a binary for a target platform. The compiler does nothing for you at runtime - certainly not "type safety".

Sometimes the 10 people on HN are wrong. This is one of those times.
Terrible font and nonsensical rambling.
In all seriousness, this is what made me finally quit Facebook a decade ago.

They made it annoying enough to use the product I wanted that the barrier to quiting was drastically decreased.
Analysis of the Italian tramway disaster by AvE
It's a significant hurdle, especially if getting something signed requires some kind of certification process and company identity verification.

It also ensures that the OS vendor has a copy of the binary (although it will only be the first stage, I assume). Without signing, attackers can push malware onto one machine without anyone else getting a copy.
How sure of that are you? This sounds remarkably similar to the claims about, say, Great Zimbabwe; up until the 20th century, almost everyone assumed it was built by some sort of outsider (weirder contenders include the Queen of Sheba!) rather than the locals, and indeed in Rhodesia, where the site was located, it was not permitted to question this until the regime collapsed. Professional modern archaeologists didn’t buy this, of course, but it hardly mattered; normal people believed it because they were told it.
As I understand it, immutability usually refers to mutable data structures hidden behind an interface that allows the programmer to reason about things as if they were immutable. The naive implementation is of course to duplicate all data whenever a change is made, but pure / immutable languages use smarter things like persistent data structures behind the scenes.

If the compiler knows the original data is never needed, it can optimize away the old copies, too. At least that's the hope, I'm not sure how true it is.
Everytime Electron is mentioned, VSC will be presented as counter example. The problem is VSC is the only snappy Electron app out there, Microsoft spend millions optimizing it, while most other Electron apps are crap.

Native programs can be made snappy easily. That's the whole point.
Or it was a way to sneak something inappropriate while pretending it was a reference.

I mean, neither of us chatted with the creator about it so don't act like you know it for a fact.

Also, "next time do X", really? Gave me a good giggle at least.
I'm not debating that; instead, I'm arguing functors are immediately useful in languages like Haskell. Don't know enough about CT to debate that point.
As a gamedev that develops online games I have to disagree that they are required.

Whatever type of anti-cheat you want, you can implement it at server-side with today’s hardware capabilities. However, that would increase server requirements and bandwidth considerably, and as companies don’t want to pay for that they install rootkits to people’s computers.
Hope W11 brings back the installation option "Compact". Personally just want the base OS.
With 3% REID, Mars mission with 6 astronauts means that there is 17% change that at least one of them has radiation exposure-induced death.

The change of non-fatal radiation-induced injuries (surviving cancers, cognitive/neuronal damage, vision loss) would be probably much higher.

Maybe Mars mission needs to pack in radiation therapy equipment and drugs for chemotherapy.
People love using Tether to purchare BTC (and other cryptovalues).

> over two-thirds of all Bitcoin — $10 billion worth of it — that was bought in the previous 24 hours, was being purchased with Tethers. [0]

Thus, it is not unreasonable to say the 1 Tether = 1 USD change indirectly affects (read: inflates) the valuation of BTC, and that a depreciation of Tether may have an impact on BTC.

[0] https://crypto-anonymous-2021.medium.com/the-bit-short-insid...
I'm annoyed by the fact that I have to visit "new" reddit to be able to accept cookies, and then go back to the old design. This is on desktop btw.
Also, the document says "Product Advertising API is free". I am confused.
Sound waves have a much larger wavelength (in the tens or hundreds of meters). That can never map out the details of a cell.

Light, on the other hand, has a wavelength in the order of nanometers. If my math is correct, the wavelength of light is smaller than that of sound by a factor of around 1000000000000 on average.
They might get approval to continue selling to China (companies on the export ban list)?
You have missed the point. The problem is not that we have to run the AC more than we used to. The problem is that our situation changed from one where we barely needed AC to one where we now need it regularly in a mere 10 years.
In which ways?

I don't find lisp syntax confusing either.
This started happening to me only a few weeks ago. I’ve noticed it happens every Monday for me, so presumably some setting is being erased weekly to get users to move to the new design.
Not at all! Bitcoin is not just inefficient, it is purposefully inefficient on a colossal scale. By design, all the energy is turned into waste heat.
There's a bot in an IRC channel I've been on for over a decade that announces the <title> of any link being mentioned in the chan. It's becoming less and less useful as it's running on someone's vps, and a lot of sites behind cloudflare don't yield anything as they're returning the "checking your browser" page to the bot. Then there are pages that are pure javascript a d don't even deliver a title tag, and others try to show a GDPR banner or paywall and thus yield some generic title and not whatever article the link is supposed to show.
I use old.reddit.com exclusively (automatically enforced by a browser extension[1]) and haven't experienced unexpected logouts.

[1] https://github.com/tom-james-watson/old-reddit-redirect
Twitter is like this also. I want to reduce my Twitter usage so I delete the app and sometimes I just want to see what Elon or somebody like that has been up to. Can I go use their website without logging in? Hell no I can’t. Just sucks
What is the purpose of the tool then? What improvement does it have over email?

The main problem that I have with these tools is the increased number of distractions. There is an expectation when using a chat tool that someone will respond promptly, but this rarely is useful for the person that’s receiving the question.

For most knowledge workers, frequent distractions come at a very high cost. Notions that we are good at multitasking are completely false. Encouraging the use of these tools is contrary to the goals of deep intelligent work And in fact can encourage poor planning and time management.
Scraping a website in your analog analogy would be a store where those index cards would be plastered to the shop’s windows, visible from the outside. The “scraper” would come by every day and manually copy (as in, write in their own notebook) what was on those index cards that are visible from the street.

So the question is: would you consider that stealing?
Capacitive V/S Resistive Soil Moisture Sensor
> What significant benefit is gained over using a small robot called a “video camera” in the classroom to film the lecture?

The robot in the picture is a No Isolation AV1. It allows the pupil at to do a little more than a video camera. For example, to look around in the classroom and raise its hand by turning the robots head blue.

More information on their website: https://www.noisolation.com/uk/av1/?
Rare Amazing Monkeys Never Seen Before
There's currently one open source software dev / researcher in the US who's facing prison time after talking about open source software at a conference in North Korea. His name is Virgil Griffith. The speech he gave was nothing more than information that was already public.

He's also known for the WikiScanner.

More details here: https://www.forbes.com/sites/jasonbrett/2020/01/11/internet-...

His personal home page http://virgil.gr/
pydantic: data validation and settings management using Python type annotations
That’s why grandparent wrote “largely”
I don’t think any of the replies you got for your first comments were uncharitable at all, they responded to what you wrote.

At that point, you could have corrected us and revised your wording for clarity, but you did not, you dug your heels in, you moved the goal posts, you claimed we don’t understand various things that weren’t even really related to the comment we were responding to and you brought in irrelevant points like Turing completeness. You didn’t “get lynched“ right away, you could have reworded or clarified or asked what we didn’t understand about your statement.

Also, YOU didn't practice the principle of charity!

When people responded to what you wrote, you dug in and claimed we didn't understand compilers or tractability vs possibility and various other things, rather than thinking "maybe they didn't understand my point, I should clarify". So its on you, not us.

I’m still not sure if I understand what you were trying to say, I am assuming that you meant what I wrote when I restated your comment, by piecing all of your different comments together. I’m still not sure if you actually meant static types are bad period (vs being bad at certain things and having certain limitations). And I still don’t agree with “you can’t have routers”.

Anyway, I’m done, have a nice day.

EDIT: I know I said I'm done, but your reply: "parse better", I gave you an out and still you blame everyone else and don't accept that you might have made a mistake. You're so sure that you are right and everyone else is wrong that you don't even entertain the possibility that you might have made a mistake (either in your reasoning or your explanation thereof). You appear to have an ego problem. You should take some time out and reflect on your life a bit.
> As most threads only need a small amount of stack memory, other platforms use smaller limits, such as OpenBSD using only 64 KiB and Alpine using at most 128 KiB by default.

By your own table, OpenBSD uses 512 KiB unless you're on an ancient version. Among the listed, Alpine is the lone outlier.
The digital marketers I've known typically just configure ads in marketplaces not controlled by them, plus use questionable (both in terms of ethics and impact) SEO practices and dubious statistical analysis of poorly verified third party analytics to fool clients into thinking they're doing useful work. It's a lot of smoke and mirrors with a sheen of respectability because it's backed by household tech company names. But there's rarely with a sufficient look at the funnel or actual user/customer/market research or weeding out confounding variables. They mostly just do the sorta stuff you can do yourself after a few hours on LinkedIn Learning. IMO doing this the right way takes someone who both understands the tech stack of it, including tracking prevention nuances, and the marketing side of it, and the statistics side of it, and the business side of it. People like that are rare to come by and don't typically enjoy working for advertising firms for small time small business clients because it's mostly just tedium and limited room for innovation and growth. Like managing the back pages of a local magazine, I imagine.

I've spent years at the intersection of dev work, marketing, advertising, analytics, SEO, etc. for small businesses. Now the I know how terrible a job they usually do, I'd never pay a consultancy to do that work. I probably wouldn't even bother with it myself. It's mostly just faith based prayers to a few ad marketplaces who's interests are inherently in conflict with yours. It's a shitty marketplace all the way around.

Dev work has a higher barrier to entry, for now, so it's less easy to bullshit your way through with clients. The resulting software either does what it's supposed to (with bugs, of course) or not. Whereas the successful or failure of many digital marketing campaigns are largely matters of faith and not evidence.
From what I've been told - not by members of the community but from those who oppose them - these people believe that they don't have time to work. They are too busying studying Torah.

You should know, these people are a very small minority in our country and do not represent the rest of us. It is a small part of my taxes that go to these people, but obviously many people take issue with it.
Interesting, I didn’t know that. Thank you.
I wonder if people with missile tech will destroy all coal and gas generating plants - even those in foreign countries = the beginning of climate wars. The USA/China/Russia could do this now - if they wanted to?
Might be a good movie script in that as well?
"Everyone knew George W. Bush was going to invade Iraq because Saddam had threatened to kill his father. He was going to finish the job daddy had failed to complete."

I suspect it was lobbying from AIPAC and from defense contractors that led the US into Iraq. Probably not personal vendettas by one man, even George Bush.
why does it need to be plaintext?
> it's not as dire as you think.

I would like nothing more than for you to be right about this. But I don't think you are. We're at 420PPM CO2 right now. Even if we cut CO2 emissions to zero and eliminated all methane emissions, we'd still be retaining heat at a rate that is more than enough to produce a blue-ocean event [1] in the next decade or two, after which we're probably screwed.

[1] https://glennfay.medium.com/the-blue-ocean-event-will-be-a-t...
This is sort of a perplexing perspective to me. It seems tantamount to saying “you can’t predict whether a value will be a string or a number AND have static type safety because the value only exists at runtime, and static type safety only happens at compile-time.” Yes, obviously static typechecking happens at compile-time, but type systems are carefully designed so that the compile-time reasoning says something useful about what actually occurs at runtime—that is, after all, the whole point!

Focusing exclusively on what happens at compile-time is to miss the whole reason static type systems are useful in the first place: they allow compile-time reasoning about runtime behavior. Just as we can use a static type system to make predictions about programs that pass around first-class functions via static dispatch, we can also use them to make predictions about programs that use vtables or other constructions to perform dynamic dispatch. (Note that the difference between those two things isn’t even particularly well-defined; a call to a first-class function passed as an argument is a form of unknown call, and it is arguably a form of dynamic dispatch.)

Lots of statically typed languages provide dynamic dispatch. In fact, essentially all mainstream ones do: C++, Java, C#, Rust, TypeScript, even modern Fortran. None of these implementations require sacrificing static type safety in any way; rather, type systems are designed to ensure such dispatch sites are well-formed in other ways, without restricting their dynamic nature. And this is entirely in line with the OP, as there is no tension whatsoever between the techniques it describes and dynamic dispatch.
> did the production of a vinyl record / cd use more electricity than a lifetime of storage of its modern day digital equivalent?

Replace “electricity” with “energy” and yes, the manufacturing and distribution of physical media likely does exceed that required for digital only over a lifetime. The details vary, storing and playing files on your phone is more efficient than doing so from a magnetic drive in a desktop computer and more than streaming it over the Internet on every play.
People without much life experience, knowledge, mastery, humility, or expertise don't understand what things are used for, and decide for everyone else to throw them away as "unnecessary."

Put another way, it may well be some sort of Dunning-Kruger arrogance that the self-esteem crowd foists on the rest of us without our permission.
Are you sure you know what dynamic dispatch is? Java has dynamic dispatch, and it is a statically typed language. In Java, it's often called "runtime polymorphism".

https://www.geeksforgeeks.org/dynamic-method-dispatch-runtim...

And using it doesn't give up any of Java's type safety guarantees. The arguments and return type of the method you call (which will be invoked with dynamic dispatch) are type checked.
You responded to your misunderstanding of what I wrote.

Parse better.
This is a textbook definition of telepresence.

https://www.merriam-webster.com/dictionary/telepresence
bank is a perfect example of immutable accounting.

once debit is posted to your account (let's say it is fraudulent transaction, or transaction entered by mistake), nobody will go and erase it as if it never happened.
They would actually do reversal, by creating a new entry with the same amount and opposite sign.
So you would env up with two transactions: +100 and -100.

same is true for most accounting systems. Once the accounting period is closed (daily in banking system, monthly for most other companies), you can't change the closed month. All changes go as new transaction adjustments
Why aren’t they pivoting into a marketplace instead?

I'm just gonna guess this is because "supporting and policing a marketplace" is its own special kind of hell; supporting and policing a discussion forum is bad enough without adding on all the way monetary transactions can go awry.
Miami-Dade Ambient Air Quality
From my memory of how early stage startups work:

The company’s future is very unclear and subjective, and informed investors make bets using their experience and the market determines the price.

But that’s for the preferred stock.

The employees are compensated with common stock, which is valued at some fraction of that. There is often no market price since it’s not sold to investors. It’s also very unclear and subjective, and the reported value is picked by the company in a situation where everyone wants it to be low.

The first result Googling it (DLA Piper) says it often used to be determined by just dividing the preferred stock price by 10, until accounting rule changes in the early 2000s.

I think “fraud” is a bit strong here - it’s very subjective after all - but it may not exactly be a fair market price either.
Depends on how much you generalize these statements. Plastic manufacture and logistics scales better than almost everything, mostly because of its chemical resistance, which is fantastic for transport and storage, even when its useless to the end user.

One aspect many miss is that it does not matter if plastics can be recycled as long as it is used rather than dumped into landfill or rivers. Almost all consumer plastics, like most trash, can be profitably burned as fuel in almost all rich countries rather than being recycled. A typical example of this is the trashburning thermal plant in linköping which quite profitably heats the entire city while also providing power and not contaminating the environment beyond the co2 released. It takes a great deal of prefiltering, but it works and the plastics and organics which make up most garbage are good fuel. The additional CO2 released isn't great, but its worth remembering that while plastic in landfills do not contribute to global warming, the methane released by decaying biomass its mixed with both of which could have been burned is a hundred times worse per mass. So burning trash is better for the environment than dumping it in a landfill, and far better than dumping it in oceans or rivers. Burning collected garbage does not solve littering, but littering is insignificant compared to the amounts collected as garbage and then inappropriately disposed of. Inappropriately disposed of includes landfills where birds get to it and fly away with it btw.

This is so obvious and so ignored by the current debate it makes me wonder if someone is trying to point to single use plastics as a scapegoat for bad landfill and garbage management, rather than actually caring. You know, just like they successfully convinced people the problem was caused by individual littering, rather than poor garbage collection a few decades ago.
> I learned multiple times. Everytime I understood less of it.

Isn’t that how to spot seniority? The junior says “I know ReactJS and SpringBoot!” The senior says: “I don’t know much…”

Unrelated, but that reminds me how my Masters Degree teachers touted the importance of their subject in their introduction course, all explaining the Ariane V explosion from a completely different angle:

- The measurements professor: “Ariane V crashed because engineers tripped themselves into different imperial/metric units, this is why Measurements & Precision is the most important topic!”

- The programming teacher: “They fit a long inside an integer and it looped to negative, which inverted the trajectory of Ariane V and triggered its destruction, this is why learning C properly is the core of your teaching this year.”

- The quality assurance teacher: “They didn’t check the contract of the component! This is why QA is the most important when creating big systems!”

- The management teacher: “It’s the story of two teams who designed two components with different assumptions, one team worked in imperial units and they didn’t communicate clearly about assumptions, that’s why management is the one topic you should really work on.”

They were all right. Or rather, they were all wrong: Everyone knows Ariane V exploded because the officer pushed a red button ;)
I mean, you can get deep into epistemology and argue that it's impossible for anyone to truly know anything, and tautologically all of engineering requires approximation in some way, but our modern understanding of aerodynamics is absolutely a "first principles" approach (the principles being conservation of mass and momentum in a viscous fluid), even if there are still some aspects of trial-and-error on the aircraft hardware level. Despite the open mathematical problem of the existence and smoothness of Navier-Stokes that you mentioned, the equations are a fantastic tool that have enabled us to make startlingly accurate calculations of lift, drag, stability, and performance, despite our inability to do direct numerical simulation at the Kolmogorov scale on usefully-sized things.
Is this gonna be something like the Electric Monk from the Dirk Gently books?
Absolutely. I loved Usenet in the mid 90s. Message boards just seemed like a cool upgrade to Usenet and I didn't have to bother with a reader. I doubt I even had a reader installed by 2002ish.