skysight-inc/HackerNews huggingface dataset:
Do most exchanges also run OTC desks or is the OTC desk generally a special type of exchange?
It's pretty common to license peripheral bits of an ASIC from other companies. You don't even get to look at their blobs or much else.
Yes, there is a fully fleshed out pricing page.
Really using Asahi as a daily driver? Thought it didn't have video acceleration yet?
>There is "everything crash."

If everything crashed simultaneously at exactly the same rate, there would be no change in any prices at all.

The Earth is travelling around the sun at almost 20 miles per second and yet you don't feel it.
Think of the "birds" (combinators) acting on a combined set of both the birds and the shapes. Don't forget that parenthesized blocks of birds and shapes are considered a single "letter" for manipulation. For an example of these in action, take this application to SS(SK), equivalent to W, with three inputs a, b, and c:

-- reminder of the definitions
Sxyz → xz(yz)
Kxy → x

-- always expanding the leftmost combinator
SS(SK)abc
→ Sa(SKa)bc
→ ab(SKab)c
→ ab(Kb(ab))c
→ abbc

The biggest leap to make is the first to the second line. S here is the x, a is the z, and (SK) is the y. Then with a little imagination you should be able to see that the expression morphed into xz(yz) with whatever wasn't touched, in this case bc, just kind of stuck on the end.

This also shows that the definition of the W-combinator given in the article

Wxyz → xyyz

is a little overenthusiastic in having three arguments. The last one is actually never touched with the SK-definition!

Wxy → xyy

would actually be enough, and it's the canonical definition for it when working with combinatory logic in a more serious context.
Hacking your eyes - only on Hacker News. You're giving me ideas to the same.
Their scale is insignificant. This war is on a scale we haven't seen for decades.
Pick a topic you know a lot about, or are willing to learn a lot about. Start writing.
I recently migrated some apps off Heroku and onto Render. Their global chat while annoying to have on every page was actually very helpful. "Adrian" from render quickly replied to 2 of my separate inquiries within less than 10 minutes. Very close to the Heroku exprience. Plus their free redis tier (I have multiple starter plans) allows way more connections than Heroku's.
No, it is not obvious to people who haven't been trained in college-level mathematical thinking, or people who don't think about higher-dimensional objects using the handlebars of abstraction.
I tend to pick up bad memes like crazy. One I picked up some decades ago is that FP has a useful property in this context: it preserves parallelism to remarkably late in the code, such that you can safely understand the impact of async applied to your code.

The lack of first class FP, beyond the type checking stuff, may actually at root be part of the problem: if Python had somehow become the FP rich language it said "nope, different model" -then parallelism and GIL would be a totally different argument.

Maybe I was mis-informed. FP interests me but I am not rich in experience. Maybe its an oversold idea?
Nota can express any HTML document. It uses KaTeX for math, so it is as expressive as KaTeX.

The goal isn't really to compete with lightweight markup languages like Markdown. There are plenty of those. The goal is to provide a language for writing complex, interactive documents like academic papers.

It isn't as simple as bringing LaTeX to the web. There are many things that LaTeX cannot do or express (e.g. like a tooltip popping up when you click on a reference to a definition). The goal of Nota is to make things like that possible.
The first Gil-removal patch I'm aware of was against python 1.4, so it's not like people haven't been trying. The problem has never been removing the GIL per se, but removing the GIL without slowing down the language when running single thread
That was painful indeed! Why you would use Flutter for something that seems to be web-only, and on a govt website that presumably values accessibility, is beyond me.
Looks nice :)
Have been looking for something as simple as Heroku for a while now. This seems closest as of all the ones I have looked at!
NSAIDs are taken orally; oral CBD does seem to have an effect on inflammation.
You may think you don’t need it but I suspect if you program larger than trivial python applications there comes a point where you do but you don’t even think about how the GIL is restricting you. Think about load time for example of something that does a bunch of work to initialise. Without the GIL it would be relatively trivial to speed up things that are independent, while with GIL you are usually out of luck because you can have either shared memory (e.g. previously loaded state) or concurrency but not both at the same time. From experience, trying to serialise and use multiprocessing is often eating up all the potential gains.
"A system that allows us to transact directly, peer-to-peer" is "unstoppable that people will seek this, regardless of anything, even legality"

