skysight-inc/HackerNews huggingface dataset:
ChatGPT might rule the AI chatbots – but it can't beat Google Search
Flip side, being able to take constructive, even if harsh, criticism.

Not suggesting to be mean or cruel intentionally, but a comment about code or implementation is not a personal attack and shouldn't be taken as such.
So, one thing that we know from Godel is that there are true statements that cannot be proven.

What if a similar proof is made for a Beaver? That a specific beaver is constructed such that

1: It probably never halts
2: Proving that it never halts is a paradox

Something like that. If assignment of BB number for BB of that size depends on that proof, then the BB value doesn't exist.

And what else would it depend on? How could a smaller number be selected when larger potential numbers cannot be ruled out?
> Reached while boating on a recent weekday, Atkinson, now retired, says he’s never heard anyone use double-click as a metaphor

Boy, there's a sentence with a lot to envy packed in
Every time I have to help a friend on Windows, I'm horrified by how even worse it got. The ads, bloatware, the performance, the bugs, and user-hostile philosophy.

They have been too big to fail for too long, but their greed will bite them back one day.
I believe I-E is pretty strongly correlated, the rest not so much. And there is nothing like Neuroticism in MBTI.
The article is correct, however most people would rather CSAM filters with errors than just throwing up our hands and saying no CSAM detection is possible.

The solution to have human-in-the-loop appeals processes. And because companies don't want to pay for this, it should be enforced as regulation.
I am curious: why does this field use/used C++ instead of C for the logic? What benefits does C++ have over C in the domain? I am proficient in C/assembly but completely ignorant of the practices in HFT so please go easy on the explanations!
> Linux experience is so miserable

This is just not true. I switched back to linux recently https://punkx.org/jackdoe/linux-desktop.html and honestly the experience is amazing. I even did dist-upgrade and everything still works, including all my pytorch stuff.

Windows experience is hundreds of times worse.

MacOS is quite good, I would recommend it as well, but don't dismiss linux without trying.
It’s like parroting the king in the royal courtroom but for the 21st century. Look what happened to Spain as a warning, next thing anyone knew, one day their whole country woke up talking with a lisp.
OpenAI and Arianna Huffington are working together on an 'AI health coach'
As a student, or as a teacher? If the latter - how long did you last?
That's why there were five Babylon stations... JMS lifted the joke. Nice!
Totally a matter of taste, but for an equal level of protection and less vertical waste I’d rather just do

RaiseInvoice(/*taxInvoice*/ false, /*sendEmail*/ true)
I didn't hear it yet but I guess it's coming soon then...
Could you explain that just a bit more? I'm trying to figure out how to adapt my personal workflow to jujutsu and this is the part that confuses me.

I think it's me not understanding the difference between "jj new" and "jj commit", but I'm not sure.

I'm a big fan of the staging area for crafting clean commits, so this would be super useful for me to understand.
I believe $199 would be for Windows 10/11 Pro, not Home.

Which a) you probably don't need and b) actually has better options to get rid of ads etc.

The retail price here for Windows 10/11 Home is around $110.

Mac OS X Tiger for example was also around $129 (but yes, this was a long time ago). Then ago, you obviously already pay premium for the Apple hardware. And maybe also sign up for their services.
I guess we are now entering the era of the affordable-affordable electric cars.

The Tesla 3 was marketed as “affordable” but only now that the government sponsored lease contracts are ending we will see a healthy supply of second hand model 3’s here in Holland.
A very important quote:

> NB: at this point I didn’t want to send any more automated data through my airmiles account in case that got me in trouble somehow. [...] I therefore proved to myself that PySkyWiFi would work on my airmiles accounts too by updating my name ten or so times in quick succession. They all succeeded [...] I then wrote the rest of my code by sending my data through friendly services like GitHub Gists and local files on my computer

> I’m going to keep talking about sending data through an airmiles account, because that’s the point I’m trying to make.

Disappointing! I would not be surprised if things break when updating name millions of times (and you do need millions of updates for basic website) - maybe there is a history table, or a queue, or a easily overloaded service...
> We define references to familial relationships as terms that refer to parents, step-parents, children, step-children, siblings, step-siblings, grandparents, aunts or uncles, and nieces or nephews.

Being this specific is silly. "Great-grandpa's slut" or anything about grandchildren would be kosher. Half-siblings, too. Oops.
For the purpose of the busy beaver problem, your second and third cases are equivalent- it’s a beaver that does not halt. Therefore neither of them are BB(6). BB(6) is tautologically an integer
This is bit OT, but that site states:

> Allow users to access your service even if they refuse to allow the use of certain cookies

