skysight-inc/HackerNews huggingface dataset:
Surprisingly, FRP doesn't have anything to do with dataflow constraints at all.

In FRP, a program is fundamentally a function of type Stream Input → Stream Output. That is, a program transforms a stream of inputs into a stream of outputs. If you think about this a bit more, you realise that any implementable function has to be one whose first k outputs are determined by at most the first k inputs -- i.e., you can't look into the future. That is, these functions have to be causal.

The causality constraint implies (with a not-entirely trivial proof) that every causal stream function is equivalent to a state machine (and vice-versa) -- i.e., a current state s, and an update function f : State × Input → State × Output. You get the stream by using the update function to produce a new state and an output in response to each input. (This is an infinite-state Mealy machine for the experts.)

Note that there is no dataflow here: it's just an ordinary state machine. As a result, the GUI paradigm that traditional FRP lends itself to the best are immediate mode GUIs. (FRP can be extended to handle asynchronous events, but doing so in a way that has the right performance model is not trivial. Think about how you'd mix immediate and retained mode to get an idea about the issues.)

When I first started working on FRP I thought it had to be dataflow -- my first papers on it are actually about signals libraries like the one in the post. However, I learned that basing it on dataflow and/or incremental computation was both unnecessary and expensive. IMO, we should save that for when we really need it, but shouldn't use it by default.
14.6t jpy is about 3% of GDP.
There are about 7m pachinko players in Japan - 10% of Japan's working population.

Doesn't that mean they are losing 30%~ of their pre-tax income on this? Keep in mind that pachinko players often aren't that particularly wealthy, so more than 30% really.
Are there any tools out there that can breakdown network traffic by the originating process? Sometimes it would be useful to see exactly which process is monopolising bandwidth like we can with CPU time.
I googled a few recovery companies and after a few days of research I came across a crypto expert who introduced me to a programmer that helped me recover my lost coins. I was very skeptical as can be imagined but I’m glad to say my bitcoin was recovered and sent back to me after an hour. You should file a complaint directly to her via email: zattrecoverypro1 @ gmail com. in case u need help recovering your lost transactions, I recently recovered mine within an hour.
Can't we have a constitutional law that always invalidates any law that is implemented in a way that goes against democratic principles?
But that's literally just the lifecycle of every console pretty much ever. Gets released and devs don't focus on optimising since it has more power than previous generation. Then by the end of the gen, devs know the console inside out and are using all sorts of crazy tricks to improve performance. Devs build on top of what we've built before.
> Instead of capping prices, you could simply require any fees to be paid by the cardholder.

