skysight-inc/HackerNews huggingface dataset:
I've been following the work you've been doing for a while now, and the culmination of all your progress for the past few years toward HVM, has been very inspirational. Keep up the good work, and best of luck with HighOrderCo. If anyone, reading HVM's and Inpla's gentle introductions to Interaction Nets, is looking for an overview of Lafont's papers and Sato's implementation designs, you might enjoy:

https://wiki.xxiivv.com/site/interaction_nets.html

If someone is looking for a graphical playground to experiment with interaction nets, here's Sylvain Lippi's InTwo(gtk):

https://github.com/max22-/intwo

Anyone looking to better understand linear logic in the context of IN ought to have a look at Victor's Absal:

https://github.com/VictorTaelin/abstract-algorithm

Someone below linked to Baker's excellent linear lisp paper(psi-lisp), I'd like to augment this recommendation with Linear Completeness theory of combinators:

http://tunes.org/~iepos/joy.html#linear
This is a classic scam that also exists for brick and mortar stores.

For example: customer buys Brita filter from Walmart. Takes it home, puts their old used-up filter in the box. Returns the filter. Walmart employees aren't paid enough to care to check the contents, and even if they did, would they be able to tell the filter had been used?
This is great, and that makes a ton of sense! Would you want to define + experiment with these various configurations yourself explicitly, or would you expect a system to determine this automatically? I like the concept of rolling-up chunk scores!
Because companies don't get punished for poor software quality, if they did Oracle would cease to exist.
https://www.imf.org/external/datamapper/HH_LS@GDD/CAN/GBR/US...

USA is bad but not the worst, this is a global plague
It'd be far easier if Amazon didn't provide my contact information to sellers (unless they're large enough to be "trustworthy")
Video Frame Processing on the Web – WebAssembly, WebGPU, WebGL, WebCodecs
making buying higher priced items easier to stomach. This is clearly targeted to people with good credit.
We don't have autocomplete yet, which is what Copilot is mainly used for. But we're working on it, with the same context-aware mechanisms that provide a quality lift on the Q&A side.
Why are people upset about this? Huge win for the _responsible_ consumer. If something is 0% interest, its free money.
In a sense, this is exactly what RLHF is, right?
Why is paid social media a bad idea?
It makes products more “affordable” (emphasis on the quotes) by spreading the payment for them over multiple salary cycles. That TV you didn’t buy because you couldn’t afford it? You told yourself you don’t need it, but now that you can mechanically pay for it, you “need” it so you’ll buy it.

It also allows the sellers to increase their prices or even simply upsell without pricing out their own consumer base.
I'd love to see ChatGPT read a commit or series of commits, and synthesize the code that they describe.

`chat-commit -m "Implemented a new view that returns random images of kittens"`

Yields a new commit with new code that does what the commit message says :-P
Had to check the date on this, since the moment has passed. Everyone I know who tried to dump Twitter has ended up either 1) going back to Twitter after abandoning Mastodon or 2) has just sort of quitted on social media altogether. As for me, I still have no idea what Mastodon instance either is going to stay online or allow me to find anyone interested in my stupid posts there. One might as well just keep blogging into the void.
While the idea of anonymizing product reviews might seem a tad idealistic, it could potentially reduce the prevalence of paid reviews. By concealing the identities of verified purchasers, it becomes more challenging for manufacturers to verify if their paid reviewers have indeed submitted their reviews. This approach may serve as a deterrent for unethical marketing practices, promoting a more honest review ecosystem.
Super cool product! In general, peeling off infrastructure costs is always a good idea. And it would be really cool to have different places that keep a pulse on SOTA. I recently discovered instructor-xl performs better than openai's ada in some cases!

https://huggingface.co/spaces/mteb/leaderboard
> I still get promotional mails until now

Just forward them to phishing@paypal.com
At least within the website, we'll likely be able to use Ublock Origin, etc. to block a lot of 'em
No. Three strikes means you're out on the third strike, not the fourth.
What are the financial incentives for Aplle to providing this service for free? US interest rates currently being close to 5 percent.
Great product for investors and startups!
As long as it is not the teapot.
> Progress is sigmoidal approaching a limit.