Does it mean that sites like https://www.spiegel.de, are not GDPR compliant?
Since this is stackless, does it support checkpointing and resuming the execution state? This is sometimes a reason for making execution stackless, but I guess the JIT might make this more difficult. I can't find any mention of this in the readme or project page so I'm guessing no, but it would be neat.
Not quite, it is pretty trivial to check what external dependencies your program calls, and what those dependencies call and so forth. I'm sure you could write a program that has a dependency chain that requires the entire database of packages in cargo (and that would he an interesting experiment). A lot of modern programming languages evaluate what code is referenced in a working program and only include used code, and the compiler enforces writing your program in such a way that it doesn't have to go over infinite possibilities to check. Of course, you have to have the entire dependency to compile for each import (and so would your user if you only distribute source code) to reference the first problem you mentioned above, and I'm sure there are ways to trick the compiler into endlessly checking dependencies or evaluating references, probably using unsafe, but that's why the compiler won't let you compile with unassigned values and has ownership and scope, you have to write your program in such a way that the compiler can tell what code will be executed at runtime or it won't compile.
Flight Simulator is a Microsoft app. It doesn't work on Windows Arm. If Microsoft is serious about Arm as a platform, the least they can do is make sure one of their most iconic game titles works on Windows Arm.
it's an oldie but _Advanced Compiler Design and Implementation_ covers these concepts really well in a language-independent way.
> For another, it’s next to impossible to launch a startup in 2024 without some upfront AI pitch

Nitpicking on one specific sentence, but reading that feels so dumb...
You don't know how to pick the resellers than.

All the legitimate ones guarantee that the license will work and they will replace it for free if you have any problems with it.

There are big online computer shops which also resell licenses. They have names, addresses, thousands of customers. If you have a problem with a second-hand license bought there you can make a consumer complaint to the authorities.
Seems like there's a connection https://news.ycombinator.com/item?id=40907155
My bad. We focused on the performance on the front end currently, as said before we loaded all the data locally and kept the data synced in the background to make the interactions fast. We chose nodejs as that was easy for us to get started with. But definitely, if things get hampered we will start looking into it.
You could possibly fine tune it for narrow domain tasks like they did with tiny-agent https://bair.berkeley.edu/blog/2024/05/29/tiny-agent/

I like the approach that Apple seems to be taking with fine tuned small models that handle routine tasks and then defer to larger off device models for things they can’t confidently do. I imagine you could construct a training set that contains examples that should produce low confidence answers where you could add an output that is essentially a “call for help” option so you could train it to choose that. Smaller models also means you could have more running in parallel and use another to route requests to the appropriate expert.
I wouldn't say miserable, but there are sharp edges that don't exist in Windows or MacOS. I've been steadily getting annoyed at Windows so I've started trialing my steam deck as a desktop replacement when I travel. It's mostly fine. But the lack of ability to set scroll wheel speed across the entire OS annoys me every time and after weeks of trying to find a solution, I've learned way more than I should need to about mouse drivers and Wayland and libinput, and I still don't have an acceptable solution to it. Many others have had this issue and each component blames the other for some idealistic reasons. The users don't care. They want to have a mouse experience that just works.

These edge cases are annoying to test and fix and you have to pay smart people to grind out the time to do it. You need program managers who coordinate across teams to drive a solution. This is why linux hasn't solved it after all these years. The smart people would rather work on cool new features.
Says the guy who leaves a one liner explaining his take
> ultimately any personality superpower you have is going to bring some consequences along with it.

This has been my experience. Some of the most talented, kindest, people that I've ever known, have "rough" exteriors. Many times, it's due to being treated like crap, for their assets.
Your 1940s example is clearly "vintage" under the previous terms.

"Vintage items must be at least 20 years old" - https://web.archive.org/web/20180221040206/https://www.etsy....

Old: "Everything listed for sale on Etsy must be handmade, vintage, or a craft supply."

