skysight-inc/HackerNews huggingface dataset:
> runtime asserts/expects

Those are not proofs. If you have a formal proof tool (I'm not aware of one for rust, but there is a lot of progress in this area) they feed and and sometimes tools can prove things. Though beware, there are limitations to this approach - sometimes they would have to solve the halting problem to say code is correct (though if they say code is wrong they are right), other times the problem is solvable only on a computer that doesn't exist yet.

Types and const are a form of formal proof - if you don't cast those away (I'm not sure what rust allows, particularly in unsafe). However there is a lot more potential in formal proofs. Rust's borrow checker is formal proof, and there are safe things you might want to do that the borrow checker doesn't allow because if it was allowed rust could no longer prove your code memory safe (a trade off that is probably worth it in most cases)
Yeah, I tend to agree. I think there is a familiarity and if you read up on how AI generates images it kind of works like that where it builds and amplifies noise or existing structure as a seed of a plausible image. Our perception of reality probably works like this except we are getting some good consistent information from our eyes - using the same apparatus with blank inputs or noise or shifting memories then you get some interesting output.
I've been around long enough that “now” and “recently” is in comparison to times before 2015. Sometimes before 2000…

Also, a lot of advice and guidelines you see about email haven't been updated since somewhere between 2000 and 2015, even when they carry more recent dates, so are significantly incorrect.
My annoyance with the AI additions is only slightly higher than the constant UI changes in, say, a Google UI. So f&@@&?@&!& annoying to login to do something and hav things moved around for zero benefit, but it really is the icing on the cake when they put a pop-up over the UI declaring the change with pride, which further distracts me from accomplishing the task I need to.

