skysight-inc/HackerNews huggingface dataset:
And I was referring to the "dragon" naming, if it wasn't obvious, isn't it hilarious?
> "having a robot" is not a problem statement

It is if what you want is a robot.
to be clear, you're claiming that language constructs for avoiding massively prevalant use-after-free bugs (unique_ptr) will lead us all to lose control of our devices?

Nobody's suggesting we replace all the C in the world with signed javascript from Google, we're literally talking about compile time checks for pointers here.
I do get where you're coming from; this project just highlighted some personal frustrations I have with Desktop Linux is.

I really wish we could have an open-source OS that was reliable and user-friendly for consumers (especially given how user-hostile Windows has become in the last 5 years), while similarly being non-burdensome for devs to deploy software to (which, to be fair, has improved a lot recently thanks to AppImageKit et al).
On my reading list for the summer: "The Art of Immutable Architecture: Theory and Practice of Data Management in Distributed Systems" [1]

[1] https://www.goodreads.com/book/show/52653567-the-art-of-immu...
Isn't it because planes are continually falling (because gravity), and this leads to two things:

1) wings increase the surface area pushing down (gravity) on the air below, which pushes back (air pressure), and

2) as wings are falling toward ground (gravity), they create vortices above the wing, which lowers the pressure, increasing the push up effect of the air below, and

at a certain speed, the vortices are stabilized into low pressure regions above the wings, and in a certain "envelope" region, of speed, plane shape, air pressure, all of these forces are equalized to give you level flight, so long as the dial you turn to get into the envelope region, "speed", keeps up.

That's how I understand it. Happy to hear a physicist / aerospace engineer guide me in how to think about this clearly.
> You can always write C++ in the C way

Nope. They have grown too far apart. My C11 codebase simply does not compile when `mv *.c *.cpp && g++ main.cpp`.
Have you tried haveibeenpwned? Maybe some DB leaked. The problem is that a lot of these databases exist, many just scraped from various sites.
Haskell folks are just regular IT folks who missed their calling by not becoming mathematicians.
Kind of. Actually the real ‘cause’ in my understanding is 1) the curved geometry of the suction (upper) side of the aerofoil and 2) the fact that the flow remains attached to it. Everything else - you can actually approximate the curved surface to a circle and apply equations of circular motion to a parcel of air to satisfy yourself with why the flow is accelerating. And Newton’s 3rd law explains how lift is generated on the wing. In my view there’s no need to use Navier-Stokes to explain how an aerofoil works, if you simplify the geometry to make a special case.

Most of the lift comes from the suction side.

Actually, if you really want to test an explanation, try to apply the same reasoning to explain how a sailing boat can sail upwind (or at least up to about 45 degrees off).
Did this guy just design a hardware system, a BIOS, and an OS, specifically to run video games? We are truly back in the 80's!

Frankly I think this is quite exciting. A couple of years back we were all afraid the days of children having hardware access to computers were over, but here we are and cheap ARM devices have made fiddling with hardware as exciting as ever.
> Title is literally true. This may not be the best place to learn about these concepts for the first time, because I'm going to focus on knocking down the misconceptions about them.

I've recently been interested in learning more math to apply to programming. Does anyone here on HN know where I can find quality education online (free) I can use through the rest of the summer? I only got to geometry as my highest maths in high school.
The biggest problem is them using up billions of government subsidies which were supposed to be used to decarbonise existing energy needs, not attract new ones.
Pat also wrote a pretty great follow-up article that expands on the "Data on the Outside vs. Data on the Inside" section, covering the intersection of immutability, temporality, schema and relational querying: https://queue.acm.org/detail.cfm?id=341501
I saw the bow thing in the comments too, but I can't understand what it is even though I completed the form!
I'll try to look at that. At a more local level you might like "Purely Functional Data Structures" by Chris Okasaki. Functional programming revolves around those.
Some context: I was taught Haskell, Prolog and Java at university (2006-2010). Coming from chaotic JavaScript and PHP scripting all were hard to grok, but I enjoyed them all. After a couple of years only Java stuck in my working memory. So: I could program in Haskell, I've probably used monads and functors fluently, but the concepts still don't click. I have the same problem with grammatic concepts like adjectives, adverbs, and the more complicated stuff. I obviously use them all the time, but I'm not fluent in the theory.
I’m back to WhatsApp after many months of full time Signal usage. People started leaving Signal one by one. Some of them really tried. Not many had joined anyway. For most remaining contacts Signal was and for more it remained installed just for me.

