skysight-inc/HackerNews huggingface dataset:
TBH, I'm somewhat of a Bitcoin maximalist too, which is kinda ironic since I hold no BTC; I guess the lack of expressivity of the network counters the big appreciation I have for its stable monetary policy and true decentralization. That's why, on HOC, I only accepted external funding under the conditions that Kindelia may not have a pre-mine - and am very glad to have found VCs that share this vision. (Kindelia is one of our internal projects, and is essentially Bitcoin with HVM-based contracts.)

To address your questions:

Yes, we have plans for GPU backends. In fact, I have even written a working prototype some time ago! It reduces λ-terms on the GPU using the same rules as HVM, with all the locks and atomics in place, and it seems to achieve a near ideal speedup, even with thousands of nVidia cores:

https://gist.github.com/VictorTaelin/e924d92119eab8b1f57719a...

That said, it is still just a single-file prototype. Sadly, we couldn't include a GPU backend on this funding round, but it is definitely something we'll be investing in a future, specially if we manage to grow as a company. Imagine writing pure Haskell functions and they run in thousands of GPU cores with no efforts? Pure functional shaders, physics engines...

Regarding PyTorch, I don't think HVM would be more efficient than it for ML, because PyTorch is already maximally optimized to use GPUs to their limit. HVM should be seen as a way to run high level programs in a massively parallel fashion without needing to write low level CUDA code yourself, but it won't outperform manually optimized CUDA on GPUs. That said, I do believe interaction net based processors would greatly outperform GPUs by breaking the Von Neumann bottleneck and unifying memory and computation in billions of nano-interaction-cores. I do believe such architecture could one day empower AI and make our LLMs and RNNs much faster.
Anecdotally, using GPT-4 with Typescript has made its code output much cleaner.
Miss one of those interest free payments and I suspect it gets expensive very quickly.
Belgian man dies by suicide following exchanges with ChatGPT
I provided the link with minimal commentary because the concept of money is one of those black magic things that is difficult for me to explain because it does put me out of my depth trying to keep the technical jargon straight and I’m never 100% sure about my own grasp; but making my best effort in good faith to try and explain it and keeping it as simple as is possible for me: a printed dollar is just a representation of $1, specifically it is a $1 Federal Reserve bank note documenting a dollar that is backed by the financial assets that are pledged as collateral by the Fed’s owners. Wikipedia says this is mostly Treasury Notes (debt instruments of the US government) and mortgage agency securities (relying on Wikipedia again, these are securities issued by Ginnie Mae, Fannie Mae, Freddie Mac or the Federal Home Loan banks).

What’s important to understand to make any sense of this is that when the bank issues you a loan, that sits on their Balance Sheet as an asset, and on your balance sheet as a liability, so when the bank issues you say $50K in the form of a Loan so you can buy a car and it is deposited into your account, USD$50,000.00 was created as money, but that doesn’t mean $50K of notes was printed. What changed is the following: the Bank’s assets increased by $50K balanced against its liability accounts, and your liabilities increased by $50K balanced against your asset accounts until you pay the money back.

There’s a lot more money than there is currency in circulation, and currency represents one type of money. It’s not a difference of one being physical and one being digital because all of it is documented somewhere whether it’s a PDF of a loan agreement and resulting statements or the cocaine-coated bills and coins in your pocket; they’re subtly distinct concepts of put another way, money is intangible but can be created and bank notes and promissory notes are tangible forms of it documenting money and can be printed. Taking it back to the Fed, actual paper money in circulation is considered a liability against the Fed’s assets which are other people’s (well, institution’s really) debts to the Federal reserve, and I think this is the point where I have to stop because I’m already out of my depth and taking it much further will put me way out into the deep end. Corrections and expansions from others welcome.