This already happens in Australia. The price is the price, until you go to pay and if the shopkeeper sees you pull out a credit card, would adjust the total to include a 1.5% surcharge (Visa or Mastercard, and you'll likely be turned away if you pull out a different card like Amex).

The problem with this is that especially since Covid, a massive percentage of in person sales are done via contactless credit card payment, sometimes even with the screen of the terminal not even in view of the cardholder. Some sellers have caught on to this and are charging _much_ more than the 1.5% -- three sushi handrolls at the store around the corner of my workplace would cost about 9 AUD to buy (already includes GST), but the shopkeeper then added a whole 1 AUD on top for surcharge. I protested and have not shopped there since, but there's still plenty of customers at that store.

More and more stores are adding 50c or 1 AUD on top to cover surcharge for items well under 10 AUD, I'm guessing because calculating 1.5% is not trivial for a lot of people, and are ripping off their customers. Calculating 2.08% in your head to make sure the shopkeeper is not pulling a sly one on you unfortunately is not something a lot of people are going to do.
windows XP wasn't easier to install, especially if you had some hardware (scsi hard drives) that required providing a floppy for the drivers. On linux it is and has always been about choosing hardware that is supported out of the box. Slackware wasn't particularly difficult to install, it was regular step by step based and the defaults were sane. What made it difficult to people was trying to setup a dual boot without deleting their precious data.
Show HN: Babel plugin that enhances JavaScript functions with custom attributes
It's usually ok for humans to have access to stuff and still roam the internet freely, because most humans in such position have enough common sense. What was described in the OP is basically a successful phishing attempt and it turns out that LLMs are terribly susceptible to that.

I can't imagine a human employee needing a sign off every time they need to access their e-mail. It has to be solved for LLMs in a way that doesn't impose such limitations either.
Between cities, yeah. But also trains, unlike America. And in Utrecht proper there’s multiple options for getting around that aren’t cars. The Netherlands does a great job (maybe the best) designing for multi-mode transportation, including cars.
So, can you do the switch mid-line, and create a display with text and hires side-by-side (at the price of making the programming restrictions even more horrible), or is the switch so slow that that introduces horrible display artifacts?
How so? I never heard about that one.
Sales are probably because they've sold so many switches and people don't have a choice. What could be considered a AAA game come out rarely on the switch Nintendo's biggest win was allowing indie games on the platform, without them people would realise how few games Nintendo actually makes.

They sold so many switches because of nostalgia and convenience/form factor reasons - switch is the only console in that form factor
Creator of Sniffnet here.
Adding processes IDs is one of the features I'd like to implement in the next months!
>Also excluding names, there are less than two thousand kanji in modern Japanese. Still a lot but not some insurmountable task.

The problem with these kanji is that each one has several possible pronunciations/sounds. That, and writing without spaces, increases the difficulty to the maximum. You cannot read a word without previously knowing it, only sightly guess if you have a high level of knowledge and try good luck.

Japanese people can not read old texts in their own language due this.
"... Studies show that riding trains tends to be 20–30 times safer than driving, and riding buses is as much as 60 times as safe..."
Not available in several European markets...
No. Mario Kart, Splatoon, Yoshi, Smash, Metroid Dread etc. are optimized for 60FPS. It's just they can't do the same with an open world game, so it stops becoming a priority.
A Taxonomy of Technical Debt (2018)
> What’s the “usual case”?

Whatever isn't the "unusual cases" you mentioned.

> We scale up and down thousands of times a day.

Sounds unnecessary for most cases.
You can't address conspiracy theories because they can be generated much easier and quicker than they can be rebutted. And attempts to do so just mark you as "part of the conspiracy".

"The Paranoid Style in American Politics" (1964), prev on HN https://news.ycombinator.com/item?id=24964931

(Although I might be inclined to agree with you that there are real, very obvious, unaddressed "conspiracies" that kind of happen while simultaneously everyone is aware of them but can't "see" them. Mostly to do with the operation of political donations, but things like the Sackler opiate scandal had evidence ignored for years. Or the Clarence Thomas bribery allegations.)
The Walthamstow (North London) Five Guys is selling the regular hamburger right now for £8.65 which in dollars is $10.75.
One biographer of Tesla seems to think he had an emotional relationship with Katherine Johnson, who was friends with Tesla with her husband Robert Underwood Johnson. It is my understanding that they were his closest friends and that Tesla and Katherine would exchange letters.
"Reduced competition is the best way to ensure real choice doesnt exist."

Your asking phone and app manufacturers to increase competition - which goes against their own reduced competition interests. Each individual company has no incentive to increase competition, locking customers in even more is the way to profit.
> In the future we will all be prostitutes

Setting aside the rather misguided and at any rate very boring implication that that there’s something inherently distasteful or bad about sex work, I’d argue that by any reasonable definition you’re already a prostitute; you sell your body’s actions in exchange for money and someone else’s pleasure and to their direction… AI need not get involved once you’ve already submitted your agency to a capitalist system.

> This is the dark truth we face as technology supplants our previously in-demand skills.

It is A dark truth… technology is already better at providing agency-less, objectified sex services than humans, and there’s still lots of room for improvement… so what happens when technology supplants sex work too?

> What happens when AI supplants workers?

What happened when electric light supplanted whale oil lampworkers? Technology has been supplanting human labor for a long time… are you only concerned because it’s your labor it’s coming for next?

> But what if the only jobs that emerge from such a shakeup are jobs in which you sell your body?

Again, that’s what jobs are,

> Is it so far fetched?

Yes, actually, but this piece does a lot of assuming the conclusion… current state of the art “AI” isn’t really going to supplant much, but it will augment (and devalue) a fair amount of human middleware jobs.

> When the only skills a worker can offer can be easily replicated by an LLM, what else will that worker have to sell I wonder?

We are a LONG way from LLMs replicating even a tiny subsection of human skills… get ChatGPT to bake a decent baguette, and maybe we’re getting there.

> A huge piece of gold that they found on the side of the road? Probably not.

Most likely what they’ll sell is their time and attention and the consumption of subsidized materiel that seeks time and attention for its own sake… which has very possibly been their main contribution to late economies for some time.
> No bus can ever beat the comfort and convenience of putting a large amount of shopping / luggage in the back, getting in your private bubble, and going directly to your destination.

I've never owned a car, and never struggled with carrying shopping/luggage. I guess my lifestyle is kind of different to the typical North American style, where I am not buying large amounts of stuff in bulk, such that I cannot carry it. Instead I wear a backpack and take a few tote bags and buy the amount of groceries etc that I can carry. If I did buy something large like a sofa, I'd get it delivered. I'd probably do so even if I had a car, because the delivery people would be able to help with moving it into the house, too.

> The real way forward is to have electric cars, nuclear power plants, remote work, and maybe this new Musk tunnel thing.

It seems you're looking at this very one-dimensionally, only thinking of exhaust emissions. Cars still produce pollution through tyre and brake dust, noise pollution from tyre hum, and of course the source of power for the engine has zero impact on the safety of a vehicle.
After experiencing facebook abusing the location metadata when sharing [0] I only use the iOS photos app and share from there to any app I don’t fully trust and each time I have to manually go and disable location sharing, I wish I could just default to never sharing it.

[0] by tagging the photo location or suggesting location specific things etc
In the UK poor and rich people live in every strata of urban density. Maybe the exception would be very rural areas.

That is because social housing is everywhere.

Also fast trains means no need to live in London to work there.
> the [N9] or its software was so slow it was almost unusable. If I had paid full price for mine I would have been pissed.

Maybe you should have paid full price... ;) I believe the one you got had some defect.

I used a N9 (daily driver) for about 10 years (until I got a L5, actually...), and it wasn't especially slow (OK, the storage was slow for writes). Things started getting worse and worse due to the lack of SW updates (so no support for newer TLS versions for instance), but that is another story.
I hate TikTok and CCP, but banning an app from use is just wrong.

Want to fight TikTok addiction or privacy issues with CCP? Sure, do it. But find other ways: banning users from using it, whereas especially everybody else can access it, is a huge punch on the rights of your own people.
The strong ones are modern innovations (in response to Belgium banning bars from selling spirits for much of the 20th century) but those aren't the type the monks drink themselves.
MIT Intro To Deep Learning 2023 – 6.S191
An avatar like the Apple memoji, they already heavily communicate around this concept over previous online WWDC (due to COVID) https://developer.apple.com/news/?id=gclaxoae

This could make total sense, I always thought they spend to much energy on what was a gimmick at this point. But maybe they were just preparing a live memoji feature until it was flawless.

You might notice that unlike Meta, Apple current approach focus solely on head avatar. But they make a point for them to be very expressive.

This also perfectly fit the privacy narrative. Expressing yourself thought an expressive live animated avatar help preserve privacy as a remote worker. My life companion colleagues never agreed to turn on their webcam, maybe they would feel more at ease with an avatar.

PS: Maybe a better video (example) of the footage used in last year daily WWDC recap. The setup for the daily recap was a memoji of Serenity Caldwell reporting thought online meeting with other developers using memoji.

WWDC22 Day 5 Final statement : https://youtu.be/PMCDIIxBiZA?t=46

WWDC21 Day 5 Final statement : https://youtu.be/fwQF-HQG-pU?t=64

WWDC20 Day 5 Final statement : https://youtu.be/GHHw_hOnML0?t=1

Fun to see the evolution also...
The US has undertaken economic imperialism outside the IMF for quite a long time. They have not been aggressive in the past couple of decades, however, yet the effe ts are still being felt today.
you have to be very careful not to mix up possible interpretations with impossible interpretations if you're trying to find the truth.
otherwise you make your problem space infinite
Xbox Debuts PC Games to Nvidia GeForce Now Members Beginning Today
Downloading from a website is simple enough. That’s what Windows users do for a long time. A mildly motivated teenager definitely can figure it out.
Also I remember back from my gaming days that some then-old (now older) games required specific hacks or workarounds to run on "real" then-modern Windows, some possibly incompatible.

Whereas Wine could be made to have tailored instances per game (which I think PlayOnLinux, Crossover, Proton... are doing), giving the best experience for each game.

IIRC there are even some games that can now only be run on Windows by running them via Wine on Windows.
At least it'll give Morrissey a reason to be depressed.
> GPON has a total shared capacity of 2.4 Gbps down and 1.2 Gbps. So you'd think if 1 Gbps down is possible, 500 Mbps up would be.

The "download" direction is sent to you and all your neighbours and only you can access the information as it is AES encrypted to your terminal (CPE, etc.). So you could get 2.4Gbps down, as long as your neighbours are not using it.

1.2Gbps "upload" direction is time shared, so you will never get the full 1.2Gpbs unless you have literally zero neighbours / other terminals on the optical bundle.
2023 Stack Overflow Developer Survey
The more interesting question for me here is the fact that it seems that ChatGPT updated to not be caught by this again according to the following tweet.
Is that human intervention based on the tweet becoming popular? Or do they have an instance of chatGPT scan all chatGPT conversations for things that are potentially unwanted and has a way to update the model in real time, or tell humans about it?

Is it just a fluke?
Checking in as the awesome game changer.
> our governor at least knows how to code Perl

Interesting! The more Perl people we can get into government[0] the better, for sure

0: https://en.wikipedia.org/wiki/Audrey_Tang
This blog post doesn't seem to really explain the issue - at least not clearly enough for me to understand it.

What exactly does this trade deal say? What specific consequences would that have? (with examples from past or potential local laws)
If a mail is copy pasted by AI and starts being associated with other people and appearing frequently in scams, what will be the consequences?. The legit owner of the mail being eventually blacklisted and banned to use this mail account?
That's a good idea :)
Simple thing: I own a car and when the route I want to go has a public transport or e-bike AND the time is acceptable, i usually take it. If not then I take car.

E.g. to my office I commute by bicycle because it's much faster than stand in jam. But on winter I must not take bicycle, or I'll get fully sick and lose 10-14 days. Then I take tram which is second in terms of time.

However when I get my kids to music school, tram is so slow and rare, I have to take car, or I would need to leave 20mins earlier. That's this simple.

So govt, please stop planning how to prevent me from driving my car. Just do your duties, better as you did, and make pub transport better
It's awesome to realize that lot's of products and services are surrounded by the thought of how can most people, or how can the general public best use it etc. But in reality solving a problem for specific use cases can later on be extended to general purpose products and become a good business.

Lot's of successful companies started of just by someone trying to solve his own, or some colleague/friend/relatives specific problem
> That would quality as fraud if the representative knew that the remaining coinheritors would block and if they gained something from the delay

They already gained something - the sale of the property.

> knew that the remaining coinheritors would block

This doesn't matter - they said it was done. This was incorrect. It was fraud...
Raspberry Pi CEO Eben Upton Discusses Stock Updates, Industry Prioritization
Fingers crossed for the most beloved language of the past few years ;)
And if you use a 56kb modem you need to connect to the internet before using the website.