It's a serious indictment of this generation that they talk about useless, wasteful distributed hash functions in the way previous generations talked about things that matter(ed).

Also your essay has nothing to do with issue of the posts above.
Ehh. IMO there's still a place for them in extensions that it would make no sense to standardize - this is one example (I hope nobody attaches any behavior to this); a more common one is application-specific headers that aren't generic enough to ever have meaning outside of interop with that one application.
Detroit man making $2k a day with marijuana vending machine
Ask HN: What are some good sources of data that most people don't know about?
I remember my first job in a real estate agency in 2000 - if you'd told me that one day we could hover over a map and see house sale prices and an automated valuation, I wouldn't have believed you.

Plenty of organisations, associations, and government departments publish great data in secret - sometimes just without the fanfare it warrants, and sometimes surreptitiously because they are required to even if they don't want to publish.

What are some of the meaningful or cool data sources you've used or uncovered in the past?
All those anecdotes are cute, but has there been any attempt at systematically determining whether the net result of all instances of a particular culture’s practices which are justified by “do it this way because it has always been done this way”? This seems difficult to analyze, but it’s critical to the validity of any argument that invokes these cute anecdotes. Isn’t it plausible that generations of repressing people’s curiosity in experimenting with food preparation had a net negative effect?
A 6-note melody that starts with a 5-note melody would generally be perceived as the same melody. Shouldn't the 6-note melodies exclude all of the 5-note melodies? Similarly with a 6-note melody that ends with a 5-note melody, so shouldn't the 6-note melodies exclude twice the number of 5-note melodies? And so on, for all of the melodies? At what point would a smaller-number-note melody existing within a larger melody not be perceived as part of that melody?
Typesense is truly a magical piece of software. Thank you for building it.
`npm link` and symlinks often end up causing multiple copies of a transitive dependency to end up in the final build. This is especially bad if you're using something like React, which depends on singleton modules to do much of its work, and starts failing if multiple copies of React have been loaded in.

If you're working on a React-based library, you'd normally have React installed in the lib repo as a dev dependency. But, when you go to test out that lib in a sample app repo, you don't want to accidentally have both the app repo's copy of React _and_ the lib repo's copy of React - you want just the app repo's copy.

So yeah, using Yalc technically requires a couple of additional steps ( `yalc publish` in the lib repo, `yalc add my-lib && yarn` in the sample repo), but it's consistent and it _works_. It also correctly handles the fact that you are doing both a build step and only publishing certain folders. I've caught a couple bugs that I would have otherwise shipped to NPM as a result of using Yalc for local testing.
And further, the GSP driver arch depends on the GSP controller available on Turing and later GPU's. Per wikipedia Turing was unveiled in 2018, so I guess design work was started several years prior to that unveiling. Not saying the decision to open source the driver was made back in 2015(?) or so, but the wheels were set in motion that eventually enabled the open source decision a long time ago.
Thanks!

Re. uncomfortable with finance: I guess it's a mostly "intuitive" ethical concern.
I don't feel like finance is very much part of a society I'd like to live in or contribute to.
I have heard arguments that e.g. trading is a big part of making the economy fluid and optimizing throughput or something, but it sort of rings wrong to me.
Maybe it's just preconceptions and I should learn more about it!

Re. significant learning: Indeed, and that's part of the problem: since I'm not entirely sure where I want to go, I don't really have the mind to invest too much time learning about fields I probably won't work in, which makes my profile less attractive I guess.
I originally had hopes that I could learn on the job: you often hear people tell you that a math PhD is proof that you can learn efficiently and have the capacity to work any technical field, or something.
But I see now that it's probably not how it works: hirers still want some proof you're competent in their specific field.