So now whenever I type in GMail I have an annoying "Polish" button to distract me from the writing. Not the worst change, but certainly a net negative. And why would I ever want to translate to Polish anyway? You won't even find any Polish text in my email anywhere.
I know it is discouraged to discuss this, but it is kinda weird that it made it this high on the front page.
Firstly, To justify easing the product into subscriptions if it isn't already. Secondly, for product teams to justify their work.
Thirdly, to signal that new features are being developed.
Finally, when generative AI works in a product is is pretty awesome (but sadly it doesn't work well all the time).
There's an opt out?
Last time I was there they had grazing sheep in Green Park. That's pretty central!
Largely because as an 8bit machine it wasn't really going to cut it against the Atari ST and Amiga and remember the had much bigger marketing power. I was thrilled with my Amiga which I got around the time the SAM was advertised. Then it was only a short window of 3-4 years until the PC came in and suddenly there was Doom, online gaming etc. Things went quick!
A recent client uses bun in production.

I'm told their dev experience with Bun is out of this world bonkers good because of speed and simplicity.

Dev experience can play a big role long term. If your codebase and/or process sucks, you'll lose good people unless you pay FAANG tier compensation.
There are also curated "booster packs" with one click following of everyone in a category (type of artist, industry, etc.)
Ah yes, the web burns shortly after we shoot it and we left no bread crumbs to navigate the forest. It is true! We used pens, pencils and graph paper to write down and draw all kinds of things while using the computer. Paper has very robust IO. A single note book can hold as many glyphs as ship full of clay tablets but after 40 years you have no idea where you've put it.
I was at the sentencing, I do not remember the judge mentioning the murder-for-hire cases. To me it was obvious that the prosecution defense and judge had agreed beforehand to not mention it. The judge gave plenty of other reasons for the harsh sentence.
Yeah, unfortunately nowadays all you get is this:

https://i.imgur.com/QVkvrH9.png
The oligarchs are playing a losing game in the long term, they'll always have to rely on people to help them, and it's too easy to kill someone if you're willing to sacrifice your life to do it.
Agreed. I get that both might have the same level of access to my data but if I was staying in USA, I would be much more okay with my data getting in the hands of an organization which is within the jurisdiction of the democratic country I live in. Also, given the global political scenario, China is considered a competitor/enemy due to opposite ideologies (not my personal opinion) so the choice is obvious. However, whether USA is/will stay a democracy for long is a longer debate.
I do not wear eye glasses nor contacts, so I wonder if this is a difference maker? I have noticed people who wear either tend to complain about eye-strain more in general.
Product to fill docx and forms automatically based on unstructured data
Introducing Formee – an AI tool that instantly converts unstructured data into polished documents using your own templates. Just upload your Google Forms or DOCX, and let AI fill in the details – text, audio, meeting notes – all in a minute.

Why Formee?

Auto-fills your templates.
Google Meet integration (more features soon!).
Organizes text, audio, and notes fast.
Who’s it for?

Recruiters
Managers
Salespeople
Doctors
Anyone needing structured docs without the hassle.
Statistics matter in these. If there is even a slight gender imbalance in the singles - it creates a very challenging environment.

I’ve investigated groups for hiking and cycling - here in nyc I can say they don’t exist in good numbers (especially in winter) and don’t attract eligible women.

If you go out and do things without the mindset to date as a man - you won’t get dates. Men have to initiate conversation, men have to ask for contact details, men have to organize and plan dates, etc. Women don’t do any of the initial courting. Just going out and being in a space is not going to get you laid as an average man.

This is why people use dating apps so much now. To get a date in real life is exceptionally challenging. You have to first figure out where single women are evening going out (they don’t - single men dominate almost every social activity) and then you gotta court a bunch of random women who you know nothing about in hopes they’ll be a fit. 9/10 times you’ll find out you have completely different life goals within the first 30 minutes.

I think this is why dating apps are so popular. I wish they worked for me but I’m ugly - so I have to stick with real life and hope I meet women with vision problems.
If you're in a major city, I suspect those chairs came out of a renegotiated/cancelled WeWork type building.

In my city, one of the WeWork copycats cancelled a brand new lease at short notice in May 2020. The building owner sold a lot of the furniture at the front door.
"There’s a plethora of developer libraries that claim to make AI development faster and easier. These libraries introduce new abstractions designed to improve your productivity. I tried many of them, and I found that the abstractions work well only if I stayed on a narrow path (the quick starts generally worked great!)."

This tracks my experience with developer libraries. Most of them are very brittle abstractions.
Likely, but so far there is nothing in the news about his potential cancellation. He just had been silently removed.
I don't use Instagram so I don't really know, but from the last articles I could find "Meta is working to resolve it".

https://www.forbes.com/sites/esatdedezade/2025/01/21/meta-fa...

https://www.techspot.com/news/106464-meta-denies-forcing-acc...
Fair enough that you did not say all Indians. But, your statement was broad enough to say nepotism is widespread among Indians in tech. And the article you linked was about fraud which doesn’t imply widespread nepotism in tech. I am not asking for articles for all instances but something that is more relevant to the point that you are making.
I'd say BEM was a passing fad, but didn't rule the world. I also think tailwind will suffer the same fate, but we'll see how it plays out.
I don't understand why people keep stating Silk Road did not sell guns.

Here's a thread in a forum where someone quotes Ulbricht's message stating Silk Road will no longer sell guns.

https://bitcointalk.org/index.php?topic=66587.msg1079466#msg...
But the other way around too. Microsoft started working with Anthropic a couple months ago.
There would be short term pain yes. This is an unfortunate consequence of parasitic leadership ruling for so long. However, pushing that can down the road does not make things better. Ideally we’d reclaim some of their unfathomable wealth to ease the pain.

Immigration is used by both sides to depress American wages. The left pushes for illegal immigrants which drives down blue collar wages. The right pushes for legal (but still exploitable) H1-Bs, etc. to drive down white collar wages. In both cases American workers suffer.

What is the point of country? As it operates today, America’s point is to increase the wealth gap between the rich (who hold US dollars but might not be citizens) and poor Americans. I believe it should be to decrease that gap. And no matter how you pitch it, mass immigration only depresses standard of living for locals (O1 von braun kind of immigrants are good, but they’re truly exceptional cases).
I elected to just pay them the extra $15 when I decided to start playing with my kid.
Care to share a better app for mobile? I do like some of the recommendations, cause otherwise I wouldn't find them. I wish for recommendations that better align with things I upvote
And the Gauntlet shot is probably C64!
> I think the root of many problems is housing costs

for us, family of 4, it's 1) housing, 2) healthcare (unless you're lucky enough to have a really good employer-sponsored plan that covers dependents or allows them to buy in at employee-negotiated rates, which I don't), 3) education (college for the kids, and the high cost of anything besides public school, I don't mean private schools but even just summer camps etc.)

