skysight-inc/HackerNews huggingface dataset:
Also, much more relevant than a bunch of hucksters showing that they care more about money than ideology,

The DOJ doesn't GAF what you say, they care what the laws are. Tokens are property. They technically gain all the standard property protections, like people aren't supposed to steal them from you, and fraud is still fraud.

If you want code to be law, you would have to pass legislation to that effect, and good luck. We tried wildly unregulated markets before and it was generally bad for the world economy. After FTX, good luck convincing regulators to let you play around with real money even more
One thing to note is that SF's population swells greatly during the day [1] as people commute into the city for work (Less than before the pandemic, but still substantial). So per-capita crime might still not be the best metric to use because it would be misleading.

[1] "San Francisco leads the Bay Area in attracting the most workers from outside its boundaries, with a net inflow of more than 200,000 commuters each day" https://vitalsigns.mtc.ca.gov/indicators/commute-patterns
I appreciate the kind words : D

We have a long way to go, but your support is super valuable
i'm not a flaming activist or anything (yet), and i appreciate the benefit of their work, but they really told us we can't pirate anything they make, and then proceeded to pirate everything we made.

i'm not a luddite, or a "hippie". i'm going to keep paying for my GPT-N+1. I just want it in writing that if they can pirate everything, so can you and I. It's only fair.
> the alternative is a $50 one time purchase that people will dislike too.

