skysight-inc/HackerNews huggingface dataset:
Perhaps, but the model weights themselves are currently understood to be uncopyrightable, and it's pretty inconceivable that the model could become copyrightable without becoming a derivative work of the training data.

Unless these AI companies want google and facebook to be literally the only companies in the world that can train large scale machine learning (by using their TOS to get licenses from their users) they should tread carefully.

In this particular case the leaked code apparently exposed that the proprietary codebase was also using the OSS developer's work without attribution.
There is an unsourced, potentially dubious fact on wikipedia that I ran across the other day: "Whitefish live on or near the seafloor, and can be contrasted with the oily or pelagic fish which live away from the seafloor.[citation needed][dubious – discuss]" [0]

I never really thought much about the difference between pelagic and benthic/benthopelagic fish before, but it seems like the lifecycle of bottom-feeding fish tends to be much longer than that of their more active pelagic cousins, which has a direct impact on the quality and texture of their flesh.

0 - https://en.wikipedia.org/wiki/Whitefish_(fisheries_term)
Of course, I am not concerned that a 5 minute JWT is not HttpOnly. I did not intend to imply that.

However, I am concerned that the refresh mechanism is also not HttpOnly.

Firebase storing access tokens in client-side storage is an example of the former, not the latter. Are they also storing refresh tokens client-side?

FWIW - I am surprised that you would conflate access tokens and refresh tokens like this.
They should be notified. He was not, from his claims.
It's 1500
> Which is why I said the models predicted stronger hurricanes. Which is what you're saying.

No, it's not. I said that the damage due to storms has increased, but I gave the reason why, and it has nothing to do with hurricanes getting stronger, any more than it has to do with hurricanes getting more frequent.

Studies have not shown any increase in the average strength of storms either.
I have a small hand grinder and a cheap and small tabletop espresso machine.

Best setup I've ever had. Coffee is at least as good as from the high quality brands I used to use in office when I was working for a big corporate.
where do you see $499 I see $1499
My Tiny Life – Crime and Passion in a Virtual World (1998)
The point of fp is not to get rid of effects, but to make them explicit and better controllable and do that in a consistent way, not on a case by case decision.
> Or underground tank

Hmm that is an interesting idea, but it would be even more expensive.

If you take that water tower, place it on top of a 80 m hill, then dig down for say another 40 m for the second tank you now have a total of around 160 m of height difference. That would bring it up to 22 households-days or if my conversions are correct, 660kWh, which is not insignificant.

Then again if google is correct the price for an equivalent lithium bank would be only like 100k so it's not even close.
> Also, the profiles themselves are pretty minimal - they are like ads, and are practically disposable as such.

