skysight-inc/HackerNews huggingface dataset:
Very nice project! I love the fact that you have almost no dependencies for the compiler. I'm interested in learning how to build a compiler for web assembly and your code seems very clean, simple and easy to follow. Thanks!
More nuclear energy means less mining
I think you might be overestimating the throughput of hand crafts. 1-2 items in escrow could be more than 20% of their expected sales at an in person event.

I’m sure it would work better for people who don’t do fairs, but we have decent farmer’s markets in my area and there’s a good number of artists who sell on Etsy or similar in addition to touring the regional in person events.
> The same Bhagavad Gita says that everything has a beginning and an end

I can tell that you have not read the Gita. It never says such a thing. You're confusing the material nature with the nature of the Self.

2.12: Never was there a time when I did not exist, nor you, nor all these kings; nor in the future shall any of us cease to be.

2.16 Those who are seers of the truth have concluded that of the nonexistent [the material body] there is no endurance and of the eternal [the Self] there is no change. This they have concluded by studying the nature of both.

2.17:That which pervades the entire body you should know to be indestructible. No one is able to destroy that imperishable Self.

2.18: The material body of the indestructible, immeasurable and eternal living entity is sure to come to an end.

8.20: Yet there is another unmanifest nature, which is eternal and is transcendental to this manifested and unmanifested matter. It is supreme and is never annihilated. When all in this world is annihilated, that part remains as it is.

13.27: O chief of the Bhāratas, know that whatever you see in existence, both the moving and the nonmoving, is only a combination of the field of activities and the knower of the field.

13.33: The sky, due to its subtle nature, does not mix with anything, although it is all-pervading. Similarly, the soul situated in Brahman vision does not mix with the body, though situated in that body.

https://youtu.be/dPGTqG8raCw
Yes I see what you mean. I have tmux mouse mode enabled which makes this possible. This works in nvim as well because it also has mouse support. Presumably iTerm supports selecting text in a single pane even when you have mouse mode turned off.

IMO this setting belongs with the application, and especially with tmux and nvim supporting this natively, you don't really need the terminal itself to implement some potentially fallible heuristic. For example with iTerm if you accidentally drag outside the pane boundary, the selection immediately expands to include both the panes, which is not ideal.
And why did they want to push them to Enterprise service?

>$120k up front for one year of Enterprise

Doesn't sound like a reputation problem.
Noteworthy the difference an exact fitting makes over an approximation for a model like this. Fortran is amazing for this kind of exact work.
Why is there the assumption that women in said apps are simply superior prospects than the men?

There seems to be this mentality of women towards men of, "the odds are good but the goods are odd", but personally it seems to be like 'quality' of men and women seems to be roughly similar in the general population, if you think in terms of attractiveness, intelligence, personality, career prospects, etc.
> In fact, recently they asked to renegotiate the contract due to some obsolescence and we ended up significantly dropping the bill as a result. Kind of backfired on them, I wonder if the account manager is kicking herself for this.

Only if the cost of supporting the depreciated feature was less than the delta.
This is very interesting. A few questions:

- Why do you think similar approaches never landed on jax? My guess is this is not that useful for the current optimizations in fashion (transformers)

- How would you convince jax to incorporate this?
It's 15% degradation at the very least, and the maximum mileage itself is completely unreliable. If it says 270 miles, it seems like it's actually 230-240.
No, the BEAM: https://en.wikipedia.org/wiki/BEAM_(Erlang_virtual_machine)
Right, because every line of code written by tens of thousands of Google engineers is being validated against every guidebook.
As someone old enough to know: Hot women had NO problems finding men before dating apps.