Also note that somebody replied to me above with a link to the Bank of England talking about money creation. I haven’t had the chance to read it, but it’s probably worth checking out as well.
You think Apple is lying about this? Or you think that they are hoping that you miss payments and then they (a three trillion dollar company) are going to make a material amount of money on an interest penalty?
I’ll let you know.
I order 1 size above and below what I think I will need, so I return at least 2 items for every 1 item I keep. But usually much more, I just returned 15 to 20 clothing items and kept 5.
I used to have this opinion, and I try to take as little debt as possible. However, I've change my opinion in recent years, and I now think it's based on a privileged position that not everyone is in.

Buying a new phone today rather than once I've saved up is a luxury, but buying a replacement phone today rather than being without a phone for ~months while saving up could bring with it significant costs – making it harder to access employment, healthcare, or to socialise. Similar examples would be things like car repairs.

Cash flow is worth something, businesses have known this forever, and people living paycheck to paycheck are typically experts in how to make their money work as well as possible because they're so close to the edge. I trust them that if they think this is the best option for them, it probably is. Payday loans are in the same category here (and businesses call them "commercial paper").

Now, I'd love to live in a society where this isn't necessary, but that's not the world we live in, so I'm in favour of these things being available for those who need them.
Non-human physical explanations for climate change can include sunspot activity, the AMO, El Nino/La Nina events, volcanic activity, internal interactions and probably many others. Some are known but most aren't. That's why I've not been giving you a comprehensive list: the climate isn't fully understood.
> I don't know why Linux versions of browsers don't do this, but it certainly isn't a technical limitation.

Shh! Don't tell them! They might start doing it.
Me and the Decipad team have been following fugue for a while - would love a chat
You're right, it has changed since this morning.
We pit a seasoned Java developer against the all-knowing generative AI to find out once and for all: Can an AI generate a Java MS end-to-end?
You haven't said anything that conflicts with GP yet.

Your comment seems like it was written by GPT-2.
But what mass fraction is that really? If it's only few ppm it won't affect structural applications.
I still don't understand this obsession everyone else has with finding reasons to criticize Americans. Especially when it's frequently based on ignorance.

The other reply to your comment is pretty instructive. There appears to be a positive correlation between how wealthy a country is and how high the household debt load is.
The goal is to improve the overall experience of support via Discord

For open source, there's the free tier that those communities are able to use

Still figuring out pricing on enterprise tier, that's going to be figured out from waitlist sign ups etc
Ya this is the point where I stopped reading. People seem to have a misconception about the poor: that they can live on next to nothing. In reality, the poorer a person is, the more they work just to survive.

Not to mention that the world is profoundly less allowing of entrepreneurship than it used to be. I graduated from college in 1999 with about $25,000 in student loans with a $340/mo payment and my rent was $250. I was able to get by on a $10/hr seasonal furniture moving job. Today those numbers would be at least $50,000, $500/mo loan payment and $750 rent, so a person would need $20+/hr just to survive. Which means a real job and 40 hour workweeks with no time or motivation left over for a side business. Same city, double the population, half the independence. Trapped.

I'm disillusioned with it all because nobody ever solved the funding problem. Kickstarter is opinionated in what it will fund. Crypto turned into a Ponzi scheme instead of a way to fund startups. So it's probably over, and I'm just waiting now for AI to disrupt society so completely that it's forced to adopt UBI or face 50% unemployment.
Going back in time isn't going to change the more recent figures. Nor are factually incorrect statements about motor vehicle deaths.

From 2018-2021, firearm deaths went up from 2.5 to 3.3 to 3.7 per 100k 1-17 year olds.

During the same time, motor vehicle traffic deaths also went up from 2.8 to 3.1 to 3.4 per 100k 1-17 year olds.

https://wonder.cdc.gov/controller/saved/D158/D332F520
You should look at Lucene core - they have incorporated vector embeddings in 9.4.x and it could provide you better scale than Redis with durability as well.

https://lucene.apache.org/core/9_4_2/demo/index.html
Actually that's not how they make their money, and arguably is a distraction from their real money maker.

https://www.bitsaboutmoney.com/archive/buy-now-pay-later/
Beautiful article.

There's a similar neat video, "Most People Don't Know How Bikes Work", where they fix the steering so the handlebars can only be turned left, and people then aren't able to turn left.