That sounds pretty counterproductive to me? I feel like many people on Tinder already volunteer way too little information about themselves in their bios. I guess maybe that's OK if you're just swiping based on the person's pics but that seems like a bad strat for finding a partner.
A pour-over kit I got for the Christmas before the pandemic was my gateway drug to fussying over coffee ratios and grind size. It's great, I'm thinking of even corrupting some other members of my family by gifting a kit like that too
Can someone give us a breakdown of the difference between this and Quest 2? I don't see a direct comparison on the website
New Game Concept – Open for Playtesting
Market Simulator is a free-to-play mobile game where you trade in-app assets using in-app currency to battle for your place on the leaderboard. This is a unique gaming concept that requires buyers and sellers to transact with each other to get filled on their orders. Please pop into the Discord (https://discord.gg/TXBUJ3Ehp5) to say hi and let me know what you think!
Intel's new ARC series seems to be a good buy for AV1 encode/decode and other non-gaming applications given its current price-point especially for low tiers. Software compatibility isn't there yet but its catching up.

Intel has always had good drivers for Linux (compared to Nvidia) which are scheduled to land in the upcoming 6.x kernels, I'm wondering if they're planning to attack the CUDA AI/ML moat that Nvidia has built up. AMD hasn't done much to shake CUDA with ROCm but I'm sure Pat Gelsinger has plans to capture all that margin that Nvidia is reaping currently in the datacenter space, those Nvidia DGX A100's are so insanely pricey!
yeah, i am unable to post server-side config made under contracts. However, client-side is everchanging for my gateway that replaced my ISP gateway.

Good writeup. Great re-starting point after my 5-year hiatus.
From [1]

> Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and type theory. It touches on topics as seemingly distant as the homotopy groups of spheres, the algorithms for type checking, and the definition of weak ∞-groupoids. Homotopy type theory offers a new “univalent” foundation of mathematics, in which a central role is played by Voevodsky’s univalence axiom and higher inductive types. The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning — but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant. We believe that univalent foundations will eventually become a viable alternative to set theory as the “implicit foundation” for the unformalized mathematics done by most mathematicians.

This sounds fascinating, especially the idea of swapping out set theory as a foundational idea.
Guys why can't we just call it Quest 3 I'm gonna go crazy learning all these names. Can't wait for the Meta Quest Pro 2 Max XL Mini
Love how this is possible in such a clean way now. Layout breakouts are one of those things that look simple, but if done incorrectly can lead to terrible bugs, issues with scrollbars, etc.
The AI Business Defensibility Problem
> For me, it's not the MSRP cost, it's that they've thrown power efficiency out the window entirely. It'd be like that automaker's flagship car getting only 2 miles per gallon on highways

Flagship cars generally do get significantly worse gas mileage than mainstream cars.

But you're exaggerating the inefficiency of a 4090. In terms of performance-per-watt, it's not that far off from their lower level cards.

If low power is a primary driver, it's very easy to move a slider and reduce the power usage for any of these cards.

> I just wish these PC component manufactures would have some more focus on making their products more energy efficient,

They do! Efficiency and performance are one in the same. They wouldn't be able to squeeze out this much performance if they didn't optimize the efficiency. More efficient parts result in higher performance for a given thermal envelope.

If you wanted the most efficiency, you would buy a 4090 and turn the power limit down to 50%. This is very easy to do. Reducing voltage and power limits is extremely common in small case builds.
Brought to you by Carl's Jr
They suck because
1. They haven't been innovated for decades
2. Quickbooks is built for bookkeepers that help small businesses. Founders, in-house accountants and finance people experience low NPS
3. They only collect information at the surface level for the purpose of financial reporting, but if you have a deeper level question, you have to go back into another system. For example, Quickbooks will say you're Starbucks expenses are 2x from prior month, but you have to go into Brex/Ramp to find out what happened and who's purchasing more
4. They made business accounting and finance really hard to understand. Debits, credits, revrec, amortization, etc. I've worked with many CEOs that knows exactly what they want the P&L to show, but can't do it in the tools. If everyone can have a clear view of their spending + spend by category from their personal cards, why can't it be done in the same way for business?
5. It's really painful to use the tools. Think of Figma vs Adobe
I don't believe so, but we target everything in the Webkit ecosystem (Chrome, Edge, Safari), so Firefox would be the only odd browser out.
ESPN, DraftKings on the verge of a sports betting deal
$1,500 for this:

> Meta Quest Pro comes with all the goods and then some so you can start working, creating and collaborating — Meta Quest Touch Pro Controllers, charging dock with rapid USB-C power adapter, 10 advanced VR/MR sensors, 256GB storage, 12GB RAM, and a Snapdragon XR2+ Qualcomm processor.

Is there even any software that can take advantage of this? Nothing in Meta’s Horizons, afaict.
how so? do political organizations differ from corporations in that they somehow don't have an inherent need to perpetuate their own existence, so as to keep people employed?
Totally agree, this should be a telephone version of a spam folder. I have a legacy google voice plan that I use for this, but would be happy to pay a couple bucks a month to Mozilla for a comparable service.
Caffeine makes you hungry? That's weird. It's a stimulate so it should make you less hungry.
The pricing is a bit of a sticker shock, but if anyone can make the $1,500 price point work, it's the company that also sells a $400 headset.

What's really interesting to me is that this headset seems to echo Apple's (purported) interests in a "premium" hardware generation targeted at enthusiasts and developers. The Quest is ultimately a leftover from the Oculus acquisition, so it should be really interesting to see how this hardware evolves under Meta's leadership.
> And to the extent that the U.S. does have more crime/incarceration than other countries, I'd ask what we're doing wrong, or more neutrally, what's different about our approach?

Why are you only considering our approach and not the differences in our citizens? Approaches don’t commit crimes, people do. What makes our _citizens_ different?
Hmm, I don't think so. This book is about dependent types, The Little Schemer is more about introducing Lisp/Scheme fundamentals.

FWIW I found The Little Schemer remarkably devoid of essential context; I found myself wondering "that's interesting, but why is it important?" far too often.
My thesis was "you can't take Wikipedia quality for granted" it fails to be objective on many topics. And your thesis is? Your counter thesis?
I thought the sequence was https://en.wikipedia.org/wiki/Catalan_number but its actually https://en.wikipedia.org/wiki/Schr%C3%B6der_number which is allowed to move diagonally.

I still can't see how the diagonal step comes in to the parenthesization.
This is an excellent point and goes to the unasked questions I was referring to.

Among the reasons this can happen is a variant of race-to-the-bottom cost / value creep due to competition. If some other carpenter is offering complementary deep-clean, then everyone else in the space has to offer it too (or risk losing work).

Now, they should of course ideally pay their staff to do the thing that has become the new norm. But it's easy for a frog-boil to cause something to creep into the new norm without corresponding compensation increasing (especially if the guy offering the deep-cleans originally has some kind of economic advantage the competition doesn't that allows him to offer it for free... Maybe his partner is co-owner and does the deep cleans, or they have kids who work for them for free).