New: "everything listed for sale on Etsy must be made, designed, handpicked, or sourced by a seller."
Yeah... I've found that we've definitely crossed the point where inlaws/grandma can use Linux (if they don't have to service/install themselves) as a daily driver.

Professional apps definitely need work... as I mention, would be nice if a few would at least put a little effort into WINE testing and/or support in order to broaden use. Not even fully porting to Linux. This won't work for all apps, but so many have what are likely minor changes to get compatibility up.
If Etsy was serious they’d just hire some people to just use the site and start banning drop shippers. Insane they allow T-shirt companies that do print on demand and absolutely flood it with AI designs.

They should crack down on people scraping thingiverse and printables and auto posting models.

Basically just use the site and take action. IMO it’s unusable right now. It’s temu with higher prices.
> they want to talk to those business-y people in their own vernacular.

I don't think it's about using their language for understanding. I think it's because they want to send a signal "Look, I'm like you. Let me be in your in-group." It's a tribal signal.

> but they do't realize we could all just agree to stop doing it and we'd all be happier.

The problem is that everyone wants to be in the high status in-groups, but the high status in-groups don't want to let all the rabble in. This is a perpetually unstable equilibrium. Once any given high status in-group signal becomes widely known by lower-status people, it ceases to be a useful signal for actual high status people (and, worse, eventually becomes a signal for "low status person trying to look high status") so must be discarded and replaced with a new one.

Once you realize it, this phenomenon is everywhere. It's the engine that drives almost all of fashion. It's why buzzwords and jargon come and go. It's where home furnishing and interior design fads stem from. It's why so very few things in our highly social human lives are ever really timeless.
Anyone know where you can look up the breach data to see what data they have on you? Even after contacting Wise it is absolutely unclear what data they shared in detail, especially on business accounts.
Tangent, but I just found Observable. How are they pivoting their product?
> I do not understand how it's not sustainable

It was “sustainable” only due to small population.
The 'wood wide web' theory – charming but now a subject of scientists clashing
Running with the Bulls Through Pamplona Streets
> Yes, but I will not share.

I'd been wondering whether you were arguing in good faith at all. Thank you for confirming that you were not, and goodbye.

[further sneering snipped]
What are BJJ rolls?
Very cool - reminded me of https://github.com/creationix/dombuilder which I have... memories of. Shout out too to https://microjs.com/ for allowing me to relive some nostalgia.
The doctors example is good, however may not only be health communication between a parent and a doctor but among parents themselves to figure out what action (if any) to take in relation to a condition.

The hesitation to effectively communicate after CSAM may actually cost lives.
Is it due to GPUs for ai?
I mean...they tell you they do in the listing in the AppStore. Like, how are you not realizing this?
I appreciate the RxJS observables approach with similar built-in cleanup, but also ways to build higher-level tools and compose things together.

interval(1000).pipe(…)…

Puts the timer up front and center. There's some confusion between "hot" and "cold" to deal and sharing with, but the pipelines eventually clean themselves up and the higher-level operators can be very nice to you if you let them.
> Although I only looked at the code briefly I suspect it will very hard to get good performance from the API as provided[1].

Let Common Sense reign. If the target Plattform I remains abstract, it will be a generic machine code translation. No way for sensible performance.

I would love to see a Lua transpiler.
Null sets in and of themselves have nothing to do with Lebesgue integrals. Null sets are definitely are not defined by Lebesgue integrals, you might be thinking of a set of measure zero which has to do with Lebesgue measure
Yes, you report it as a gift. If you later pay it back, you committed fraud.

[edit] to clarify what may be a point of confusion:

Rich parents are often in a position to comfortably gift their kid(s) tens of thousands of dollars for their first down payment.

Non-rich parents are more often in a position to somewhat-uncomfortably “gift” that money. It’s a gift on paper, but it’s actually a loan and they need the money back eventually (maybe for the next-oldest kid to borrow for the same purpose, lol). That’s when it’s fraud.
Packing Equal Copies
Zoom works until the page width is about the browser width. After that it starts fighting your zoom level.
It's what got us that awful pin.
That was just cold email, so the authors could have probably ignored it

I doubt anyone on the other end will read their reply

Even if they do, it is unlikely that they will stop sending their AI spam outreach

This is just the normal state of the web now ¯\_(ツ)_/¯
Not that I condone stealing, but it really surprises you that people do not want to pay for service that has a $0 marginal cost to the company?
> What if a similar proof is made for a Beaver?

Then we will never be able to find the Nth beaver number for the corresponding N.

That doesn’t mean it is undefined or uncomputable. It actually has nothing to do with it. There is a computer program that prints out the number of hairs on my head. Doesn’t matter that you will never know how to write that program.

Again, uncomputable is being used in a technical sense here which is why I asked you what definition of “computable” you’re using.
I really struggle to understand most of the diagrams on this page without context. I suspect it's a lot more useful if you spend time swapping in the overall context of a diagram, after which you can visually pattern match. Without context, it's just pretty noise to me, IMO.
So many companies have been ruined by the expectation that they must keep growing at all costs. I wish more shareholders could be happy with a company that reaches its optimal steady state without sacrificing the values that got them there, where money could be returned as dividends or buybacks.
What era do you pick for the wisdom? Early Christians would be called commies today.
> "Everyone knows what you mean when you say it."

Really? I'm still not sure I know what it means.
Poetry worked best in several Python-first companies and clients I have worked for.

It's not perfect but the best bet for complex and collaboration-heavy projects.
Show HN: GDoc AI agent without signup or custom UI
We've been working on Document CoPilot to explore a new way of interacting with software. You don’t sign up for Document CoPilot. Document CoPilot doesn’t have its own interface. Document CoPilot is simply an AI with a Google account. Right now, Document CoPilot can help edit your Google Doc. Eventually, Document CoPilot will be able to help with slides, spreadsheets, calendars, and more.

So how does it work? Just share your Google Doc with Document CoPilot like you would with any other email address (with “editor” access). Document CoPilot will join the Google Doc and add comments and replies. If you have something in particular you want to ask Document CoPilot, just add a comment. If you want elaboration on a suggestion, add a reply. Document CoPilot will watch your Google Doc and respond with thoughtful and focused in-line edits. When Document CoPilot is done helping (after about 15 minutes without any further questions), they will remove themselves from the Google Doc until you need their help and share it with them again.

Check out our demo here:
https://www.loom.com/share/505532044eca41559defd37923a84c46?...

We combine the latest LLM technologies with good old fashioned headless browsers to engage with your Google Doc the way a person might. When you share a Google Doc with Document CoPilot, they notice and jump in. Document CoPilot reads your document, takes a look at any comment threads so far, and gets to work. For now, Document CoPilot communicates exclusively with the comments and replies, but we’re also working on inline suggestions and direct email interactions. After the first few comments, Document CoPilot will ask to be paid for their time using a Stripe payment page.

Document CoPilot is a very early and simple demonstration of an exciting world that is just now becoming possible — if there is any major traction we’ll probably have some outages and other fires to attend to. We imagine a community of AI agents that require no special tools or interfaces, and that can jump in to help alongside us. In this world AI’s can explain their reasoning and make suggestions. They can charge what they need to in order to function. And they can bring us into a post-application era that blurs the line between software and co-worker.

More information:
https://baygross.github.io/doc-copilot-landingpage/
A typical NNN lease (what businesses use) is priced in terms of dollars per square foot per year. A reasonable number would, in fact, be $10/sqft/yr plus the NNNs (insurance, utilities, taxes, another ~$5 maybe) but the land owning class insists it's closer to $25 all in for a crappy shack and whole number multiples for anything "nice".
This isn't true. Some, yes, but parks like Acadia, Grand Teton, and Smoky Mountain all had people living in them.
Pinkary Gets Comments
yes, but then they couldn't have blogged about it
The easiest way to think about it is that merge conflicts aren't something that causes operations to be aborted like they are in git. If you have a merge conflict or a rebase, conflict markers are inserted and everything continues.

You can quickly see any commits that have merge conflicts. If some operation introduced them, you can go edit that commit and fix them. When you do so, the fix propagates forward automagically to all descendant commits. The benefit here is that the operation you were trying to do fully completes and you're never ejected into an intermediate state where changes are dropped into your working copy and you're expected to fix it right here and now before anything else happens. You don't have to unwind everything because you screwed up an earlier conflict resolution since everything is stored in history; you just go back to the commit you want to fix, make a change, and then jump back to the later commit that still needed some work.
Climate solution for artificial turf in cities: rainwater evaporative cooling
> most artists love their work and do not want to outsource their passion to a machine that does this for them.

This was the money quote.

I love what I do (which tends to be programming, but I approach it as a craft), and often do things by hand, that others automate, because I love my work, and also the people that use it.
Etsy is doing badly because its leadership still doesn't understand why people want to use Etsy. If you make Etsy into Amazon, I'll use Amazon, because they're better. I used to use Etsy because it was everything Amazon wasn't: handmade, unique, and slow vs mass produced, generic, and fast.

They turned it into a fraud-ridden garbage pile years ago. It's full of drop shippers and sellers who market "handmade" items from Alibaba and Amazon at huge markups. And of course full of extremely low effort junk items like places that "personalize" something for you and then claim it's handmade even though they bought it from Walmart.

Always do a reverse image search. You'll save sometimes more than half the cost.

I've reported countless listings that say they're handmade but are clearly on Alibaba. They're totally against the rules. Nothing ever happens.

You can tell they know this is yet another shitty change because they blocked any community comments on it.

We desperately need an alternative.
So great to hear. I’m one of the cofounders and a big boxing fan myself. I made this fanzine of my faves https://fanzine.world/share?id=recynUFKSFEjbn0wb
I'm not sure of the answer, but one thing Rust has obviously bought them is native binaries for Mac/Windows/Linux. For a project that purports to be about simplicity, it's very important to have an onboarding process that doesn't replicate the problems of the Python ecosystem.
EDIT: I didn't RTFA. Ignore me.

I now officially have zero reason to shop there. I haven't for the past little while because it's mostly been dropshippers from Alibaba anyway.

Etsy had a niche, it was out-competing vintage shops, swap-meets, and markets. Now, in light of mismanagement and poor financials they decided to check notes directly compete with _the_ largest ecommerce website in the universe, and one of the largest tech companies.

I can't help but picture a board room of suits all high-fiving and cheering when an exec changes between a slide of Etsy's yearly profits to Amazon's yearly profits chanting "this is us. this is us."
I guess it depends whether you trust the software more than your kid. I personally wouldn't, but my kids are pretty risk-averse compared to their friends.