I look to the future and have a lot of anxiety about how my kids are going to make it
I think investing more will attract market watchdog attention. They didn't cap their share to 49% for no reason.
How would this have worked? If the answer was given immediately how would I validate it, even if I knew the answer in advance. I couldn't exactly remember the factors but rather some properties of them (e.g. number of digits, starting digits, ending digits).

A hallucination could just pick an arbitrary number with those same properties that I know. Maybe I could take the product of the least significant digits and see if the match or not (on the off chance the hallucination was imprecise)?
I like your metric. I aim to get my time-to-sheep number down below 60 seconds. But if you mean "within a car driving down the road's distance to sheep", then I aim to get it to 0.
> As far as I know, the ecosystem that powered it no longer exists.

I take that back. Going through the place on Google Street View shows it quite vital as late as April 2024. Some of the places that had the most interesting stuff seem closed, but it really depends on the actual day of the week of the photo, as those places had notoriously unreliable opening hours.
Big one: Way smaller CSS bundle size.
They really do want play store and offered them zero fees. But it would be a limited one that couldn't sell full VR apps, mostly bring 2d and 2d with system rendered 3d elements to their platform, and meta keeping the rest to themselves.
100x Faster: Light-Powered Memory That's Revolutionizing Computing
I'd argue just making everything POST is the correct way to do a public Api too. REST tricks you into endpoints no one really wants, or you break it anyway to support functionality needed. SOAP was heavy with it's request/respone, but it was absolutely correct that just sending everything as POST across the wire is easier to work with.
Wow, thanks for that link! I've been wishing for something exactly like this.

Mozilla Foundation's "Privacy Not Included" product review site

https://foundation.mozilla.org/en/privacynotincluded/
"Hireland"?!
If you’re in Europe, Troostwijk (no affiliation) is pretty big in used corporate goods.

https://www.troostwijkauctions.com/

Otherwise, perhaps there are local auction houses/warehouses in your country/region?
Yup, best thing would be to either have a form in your email / SMS or let's get crazy: implement POST links (and maybe DELETE ones too). Your client knows it will change things when followed (so security clients and prefetchers won't open it), the server receive a POST request, and it's a one click action for the user.
Look around on Bidspotter, there's industrial auctions all the time.

They're extremely user-hostile. No shipping, no weekend hours, so you gotta take off work time to go to the inspection and pickup days. The photos and descriptions are insultingly sparse, and the terms are egregious.

But sometimes you can score a real gem for pennies, and it's all worth it.
Intel Calls for More Modular PC Designs, Easier Component Replacement/Upgrades
While it’s just one small section of the article, I notice there is the sort of industry-standard erasure of the entire concept of good vs bad UI or engineering, in the “Web apps are bad” section.

A “good” app, in this article, is one that is “successful, versatile, [or] capable.” Any McDonald’s kiosk is an example of a “good” app, because it’s so “successful.” If you think a much-used app has UI that isn’t “good” and would be improved by using native technologies, well, first of all, “the market” is the arbiter of what’s good, not you, and second of all, even if you are right, your criticism lacks empathy for the “requirements and constraints” developers face, you are ignorant about the fact that things have tradeoffs, or you are some perfectionist who thinks everything needs to be a work of art.