Somehow, I believe you put yourself in that situation and it's not generally applicable to most people who don't use private browsing mode as the default one.
>I think it's a refusal to acknowledge necessary trade-offs. You cannot create a human termite mound with tens of thousands of people per square mile while keeping the exact same forms of infrastructure that serve communities where everyone has their own two acres. I'm a person who enjoys the freedom and solitude of a car. That means I don't get to live in a place that has fifty restaurants within a half-mile and it would be wrong of me to try and force that environment to cater to my needs.

In that case, what's your take on the cost of infrastructure required per capita in relation to property taxes as it pertains to suburban development?

As it stands today, property taxes in suburban areas generally do not cover the cost of infrastructure required for the areas, and hence they get subsidized by high-density areas which have a more sustainable amount of infrastructure per capita.
It reminds me of a similar conflict in public records.

Many municipalities charge for copies of public records. One can go to viewing rooms and examine the records at no charge. We all own those records as members of the public that funded them, and the place where they are kept.

Many municipalities want to prohibit photography because people taking their own picture of a public record does not involve the copy fee.

The municipality confuses access to records as a part of their fee, and that is where attempts to limit photography come from.

The fee actually funds the work necessary for an official copy to be made, optionally stamped to be admissible in court or accepted as an "original copy."

A photocopy of a death certificate is no different than the one the city clerk made, except for the stamp and clerk being able to testify about making the record copy.