A medical emergency in the family and I was back on WhatsApp in a second.

Signal kept crashing, remained full of UI bugs (the kind I just couldn’t believe is there has been there for months and years; yeah the simple and silly ones), functionality bugs, slightly better than barely useable calling, delayed messages, broken notifications, extremely frustrating and broken encryption key update even when there was no such actual update — while the foundation kept giving us new emojis/stickers and worked on crypto. Nice gesture I reckon. And yeah, still a closed garden.

No opinion really. It’s just how it is. I use Apple’s phone and computer which is proprietary and closed garden by design, effort, and lobbying. Who am I kidding.

So no, I’m not going to say Telegram is shady. Maybe it is but so are others. Maybe not Signal (or is it?). It’s just that Telegram is far from being the personal messaging/communication app, at least around me. It’s an extension of other online communities like subreddits. Discord is eating into that share anyway. It’s used for apartment groups. COVID update channels (especially in India where very high up offices still have public Gmail IDs) and all that. Oh, they do have literally the best mobile and desktop apps among its peers. By many miles.
You can consider more realities than RA and RB, but RA and RB are still possible realities and what I wrote about them is still true. Even if you infinite other possibilities the relative likelihood of RA and RB still changes the way I describe.

If your radar reports some anomaly then the radar is probably malfunctioning. If the electro-optics report the same anomaly at the same time with the same characteristics, that's weird. If both these sensors, and others, agree on some strange data and you witness it with your own eyes and someone else does too... At some point you need to flip your conclusion from "sensor error" to "I'm observing something strange."

There's no basis that I'm aware of to refer to the observations as "A mish-mash of vague most readings".
Hi & congrats! What you say is very true, but I would like to point out that you were following my advice.
Bars are a classic social gathering and definitely work too. Bar activities include casual conversations, billiards, dart games, magic tricks (there are scads of tricks with cups and drinks) dancing, etc

Personally I avoid bars, but it is indeed fine when approached with appropriate caution (as would be rock climbing gyms, for example, which are a stellar choice btw)
Then you look at volume charts and your mind is blown when you realize the vast majority of Bitcoin trading happens against tether, safe not only that, but the main functionality of tether is to get into a leveraged Bitcoin long position.

You'll realize not only is the whole market built on this fraud, it is leveraged like a powder keg on this fraud. The blow up will be legendary.
This is not about default being certain function off.

This is about that one functionality being mutually exclusive with other functionality. If you enable E2EE, you disable cloud sync/history, multi-device use, message forwarding, etc. In normal use, users want the latter and if they need the secret chat, it is available.

In your example with Adblock Plus, there was no trade-off (to the user; there obviously was for the company). With Telegram, there is.
This is true of a symmetrical aerofoil (e.g. most helicopters) but not for an asymmetrical aerofoil (most fixed wing aircraft). It is true that a slightly positive angle of attack generates more lift than none (because the pressure/lower side starts making a contribution)
I feel like the programming tools haven’t kept up and so to do this we also need immutable requirements and impeccable programmers. Currently if I change the code in my application it gives different results. I’m not sure if there is a word for it, but I’m thinking of pure applications like we have pure functions. I don’t think the right tools exist for this.