https://www.youtube.com/watch?v=9cNmUNHSBac
The author is well-known for creating Kademlia [1], a distributed hash table used to resolve BitTorrent magnet links.

[1] https://en.wikipedia.org/wiki/Kademlia
Even outside the current inflationary period, I like using no-interest financing to give myself the option of paying for something over time.

I don’t typically finance anything I can’t afford to buy outright. I just like to feel like I have extra breathing room in the case of some emergency.
Sharing is caring! Nice one, thanks
Ask HN: Did Reddit just shut down i.reddit.com?
On mobile, I've always used https://i.reddit.com/ and just now links started redirecting to their normal mobile site. Anyone else see this?
For JS/TS, I’ll add https://github.com/compose-regexp/compose-regexp.js to that list.
You don't need FDRs precedent if you're willing to just ignore the rules and refuse to seat a new judge who was appointed by the current president.
A lot of economic confusion is caused by people not understanding that 'employer' and 'employee' are just peers making a trade.
As a forward economic indicator, when the people who make their money effectively managing institutions start hedging against growth, that's pretty grim. If these people aren't winning, who is?
Exactly. Taking a 15-30 year loan to buy a house makes sense. Using Affirm or Klarna or Apple Pay Later to buy groceries or a new laptop does not.
Thanks for the links, appreciate it!
> We aren't going to go to war vs the owners of Facebook any time soon

Speak for yourself! From my perspective, entrenched business interests have very much been at war with the people of this country for a long time.

A growing military competitor notwithstanding, the real issue we're facing here is that we've based our society around this fiction that wealth makes right - under an assumption that the wealthy will compete amongst themselves to grow their own wealth in a straightforward (short term) manner. This framework is utterly unprepared for dealing with large (extremely wealthy) actors that push in more structured and less immediately profitable directions, with the goal of reaping dividends decades in the future.
> Chase Freedom Unlimited

> After the intro period, a variable APR of 19.49%–28.24%

I suppose it isn't an issue if you pay your card off every month, but that's a high APR.
Ok but you could have GPT on the client-side too.
Although you can configure Linux to do this, if you're feeling masochistic.
Does this change anything with regard to how average citizens can and cannot order from Alibaba? There are things available on that site that simply do not exist outside of it. Not on Aliexpress or elsewhere that I am aware of.

I'd love to be able to order some of these, not for resale but personal use, but since I am not a corporation they are closed to me.
GPTcha (Captcha for Robocalls)
Exactly. However, I think a bigger advantage of this business model is that it simply sells more stuff. It’s way easier to look at your monthly take home income and justify $100 per month for 12 months than a 1 time purchase of $1200. However, the problem is when you make those justifications, it becomes easier to make 10 of those purchases and achieve a debt-income ratio of 5.0 instead of budgeting and keeping a lower debt-income ratio over time.
I remember a hype cycle called “BigData”. Companies now realize data science that big of a step to business analytics of the 90s.
Portugal too.
All described here but there's lots more: https://www.theguardian.com/business/2022/may/04/starbucks-a...
The Pax Mongolica was more short-lived than many hippie communes! In fact the original Kaliflower Commune persists in San Francisco, some 56 years after its founding, while the Mongols were unified in the 1210s and fell into civil war (the Toluid Civil War) in 1260.
Updating product line or need to amend something? No problem. Allow to add new content. Insert a link to the new version or a notice at any time.

Just never allow to edit existing content beyond a few typos. Updating product line and want to keep reviews? Sorry it's dishonest even if seller thinks of itself as "legitimate".

I don't think in the end any legitimate seller is hurt.
Even in a Michigan winter, mine never gets uncomfortably cold. Water pressure varying seemingly at random is more annoying.
It's rare that I see that significant of a discount on Aliexpress. Most are within like 10% and sometimes cheaper on Amazon.
Not assembly. Machine code. The ones and zeroes.

Abstractions like assembly code or C or Python are for the benefit of us humans. We can't reason about even fairly trivial x86 binaries because our minds aren't designed for that much complexity. An AI will have a completely different set of limitations.