Re. postdoc: the problem here is that the competition is rather fierce and the work conditions not always optimal.
I remember it was one guy who had heart problems waged a PR war against McDonalds and made them change their cooking oil.
I honestly can’t fathom what’s so great about America that people are willing to put up with this stuff. Do people still buy into the facade of fake hope? I have a Russian coworker who lectured at MIT and he said that every year immigrants would come to the new lecture series adorned in US flag clothes, absolutely full of propaganda. Then after time they would realise the truth: just another country, worse than many
Yes. I think hn can be a bit of a bubble sometimes. AlloyDB looks cool, for example. Also interesting to see what's coming up in new Android releases given it's the OS with the most users in the world.
https://iced.rs/
El Salvador buys more Bitcoin after ratings agency downgrades its debt
Dunno, I had some acupuncture sessions as recommended by my doctor.

The accupuncturist's needles were each individually packed, he washes his hands thoroughly, then puts on gloves as well. Every needle gets thrown away immediately after use.

Not sure how any of that is potentially unhygienic other than the room itself possibly being slightly dirty? (it was clearly well cleaned, but obviously not to surgical standards... why should it?)
the "3x rent" income requirement.

This would be much less of an issue if there were more affordable units. It's extremely hard to find units below $500 in the US. If you could readily find units for $400-$600, many people who currently can't afford housing would be fine.
Anecdote:

J might be called functional--it does permit global side effects, but discourages them and encourages immutable patterns.

We are currently working on threading support. There is no GIL.
They are never going to do that.

Making money laundering illegal will send shockwaves across its economy. Canada is being criticized by both its citizens and foreign governments but the illegal moneyflows are actually proping the housing markets of Vancouver and Toronto up. It is a very complicated situation as taking any action against money laundering will also might greenlight foreign governments to sue Canada for harboring money from corruption and illegal activities.

Taking actions against money laundering is always a slippery slope.
I’d just like to interject for a moment. What you’re refering to as Terry Pratchett, is in fact, GNU Terry Pratchett, or as I’ve recently taken to calling it, GNU plus Terry Pratchett.
You can, but the level of ease greatly depends on which CC. For example, at mine, it was a sleepy bedroom suburb with no young person bars for 30 miles. Almost everyone there is living at home and thus the natural tendency for social gatherings to occur is much tougher than something like Boston or NYC.
We control the CA so this method of attack is not possible.

That said, TOFU is only less secure in practice, not in theory. The "in practice" is because users do not actually compare the cert with anything. They will always just click "Trust."
What feature of FP that is missing in Python do you mean?
Heroku is the gold standard of running apps.

With every new company I work for or with, I always try to take small step to get closer to that setup.

Whatever contraption you may create on top of AWS, GCloud, Azure will never have the same smooth experience, but if you've experienced Heroku, you can at least try to get better logging accessible with a simple command, buy managed databases, use env vars instead of messy configurations / secrets management systems.

Now I'll go back to debug my K8S pods, hopefully I can remember the sequence of kubectl commands I need.
Contrarian View: The CMS market is expanding.

Notes from the post
- The %is actually growing, ~41% to ~43%, minor drops in the last few months

The large point is how the CMS market has diversified, which is evident from the fact that the next largest player is Shopify at ~4%. CMS is too broad a term which envelops personal blogs to E-commerce.

The challenge Wordpress will have in the long run is trying to do everything for everyone and not being the best at anything.
Is the Web version of Flutter still using canvas? I tried it a while back and it was just a canvas rendering everything. That makes SEO impossible. It's also useless for accessibility/screen readers. Please correct me if I am wrong.
Isn't this question a bit contradictory? "Disclose the details of your non-disclosure agreement."
As a point of clarification, lest someone take you seriously, clear warnings are what is needed. And smart users. Instead of raising awareness, google et al have been trying to hide https, parts of url, so that they can maintain control.