Also the “accountants don't use erasers” feels really glib to me, it’s hard work.
+1 on "Purely Functional Data Structures", an excellent book to learn a different programming paradigm
It could cause shockwaves beyond crypto. You’d see Coinbase, Tesla and MSTR stocks hit and maybe the meme stocks because they are kind of like speculative cryptos. Then maybe anything else crypto related like Twitter, PayPal, NVidia, etc. Then as we are in an everything bubble other stocks and sectors fall and confidence is in a negative spiral.
> Race is a very important component on Paletinians hating Jews.

This is an entirely irrelevant, even ridiculous, argument, given the present situation. Which is that there is a very concrete and justified reason for Palestinians to hate Israel, and that's because Israel is oppressing them in a way that no people would ever tolerate and that would be classified and prosecuted as a crime if the perpetrators were any others than the West's darlings.

By the way, a friend of mine is a Palestinian from the West Bank who was subject to Israeli persecution, and had in the end to flee elsewhere. She is Christian, as has been her family since time immemorial. I can assure you she heartily hates Israel nonetheless. (10% of Palestinians were Christians, that's something Israel prefers to gloss over, since any empathy from the Christian west is dangerous).

You want to talk about the atavic, religious hatred that Palestinians harbour for Jews? Cool, then remove all the actual, justifiable reasons for that hatred and after that, if there's any left, we can talk about it.
At current prices, Tethers market cap is only about 10% of Bitcoins and about 5% of the whole crypto market cap.
Yes, a perfectly valid legally issued warrant for any and all details about all messages the officer wants.
Previous Discussions

https://news.ycombinator.com/item?id=27592187
https://news.ycombinator.com/item?id=27591218
Say Goodbye to Scrum and Kanban: Welcome 6-Week Product Cycle
For those wondering what happens to bug reports (Note: I suspect that 90% of what they'll do will just be general help and support e.g. "why does X not work?"): There were some questions from BF devs on this as well. "Do their bugs get priority? or do they do any fixing?" Ton stated in a discussion on blender.chat [0] that Canonical will file bug reports just like everyone else on developer.blender.org (though the quality of those reports will probably be very high). Additionally, their partnership with the Blender Foundation also means that they will funnel parts of their income through the program back into the Blender Development Fund [1]. So then the Foundation can hire more developers working on the bug tracker to tackle the additional reports coming in.
Quite a nice dynamic going on here imo. We'll see how it turns out in practice.

[0]: https://blender.chat

[1]: https://fund.blender.org
I think the reason so many people have trouble understanding functors and monads is because they are not complex constructions but look useless when you see them.

There is nothing inherently interesting about functors and monads. Haskell, as a research project, discovered that you could isolate IO in a lazy language inside a type using a monadic construction to chain them which allows you to track side effects. That was interesting, the rest less so.

Now the Haskell community somewhat fetishized these abstractions for reasons which are their own. They must be apparent to the community at large. They are not to me.
I heard a while back, on HN 8
I think, that a lot of residential proxies are computers that have been infected with malware. How true is that?
SubDl – Free YouTube Subtitle Downloader
Subdl is a free web application that can download subtitles directly from youtube, VIU, VIKI, vlive and other websites. We support downloading all subtitle/caption formats, such as SRT, ass, TXT, VTT. Just enter the URL of the video and click download.
Immutability changes everything but does not Solves Everything. You are just changing to a different scenario that might help.

"Tesler's Law" [1] :-) makes sure you are looking from a different perspective. Complexity is still present.

"Immutability is not enough"

https://codewords.recurse.com/issues/six/immutability-is-not...

[1] - "Tesler's Law"
https://en.wikipedia.org/wiki/Law_of_conservation_of_complex...
Chris Avellone about why he “didn’t fight any of this”
If your scraper behaves, perhaps it would not be blocked…
It's also not rare to end up needing spinlocks within more elaborate lock implementations or within other low level primitives.
The thing I mostly miss with the current .NET ecosystem is the capability of making desktop GUI applications easily on Linux.
Is it ethical to scrape things, trying to bypass prevention methods, against the expressed wishes of a site?
This is the point that is so hard to grasp for me. The exchanges offer tether, maybe they do not even pay tether for this.
Is this correct? Nobody is buying tether from tether, but via third party exchanges? They "redeem" on exchanges?
I keep trying this. I have a coffee cup full of pens, a stack of 3x5 cards, and Post-It notes not 6" from my mouse hand. I just hardly reach for them.
The title is:

> US Fed Official Calls Tether a ‘Challenge’ to Financial Stability

The URL is the same. So...why did you change it?
You are failing to think rationally about probabilities in part because you attach to an idea like "burden of proof" which reduces to the discussion to something like "You can't prove to my satisfaction that it is aliens so I'll assume it's not." That's just ignoring the argument I've made above.

It's also not correct to say that there's never solid evidence. The DNI report suggests there is compelling evidence. I've not seen anything to suggest that the observed phenomenon are at the limits of our sensors.
Correct. Still incomplete. Angle of attack causes a vortex at the trailing edge which has nothing to do with raw air speed and everything to do with fluid dynamics (which involves speed but is much more complex)

Short version is that you created a hole (lower pressure area) in air which it now tries to fill.
Air and gasses have finite limited velocity known as speed of sound, which is why you get these pressure differentials while the wing is moving.
With a flat wing, they're rather small and low pressure vortex is located behind the wing. In an angled wing, some of it is located below the wing and the air trying to fill the low pressure area exerts a lift force on the wing. (It's unlike a balloon. Bernoulli has very limited impact, unlike essentially wind.)
If we use retail price as a proxy for resource use, how many pages of medium quality notebook could you buy for the price of a Remarkable table.
The media and many members of the scientific community, wrapped in their "Trump is evil" orthodoxy, denounced everything that came out of his mouth, including the occasional truth.