This isn't going to happen tomorrow, but you'd be foolish to bet against it happening within the next decade. This advanced, but it isn't any more "magic bullshit" than ChatGPT or Stable Diffusion.
The populations are huge and their consumption is going up. If fossil fuels get cheaper because the West isn't buying them the East will happily consume them.
That has noting to do with how complex the technology behind our water system is.
There is the more recent CogNos/NopSys [1,2] "an evolution of the SqueakNOS project" "a Smalltalk virtual machine running on bare x86 hardware", but that project has also been inactive for several years.

1. https://github.com/nopsys/CogNOS

2. https://charig.github.io/assets/papers/SCDE-DLS.pdf
"Where are the non-engineers going, and is it to somewhere that will continue to give them north of 200k per year so they can keep borrowing millions and propping up the artificially inflated housing market in the periphery of the Bay Area," is the question on the minds of those whose clicks I imagine this headline is trying to attract.
Interesting. It appears they can only request non-content information (metadata). You admit that there is oversight but you think it's inadequate?
If you have impulse control and can properly conceptualize a loan, it could be a useful tool. In my experience, however, these kinds of programs don't target responsible spenders. People are pretty bad at thinking about monthly cost in terms of total cost.
A lot of people, including myself, are cashless. The service industry will have to change with the times.
Most returned stuff goes to a warehouse and then gets destroyed. You can buy pallets of that stuff for a reduced price.
There should be a tax form you can get from your employer that states you work primarily from home, and then home office items/broadband costs should be deductible on it.
Any other recommendations for browsing reddit without an app?
One should assume that while they have your money they'll look for anything to use to keep it. Companies are literally legal devices for diffusing responsibility and hiding what the right hand knows from the left hand to remove the intent from what would be fraud.

They play all the games people here report - support reps who are nearly unreachable and who all refuse to read previous communication so everything starts from scratch, randomly just closing the case, etc.

It'd be hilarious if you could torture a paypal exec with their own company's treatment. Put a wheel lock on their car because you claim a similar looking car was stolen on the other side of the country. Refuse to take the lock off their car until they can explain the origin of the car's brandname. Relock the car immediately after unlocking it because they attempted to drive away too soon. Relock it the next time because they didn't drive away soon enough. Lock all of their cars because there's been "too much activity" on their vehicles.
I think the problem with separating jazz is that its boundaries are far more porous than classical.

There's virtually never a question as to whether a piece is classical or not. (Except maybe soundtrack scores which are a weird category of their own.)

But jazz tends to fuse with every other genre out there. You can find an artist at every point on the spectrum between jazz and hip-hop.

Another way of looking at it is, I never want classical tracks in a non-classical playlist. But I want jazz tracks mixed with non-jazz in my shuffle all the time.

And just one more point -- composers matter in classical just as much as artists, hence the need for special UX. But composers mostly aren't prominent that way in jazz. There are lots of standards but most people aren't aware of who actually wrote most of them.
Are there plans to expand documentation on how to use HVM as a general compilation target like LLVM?
I figured it was quite infamous by now.
I don’t know if you can do it today via esp32, but a bunch of silicon companies announced they’re releasing hardware kits. Amazon is also releasing a hardware kit.

You do not need to use a ring device over UART or anything like that.

https://amazon-sidewalk.github.io/amazon-sidewalk-documentat...
To put my cards on the table, I am a Marxist. I also agree with every part of your comment. This is why (disciplined) Marxists oppose the NLRB and other aspects of Americanized union arrangements, and it's why we support right-to-work. The NLRB and the slew of anti-labor laws enacted in the US in the late forties have effectively weakened unions to the point that they cannot fight for anything without navigating the NLRB's bureaucratic maze of anti-labor regulations. Realize these laws were enacted in direct response to soldiers returning from WW2 and not taking shit from anybody. They made demands, fought for them, and won, and capital passed these laws in response.

