skysight-inc/HackerNews huggingface dataset:
Faith in science is actually worse. At least religious faith dares to tell you something and asks that you have faith in it. Science tells you this is what is for the time being, until we know better, and there is no guarantee that we won't reach a limit to knowledge that we will not be able to pierce. With science you can count on one thing: you'll die before you know the fundamental truth.
Why would I want to choose Bun instead of Deno?

As a library author, how convenient is it to have one suite of tests that can execute in both Bun and Node.js? (E.g. with jest?)
It’s known as Atwood’s Duck.
https://blog.codinghorror.com/new-programming-jargon/
> A faith that stems from knowledge and a tradition of rigor is quite different from a faith that stems from indoctrination or a desire for there to be some kind of greater meaning to life.

You're making a false (and biased) distinction. You almost certainly have been indoctrinated into valuing the thing you label "rigor," and your faith in it stems from that indoctrination. Your position is just an obscured version of "my gods are the true ones, and all others are false or inferior, because my gods are mine."
The worst is when they can't find anything and make shit up.

Had this happen during an audit very early in my working life - "where did this excess income come from?" The books I gave them were clean. Fortunately the accountant made an obvious math error that was easy for me to spot, and the next round went smoothly.

Or was it an error? Hmmm ...
They are replaceable. In a service for a low fee after 6 years of usage.
Is this a US specific thing? Or specific to certain types of society?
I don't believe haptic suits will be it. Either we'll get direct neural interfaces for all-sense simulation, or (sooner and easier) motorized lifelike androids (don't have to do much, just assume some poses and move a bit during interaction with the user in the 'sheets). Will probably come with detailed embarrassing telemetry for improved customer experience.
> But wait, you say Microsoft tought about that, indeed if you signed in with a Microsoft account you can recover your Bitlocker encryption key from the Microsoft portal... wait what?

Can't you alternatively also export a copy of the actual disk encryption key and write that on a piece of paper? The last time I used Windows, that was possible, at least (but I think I didn't use the TPM back then).