Their reputation now irreparably damaged.

Vox called COVID overblown and then stealth edited those articles, only marking them as edited after being called out for it.

New York Times has called lab leak theory "racist", repeatedly, including by their chief COVID reporter as recently as two weeks ago(!!!).

Dr Fauci knowingly lied about the efficacy of masks, then railed against border closures from COVID embattled China, then knowingly lied about US funding of gain-of-function research to Congress.

WHO has spent the last 18 months running crisis management for the Chinese Government ("no sign of person-to-person transmission" in late January), which has spent the same amount of time destroying evidence and covering up as much as possible.

Facebook and Google until months ago was censoring lab leak theory left and right.

Public and news media institutions collectively have revealed their complacency, political bias and ineptitude.
There have been a number of Chrome extensions which monetize by selling your bandwidth to provide this kind of service. Not ethical but probably not a compromise.
Are there even ethical or “official” ways to source residential IPs? I thought most of them were from botnet infected IoT devices.
Immutability allows for incredible performance when you are working in the guts of database engines. Having assurances that a specific data log file offset cannot possibly be modified allows for substantial optimization throughout.

For users who do not need a serialized view of events, access to "near-real-time" data can be made to scale as far as needed, even if a single machine is driving all the writes. You could theoretically have a billion readers working off a single synchronous core system.

By utilizing careful abstractions, that single core system can write something on the order of 10-100 million transactions per second. We do it every day on the various financial exchanges around the world. In many cases, a single thread is what is holding up the entire exchange. Arrays of structs, hot cache lines, correct branch prediction and full pipelines are a hell of a combo.

In some practical businesses apps, it is also feasible to coalesce logical writes before they need to enter a fully-synchronous context, so you can get some step-down ratio like 100:1 on transactions that actually need to go across the network and be handled by the core system.
They already do. Price is set to a level of what people are able to pay, to a point where enough people are priced out that they can't live where they want because they can't afford it.

Until supply massively increases, price does not reduce.