They've won some convenience, sure. But I doubt it has improved their chances in what they, on average, value far more: Finding a lifelong partner to raise a family with.
Thanks! You may find DeepProbLog by Manhaeve et al. interesting, which brings together logic programming, probabilistic programming and gradient descent/neural networks. Also, more generally, I believe in the field of program synthesis there is some research on deriving programs with gradient descent. However, as also pointed out in the comment below, gradient descent may not always be the best approach to such problems (e.g., https://arxiv.org/abs/1608.04428).
Why even comment on an article if you're not going to read beyond the headline?

The entire article is written from the perspective of the app companies and how they're trying to gain market share with women. The article says "Significant gender skew means it is harder for men to find matches..." Therefore, increasing the number of women who use the app would make it easier for men to find matches.

From all sides, it's a shame that the behavior of some men have caused women to shy away or leave these apps. It creates a negative cycle that impacts sincere daters of all genders. Throwing stones at women for not wanting to be harassed, stalked, etc. isn't going to solve the problem.
You could argue that the problem is that they’re all “matching apps”, not dating apps. They make connections, like a matchmaker. If their revenue model was based around second, third, fourth dates, etc, and maintaining a health relationship, we might all be better off.
I’ve seen the same thing, it might be generational. Someone arguing that we need an isNotEqual(a, b) helper in addition to isEqual(a, b), because that’s supposedly “cleaner” and more readable than !isEqual(a, b). They were very vehement about it, but I don’t get that at any level. It’s more lines of code to write and maintain, more unit tests, more characters to type at the usage site and to me, reads exactly the same way.
Alphabet has 2T market cap, get your head out of your sitting place, lol.
English councils: Airbnb and Booking.com allowing illegal social housing sublets
Went is it considered socially acceptable to point out the differences between men and women when the men are portrayed in a more negative fashion, but not when the women are portrayed in a more negative fashion? I see this as well with attributing certain cultural behaviors to certain races - a one-way street. Why?
I wrote what I wrote. He came here and in his only comment, criticised Google for not being quick enough.

That is all I wrote and all I meant.

https://news.ycombinator.com/item?id=13718752#13721644

I don't much care if words are being put in my mouth but I do point it out.

But then again as Maya Angelou said:

"When someone shows you who they are, believe them the first time."
YouTube is feeding me a lot of standup shorts lately and one joked about the ridiculousness of one of the dating sites (Tinder?) offering a lifetime membership. There might be a few “lifestyle” people for whom that deal makes sense but for everyone else that’s a huge red flag.

It would be like your PT offering you infinite visits. The whole point of PT is for me to get better. If I’m still coming in a year I probably need surgery not more Physical Therapy.
Old dogs, new CSS tricks
Dating apps have fundamentally misaligned incentives with their customers: customer success implies that the customer will stop paying. For this reason no dating app that charges for access will ever be a good way to find a relationship (note that the same is not true for hookups).

One possible way to remedy this: the dating app is free to sign on, but you pay a fee when you quit. This would incentivize the app to find you a good match as soon as possible. The issue is, how to know when a match is successful?
No, I meant commodify their competitors. Big company has moved up the value chain and doesn't want others following them, so they standardize the tech at the level below. Now competitors are all implementing the standard and thus can't get an edge over each other, so they end up driving margins to zero via price competition and have nothing left over for innovation, whilst simultaneously reducing the bigger firm's cost by turning the lower levels they still rely on into a commodity.
You've seen nothing. Calling it the closest thing you've seen to the DMZ outside Korea is the funniest thing I've heard all day. People are crossing the border these days with their Rimowa $1000 luggage suitcases.

80% are not caught and arrested. They claim asylum and are processed and released within 48 hours. That's the "Catch and Release" program, but you seem to be woefully unaware of the entire situation.

My friend is Guatemalan and is an illegal immigrant. She said she walked over the border from Mexico without any issues.
I mean, compared to alternative ARM mini computers with 32GB of RAM and 512GB storage and comparable performance they're offering a several hundred dollar discount...
Taichi (Python package) definitely uses AST for at least the JIT’ing/kernel generation, not sure about how the autograd works under the hood but these links will get you started. There are plenty of publications about taichi which you can look up as well for more detail I am sure.

https://docs.taichi-lang.org/docs/differentiable_programming

https://docs.taichi-lang.org/docs/compilation
That echoes my experience as well. Also, I have noticed that at least for me Tinder has been very strange in that it keeps showing the same profiles every day, most of which are fake anyway.

It became so absurd that even IRL it's much easier to meet someone and start a conversation than on the app that was literally created to simplify that.
Where's the DoJ when you need them?
Oh, now I see. HN thread reply indentation is way too small on mobile devices, imho
I'm always curious why this doesn't create a market for a marketplace that explicitly doesn't do this, one that actually tries to help people get good matches instead of bleeding them for revenue.

Surely the promise of "exactly like what OKCupid used to be and without secretly trying to fuck your wallet or waste your time, $5/month" would bring in tons of customers, including women.

And then when Match Group comes knocking with a bag of money, even if you sell to them, they can't own the model. Just spin it up again with a new name.

People like to talk about how making successful matches loses customers, but you can honestly view the business like how real-estate prices always go up because there are just always more people today who need housing than there were yesterday. You don't need to keep milking existing customers. New potential customers are constantly coming of age faster than you can match them together anyway.
Sure, the goal isn't to replace entirely all energy needs, it's just that in winter some countries will overproduce while others underproduce. There are still other energy sources like nuclear in france or hydro&wind that will help smoothe the production/demand
Closely related to this must be an interface for: "What have I done?"

A simple example of this would be a trash-bin area, which indirectly summarizes recent deletion activity. However that doesn't extend to stuff like "I accidentally moved fifty items to the wrong place, where did they end up and which ones weren they?"
Madoff took in other people's money. The Medallion Fund stopped taking new outside money in 1993, and in 2005 it got rid of all outside money. The people making (or potentially losing) money are the people making the trades.
Declining population is not good for national security.

Cities can discourage human-hostile architecture in public meeting places, e.g. prevent Standbucks without tables and chairs.

Algo transparency reform for human bloodline management.
https://ptable.com/#Electrons/HOAO

Shows the highest occupied atomic orbital in full 3D you can rotate. Select any slot in the Hund diagram to see that orbital instead.
Delve: A ChatGPT interface for going down rabbit holes
Tesla reputation ranking in Axios Harris Poll 100
it's an article about young women... it's not like plenty of ink isn't spilled elsewhere on how awful the app experience is as a straight man.

it is interesting to note that, despite being the "clear winners", dating apps have a hard time attracting and retaining straight female users.
A cautionary tale for anyone relying on formal proofs of correctness:

https://spinroot.com/spin/Doc/rax.pdf

TL;DR: in the 1990s NASA flew an autonomous control system that was formally verified, tested out the wazoo, but which nonetheless failed in flight.

[UPDATE] I did not mean to imply that the formal verification failed. It did not. The formal verification worked as advertised. The cause of the failure was much more subtle and nuanced.
Maybe you didn't realize this, but the "dying in the ocean" is analogy is because ocean water isn't drinkable. So while, on the surface, it seems great to be surrounded by water when you're thirsty, it doesn't help if that water isn't drinkable.

That's the exact problem this article discusses for women -- being surrounded by "un-dateable" men. It's why moderation tools are mentioned repeatedly in the article.
It means "of or pertaining to performance". Like "the performant qualities of this software are currently being evaluated", or the one example of its original meaning I could find from Cambridge Dictionary, "What follows is a series of re-mappings of both the performant and the referent functions that emphasizes the collective performance." The word itself doesn't indicate efficient/good performance, nor poor/slow/etc. ... It just refers to the quality or property of performance. For some reason, very recently it started being used to mean "performs well" or "performs optimally" and has transformed into jargon.
There's a Zoom plugin for GCal that makes Zoom's integration identical to Meet, including mobile app integration.
This seems more like a natural adjustment since the end of lockdowns and remote learning. Younger people don't need them because of the return of student social/night life
How about a chronically unemployed mathematician that is flooded with job offers to work as a miner in a coal mine?
You signed the ToS, article 4 gives them the ability to terminate the service.
No votes on my comment in over 1 hr, and then when I agreed with a commenter below who was critical of the author’s world view, four downvotes within five minutes. Hmmmm.
That sounds like a problem that you shouldn't solve with technology.
Who said Archive is OK with publishers? They are just based in Russia and give the middle finger to anyone who tries to sue them.
No, because then their career risk becomes highly correlated with their investment portfolio. If their company goes bankrupt they lose their jobs and their savings.
This is the right way to look at it.
Gaming machines are highly regulated, almost like medical devices.

There are seals on the hardware, any modification must be approved, you must certify that the payout is the expected one, ...
How is it a "huge red flag" instead of a good thing, making sure that you want the same thing as Tinder (or PT): solving your problem?
I’ve also used the sigmoid approximation to relax some problems (specifically for step changes in field properties in PINN problems) into continuous variables, cool to see this discussion here from a different perspective! Slightly off topic but the only other things I’m aware of that are vaguely related are things like the gumbel-softmax trick for making sampling from categorical distributions differentials or the Gaussian reparam trick (eg as used in VAEs). I’m curious if this is at least somewhat related to the approach taken in your work, in spirit if not in technical implementation?
> The 'customer support of last resort' genre is common and not usually a good fit for HN

They're already off Cloudflare, I would see this story more as "Dealing with tech company X is a business risk" cautionary tale.
The USB spec is like, what, 500 pages?
That is impressive.
> Would you also tell the chronically unemployed person that you being flooded with job offers all day means you're dying just like him, but in water instead of sand?

The analogy would be one person not getting any job offers while the other is only getting job offers with compenation that are too low to support their family.
CarotDAV – a Simple WebDAV / SFTP / cloud-drive client for Windows (2023)
Try to find social spaces for things that are deeply meaningful to you and be outgoing. I met my wife at a shamanic ritual meetup, and the character of the relationship is on a whole different level than what I'd experienced from online dating. YMMV, but I was _very_ successful at online dating so I feel like I have a decent sample to generalize from.
> “What we’ve missed is that it wasn’t a big event that had a big impact, it was a bunch of small surprise events that just added up. There’s this kind of this reset where we’re saying, ‘OK, we really have to get a handle on this.’”

They handle risk, but missed events that cause risk?

> Part of the reason for this steady accumulation is that more people are moving to areas that are vulnerable to convective storms ...

Rather, there are an increase of such areas, due to climate change, and people are acting normally, but in world where the probability of living in such areas is higher than in the past.

> “It’s going to take community-scale hardening to bend that loss curve down,” she told Grist.

"It's up to the people to fix our problem of not properly assessing risk" says Grist.
How is this project related to the work you do? e.g. instadeq, gloodata

Why do you need WASM?
I think this is incorrect because it assumes the job offers are equal. My understanding is that it is much more like two chronically unemployed people: the first doesn't get an interview 99% of the time, the second one is 99% only offered MLM job interviews where they're expected to "invest in themselves first" by buying the MLM product aka scams.
I think that is definitely happening. However, if minimum wage ( or even just wages ) had kept up with inflation, the jobs number would look much weaker. People are getting exploited.

As for tech, a lot of companies want everyone to be fungible for the cheapest price as you mentioned. It’s not a market where people feel safe to takes risks or innovate for someone else’s firm, considering there is no amount of loyalty that can keep you from getting laid off.
"the odds are good but the goods are odd"

I've only ever heard that said in the Bay Area, and I think I would agree...
Alternatively, our routes back in the day was relatively linear, whereas today kids have to wade through so much more to find their paths
You mean like a tornado? Most natural disasters will end up with many people clogging the roads, generally won't see a lot of speeding as an option.
I wonder how well this will pair with a search first UX since finding stuff may be hard otherwise.
I have never understood why the C community does not rally around what seems to me to be the obvious answer to the main problem with C: stop conflating pointers and arrays, or at least deprecate it. Make arrays a separate data type, not a synonym for a pointer, and require the system to track the size of arrays either at compile time or at run time (or both). Make a[x] be a bounds-checked array reference rather than a synonym for an unchecked dereference of a+x. It seems stupidly obvious to me that this is the Right Thing. Yes, it would be a non-backwards-compatible change, but the benefits seem to me to vastly outweigh the costs.
Currently, the narrative is that women cannot be at fault for anything. They are always victims and therefore regardless of what they do - they must somehow be being manipulated by others or suffering from someone else besides them. Women would never make a bad decision - it’s society that forces them to take bad decisions!

It’s ridiculous and due to our super woke culture. HN is full of typical shitlib wokeist mainstream nonsense because that’s how most of SV is. It’s also great for capital because it distracts from the real issues.
> “Understanding computer code seems to be its own thing. It’s not the same as language, and it’s not the same as math and logic,” says Anna Ivanova, an MIT graduate student and the lead author of the study.

I'm not sure if this is what they are implying but I find the statement "reading computer code is the same as reading language or math or logic" to be an odd null hypothesis.
> The recent postmortem says they were able to recover from backups on gcp, so I don't think this is true.

“UniSuper, an Australian pension fund that manages $135 billion worth of funds and has 647,000 members, had its entire account wiped out at Google Cloud, including all its backups that were stored on the service. UniSuper thankfully had some backups with a different provider and was able to recover its data, but according to UniSuper's incident log, downtime started May 2, and a full restoration of services didn't happen until May 15.”

Google didn’t recover the data, the customer recovered their data from a different cloud provider.
I understood from a friend that you get more/better matches (as a man) if you pay?

The men I know that are attractive (can attract a woman with relatively little effort) are not likely to be spending money on online dating. Ergo, women are seeing a lot less of 'attractive men' in online dating?
I use backblaze, and have learned (the hard way) that you need to be careful about the default exclusions.... it excludes a lot of video file formats by default, which wasn't kind to my archive of camera stuff (with videos in it)
Coding Wherever: My Fully-Featured Travel Dev Setup from Sea Level to 40k Feet
You stick a large high temperature electrode into molten copper. This is how an arc furnace works. Some have water cooled electrodes to keep them from melting.
Well, the most common ML problems can be expressed as optimization over smooth functions (or reformulated that way manually). We might have to convince the ML world that branches do matter :) On the other hand, there are gradient-free approaches that solve problems with jumps in other ways, like many reinforcement learning algorithms, or metaheuristics such as genetic algorithms in simulation-based optimization. The jury's still out on "killer apps" where gradient descent can outperform these approaches reliably, but we're hoping to add to that body of knowledge...
Finally hope for our digital mountains. In a few years you'll point the AI at it and it will organize it for you.
CloudFlare only dropped Kiwi Farms because Keffals made it inconvenient for them to do business with enterprise customers. Said customers were looking at Twitter and saying, "Wait, you host WHAT?!"

Before that CF was high and mighty on the "free speech" horse.

There's an old spat between CloudFlare and Malwarebytes where MB was threatening to block all of CloudFlare because they wouldn't remove literal malware. The argument being that running a reverse proxy "isn't hosting", and should be treated differently, even though to literally anyone else there's no difference between an origin server and a proxy.

CloudFlare is just sketchy as all get out, IMO.

Putting my biases on the table: I think CloudFlare shouldn't have hosted Kiwi Farms in it's current state, because I don't think hosting dox should be legal. A website that hosts dox is not engaging in speech, it is engaging in censorship. Hell, in the EU, it's already illegal to host dox, the US just needs to pass a privacy law comparable to that of the GDPR. Kiwi Farms is legal in the US purely for the same reason why the CIA/FBI/NSA can legally buy advertising data from Google and Facebook.