There's a lot of power imbalances that I think become obvious if one asks the question "Why would the employees not care if this company went belly-up tomorrow?" The kids / partner circumstance, for example, involves employees working for below-market rate but they do care if the company goes belly-up tomorrow.
That video is bullshit misinformation. Severe caloric restriction has never been shown to extend lifespan in humans (or any higher primates). It works for small lab animals like mice because they live in safe little cages where there is no risk of traumatic injuries or infectious diseases. A weak human will eventually fall down the stairs and break a hip, and the resulting immobility tends to lead to death within a couple years.

It is simply impossible for a normal height adult man to subsist permanently on 1500 kcal/day while also doing the hard exercise necessary to build and maintain the optimal level of lean muscle tissue. Do the math, the energy balance just doesn't work. It might be barely adequate for a short woman.
Internal Meta Leak Is a Hoax
TLDR: It still means nothing.
Ask HN: How much do you make, what's your job title, and where do you live?
Because it is not Quest 3.
Quest 2 128gb - $399

Quest 2 256gb - $499

Quest Pro 256gb - $1499
Currently there aren't many moderation features - only banning and removing threads & comments are implemented right now. Registrations can be disabled by the admin.

I will definitely focus on having good moderation features as I also believe it is essential for a healthy forum.
Keys to the MLB Playoffs
Tailscale is nice, you don't even need to open any ports to have your device accessible from anywhere. Works really great, literally (!) takes >10 min to set up (on mobile, dl app, log in with 3rd party identity provider (I choose GitHub), on Server, curl some script (will move to apt or yay or dnf when it detects them), click a link, boom both devices can find each other on unique IP addresses.)

I do open ports, for NextCloud (to be able share stuff) and some websites. But Home Assistant is only accessible from the Tailnet for example, as are my ssh servers.
reddit is awful
this is why i prefer 4ch
Definitely, the GNU/Linux software stack needs improvement for everything that's not a UVC Webcam. libcamera is a relevant project in that context. Purism, who make the Librem 5, are working on that - they have a paid team, but it's small so this will take a bit.

That said, the PinePhone camera app, Megapixels, recently got better post-processing thanks to postprocessd, which may have landed in OPs Manjaro or not.
This seems like a (regulated) pricing error.