As someone who runs their own cloud top to bottom with custom CAs, adding a trusted root CA is a pain. Removing the ability for me to run ym CA takes away control of my own device from me and puts it in the hand of the big companies.

You should hard reset your phone when crossing boundaries. You would do the same if somone borrwed your clothes.

Would you lend some one your clothes with your passport and wallet in it? Then why is a phone any different.
Oh, man. I’m definitely trying that red beans and rice recipe.
Are Podcasts Getting Worse?
Interesting, so they can do whatever they want, provided it runs as firmware.
Your proposal is to literally expel from government the people who inhabit a minority neighborhood?

Setting entirely aside the questions of morality, you also lose economies of scale by doing this, and there are already hierarchies that enable local governance as well as local representation in regional governance.

I'm not saying there aren't ways to improve the system, but what tptacek is trying to say is that "this shit is complicated and all about trade-offs, and you can't always get everything you want". In some ways it's the definition of a wicked problem.

It's not about "creative problem-solving towards some goal" it's about balancing competing goals from competing stakeholders. The status quo has stakeholders who benefit and will not like change, and will not like the characterization of the status quo as "an accident" or "side effects of some other design decision".
I would love to hear the full audio somewhere. Maybe there was a lot of extra information about how to use those controls.

He was also very comfortable with the radio, dropping in terms like 10-4.

A similar episode a few years back: https://www.youtube.com/watch?v=rzhKczNcB_c

(There's the full audio for that somewhere but I can't find it right now)
I think that's pretty short-sighted. Dart is hardly an esoteric/niche language like Haskell or Futhark, anyone familiar with Java/Javascript/TypeScript should be able to pick it up in a day or so.

Flutter's performance issues, on the other hand, is a separate story.
Sadly US gov would probably discipline any officer who had 'too much smiley.'
> It's possible that some manufacturers broke the setting

Google is one of these manufacturers. I just checked an up-to-date Pixel 6 and it did not have this option.
Their hardware used to be good though.

Nexus 7, Nexus 5 were good unlocked, inexpensive devices. After that i really hoped their project Ara (block phone) to take off but they abandoned it.
There are three flats, each with its own front door opening onto a shared stairwell; and a common front door that opens onto the street. The main front door has a mail slot. There's no 'mailbox' - mail deliveries land on the doormat. Someone picks it up and puts it on the first three steps when they come in or go out.

This works fine as long as my neighbours are actually neighbours. If they're some random tourist from anywhere in the world, not so much.
Is it AsciiDoc? Regardless, the `=======` indicates a heading. The `` indicates inline code.

The `----` indicates horizontal rules (page breaks). The `>` indicates blockquotes.
> this is, after all, a zero sum game.

No it isn't. Lost me here.
Buddypress's commercial fork, buddyboss, is doing better than Buddypress. Any users of Buddyboss, need reviews as i am planning to use it for a community project.
Thanks!

GPU coding sounds very technical! But I'll read up on it :)
I was introduced to Heroku at a hackathon, a few months before graduating college, when it was still in its prime. I was instantly hooked, and from there I went on to use it for every single solo project I’ve ever put on the internet (including a website for a small business that’s been working reliably for ~6 years now). I loathe everything about working with Docker, Kube, AWS, etc. Heroku was designed for people like me.

I still haven’t taken the time to research an alternative for future projects. I’ve had a sense the time has been coming, but I’ve been putting it off because it’s going to be a pain, and because it’s probably going to make me a little sad no matter what I land on.

Salesforce can go fly a kite.

PS: I just remembered I have a pretty good story about Heroku and that small business site I mentioned.

Originally I had the source for that site on Bitbucket. One day, I went in to make some changes and found that Bitbucket would no longer let me sign in without first converting my account to an Atlassian account. Sigh. Fine, whatever.

Well- the account migration got botched, and the end result was that I was locked out. I went through support, they couldn’t figure it out, etc. Just totally lost access to all those repositories. And I had a newish computer that didn’t have them locally stored yet. Luckily this was the only important one on there, but… it was quite important.