So...the question now becomes: How do you feel about illegal wildcat strikes? Would you support abolishment of the NLRB? Would you support reversal of the Taft Hartley act? Which side are you actually on?
Great, this is the best way start the day!
In Praise of Vite
HN stories about unions always attract low-value comments. I prefer the GP-kind of comments to the elaborate troll replies pretending to understand unionisation ("oh look! Less money! That must have been the sort of thing the workers really wanted when they unionised").
> so long as you're low-profile about it.

And your employer is fine with it, or willing to turn a blind eye. That rules out lots of people working for large companies, particularly in highly regulated industries.

I would have loved to work remotely from Thailand in my previous job, and my previous employer would have been fine with it, had I been able to show them a work visa. Unfortunately, the Thai SMART Visa would have required my employer to have a Thai subsidiary. I could have created my own Thai single proprietorship and perhaps gotten my employer to hire me indirectly via that Thai entity, but at a minimum, that would have required lots of high-level approvals.

I got an email from the Ukrainian authorities (pre-2022) saying they didn't care if I worked remotely for a foreign company on a 90-day on-arrival tourist visa, and that was sufficient for my employer (as long as I didn't visit post-2014 conflict zones). (The Ukrainian ministry's email reply was along the lines of "Why are you asking us? Why would we care if you work remotely as a tourist, as long as you aren't doing any labor that requires a presence in Ukraine?") I worked from Kiev for a couple of months after a couple of high-level approvals.

Here's hoping more countries adopt digital nomad-friendly work visas. Lots of countries currently turn a blind eye, but it's much better to have everything explicit and above-board.
What is the difference with ibis which is also one of its included backends? Also ibis has other backends e.g. duckdb so what is the constraint of accessing duckdb with a python interface as in: fugue->ibis->duckdb?

Seems very interesting but I can't tell what it's scope range is, or its comparative advantages with ibis or dbt or others?
Clearly not based on Iowa and Arkansas legislators.
Sam Bankman-Fried charged in U.S. with bribing Chinese officials
Pshh, I know how to ride a bicycle, why is ciechanowski writing an article about riding a bicycle?!

Holy moly!! I didn't realize I didn't know how I actually ride a bicycle!!

Obligatory sound track for this excellent post:

https://youtu.be/KwvWtZl2ICY
Twitter’s Source Code Leak Adds to Elon Musk’s Social Media Mess
You don't need to pay it off every month during the intro APR period: pay the minimum for the first N statements, then pay the full balance, and you'll pay $0 in interest or fees.
Is there some sort of insurmountable tech debt over at Apple that requires these slow rollouts and long development cycles? They announced Pay later at WWDC 2022, and it's just now releasing, and the Savings account was announced in October and would be available "in the coming months", but is only just now (likely) coming out - and given Pay Later is still limited release, I imagine the savings account feature will be as well.
Your classist rant is dumb, bad, and so poorly thought out I don't even know where to begin other than possibly accusing you of being a shill bought and paid for Starbuck's PR team to astroturf anti-union sentiments.

You sound like someone who's either never had to do a hard job, like food service, or your a fellow worker so inculcated with corporate propaganda you come across like a Clayton Bigsby-esque caricature.

All workers should be treated fairly, paid a living wage, and not be treated like robots to be thrown away at the slightest inconvenience. This is what a union does.
Compaction is performed only by pageserver and only for L0 layers.
But L0 layers can be offloaded to S3 and loaded back.
So we actually perform compaction of S3 layers (but we download them to the pageserver).
If that was legally required of T-Mobile, don't you think it would be likely be legally required of all carriers? If that was true, don't you think there'd be a lot of people here confirming that Verizon and AT&T do the same thing? I am incredibly suspicious of the idea that this is a legal requirement, not a choice.
Thank you! We’ve looked into instructor-xl, and it’s really awesome! We also accept custom embeddings, allowing developers to use whatever model they want. But we want to keep adding models to allow for better experimentation.
Show HN: I built a “build in public” site for bots and other cool AI projects
Iceland is expensive, it would be very unkind to let someone live there for an extended time yet not be able to enjoy a good quality of life.
1Password with son, wife, father and mother... life saver.