On macOS, you can do either, for example, and it uses a similar construction (although using Apple's proprietary secure element and hardware encryption engine rather than a TPM and secure boot).
I had no idea! Just submitted the form.

That said, the Enterprise version of ChatGPT is not easy to get by individuals.

Edit: the wording is confusing: "fill out this form to opt-in to share..." might lead the user to think they must submit this form to opt "out".
And yet when you see the Big Schools, like an Alabama or Clemson, playing much lower Division schools, those schools are getting a massive payout for that game, while their students get whooped, and not getting anything for the abuse other than experience.

That would be like a lower weight class boxer, say Canelo Álvarez taking on a fight with Tyson Fury (each in their respective class) for the "pay day", sure he may have a "puncher's chance" but few would consider it a fair fight.
I remember the VCube launches very fondly. I got the email and jumped from my chair and ordered both the 6 and 7 on the spot. The 6 was terrible and I've never liked pillowed cubes but i wore those things to the nub.

I'm so happy that large cubes are not only commonplace, but well made and affordable. I absolutely love my 7, 9, 11 and 13s.

And I still hate even-order cubes.
I don’t think that’s what gatekeeper means
The trouble is we keep conflating two different things.

Something that works like a hardware security module, where it stores your keys and tries to restrict who can access them, has some potential uses. The keys are only in your own device, so someone can't break an entirely different device or a centralized single point of failure to get access. And this can't be used against the user because both the device and the key itself are still fully in their control -- they could put a key in the HSM and still have a copy of it somewhere else to use however they like.

Whereas anything that comes with a vendor's keys installed in it from the factory is both malicious and snake oil. Malicious because it causes the user's device to defect against them and some users aren't sophisticated enough to understand this or bypass it even if malicious attackers can, and snake oil because you can't rely on something for actual security if a break of any device by anyone anywhere could forge attestations, since that is extremely likely to happen and has a long history of doing so.
This is not a random website - together is a prominent AI research company. Their chief scientist invented flashattention, which is used to train most LLMs. They release open source datasets/models like RedPajama. And they've published research around speeding up model training and newer model architectures.
Y'all have been ignoring the largest DX issue in TypeScript for years: https://stackoverflow.com/questions/57683303/how-can-i-see-t...

Even as someone who is very proficient in TypeScript, and an advocate, it's a huge PITA having to constantly ctrl+click through large type hierarchies trying to build a mental model of fully resolved types.
beware of the issues related to postgres subtransactions https://postgres.ai/blog/20210831-postgresql-subtransactions...
Well, my own bias is because it's seen as depraved/pathetic if a man has an AI fantasy girlfriend which gives him a proxy of what he wants, but it's not if a woman reads her bodyweight in romance novels per year. In my experience it's seen as pathetic for a man to use a proxy for his desires (see also the sex toy industry).

Another angle is go down the rabbit hole of online dating app disparity, women (under a certain age and bodyweight) can have a short term boyfriend and attention essentially immediately and in an unlimited manner. Partly driven by coolidge effect in men's sexual desires (men as a group have near unlimited desire for novelty and therefore consume any/all available supply except that which is not generally/widely desirable).

Women already have a near proxy too. OnlyFans or an IG + cashapp account can mean she gets more from men than she could one man, and gives less that a wife would have had to in the past. An AI Boyfriend would have to give the things that women (on average) desire from men, which tends to be more like protection, resources/money, and status/social dominance.

AI Girlfriends work because men tend to be driven towards visual things, and novelty.
Neither Google or Facebook sell your data. If you get technical, be thorough.
After a surprise bill of over $100 from H&R block I've been using FreeTaxUSA and have been very happy to pay $15 for state filing.

The UI is just as good as TurboTax or H&R block.
With the difference that it wasn't humanity that invented pathogens or viral infections, while the obesity pandemic is arguably a product of industries (Food, Pharma) that profit more from keeping our unhealthy lifestyle than providing a holistic solution.

Also, AFAIK these drugs always need to be taken continuously, if people stop taking them they return to whatever was their baseline levels. This can not seriously be seen as a good thing.
Content != pii.
Thanks! The LLM only sees the result of f(x). So like in the code writing example, the code is actually executed with `eval()`.
That blog post is exactly what I was looking for, thanks!
I love this, especially for Bach’s counterpoint. To be able to go through pieces I know at a speed I dictate, giving myself however long I want to “hear” the chords in their relation to the previous chords, is just magic.
That’s a good point. Porn obviously had this effect despite being technically real.
Yeah that is a complex issue due in part to dems and liberals not having a real presence in rural communities.

It's easy to blame the rich and urban when your community is broke and you see all the "help" going to the big rich cities.
Everything (or nothing) is all you need (or don’t need)
Very highly complex tools, yes, which introduce their own sets of biases and the biases of their creators. There is no free lunch here.
Of course most new technologies fail. That's the way it works.

It's the like the new publishing executive who reportedly ordered the peons to "just publish the best-sellers" from now on.

If you know of some way to invent a superior new battery technology without doing a lot of research and development (with the inevitable dead-ends), you should probably be off doing that.

See also: the people who post a snarky "in mice" comment on every new medical development.
Someone somewhere will. Her was a cringe movie, but its going to eventually happen.
As pointed out elsewhere, far more flexibility in changing employees over changing domestic partners, even if that has gotten easier as well.

And as terrible as bad employers might be, they usually cannot inflict the levels of physical and emotional abuse that bad spouses can. Business, not personal.
His posts used to drive me crazy in a love-to-hate way, but I read them regularly because he's a good writer. I just disagreed with him about everything.

One day I clicked on a link that took me to one of PG's Lisp essays. Who was this guy? I'd never read anything like it.

That's how I found out about PG, it's what nudged me to finally learn Lisp, it's what led me to follow YC before it was YC (and HN before it was HN), and thus it's why I'm here. Thanks Joel!

https://news.ycombinator.com/item?id=791989
Wow, a browser is making network connections, how dare it. Come on, these things are there so that if you are on "connected" to a network that require some registration, e.g. an airport, then you can actually be forwarded to that registration page.

Like what do you even think, Mozilla people are sitting on top of all that sweet

PING www.mozilla.org (3.161.119.172) 56(84) bytes of data.
64 bytes from server-3-161-119-172.vie50.r.cloudfront.net (3.161.119.172): icmp_seq=1 ttl=248 time=4.06 ms
64 bytes from server-3-161-119-172.vie50.r.cloudfront.net (3.161.119.172): icmp_seq=2 ttl=248 time=4.16 ms
64 bytes from server-3-161-119-172.vie50.r.cloudfront.net (3.161.119.172): icmp_seq=3 ttl=248 time=3.64 ms

What the hell would they do with that?
> Content and apps geared towards women, or gay men, are such a small piece of the pie by comparison that there's less incentive to look the other way.

Sorry, we're talking about Instagram, an app we know puts huge targets on women, especially young women! I have no idea what you're talking about here about nicheness. Fashion products alone are worth way more than the entire porn industry. Not including beauty, skincare, cosmetic surgery, wellness/cleansing, etc...
I haven't been able to determine if OpenBSD's `pf` is also affected. Anyone know?
Now do one for stone tools.

Edit:

Your proposed replacement for stone tools, "steel", is impractical because:

[ ] it's not as sharp

[ ] it rusts

[ ] it's more expensive

[ ] it requires a much more complex fabrication process
If iCloud backup is on, and your friend didn't explicitly disable it for Procreate, then the data should be available for restore via iCloud:

https://doncorgi.com/blog/procreate-icloud-backup/

I think you can see the last backed-up day (but not list of apps for other devices) somewhere on iCloud.com or in settings on some other iPhone/iPad on their account. Alternatively, you could try restoring to a new/temporary old iPad.

The external monitor + keyboard suggestions in sibling comments could be combined with this advice (or other backup procedures in the article I linked), assuming backup is disabled.
Please stop spreading FUD.
World of Warships mostly, War Thunder and Company of Heroes 3
> Right now we have about 30 GW worth of it on a grid with 1200 GW of generative capacity.

> Until that changes, every solar and wind installation is going to come paired with a gas peaker plant.

Sure; and as the necessary gas plants are mostly already all there, we can start by doing nothing, before gradually just switching them off as we build out the storage.

(The storage doesn't have to be batteries: gravity storage is cheap; disappointingly, hydrogen electrolysis doesn't exist in meaningful quantities yet, but it is no more mysterious magic than batteries; and there are more besides).
I don’t think that your post is hostile. But from what I’ve heard, it is untrue because Lean 4 is intended to be a general purpose programming language, not only a theorem prover. I can’t find a source that directly states this goal but at the least this paper by Leo de Moura and Sebastian Ullrich presents it as a programming language:

https://link.springer.com/chapter/10.1007/978-3-030-79876-5_...

Microsoft also sponsored David Thrane Christiansen’s book, Functional Programming in Lean[1] (which I’m sure you know about!). That is another indication that they intend to reach programmers.

[1] https://leanprover.github.io/functional_programming_in_lean/
The book is worth every penny. I bought mine years ago for like $25, and since then the author has published multiple new revisions and I still can download them for free.

Mickey doesn't do this for profit. There's a word in Japanese - "Ikigai" (you better google it, I'm typing this on my phone).

For Mickey Petersen, explaining Emacs is his ikigai.

If you're thinking of using Emacs for longer than two weeks, buy the book, you will never regret it.
It's hugely encouraging that we're starting to see frontline medical practice step out of the frame of mind that this is a "willpower" issue. If GLP-1 analogs work against both food compulsions and alcohol/drug compulsions [1], this re-contextualizes metabolic disorders as another form of addiction.

[1] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10097922/
That ("if you're presented with that and don't send it to that host, you've violated the RFC") has nothing to do with the comment you responded to, which described a UI choice compatible with RFC 3986, which says "Applications should not render as clear text any data after the first colon (":") character found within a userinfo subcomponent" (and which also goes on to say "Applications may choose to ignore or reject such data when it is received as part of a reference").
I looked into that book, looks like it's really for venture backed companies trying to form a founding team. I'd recommend that you instead look up micro-SaaS, where you just target making $10k+ monthly recurring revenue and be set, rather than going on the VC treadmill and trying to raise capital, hire a team, etc which is often overkill for first time founders.

Rob Walling coined that term initially through his conference on it called MicroConf, he has a new book called The SaaS Playbook [0] which I'd recommend, he has a sample PDF here [1]. His older book Start Small, Stay Small [2] is also quite good.

But to start off with a free resource, Jason Cohen's video on designing a bootstrapped business can't be beat [3].

[0] https://saasplaybook.com/

[1] https://static1.squarespace.com/static/63974bca690bb40f1adc6...

[2] https://startsmall.com/

[3] https://www.youtube.com/watch?v=otbnC2zE2rw
Yes, credits but money nonetheless that one would have had to pay if they were not able to manipulate their consumption at a point of great demand.

I share these words from direct experience of being a credit receiver from my utility company for several years which has been a great WFH benefit through awareness of the program. While I am now humbled and fortunate to have a renewables battery backed system in addition to multiple EVs prior to obtaining this renewable system I certainly played this money 'saving' game as well at every turn it was offered. The day before the voluntary shutdown my utility company would use this pre day as the credit baseline for the following shutdown day. I would lower the HVAC much greater than normal and charge all EVs beyond our typical SOC at a kW rate of 11 cents per. On the day of the shutdown I would use nearly no electricity intentionally and be credited at 1.25 USD per kW not used. Participating in this shutdown a few times a month would cover a whole month's bill++.

It is absolutely certain that someone will see this as "cheating" or "not fair" however everyone is equally capable of comprehending the offering as it stands and applying it to their own situation. It just takes time, which most don't want to give proactively, but those same "most" will certainly spend much more time reactively complaining. Mind your time as we all get the exact same interval of its passing however we certainly do not get the same aggregate amount.

Stay Healthy!
I even saw a Youtube video recently making a strong case that types are almost always the better option unless you run into a few niche use cases like needing interface merging.
I assumed it was an intentional “two thumbs up/down” that amusingly highlighted questionable AI hands at the same time. :)
I've always wanted maglev but didn't want to spend a lot of money. Is that a pretty good one to get? Would love a maglev main. I currently use a GTS M.
> It appears that the primary use case for both of these open source tools currently is NSFW

Bear in mind, people who only need SFW images can get AI image generation online for free, from the likes of craion/midjourney/dall-e.

Whereas it sounds like you needed a 'second 3090' i.e. the open source option needed you to own 2x$900 of hardware.

Why would someone who wanted SFW images choose the $1800 open source option over the free closed source option?

Oh, granted there might be some people with strong pro-open-source principles, but also no particular qualms about the AI ripping off real artists. But is it really so surprising those people are outnumbered by people who like porn?
I think you're also hitting on part of the vein of why. Men (primarily) are not falling in love with their ai girlfriends, they are falling in lust. Note that the most prominent AI girlfriend/generator things focus on looks, not on if she will nurture you back to health after getting a bad cold or laid off.
Touche, not a TPM, those are usually separate hardware whereas TEEs are integrated.
These viability considerations are important. Still, I like hearing about advances and exploration into new technologies in battery tech. Sometimes the challenges can be overcame or the technology can find its place in a subset of the market (not necessarily a replacement for Li-Ion).
I am saying the IT workers receiving low pay or being outright fired while non-tech gets paid more has precedent under the current CEO. Besides its not Firefox thats being smeared, its the CEO who is, and should be smeared for acts such as this. Firefox the software is still mostly fine.
We do not want functions that take floating point arguments, only u32 should be used. And don't get me started on more than one argument!
> I think "dark matter" bullshit is a good example of that: you create mathematical model of the universe, but the reality does not match predictions of your model, so what do you do? You invent "dark matter".

> Now tell me: how is this any different than claiming that you have invisible, untouchable dragon hanging out in your garage? https://rationalwiki.org/wiki/The_Dragon_in_My_Garage

Another example is dismissing experiences that your model can't handle as illusions. I've seen both the passage of time and consciousness dismissed in that way.

Also scientists aren't above inventing enormous fanciful constructions make the universe conform to their ideological assumptions and intuitions: see steady-state theory, the multiverse, etc. At some point (probably now or soon), humanity will reach the limit of what can be probed scientifically. When that happens, I predict those invented constructions will stick around and perhaps become even more prominent.
A company centered around accounting and taxes? They'll figure out a way to claim its 2000% of their earnings and on appeal claim that its too burdensome.
> And again it is adorable that you think it was your money. Legally married as you found out when you divorced, money earned during marriage is legally owned by both and split.

It's adorable you think we were married. They got nothing in the break up other than a lost ride and a one-way ticket to a deadend job. Oh, and a dog they tried abandoning on the streets a couple months later. Real upstanding person you're defending there because of your imagined solidarity in gender/perspective.

> Sounds like you wanted a bangmaid.

Nope, just a partner.

Funny how you're stuck on the one point of housework when I made it clear from the beginning that I would prefer they go earn their own money and we do a 50/50 split of chores. Obviously, because you know that that is a totally reasonable stance and you'd look ridiculous for saying they deserve to stay at home and do nothing while using someone else's money and effort to live off of; so you try to reframe it as some desire on my part. It's not working, move on.

You also probably think any man you date that wants to "go dutch" is a deadbeat too. You'll say no, because you know it'll look hypocritical; but we both know what you actually think, statistically.

Really shows how you most definitely treat your current partner. I truly hope they haven't legally entangled themselves to you.
> helmed by John Giannandrea, Apple’s head of AI, who was hired in 2018 to help improve Siri.

In the age of ChatGPT, Siri not only hasn’t been improved but has been getting even dumber lately with no significant announcements towards its improvements of understanding and doing more tasks in any WWDC recently. I would take what he does with a grain of salt.
Fantastic! As an marketing landing page designer, I could see myself using these for no reason
The UI is better than taxAct which I'd been using for years. I got my taxes done in half the time without all the "wait while we calculate...".
Most metals form chemical compounds that have poor solubility in water, therefore even if they are present in sea water, their concentration is extremely small.

The only metals that are abundant in sea water, due to the high solubility of their compounds, are the alkali metals and the alkaline-earth metals, more precisely the eight metals lithium, sodium, potassium, rubidium, magnesium, calcium, strontium and barium. (beryllium is not an alkaline-earth metal, despite the fact that most chemistry manuals group it with the alkaline-earth metals, because it is believed that simple minds will easier remember simplified classifications, even if they are only approximately true, while cesium is extremely rare and, due to that, it remains rare in sea water too)

For any of these 8 metals, it can be profitable to extract them from sea water, where they exist in huge quantities. For the other metals, which are present only in tiny quantities in sea water, it is likely that the great amount of energy needed to separate them from sea water makes their extraction not worthwhile.
The students who are really interested in AI will buy desktop PC anyway. And the fact that they can use the same GPU for model training and for playing Diablo IV makes the whole investment easier to justify.
And how would that work exactly? they had to redesign the entire launchpad just to hopefully be able to sustain starship.

Let's say you go down in london (originally they thought basically a generic spacesport would let you, which is no longer the case).

You'd need their entire boca chica infrastructure to fly that again...
Set up a WireGuard server with ad blocking, DNS-over-HTTPS, and a WebUI with 2FA