Yep, but a lot of the current hype for GPT is that we're in the near-vertical segment of the sigmoid, and so people are like "woah, if that's where we are now, where will we be in 5-10 years?!". And the answer to that might be, pretty much where we are now. And maybe not, maybe it'll be better, but you can't assume linear improvements on a sigmoid curve.
> So Amazon introduced an 'Andon button'

Maybe my brain is just having trouble parsing it, but what does “Andon” mean?
where are you?
in Croatia it’s available, but icloud one or books, or tv+ isn’t
They’re partnering with Goldman Sachs, as they have in the past. Goldman is providing the actual banking services.
1992-02-01T18:41:36.969Z Seems nice too, if you want to get specific.
"The fruit bank will have its due".
In college, I was writing something in Fortran, and I made a typo. I was trying to call the cosine routine, COS, and I overshot the "oh" key, and typed C0S. It took me two days to figure out why Fortran didn't know what cosine was.
Indeed, if you use privacy.com to get a temporary credit card (this is for totally legit purposes, folks!), you can use any name and address on the form you enter it in. Only the credit card #, expiration date, and security code are verified.
I wish I could say that I understand you, but at least what you write is exciting enough for me to read the paper that you linked, as it looks simple enough even for me:

https://reader.elsevier.com/reader/sd/pii/S0890540197926432