There should be no economic way that a high efficiency turbine produces and distributes electricity to heat homes at a greater than 1:1 ratio compared to storing, pressurizing, and delivering, then burning in irregularly maintained consumer homes.

Likely the error is that gas pipes to the house are subsidized (albeit the electrical likely is too, with heat pumps and induction stoves, the gas lines are unnecessarily redundant)
Private citizens are behind the push for homeless criminalization, too. Enabling homelessness results in more of it, either by attracting the homeless from less friendly communities or by making it safer for people to make decisions that put them over the edge into or allow them to remain in the homeless lifestyle.

Does it still need to be said that the homeless aren’t a monolith of the victimized?

If you live in a community where the parks and trails have become unusable, where walking sidewalks has become unsafe, it’s a very different community experience that hasn’t fostered faith in the development of homeless policy in last twenty years.
Yup. This is why it's about complete abstinence, not moderation. The first one begets the next one, which begets the next one, and so on...

When the train hits you, it's not the caboose that kills you.

Complete abstinence is really hard, unless we have some kind of supporting framework.

It's been my experience, that everyone that successfully quits drugs (I consider alcohol to be just another drug, but legal, and easy to get), has some form of Discipline. It may be a 12-Step fellowship, religion, extreme volunteerism, martial arts, spiritual practice, etc.
They used intention to treat in the analysis so it included everyone invited to get a colonoscopy but only 42% got the exam. So 58% did not even get the colonoscopy. It is impossible to say what colonoscopy does or does not prevent when the majority of people in the intervention arm of the study did not get the intervention.
Is this the "Project Cambria" that had been previewed earlier?
TBH in the 90's most of forums I visited were also moderated by teenagers. If you build your community then you should be able to moderate it, as simple as that.
When did you go through the process?

Reddit recently updated its top mod removal process (recently as in 5 days ago) and dramatically weakened requirements for removing top mods.

More information on that here: https://www.reddit.com/r/modnews/comments/xwim7v/updates_to_...
Based on the marketing material it seems that the Quest Pro is targeted at enterprises where a $1500 device which helps improve employee productivity isn't that big a deal.
The livestream just invited Satya Nadella as the "one more thing" to intoduce Microsoft Teams and Office 365 for VR, showing how Meta hopes this will be used.

Enterprise companies are too cheap to justify $1500 per head for a gimmick, though.
Because the Quest 3 is another product, this is the pro version. The consumer version will get released later I guess, and probably with a price closer to the current Quest 2.
Does anyone really want to wear this while meeting virtually with colleagues?
This will not be used how you think it will be used.

Leasing companies and banks will own the plates and disable them remotely if there's no payment.

the 19.99/mo fee will just be added to the full term of the lease. just $719 per 3yr lease. Those companies force you to pay that per week in insurance anyway.
They are building a lot of them in China

https://en.wikipedia.org/wiki/List_of_pumped-storage_hydroel...
As someone who was a highschooler 2008-2012 who built their own simple PHP apps for things: Script kiddies of the time definitely were scanning for arbitrary forms. Not necessarily trying to exploit the code, but just anything that would allow them to post spam.
Same for me. 40-year "functional" alcohol dependency. Pattern of mostly avoiding drink during the week, desperate for Friday to come around, followed by poor sleep, tiredness, weight gain, regret.

A mushroom trip in Vancouver helped me understand the underlying cause of dependency, what I was running away from. That seemed to be all it took. The need was simply gone and the habit broken. Weekends are more like the energizing productive breaks they always should have been.
That's a very good point. I left a voicemail with an attorney requesting consultation to develop a procedure to handle these requests. Hopefully it won't be too expensive.
I wouldn't mind seeing a citation on that. I am quite aware that the rehab/detox industry has some very shady actors, but I've not heard that.
Side note: it's funny how quickly the entire retail world has coalesced around "Pro" for naming of its premium lines and "+" for its subscriptions.