Software engineers are so preemptively defensive about quality.
Because such decisions are for shareholders and not users. I guess we should be thankful we can disable it at all in some cases.

Apple Intelligence was particularly a let down. It just got in the way, adding noise and distraction and not adding anything useful.
The biggest piece of feedback I think I have gotten from posting here is that the nsfw content is a bit shocking which I get. Sorry about that.

My guess is that if you just scrolled twitter or whatever by new exclusively unfiltered you wouldn’t have that different an experience.

On the one hand I do think there is something interesting about the rawness of this network but also some sort of smart nsfw filtering is clearly needed, and I've been in the bubble of making this long enough to have become a bit desensitized.

I will get that shipped within the week!
You can interact with it, by placing or breaking blocks, harvesting crops etc.
That's amazing. Now I want to see how relevant a "time to cow" metric is to Canadian cities.
Excited for having worked on this project! Hope it's as useful to other people as it is for us.
There is no named gesture called "my heart goes out to you". Air kiss has an Wikipedia article, but "moving your hand to your heart and then extending it with palms sideways" does not have an article. Wikiepdia has an article on gestures and a non-exhaustive category, but as it is written in the Wikipedia policy, Wikipedia is not a dictionary, and definitively not an exhaustive list of everything. If there are gestures that can be confused with the Nazi salute then Wikipedia has no obligation to list them nor any directive to do so.

The alternative interpretation of the gesture that Musk did is however written on the Wikipedia article on the Nazi Salute, and on the article on Musk himself. It says: "it could indicate a sort of gesture of thanks to the crowd".

People see what they want to see. Having said that (and looking at the snarky "ad-hoc to rationalize inaction" comment), does it help producing a discussions on ethics and symbolism that produce intellectual curiosity? A more neutral way to describe it is likely to quote Wikipedia that quoted multiple other sources: "regardless of what Musk meant, his salute was widely embraced by right-wing extremists". As such, while different people will interpret the gesture differently, what matter is the outcome. That would be the ethical discussion we are not talking about but that I have now written twice about. What is the effect of the gesture and what was the goal.

> And I don't know about the people who were present in that rally, but Andrew Tate for example loves it: https://bsky.app/profile/junlper.beer/post/3lgemglpkws2s