It's funny, that as a BTC maxi I'm not fond of new tokens (like Cardano) being created, but the work they are funding are exceptional (my favourite is Vitalik funding a lot of longevity science, which would be the job of the governments, but they don't do anything about it).

Some more questions:

- Are you planning GPU backends? (emitting parallel C code and using CUDA / OpenCL compilers, like how Tinygrad does

- Can the code be used as a more efficient Jax / PyTorch compiler in the future? AI code is functional, though the building blocks (basic instructions, register, cache sizes, memory bandwidth) are the main optimization criteria
> Are they getting a % of transaction value as fees?

Yes, this. And it's worth it for the merchant because they make more sales. patio11 has a good article about it: https://www.bitsaboutmoney.com/archive/buy-now-pay-later/
oven is 2.6kW, hob is 6kW (induction), my panels are 455W each. I am in the process of switching battery tech to li-ion, but they dont like the high resistive loads. I havent researched EV too much, but I cant imagine trying to charge 40kWh?

I was tempted to stay grid-connected, but the max energy I can sell back, is limited to what grid energy I use. i.e. they still get all their extra fees.
Or maybe they've started, what's the saying... "believing in thei-" no... "drinking their own champagne."
> … all these pro-WFH arguments here at HN give me almost hikikomori vibes.

This doesn’t match my experience. I’m a teleworker with a family and the percentage of my life spent interacting with other human beings is much higher than when I was a single person commuting to the office every day, or even a person with a family commuting to the office every day.

Sure it’s the same few people instead of the dozen or so in an office and the smattering when I went out at night. But those relationships with the fewer people I interact with now are a good deal stronger than those other cases.

I think it’s easy to lose sight of the fact that the current norm of commuting in to an office or other workplace is anomalous in the history of humanity. People certainly had varied and meaningful personal relationships before this. The bulk of humanity weren’t essentially reclusive hermits prior to the start of the rat race.

There are certainly benefits and drawbacks to then as now, but people spoke in person with their neighbors, engaged in civic life, found community in their faith, etc. Many of these social outlets have been replaced in bulk for a lot of people by a work social life and a nightlife out at restaurants and bars where relationships may be many but more fleeting. And maybe some of our interpersonal skills have suffered for it. Certainly there are feuds and rivalries of historic proportion before office culture, but I think conflict management is developed more when there are difficult people in your communities that you just need to deal with — think of decades-long neighbors.

But I’m sure some of these are my own biases: I went from living in a city and commuting to work to living in a very rural area and mostly teleworking.

Do I miss the city? Yes, certainly: arts and entertainment events, cuisines of any kind in walking or public transportation distance, etc. Do I miss going into the office every day? Sometimes: I honestly do like some of my coworkers enough to be real friends with. Am I the American equivalent of a hikikomori? No: I have stronger personal relationships with both family, neighbors, and members of my community than ever before — and certainly than more so than when I commuted to an office every day.

I do listen to a lot fewer podcasts and new music without a commute though.
Hi Walter,
I've been learning to program in C, and I enjoy it. The problem is that while I wish to write C, I do want some additional conveniences afforded by other languages. I think the traditional way people go about this is using C++ kind of like a C+. There are also people who use Zig. I'm not a fan of Zig, and I don't like how C++ doesn't always behave like C even when you write in the C style.

How does BetterC stack up to Zig and C++ in this situation? Does it allow me to write plain C but with some of the conveniences of D?
The best way to accelerate this is to bug https://twitter.com/teej_dv on Twitter. Tell him Beyang sent you and that he thinks he can have an Emacs plugin out faster :P
Add a filter by “companies that have been selling on amazon for at least 12 months and 10,000 fulfillments“ button.

(Or just call it “rank by seller reputation”)
What do you believe is the intended purpose of the actual MBTI? It is my understanding that it has its roots in Jungian psychoanalysis, which is thoroughly debunked pseudoscience at this point. The only utility of Jungian psychoanalysis today is in media and literature, particularly in Hollywood movies (and even then it is a bit outdated).

I am aware that the MBTI has outlived Jungian psychoanalysis so we should assess it on its own merits (and not by its intended context) and as such it is at best useless fun (like the horoscope, online autism test, etc[1]) but at worst an industry based around provably false benefits.

On its own merits MBTI is no different from modern personality tests in its lack of utility. It only set is self apart by being exceptionally poor at it, and explicitly basing it self on non-sensical statistical methods. Modern personality tests use cromulent statistics but fail to demonstrate any merit outside of which personality they’ve “discovered”. In other words, they’ve “discovered” epicycle and use that to describe planetary motions, all the while cognitive psychologists, behavior psychologists, neuro-pshychologists, sociologists, etc. have discovered general relativity and are using that to describe the same phenomena.

1: Although online autism tests often serve as a first step for autistic adults to go and get an actual diagnostic, or even just self-diagnose, and become a part of the autistic or neuro-diversity community which often has quite positive effects on their lives (if only by educating and being around other people in the community). I fail to see how MBTI has even this tiny foot-in-the-door benefit.
TBF at least half of the firms did't give a fuck to the specific regulation at that time, and given the rumor that the bug is found when a Security Engineer (who works on product security instead of vulnerability research) decided to learn CodeQL I'm not surprised nobody on his report chain cared enough.

... and oh hi are you the same fancl20 on <that mostly-defunct Chinese Twitter-clone> some 15 years ago?
But isn't the point of the union that they negotiate as a group separately from non-union employees? So it sounds like what is going on is if the union gets a better deal, then they're like "see, you should join the union because we get a better deal," but if the union negotiates a worse deal they say "that's not fair, you're screwing over the union."

Just sounds to me like they don't actually have the leverage they promised their members to extract better pay, and are now whining "no fair" for having to sleep in the bed they made.
My wife and I do the same and it actually works better than sharing because my wife understands how to do it without me trying to teach her.
Likely a percentage of the transaction. In this case, a part of a larger transaction that people can now "afford".
With "zero interest and no fees", what happens in these products if somebody falls behind, or even just decides not to pay?
And in the US that should be unconstitutional if we had a court system that actually upheld the constitution

If the Government is creating a list of no-no words (which in itself is violative of the constitution) it should be required to publish them as "Secret Laws" are defacto unconstitutional,

Further the government having a list of words I am not allowed to use, AND not allowed to know I am not allowed to use should be abhorrent to anyone the values freedom
> without any warrant or oversight

How would that work? A warrant signed off by a judge is required to compel companies to comply with requests.
My guess - people think it is fooling unsophisticated customers into making poor financial choices and buying things they should know they can't afford.

But I'm with you, I don't see it as a big deal. I routinely take advantage of the 'no interest installment plan' for my Apple toy purchases on my Apple card. Why wouldn't I want to hold off on giving them my money for as long as possible, especially in an inflationary environment?
A neural network classifier would surely get less of both false positives, false negatived, ans exploitable vulnerabilities.

But at the end of the say, the question is just if Amazon has any interest at all in stop being accessory to large scale fraud. And the answer is pretty obvious; any of the things people are discussing here is viable, they could pick any or even spend more than 3 seconds thinking about the problem.
I have been on a tear lately returning numerous Amazon orders. Often due to incorrect descriptions or being sent broken items.

A recent "favorite" of mine was while trying to order a keyboard wrist rest, the first one arrived folded(!) up into a small plastic sack. The next had a very harsh smell, and the last, before I gave up, was uncomfortable to use.

I've started to miss malls and the variety of electronics stores we used to have, just so I can pick up and see the physical item before I buy it. It's kinda sad that in the late-90's the small city I grew up in had more electronics stores than the metro I live in today.
Y Combinator’s top [Miami] companies
My laptop died recently, and I went with an M2 MBP. I went in expecting to pay it in full, but with no interest/fees, why wouldn't I choose this? It beats inflation, even if only minimally.

Seems predatory towards people who are buying stuff they can't afford, otherwise I don't see how they make money (minus the overpriced laptop I just bought, I guess).
Among the Miami companies, Ontop is one of 10 companies worldwide that are new to YC’s Top Companies list this year. The YC W21 batch startup provides an automated platform for startups and scaleups to manage international hiring by providing easy contracts, compliance, and payments. Ontop is now serving customers in more than 150 countries and just released a new feature, Ontop Pay, that enables its users to pay contactless anywhere they want with just a tap of their phone.
A name that I couldn't forget!

Hope everything is going great out there :)
Me too. The issue is that while PayPal is pretty bad, I don't know of any other processors that are any better (from the customer perspective). And PayPal is universal, nobody else is. I don't want to have to manage multiple payment processors.
Affirm charges merchants a fee for sales.
I used to have the same itinerary more recently, and managed to lower the costs on United by 20-40% by booking overlapping itineraries >7 days long, where I'd:

1.Kick off Itinerary 1 on Sunday 1 (To SFO),

2.Kick off Itinerary 2 on Friday 1 (DC return),

3.Kick off Itinerary 3 on Sunday 2 (To SFO),

4.Close Itinerary 1 on Friday 2 (DC return),

5.Close Itinerary 2 on Sunday 3 (To SFO),

6.Close Itinerary 3 on Friday 3 (DC Return)

...ad infinitum
> To me it’s a bit worrying that someone who is still is a student, builds such a complicated and hard to maintain architecture

To me, it is kind of expected. “Perfection is achieved, not when there is nothing more to add, but when there is nothing left to take away,” sure, but perfection – or even distantly approaching it – is the product of expertise and practice.
> Users will be asked to link a debit card from Wallet as their loan repayment method; to help prevent users from taking on more debt to pay back loans, credit cards will not be accepted.

So in addition to the soft pull requirement, it's clear this is almost exclusively targeted at people with good finances.

Not being able to use a credit card is a huger bummer though. Buying something like a macbook pro is a decent way to meet the minimum on a credit card with a signup bonus if you're not a high rolling spender normally.
Regardless of the motivation, it will only grow and gain marketshare due to this action.
Whoa! Thanks for sharing -- we haven't seen this!
Covid app for England and Wales discontinued as usage dwindles
Note that a `Handle` can escape from `withFile` (unless perhaps this library has been updated to use linear types, I haven't followed Haskell in a while).

That being said, even without linear types, it's much harder to accidentally leak a scoped value in Haskell than in most other programming languages, as the leak shows up in the type signature.

/pedantic
Then you just the opposite of what it says, still useful.
how would they do this? allow it to be added to a wireguard VPN or something?
The merchant pays at least double the rate compared to a normal credit card transaction fees. Merchant pays more for the payment processing and gets better conversion.

https://www.bitsaboutmoney.com/archive/buy-now-pay-later/
Thanks for the feedback! You're right that this is a bit of a false positive. For the sandbox, since we've hooked up 1 account, it flags such org trust relationships. I'd figured that it'd be good to showcase a 3rd party account access even as a false positive.

I'll update this rule to deal with org relationships correctly for 1-account setup, and will set up a separate account to have 3rd party access.
Andon is a manufacturing concept. It’s a button that, when triggered, stops the manufacturing line. You push it when things are systemically broken, and it has massive consequences because it costs companies meaningful cash.

I can’t see how disabling sales of a single product is equivalent either.
It seems the other way around: you haven't tried it for the regular use, only as an entertainment platform for kids
No, old apps don't work just fine, for example, one of the most popular messaging apps in the world drops support for old devices
The minimum salary requirements is quite huge, almost 90000 USD per annum.
Seems for now targeting American.
It makes Amazon an even worse place, which I assume is wanted by OP so Amazon dies.
Capitalist cannibalisation a level-up from Amazon's pets and cattle categorisation on the fair-game userbase? Accounting minded players game the system to their benefit maximising purchasing power on credit over a timespan.
Yes. What's your use case? Security or egress costs (those are 0 if you are in the same region).
One of the most valuable life lessons my parents ever taught me was "If you can't afford it now, you can't afford it at all."

YES, there is a time and place for financing (especially when interest rates were near zero and you have good impulse control) but the entire "buy now pay later" industry just reeks of preying on people that aren't as financially literate or have little impulse control, and I won't touch the companies with a ten foot pole.

Honestly a bit disappointing to see this from Apple.
Naw none of those things really apply, previously people who paid with credit card would be unable to tip unless they have cash, by turning this on your capturing tips that might not have been able to have been received earlier.

Also you didn't take tips home directly after the shift you'd get it later as they usually shared tips across shifts so closing the store or working any other slow shift wouldn't hurt financially.
Because they're completely different things you're comparing. The functionality that I describe as having to have built out as part of Ansible (needing to check that the deploy succeeded, and not move on to the next VM if not) is not present in any Helm chart (as that's not the right layer / doesn't make sense), as it's part of the deployments controller's logic. Every k8s Deployment (whether from a Helm chart or not) benefits from it, and doesn't need to build it out.
> Not all web apps spam notifications

Yes. I’ll bet there are many well-behaved web apps, with well-considered notifications and concise and simple options so that users get everything they want and little they don’t.

They are downed out by the firehose too.
And that was your choice on the Mac. You could put the app on your own website and let users download it.
It seems like GPT style tools would allow McKinsey et al to operate with much fewer employees. You only need the public facing folks who interact with clients, the other stuff could be done/accelerated by LLMs mostly.
When I bought my Centris 650 in college, I bought it using a loan that was initially set up by Apple.

I don't see anything surprising or new about this other than that Apple has an easier way of managing that loan than a book of paper that you ripped one out each month and sent it in along with a paper check.
When the federation is per-user, that's typically called "peer-to-peer" rather than federated...?
iPhones have been financed and or given 0% loans by nearly every carrier and they have $51 billion dollars cash on hand. Providing their own loans makes sense regardless.
That number is common in professional contexts, Apple is just publishing the highest “quality” available. Whether this is useful is up to the listener, who can just as well decide to listen to 192kbps AAC instead.

In a world where videos and photos are still shared at laughable resolutions, let’s not scorn decisions to preserve media in the highest possible quality.
No. The OnePlus 6 was my first phone where I really didn't feel like bothering with the hassle of custom ROMs. Back in the HTC Desire and HTC OneX days, while fun, it was always such a gamble what feature might not be working on each ROM. I just wanted to not have to worry about working camera, bluetooth or GPS any longer.

I'm not sure, but does the OnePlus 6 even have good LineageOS support nowadays?

edit: Apparently yes it seems. Wow, maybe I'll give that a try one of these days and see what it's like.