omnidisksweeper is free
Yes, ! has the same issues as system() which I'd need to integrate with lf.
I think $10 for a lifetime license would be perfect (I'd pay for that).
What do the other manufacturers need to improve to match the Tesla for your needs?
This drug combines 3 targets per phase 2 docs [1]. Weight loss and side-effects both show dose-response relations. Side-effects could be higher than single-target drugs d/t more off-target effects, or they could be lower if per-target dosage can be lower d/t reaching therapeutic effect via combination.

Phase 3 "TRIUMPH" study results not due until 2026. Indications only target overweight patients with osteoarthritis, type-II diabetes or cardiovascular disease. [2] There are also reports that it reduces fat in the liver, so it could be useful for fatty liver disease.

No trial I found is studying discontinuation or dependence.

[1] phase 2: https://pubmed.ncbi.nlm.nih.gov/37366315/

[2] phase 3 (TRIUMPH):
https://investor.lilly.com/news-releases/news-release-detail...
The OP asked for the data to be stored locally. You linked to a hosted service with a subscription model. Very much not the same.
Why Microsoft is still ahead of Google in the war for AI developers
The training code is presumably quite a bit more complex than what they've open sourced, but part of the beauty of the GPT-based LLMs is their structural simplicity.

Now, that simplicity can be deceiving - there are a lot of conceptual interconnectedness within these models. They've been put together "just so" if you will.

If you look at the source code to nanoGPT and compare it to Llama3, the most remarkable thing (when you look past the superficial name changes) is just how similar they are.

If I recall correctly the primary differences are:

- The MLP: Llama3 uses SwiGLU vs the more "traditional" x = x + proj(gelu(expand(x))) in GPT2
- The token encoders, which is arguably external to the model
- Attention: Llama3 uses Grouped Query Attention, vs full Multi-Head Attention in GPT2
- Normalization: Llama3 uses RMSNorm, vs LayerNorm for GPT2

They were published more than five years apart. On the one hand progress has been breathtaking, truly astounding. On the other hand, it's almost exactly the same model.

Goes to show just how much is in the training data.
Mind you this is an umbrella review, analyzing the results of nearly 50 studies published in the last 20 years. As per the study[1] methodology: "PubMed and Scopus were searched for reviews, systematic reviews, and meta-analyses published from 1st January 2000 to 31st June 2023, written in English and involving human subjects of all ages"

It's a comprehensive (more or less) review of the relevant literature than an one-off study.

They acknowledge some limitations: "A key limitation is represented by the high heterogeneity of the study population in terms of sample size, demography, geographical origin, dietary patterns, and other lifestyle confounders"

[1] https://journals.plos.org/plosone/article?id=10.1371/journal...
(2015) or earlier
This is... I have no words.
I really hope people keep their attention on the road, your life and others', isn't worth the extra minutes doomscrolling.
Anecdotally I have been using one of the newer versions (12.3.6) and it seems to have improved significantly, however still does "strange" things like unnecessary lane changes or slowing down unnaturally to speed limits (which no driver in LA does). Autopark works well for the most part but takes twice as long as if I were just park the vehicle myself.

Elon claims the next version (12.4 / 12.5) will be milestone improvements in terms of miles per disengagement, but only time will tell.
Mint is part of T-mobile now so it shouldn't be deprioritized any more.
Definitely heard of that tool but it doesn't work well for my struggles with task paralysis - do you find it being useful for getting unstuck?
There was a story a couple months ago about HBO accidentally hiring people from North Korea
Complaining about crime is right-coded so it could lead to social complications which incentivizes people to stay silent about it.
When Reddit’s leadership started publicly referring to its users as data to leverage, surely everyone saw this coming?
How is that misleading? Genuinely feel like it’s saying the same exact thing you just stated, just the other end of the percent. 2% converted, therefore 98% chose to not convert (aka ditch)
“Cutting-edge psychological research suggests that pharaohs may have suffered from megalomania”
You step out of the car and hear a female voice in the background: "Level 3, start"
By far the main impediment is that the current community does not care about this use-case. Lean's proof system works mainly by using its metaprogramming aspects to write macro-type objects called tactics; they perform transformations on the goals of your proof to simplify or dispatch them.

[Note that this meta-programming is very powerful, but also extremely hard to use from what I have managed to see; do not expect LISP style ergonomics here. It doesn't help that the meta-programming book shows some trivial examples of macro rules and then delves deep into proof tactics for the next 2 chapters, leaving the reader who wants general code transformations stranded].

In order to use Lean for proving properties for serious amounts of code, you need to write an entire tactics library similar to mathlib (but for code). Nobody has done this. Maybe it is reasonably hard, or maybe unreasonably hard; the point is, there is no serious collaborative effort that I know of.
The user reports in this thread are split about 50/50 between "it's horrible" and "I use it every time I drive"

Narrative violation
HN is known for being one of the most dark and twisted places on the internet.
evolution of windows: useful -> adware -> spyware -> tech-support-scam (this story) -> ransomware (automatic full disk encryption is said to be deployed soon)
Honest question: Why do so many good companies {OpenAI, Anthropic, etc.} continue to set up offices in the highest-crime neighborhoods of SF (most notably: Mission and the vinicity of Market)?

I feel like they would do their less-physically-tough employees (women, people with disabilities, physically smaller men) a HUGE favor by moving to Potrero Hill or some other safer neighborhood.

I shouldn't have to fear for my physical safety to get to/from work. I live in a very low-crime area for a reason.
Not entirely convinced the point was to convert the customers to the 8k price today. Seems like the data gained during the demo is the most valuable part long term. They can rinse and repeat offering a demo, gaining data, releasing a new version. As it gets better conversions will increase. All while moving toward their long term goal of fully autonomous driving.
That’s only in the capitalist system.

Wordpress by that same Automattic doesn’t need money to survive, in the sense of money going to one large corporation. Anyone can self-host their own copy of wordpress, buy plugins etc.

If you want to know more about how to monetize digital content without a trusted central actor, we are working on a Web2 version of that ecosystem btw: https://qbix.com/ecosystem

Also, science and wikipedia and openstreetmap are examples of open gift economies.
Nuances of formatting person names
My thoughts are to represent general crime around the areas represent it's safety. The best way to normalize the data is viewing the crimes per capita, in which case Tenderloin is the highest. It's not fair; simply because the Mission is much larger in area.

Either way, I will be making updates to the site and data with time, this was a quick 1 day project!
When was the last time you tried to buy one? rpilocator.com shows wide general availability, and my local MicroCenter has had a variety of models available for months.
That's so appalling, title needs to be changed...
Show HN: Gesture Composer for VisionOS [video]
I wanted to create some custom hand gestures for my Vision Pro App, but looking at how you had to do it in code seemed like a headache.

I also wanted my gestures to be able to be shared between Apps I make.

So, I made Gesture Composer, a VisionOS App that lets you create custom hand gestures that can be exported as a file.

Paired with the GestureKit Package https://github.com/nthstate/GestureKit you can detect gestures in your own Apps

- Gesture Packages contain a rules file for the gesture, and an animated USDZ of hands performing the gesture
- The Gesture rule format is straight forward, so you can hack it if you need to tweak things
- Gestures can contain multiple poses in a sequence
- Multiple Gestures can be detected at a time
- Optionally display a Virtual Hand Model, Joints and Bones

You can also browse & download gestures people have created on the website: https://www.gesturecomposer.com
The other 2 percent were killed by it.
An area where it is common for someone with an arrest warrant to be apprehended seems reasonable to be considered unsafe.

Similarly for an area where people go missing.

Getting arrested for drug use in San Francisco is pretty hard to do - if someone accomplishes it you probably wouldn't want to be around them.
Reminds me of chicagocrime.org back in the day. Everything seems to cycle every twenty years. Enjoy the ride, kids.

https://www.holovaty.com/writing/chicagocrime.org-tribute/
FSD doesn't seem to talk to the on-car navigation system.

When navigation tells you to "keep left", FSD happily changed lane to the right.

It makes more sense to just use FSD as a Lane Keep Assistant System on highway, with occasional surprises like switching to a faster lane mostly automated.
I did think about that and ultimately did do that. It's just not what the hardware could do, and it's a crappy solution. I don't often wander around with spare USB NICs, but a double ended type-C is in my standard kit.

There's no hardware reason why two type-C ports couldn't adopt host and device roles and become a NIC. Could be an RNDIS class endpoint or emulate one of the ultra common ASIX ICs. That's basically what my phone does when USB tethering.

Why does my desktop computer do less?
loll Spanish people must be very pleased hearing this...
Part of the backlash against subscription is the lack of transparency. Store pages never mention the cost, so you have no idea until you download, launch the app, subscribe (i.e. volunteer personal data) and then finally face a paywall.

And $50 to clean up some random files? No thanks. We used to pay half of that for full software suites, audio editors, etc and a lot of companies had healthy businesses selling perpetual licenses.
Next year will finally be the "Year of the FSD"
Deutsche Bahn introduces "MetaWindow"
Gentrification is also a contributor to the problem but it's hard to tell rich people that without them getting mad and blaming someone/something else.
It's just not worth $8k to me. My Model Y is underwater on its loan because of all of Tesla's price drops. My Model 3 would require a hardware upgrade, and I don't think I'll keep it long enough to justify the upgrade. I really liked the FSD trial, (even though it was very glitchy,) but I'm just not spending more money on a car that's underwater on its loan.

Even though FSD was glitchy, (entered a road without stopping, nearly got into an accident trying to take an exit,) I really enjoyed FSD. Specifically, I really enjoyed it on the freeway. I just don't see it as something that's worth an eye-watering amount of money, especially on a car that's underwater, or a car that I'll probably replace in 3-4 years.

I really wish Tesla offered a deep discount on FSD as goodwill for those of us who bought the Model Y right before they dropped the price. It's really hard to justify spending that kind of money after the car's value dropped so quickly.

$8k might be what Tesla needs to charge to break even, but as anyone involved in business knows, what something is worth is what someone is willing to pay, not what it costs to make.
Since childhood, I have been fascinated by Egyptian history. It's mesmerizing
Not doing this would be weird. Still good to see.
No, it's not just optimistic. Optimistic means you say - we are working on it, it's 3-5 years away, but we think we can make it.

Tesla and Musk, spent the past 10 years saying that many things they work on are <1 year away. For any sane person, that timeframe implies the product is ready, already tested and it's just a matter of figuring out the details.

I've recently spoke with somebody who absolutely believed Tesla is going to automate all their US manufacturing and fire all the workers, thanks to Optimus, beginning next year !
Amazing that you're demanding evidence when all you can provide is "from what you have seen". How about you provide some evidence?
The thing does seem awesome, except I don't see any mention of:

1. Hardware sprites (except in Wikipedia in regard to one TI chipset)

2. Redefinable character sets

3. Fine scrolling

4. Mixed graphics modes

These are what made the Atari 8-bits so powerful. Did the MSXs have some of those (or similar) features? Given all the other cool things mentioned, it would be odd for them not to.
I really like the layout of this page (and the design of the authors homepage -- https://www.hudzah.com/) . Feels like it could also be used on more positive content.

Source code anywhere?
personally I never see Reddit results in Google. It's always Quora and Pinterest that are spamming the results
>negative return on investment, energy wise, no one would be building wind farms

I don't think it's this simple considering politics is usually involved.

But if it was a simple profit question I still don't think people would be building wind farms.
Sony Music slams tech giants for unauthorised use of stars' songs
A couple of years ago I finally started to understand the Waters series facility [1], which was offered as an alternative to Loop. It's a bit finicky, and the error messages are often mystifying, but I have come to quite like it for some more complicated looping situations. The thing that finally made it accessible to me was a blog post by Joe Marshall, Series tips and tricks [2]

Ironically enough, once my use of it advanced enough, I found myself writing producing forms which are just a restricted form of Loop invocation - Series turns out to compile down to Loop. It's just that I (and others, apparently) find Series expressions more pleasant to deal with than Loop expressions.

[1] https://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node347.html#...

[2] http://funcall.blogspot.com/2022/07/series-tips-and-tricks.h...
Something looks wrong with the month-by-month graph... I'd expect December and January to be close to each other, but they are radically discontinuous. That's a priori very surprising.
some fidget with their phone while driving regular cars though
I would have thought making love to beautiful women would have been a key component of James Bond's workout!

In all seriousness, you'd be amazed at the results you can achieve with simple exercises combined with the MIND diet. You don't need to go crazy!
Driving is an AGI-complete task. It literally requires presumptive modelling of other human beings in order to be safe. This bullshit "uh let's just navigate as if every other car is on rails" approach will never produce the safety claimed by FSD proponents.
Replying to myself because I just thought of a 3rd example that is extremely common for me: news channels.

I don't watch news on YouTube, ever. If I see a video from a news outlet I automatically click "Don't Recommend Channel." And I've done that with all of the big major news channels like CNN, Fox News, MSNBC etc. But that doesn't stop videos from local affiliates showing up in a never ending game of whack-a-mole.

To be fair these do not tend to "flood" my recommendations. But I want them to go away all together and I can't seem to make that happen.
Sorry - just bought a new Toyota RAV-4; it does not have auto-lane change, the ability to auto merge onto the highway, the ability to auto-stop at the stop-light, etc.

It does have adaptive cruise control and the ability to stay inside the lines, but it absolutely will not automatically change lanes or exit off the freeway.
I'd assume both are named after System F, the Simply Typed Lambda Calculus enriched with a variety of types of what would widely be called generics.
A lot of emoji use is just slang. Just like regular word language. “that’s cool”, “that’s hot”—these can mean the same thing. Slang is also subcultural. :skull: won’t make sense to a 60+ year old man.

Another use is just to tack on to sentences like a little pizzaz. I’m going to the doctor :hospital:

Another common use is to soften formal-sounding written-only language. A lot of relatively older people don’t get or think about how their regular-ass sentence writing in informal contexts sounds stiff, angry, or even passive-aggressive to some younger people. Like writing a chat message with a period at the end? That can come off as very passive-aggressive. (See how even regular, grammatical, perfectly HN-approved (no emoticons) can have a tone even without any snark?) So if you have to write a sentence at the end? A smiley can soften that.

The ambiguity can also be intended. We all write for different people. We don’t intend to communicate perfectly. Some ambiguity is often good (in our opinion). One of the emoticons is interpreted by some as passive-aggressive, but far from all. That sounds like a great thing for a passive-aggressive person: plausible deniability.

People that dislike emojis and who also like to communicate clearly (perhaps to a fault) can take heart that some of the slang-energy is diverted into symbols. Now your regular-ass words are less likely to take on new, bewildering meanings.
It may be a wire protocol, but it’s also the primary method of interaction with the computer for technical folk. Do we really have to constrain ourselves to a wire protocol here, or is there maybe room for something more user-friendly?
The System Prompts of GPT-4o
Yeah, they didn't. Worse,

> it's clear that some areas experience significantly higher crime rates than others.

(emphasis mine)

"crime rates" — but then the data immediately after that is incident counts. The word "rate" means to measure some quantity against another, usually to find a frequency. And here, that would be per capita.

(The chart Y axis labels are also lopped off. E.g., the max on the one chart for me reads "0,000".)
Software incorrectly marked the post as a dupe - I've fixed that now.

We redact PII on HN pretty regularly. The basic principles are that we don't want anyone to get in trouble from anything they posted on HN, and we don't want HN commenters to use other people's personal details as ammunition.
Crime maps often just turn into population density maps. I always want to see these per capita. Relevant xkcd: https://xkcd.com/1138/
Maybe but the current state of Reddit may actually be super, super useful for RLHF training if they take into account the up/down votes.

If used this way low-quality content is GOOD for OpenAI's training as long as it gets accurately downvoted.
I already have DevCleaner and DaisyDisk... but what I really need is a 2TB MBP..

-- edit --
Ouch, I hate the dark patterns to sell this subscription. Just put a price to download then...
And apps that "focus on the niche" such as DevCleaner [1] are free too.

[1]: https://github.com/vashpan/xcode-dev-cleaner
this data would leave you thinking valencia st is worse off than soma
I haven't, because even though I paid for FSD back in 2016, it is STILL not enabled on my car. About 18 months ago I finally got allowed into the beta for around 3 months, but then it went in for service (doing the storage device replacement), and everything got reset including the ability to use FSD, so I'm back on the beta list and have been for a year. I submitted a support request for it maybe a year ago, but it got deleted with no response.

While it was enabled, I'll say it was terrible at things like driving in the city, but it was actually pretty good at interstate driving.
https://xkcd.com/1845/
It was mainly due to the token costs. With so many people trialing it, they add up fast. I think a one-use trial would be the best way to create urgency and capitalize on impulsivity (judging by my own impulsive purchases).

> I imagine people with ADHD are more likely to be excited by tools that help and they can often mistake the initial excitement with the tool actually helping manage their executive dysfunction.

This is a critical point I've been thinking about because I've done this many times with tools where I try it once, think it's going to solve my executive dysfunction, buy it impulsively, then proceed to stop using it, and then keep getting billed because I don't cancel it (ouch).
This does not address the safety of SF relative to other areas, adjusted for population and other pertinent factors. SF is wildly safer than the zeitgeist seems to suggest. San Francisco's overall crime rate has been decreasing, not increasing. Sure, we can have a discussion about reporting rates and adjust for those. As far as I've read, homelessness, a separate but interdependent issue, does not necessarily correlate with crime with any r^2 worth mentioning.
In I believe all versions of the App Stores that at least Apple has, if an app uses in-app purchase (so many/most subscriptions), there's a dropdown in the store to see the in-app purchases available and the price localized to your region. Don't disagree with your point, but just an FYI.
You didn't mention BMW.
Show HN: Shorta, Chrome Web Extension. YouTube Shorts in Their Regular Form
Given the Software showcased over this section I feel a little bit silly showing this but I think this may help someone somewhere.

There were times in which I found myself watching YouTube shorts and longing for a way to interact with them by going to certain timestamp or changing the short's speed (If following a Blender tutorial/demo for example). It is easy to change yourself the URL, but I thought on presenting this facility as a web extension instead.

You can find the code over here (Very simple):
https://github.com/cruiztorresj/shorta/tree/main

And you can see a demo over here:
https://www.youtube.com/watch?v=CzmYepiZ0TE

P.S. I couldn't afford five dollars to publish it over the Google Web Store.
Click on the timestamp in the comment (7 hours ago, or whatever). That'll take you to a page that has that comment as the root, so you can just copy that URL.
Graph Dev: share and debug GraphQL with your team