Then I remembered that Heroku has you push to a git remote.

I was able to recover the entire source code for the site from my Heroku app by cloning the git repo that it offered up as the deploy target.

Heroku saved me (and needless to say, I’ll never be using Bitbucket again).
I tried Zola but found it to be lacking in features overall, but it has been a while since I tried it out. I did find that it had potential to be more powerful.
Here's a 45 second video showing the machine itself which took cash, credit cards and Apple Pay.

https://www.fox2detroit.com/video/1064759

He operated the machine for four years. He was busted by the Feds for the 18 guns he had in the house based on a tip, not for selling drugs. Course it's illegal for a felon to possess any guns.

Al Profit from the YouTube channel American Dope (who has excellent sources in the Detroit underworld) says this guy may walk as long as he testifies about the Detroit cops he paid off to operate.
There’s perhaps another way to think about this.

The unit “1” in terms of hypervolume is a n-hypercube with side length 1, so the question is really, how many of those hypercubes fit into an n-ball of a given radius.

Now, the thing I realized is that a unit hypercube in n dimensions is an unimaginably weird object. Its side length is, by definition, 1. But as n goes to infinity, the distance between the center and the corners of this unit hypercube goes to infinity — this follows directly from the Pythagorean Theorem. The center of the hyperfaces, on the other hand, is always only 0.5 distance units away from the center of the cube. An inscribed ball touches those hyperfaces, so 0.5 is also the radius of that inscribed ball. This makes the hypercube in some sense very “spiky”, with parts of the boundary close to the center (0.5) and other parts infinitely far away. Also, there are 2^n of those corners.

Indeed, and that’s just another way of stating the submission headline, most of the volume of the hypercube is near those spiky corners. Stated another way, as n goes to infinity, none of the volume of a hypercube is at a bounded distance from the center. And note that we’re still talking about a unit hypercube, so the side length in all of this always remains 1.

So, if you accept the math, the question is: Is the quoted result really something unintuitive about high-dimensional balls, which are perfectly symmetrical objects? Or is the “weirdness”, in terms of human intuition, better blamed on the hypercubes we implicitly compare them to when we talk about volume?
Because of NATO and Nazis? Really? You have 8 million fleeing the country because of Russia's invasion, cities turned into ruins, civilians murdered, raped and tortured.

If Russia was such a good guy in this scenario they would allow for freedom of press and speech. And they'd provide evidence everyone could back up.

No country is perfect, also the document you shared was post Russia's first aggressions to annex Crimea, and you blame Ukraine? I don't doubt Ukrainians have done war crimes as well, it happens when you're at war. But it wouldn't have happened if Russia just let Ukraine alone to develop, it was doing pretty good compared to Russia before all of this.
Agreed. This is just another prevention measure to line their pockets
We're already there unfortunately. :(
You know you can be sorry for more than one group of people at once, right?
What does it mean? I don't know anything about it? Why is it good news?
I was very glad to find it here (I sent you the link via email as well).
Can't wait to receive my copy!
I find these days they're pretty common with regular old customer service reps spelling out anything over the phone.
How big of a deal is the UST blowup to mass adoption? Did you just decide to leave today based on that news? Why not stay at your current role? It's not clear from you post.
Notifications is the main one which is still missing (at least on iOS, not sure about android). If notifications are possible for websites, then it would make web dev so much better for vast majority of apps.

Local storage already does a lot of needed data storage (though apple has recently made this complicated with their auto delete after certain period). Local file access for uploads is also now possible on iOS using the Files app.
20-odd years ago, my team solved some performance issues in our desktop app by splitting a couple of tasks into their own threads on a computer with a single CPU. Being able to write threaded code is really useful.
I was referring to the industry as a whole. Meta seems to be an outlier.
Thanks!

Interesting, I didn't know about this side of blockchain.
Totally agree. Russia could become a good partner if they'd have a working democracy, freedom of press, freedom of speech. And that the wealth in russia isn't divided so that 500 ppl own 98%+.