I wonder how long this paradigm will continue for (probably until Apple leads a change away)
They are somewhat analogous, though. Not to mention intertwined. What keeps our dominant political parties running? Money from big business. Where do they get their money? By selling stuff. All the better for their profits if they can externalize costs. Which the politicians they bought will be reluctant to do anything about.
The author seems to think their problem is everyone's problem. How many people have a 30 pound professional coffee machine and giant grinder setup worth $1000+ taking up half their kitchen? The vast majority of people are making do with a brew pot or Keurig/Nespresso.
Speaking as someone who hosts multiple websites, email, etc. in the corner of a room

> [it should] be reliable if I kick a cable out of the wall

Right, if you want it to be reliable but also be able to cut its cables, then you will need a secondary host outside the home.

> or in the unlikely event that I get a bunch of traffic.

Are you serving media (music or video of more than a few seconds)? If not: DSL or mobile data (if your data cap allows) is fine for HN front page. Judging by the current page weighing 100KB, you can have 10 visitors every second at 1 MiB/s upload. (HN reaches that rate only in spikes, even at a top three position.)

> I’d also like it to be quick!

It's currently not quick at DigitalOcean (2 seconds for TLS setup, 12 seconds for HTML, 8 seconds for JavaScript, etc... 27 seconds total). It can only get better!

I can recommend something beefier than a raspberry pi, though, or at least than than the pi 1-3 speeds that I'm used to. I personally use an old laptop which is plenty fast for, well, anything you'd also ask of a daily driver, except it now doesn't need to render a GUI which speeds things up a lot. They can peak up to 100W depending on the model, but are usually very low power when nothing is being asked of them.

> Oh, and I don’t want to have my home network hacked.

Then install unattended-upgrades, put admin panels (phpmyadmin, wp-admin) behind basic authentication, don't host things you don't trust (random code written by 'someone on the internet' that has never been tested by anyone), put it in a VLAN if you want to be extra cautious, and you'll be fine. It never hurts to keep your phone and other systems on the LAN up-to-date anyhow so they should be secure as well, even if someone does get in.
How can I read this offline? Doesn't seem to be a way to load it on my kindle or laptop. Is there a PDF?
There's a pretty reliable flow of new people aging into the dating world or entering it for the first time.

In any event, "pay a regular subscription for X years and free thereafter" is just a lifetime subscription paid in installments, not a fundamentally different business model.
I didn't see it in this page, but previous announcements put the battery life at 1-2 hours (unverified).

I know it's fun to hate on Meta, but this honestly looks like it resolves most of the gripes I had with the Quest 2, aside from the whole Facebook integration piece... It looks like a solid piece of hardware.
> I think people lament that you could previously have the flagship experience for a couple hundred dollars

I think you're right. I imagine a lot of people don't like the feeling that something faster exists outside of their budget.

Ironically, I suspect these people would be happier if the faster cards simply didn't exist and the GPU lineup topped out at something like a 3060. It's funny that people get angry that faster parts simply exist.
The idea is that the WITH variables are local to the LOOP construct. If one leaves the LOOP, the variables are gone. With an outside LET this would not be the case. The LOOP thus gives scope for all lexical variables inside of it.

Additionally the LOOP sees the WITH definition in standard Common Lisp. It does not see any outside LET bindings, unless the Common Lisp would provide a feature to ask the current environment. This allows the LOOP to, for example, see a type declaration and provide a default value for the common cases.

(let (a) ; a is initialized to NIL
(declare (type integer a))

....

(loop repeat 10 do (incf a))

...

a)

vs.

(loop with a fixnum ; a is initialized to 0
repeat 10 do (incf a)
finally (return a))

It provides a compact notation with ONE scoping construct, the LOOP macro.

Similar for the LOOP name. In the same way you could argue that this is just a named BLOCK around the LOOP construct. But, again, the name inside the LOOP makes it clear that the this is the name of this LOOP construct.

Btw., the ITERATE macro works in a similar way.
Smaller fish like herring seem better. They accumulate less heavy metals, and I think their natural populations are healthier than the big fish.
Thank you! This is very kind of you to say that
Remote Development in JetBrains IDEs Now Available to Google Cloud Workstations