That is a association fallacy (https://en.wikipedia.org/wiki/Association_fallacy). A speech during a rally is no the same as a short clip. If we are asking why people present during the rally did not react to the gesture, we need to ask what those people saw in the context of being at that rally and the speech up to that point. A good thing to have in the intellectual tool belt is the Invisible Gorilla, in that people don't always see what other see if you change the context. My personal guess is that taken out of context, if we gave the gesture blindly to people and especially without the "my heart goes out to you", most people would label it as a salute, and a subset would label it as a Nazi Salute. Give the pretext and the post-comment, an other subset would see it as a gesture of thanks. Give a context of a Nazi rally and close to 100% would see it as a Nazi Salute. Give the context of a funeral, and close to 0% would see it as a Nazi Salute. Context matters in interpreting the meaning of a gesture.
Windows have had built-in speech synthesis for quite a while here is a blog with a guide, but you can also look it up on msdn

https://www.pdq.com/blog/powershell-text-to-speech-examples/
Nearly every city has one. Every office needs some form of desk and almost always a chair. These are also worth repairing in enough cases that it is worthwhile for some small local company to deal with that, but they are not worth repairing often enough that any company would keep that repair person on staff (most chairs are scrap when they break). So nearly everyone contracts with a local company to buy office furniture and keep it repaired. (where I work there are 10 extra chairs in a back room, when your chair breaks you trade it for one in that room, if you hire someone you grab a chair. Then they come once a week and count chairs, replacing any broken ones, and adjusting our chair lease if there are more/less than 10 chairs.)

Finding this company shouldn't be too hard, but they don't have a nice retail location since most of the business is they bring chairs to you for an extra fee. However they always have a location and generally they have used chairs for cheap they are happy to sell you.
Create-react-app is a zombie application
The Future of AI: Exploring the Potential of Large Concept Models
On top of that, it's Unreal Engine, so it's almost guaranteed to perform good and look stunning on pretty much all modern hardware.
In general, it's often worth doing transforms like RLE combined with general purpose compression. General compression algorithms don't know about the details of your data and typically have a max window size period, so if RLE compresses your data a lot, it makes LZMA (or most other compressors) will be seeing a giant block of zeros most of the time and won't be able to see nearly as much of the actual data. Running compression after RLE will mean that te giant chunks of zeros will be squashed down so the regular compressor can fit non-trivially compressable data within the window size and more usefully look for improvements.
CHERI myth: I don't need CHERI if I have safe languages?
Kotlin which is a beautiful language unfortunately is killed by Gradle which is even worse than Xcode
Can I see what's happening inside the computer realtime?
That was true until the 80s.
If it doesn't have my hand-written signature then it's not an agreement.

I wouldn't bet my company on that.

If someone sends us an email - probably with legal weasel words included saying it's only for use by the intended recipient - and asks for confirmation of something by following a private link and pressing a confirm button and if as far as that supplier is aware we have then done that and continued accordingly then I would not be at all surprised if a court found that they were acting in good faith and we were not.

Similarly if we sent something to a customer and their own IT system actively simulated a sequence of actions the intended recipient would take to confirm something then I would hope that would stand up in court as well. Otherwise we enter a legal climate where no-one in business can ever say or do any little thing without some kind of verified human approval process. It's hard to imagine how annoying and inefficient that might become for everyone. Maybe it would prompt a new generation of electronic communications and record-keeping where authenticity was built in unlike many of today's most common technologies - but it would still be a nightmare to do business until that happened.
Is there any withdrawal going on? The study looked at people who use social media frequently, and people who don't use social media frequently. It didn't specifically look at people who recently quit using social media.
From a general consumer point of view? If it has AI,it's the latest and greatest. It's got to be better than something without AI.

It's opt-put because most people won't opt-out, if only because they can't be bothered. Lacking strong privacy laws, the user agreements probably say that all their data can be used for any variety of uses. "We're going to use your data to help make our AI features better? Oh, sure, that's great!" (Most people won't think of the privacy implications.)
> But as I said - they probably didn't hurt the Democrats much, so all of it won't matter in the near future.

This is probably what we disagree on. The raw Muslim vote was probably not enough to matter anywhere besides maybe MI (and Harris needed way more states to win). But the "allies" and depressed turnout caused by lowered enthusiasm esp in Gen-Z and below IMO could've swung more states than just MI. She might've still lost, but it would have been a lot closer.

Regardless, it's still the only lever the Gaza people had to pull, so they pulled it. It was that or pulling nothing at all, which they thought was a worse option.
UI-Tars: Pioneering Automated GUI Interaction with Native Agents
It feels the frauds are at least using non-traditional funding strategies, Theranos funding setup was kinda crazy.
For all the people singing the praises of how efficient gRPC is, I enjoy countering that the most efficient response is one which doesn't include 99% of data that the client doesn't care about in the slightest

GCP (and I believe Azure, too) offer `GET /thing?$fields=alpha,beta.charlie` style field selection but now there's a half-baked DSL in a queryparam and it almost certainly doesn't allow me to actually express what I want so I just give up and ask for the top-level key because the frustration budget is real

I for sure think that GraphQL suffers from the same language binding problem as gRPC mentioned elsewhere: if you're stack isn't nodejs, pound sand. And the field-level security problem is horrific to fix for real
From the top 4 here https://survey.stackoverflow.co/2024/technology#1-integrated... only 2 are:

- vs code
- vs
- IntelliJ IDEA
- Notepad++
It’s invite only but the Lobsters website is like what HN should be, without the totally off topic content that seems to take up a third of any given front page now here.
Perhaps you might spend 5 minutes reading the quoted comment again and note the absence of "democracy".