Artificial changes like government subsidised rent schemes allow distribution of housing on non-financial means. This allows wages for people like teachers, shop clerks, security guards etc to stay low, and that's not good.

Building outward does not increase supply in the city centre, increasing density does. Nothing encourages increasing density like charging. Imagine a $300/year/square foot charge. Not many people would be buying a low density 1000 square-foot house with $450k/year tax, instead there would be a massive demand to build 150 apartments on that lot instead, which would cost $2k a year each.

There are currently plenty of places to live cheaply. There are not plenty of places to live where people want to live (central cities), so prices are higher there. The only solution to that is to increase availability where people want to live.
That's a problem, sure, but not one that you're going to solve by regulating stablecoins.

Contagions are all over the credit markets. The whole thing is a house of cards and always has been.

We have all kinds of regulations for just how much collateral a bank must have, for example, but 2008 still happened.

I'd rather have firms fail if they make bad decisions.

Risk-taking is incentivized when banks can say "oh no, we followed all the rules but somehow still went insolvent, must be someone else's fault... definitely not ours for not researching our investments... so how about a giant free loan?"
I said the same thing last year... I scroll thru some of his updates mostly just trying to see the state of the game. Honestly I don't think much has changed gameplay or graphics wise for many hundreds of episodes.
> Freedom means facing the consequences of your decisions.

I completely agree with you. That is why scammers should pay for their actions. The people that is lying and abusing the trust of young and inexperienced people should pay. And the government is the means that we collectively agree that is in charge of creating laws and prescribing punishments.

At least, I hope, on that we agree.
I'm not overly familiar with M-Pesa. That said, a primary distinction is centralized vs decentralized. I prefer to have full control and trust in my currency. Crypto is volatile, but there also isn't a central bank to inflate away its value. From my perspective that is the totality of the value from distributed / decentralized consensus in currencies
> Intel has the ability to "do an M1"

They might be able to match it on speed, efficiency, and price, but not on vertical integration. But I'm curious to see how a RISC-V ecosystem might develop once someone starts pumping heavy dollars into it.
from a look at the readme, you combine those `$.TYPE` things to build a validation function that checks if its argument matches some pattern (and throws an exception if it doesn't).

import * as $ from '@appliedblockchain/assert-combinators'

const validateFooBar = (
$.object({
foo: $.string,
bar: $.boolean
})
)
// probably roughly equivalent to
/*
const validateFooBar = (x) => {
console.assert(
typeof x === 'object' &&
typeof x.foo === 'string' &&
typeof x.bar === 'boolean'
)
return x
}
*/

const test1 = { foo: "abc", bar: false }
const test2 = { foo: 0, quux: true }
const { foo, bar } = validateFooBar(test1) // ok
const oops = validateFooBar(test2) // throws error

the source is pretty readable too if you want to get an idea how it works.

https://github.com/appliedblockchain/assert-combinators/blob...

https://github.com/appliedblockchain/assert-combinators/blob...
I assume Lisp homoiconicity is closer to fact than "You can write safe code in C".

I mean it is possible. In the same way all molecules of air could bunch up in one corner of the room suffocating you. It's a possibility.
Monads and Functors aren't particularly exciting in Python because properties or contexts can be expressed with e.g. boolean flags and properties or contexts can be ignored when applying functions to unrelated parts of an object.

# milk_cows :: Person -> Tired Person
def milk_cows(person):
...
person["tired"] = True
return person

# feed_pigs :: Person -> Tired Person
def feed_pigs(person):
...
person["tired"] = True
return person

# birthday :: Person -> Person
def birthday(person):
person["age"] += 1
return person

# willy :: Person
willy = {"age": 32, "tired": False}

# fmap and >>=
print(milk_cows(birthday(feed_pigs(willy))))

In Haskell there would be a 'Tired a' type with a Monad instance to express the tiredness property and a Functor instance to apply functions to it with no impact on or knowledge of tiredness, e.g. aging.