Some companies and government agencies will accept a death cert no matter what. Others want an official copy.

Getting back to scraping:

Clearly people have access and can make their own data copies.

Maybe the answer is for companies to make official data products available, or something along those lines.
Apple bans internal use of ChatGPT-like tech over fear of leaks
> and that doesn't make public transit for daily commuting a realistic possibility

Why not? Busses exist.
North London, near Turnpike Lane. I think all the nurseries I enquired at in the area charge somewhere between £1200 and £1700 a month full time. Our previous nursery in Brixton was £1625 a week for a full time place. It probably helps that those are cheaper parts of the city.
> Onboarding in particular is demonstrably more difficult to do remotely.

I think it is only the case in companies where there is no proper onboarding process or it is an afterthought.

I was hired as a remote worker in a company in late 2021 and it was the most seamless onboarding process I ever had. I remember in a lot of companies having to chase people, trying to find them or waiting for them to get back from a meeting. Or the unpleasant experience of spending hours with a new hire and literally feeling his breath behind your neck while I would show him something and not being able to multitask at the same time on other things, especially those that had a private matter or were too confidential for that person at this stage. I am currently doing a lot of knowledge transfer for a new member of the team while I am moving to another one and I spend hours in video call with that guy. I am sharing one screen, while I can still do other tasks, reply to emails/instant messages in a separate screen. It is more walkie-talkie approach than a real videocall. But I can work on something and I don't have to tell him "look I have to do something urgent and confidential, let's discusss in a bit again" and then get dragged by millions things and not being able to get back to him.
The paper shows its age. A lot has happened since 1979. Projects like CompCert, seL4, Project Everest, Coq, Dafny, F* etc. shows what can be done with modern proof tools. And it is getting better every day.

And I will claim that “formal” proofs, as practiced today by most professional mathematicians, are basically just informal proofs with more details, reviewed by flawed humans in a social process. Nothing wrong with that of course! But just pointing out that it doesn’t reach the high level of confidence that modern proof tools can deliver.

The LEAN/mathlib project is an interesting example of what the future of truly formal mathematics might look like.
It's Linux. It will be from a timeval struct or similar. It translates to Wed May 17 2023 14:54:32