skysight-inc/HackerNews huggingface dataset:
Lots of things to move from multiple (mental) "I'll deal with it later" piles to here, so excuse the randomness...

I was diagnosed with ADHD at 44/45 too. I can't believe that no one (not even me) identified it based on all the symptoms and signs throughout my life. Medication was a life-changer. Suddenly all of my therapy started to become more effective. I was able to slow things down and actually take a long, hard look inside. Gave me the ability listen, understand and validate my emotions, fears, concerns, behavior... instead of just reacting or pushing things down and out of the way. One important realization was that the medication wasn't just for work hours. It also enabled me to be "present" outside of work too.

Just wondering if anyone has an opinion on Andrew Huberman. I'm always skeptical about anyone on social media these days. Doesn't seem like he's trying to sell us anything, and has seemingly decent, understandable explanations about brain bio-chemistry and characteristics of those with ADHD.

Can anyone recommend a tool for the phone that can use Siri/etc to record and organize reminders, thoughts, etc? Imagine the functionality Loom (mentioned in the link), Obsidian, todoist, etc... all mixed into one app, but Voice/Siri interaction being the main interface to interact with? I find that when I use a visual UI, I end up doing something unrelated. Tweaking settings, noticing a txt I haven't responded to, trying to organize previous tasks, etc...

I was one of those stay-up-to-the-late-hours type of person all throughout my life. That of course changed with a family, and so I began to suffer as a result. I found that I had no time to focus on learning and keeping my skills up to date. It made me really frustrated, fearful and resentful. Especially difficult bc I never really "worked", I was passionate about what I do and love it. At some point I figured out a way to use that anxiety to get me out of bed early in the morning (quite unusual and difficult for those with ADHD) and to my desk hours before anyone could disturb me. Suddenly I was getting up at 4-5am (6-7hrs of sleep), ready, refreshed and at my desk, giving me several hours before anyone could interrupt me. That all changed recently due to some personal matters, but I think I'm on the right path to getting back there.

Anyone else heard that those with ADHD often think/write like a lisp language? Lots of "...", deeply nested "((()))", "etc"... in their sentences.

I see every sign of ADHD in my young daughter. I guess I'm glad that I have and can recognize it so that at least I can empathize/sympathize/understand/validate what she will go through in life, and hopefully be able to provide some guidance/help/support for her as she navigates the difficulties. I wish I had had that throughout my life, and in many ways, on a daily basis, I feel like I'm learning everything from scratch with my recent discovery. I now see everything through a different lens, like I needed glasses all my life and only recently received glasses.
It quite literally was. It had some of the fastest growing user growth ever. There was something like a million new users just days after ChatGPT launch.
Aliasing error, the downvoters simply didn’t arrive yet.
It's an excellent response to the rather dismissive attitude that a subset of developers have about legacy anything. Too many times they don't care about portability and/or correctness, and are happy to dismiss whatever they don't use as irrelevant.

They did it when all the world was an i386 (a take on the "all the world's a VAX), and now they're treating even 32 bit x86 the way they used to treat all non-x86. It's not a good look.
Microsoft officially launches Loop, its Notion competitor
"The Physical Basis of Music" by E. T. Jaynes
Storybook-test: new testing library for Storybook, powered by Vitest
If I'm not mistaken, the Georgist model taxes the unimproved land value.

Your hypothetical tree farm would be taxed at the same rate as a neighboring parcel that didn't have a tree farm on it.

But you don't have to wait 40 years to realize a return on your investment if you don't want to... the sale price of the land would be going up every year, because the trees would be growing (a tree farm with 20 year old trees on it would be worth a lot more than a tree farm with 1 year old trees on it, yes?).

I myself am not fully persuaded by Georgism, but as far as I can see, there's no disincentive to things like tree farms under a Georgist model.
That's where she lost me. Every vendor I've worked with from the valley was rarely white and about half the time male. Admittedly a small sample set but still...
I think I want to clarify this a bit, like: if you're building something like Noise, KCI matters a lot, because you're defining a generalized secure transport intended to be widely re-used, so you want to ratchet up the security promises you can make as far as they can reasonably go --- and even then there are Noise patterns that don't maximally address things like KCI?

But most people most of the time aren't building and shouldn't build things like Noise. I'm the weirdo who thinks people like Trevor should build Noise, and generally other people shouldn't, because there's a whole lot of engineering context that you need to have to make sound decisions. It's one of several reasons I wouldn't feel qualified designing something like that.

If you're _not_ designing a generalized reusable system --- and if you can get away with not doing that, you should, because reusability in cryptography designs ratchets up difficulty, which is the last thing you want with cryptography engineering --- then it is simply not the case that every design should be assiduously avoiding key commitment weaknesses.
I was just thinking about this too after using ChatGPT-4 a bunch this past week.

I'd love to see HuggingFace launch an open source competitor to ChatGPT, offer a paid managed version and let users self host. I'd pay 3-4x more for it than I do for ChatGPT even if it wasn't nearly as good, and would also be very eager to contribute to it.

Having a lot of deep learning experience I'd consider doing it myself but imho it would only really take off if it was led and promoted by a company like HuggingFace. (see Open Assistant)

It also helps that they already have some experience doing this, since they started out as a consumer chat bot company.
I'd like it tied to their freedom. Signing off on absolute bullshit should be a trip to jail.
> Neural networks are notoriously bad at exact approximation.

Neural networks can compute pretty much anything. There's no reason, given the same inputs and with enough trainining data that it shouldn't be able to discover the same physical laws that were hard-coded previously.
I always find it interesting when people have a hard time getting a diagnosis. I was diagnosed as a child with ADHD and I've had ... tens of psychiatrists over my life and when I eventually move and go to a new one I've never once had one want to re-diagnose or have me prove in some way that I'm ADHD. I just tell them that I'm ADHD and my other neurodivergent issue and they prescribe me my medication.

I've never told a new pysch who my previous psych was so I'm sure they're not getting my medical records from them unless there's some sharing system I'm unaware of.

I wonder if I come off as strongly ADHD. I've been called "intense" before, whatever that means. I'm definitely fidgety and a horrible leg bouncer.
Weight loss drug Wegovy cuts risk of heart attacks in milestone trial
Related recent discussion: https://news.ycombinator.com/item?id=37908268
who said anything about clearing? I just meant that \r goes to the beginning of the line, so you can output a busy spinner
Rust has a stable C export ABI.
which is why we don’t want this as it will make it harder to compete
Cantor on Infinity in Nature, Number, and the Divine Mind
Looks promising, but not usable for me atm, formatting doesn't seem to work and i also don't find any support for eslint.
Using founders of $1B+ companies is absolutely using outliers and is evaluating survivorship bias.

As it relates to this article, a $1B+ company generally has product market fit and the founder has taken $10M+ off the table, which is more than they would have made in a regular job over a ~10 year period. The authors concerns don't apply in that situation.
It really does a disservice to the cause as well. If we assume everything bad is the work of untouchable dark figures in smoke filled rooms, we'll never confront the real problem of various policies with broken incentives.
I had the exact same problem and just like you I believe it’s an important feature.
The central dining rooms in such places are more like college, corporate, or hospital cafeterias, there's usually healthier options available and the focus is decidedly tilted towards cost-savings vs. offerings that compete with high-end restaurants.

I'd dare say most people are better off eating from such a cafeteria for 80-90% of their meals, so long as they have the option 10-20% of the time to go out and get something different to switch things up.
> How do we know it's automatic without knowing the quality of each request?

We don't need to. Based on what we already know, through years of news, abuse, etc., it is entirely inconceivable that every (or nearly every) single request is the perfect paragon of thoroughness and reasonableness.

> If it's a rubber stamp, why are any rejected?

Because no one actually uses "rubber stamp" to mean that literally every single thing goes by, unquestioned.
Damn the Ally is very impressive.
> Free markets have not a lot to do with the technological leap of solar, that was mostly German subsidies

The technology used to make solar panels is the same used for semiconductors. It evolved al Moore's law speed thanks to an unregulated free market for the tech industry. Same reason we enjoy a cheap supercomputer in every pocket in 2023 instead of the city’s Eniac. That’s what lack of regulation does.

What German guvernamental subsidies did was to build a lot of Solar capacity in a country with relatively little sun. I hope it works out for them, but I remember earlier this year importing nuclear electricity from France.
Mind at Large
The book “Palo Alto” by Malcolm Harris does underwrite a lot of the terse remarks made in this blog post.

I think that book should be “mandatory reading” for the HN crowd.

In particular, I found the history on Stanford university quite enlightening.
https://www.science.org/content/article/models-galaxies-atom...

https://towardsdatascience.com/physics-informed-neural-netwo...

https://maziarraissi.github.io/PINNs/

https://arxiv.org/abs/2001.08055

https://arxiv.org/abs/2009.11990
Thanks. Agreed.

By "stateless", I'm assuming you mean functional programming paradigms of immutable, idpotent, and no side effects.

FWIW, for build pipelines, my quarter-baked notion is to use ZFS snapshots (or equiv).

I'll check out Pluto for Julia.

As you know, state is a challenge for "serverless" too.

I've been reacquainting w/ RDBMS tools. There are a few new strategies (implementions) for change tracking. Back in the day, we just banged the rocks together (ook, ook), so I'm very eager to learn the new hotness.
I am waiting for the equivalent of web SSL certificates for video. Each N frames could be signed with a cert. This way a content producer could publish a video and video clients could verify the source of the video frame-by-frame to verify if a video has been manipulated. It could go as low level as the cameras signing frames as they record. Perhaps having videos with a verifiable source could help people verify non-AI videos. Sure content creators could publish their own AI video and sign it, but perhaps the technique could make manipulating existing video more obvious.
This year's top startups at Station F
free software licenses means that any person or company can maintain their own fork of linux or git, and if the software is useful to them and nobody else maintains it to their satisfaction, probably will. git means they can easily incorporate the work of other people who are doing the same thing instead of duplicating it

the maintainers are doing excellent and praiseworthy work, but this is not just a result of 'culture' but also incentives: if they aren't sufficiently responsive to user needs, they'll quickly find themselves maintaining software with a user base of only themselves

the problem with this theory is that it can't explain the absence of successful forks of python 2, wikipedia, and firefox
The Protagonist Is Never in Control
Even if we aren't going all in on nuclear and not other renewable energy sources just means we'll blow past it. You can see this happening on the US right these days where there's some admission that something needs to change but it's pushed towards longer timeline changes like nuclear because it pushes out the date that existing interests like coal plants (and by extension coal mines, hello West Virginia) would be pushed out of the market.

I'd love to see tons more nuclear including fuel reprocessing which the US was very resistant to for a long time due I think to proliferation concerns.
> Maybe I am severely misinterpreting what happened here (apologies if I did), but to me it sounds like a he is blaming Google's review process when he should be looking at his release and test practices.

While you make all good points, you're a career SWE who's already witnessed or made all of these mistakes enough to articulate what he should have done.

His own release and test practices be damned-- if devs can't quickly push a hotfix for a launch bug, I assume there is no framework to respond to anything more pressing (like security issues) in a timely manner either.

If you discover one of your libraries has been compromised, what's the quickest path to remediation in that scenario (that doesn't involve your app being de-listed altogether)?
Depends on the area, i imagine. In Washington, literally 100% of the lots i looked at were within a mile of hundred+ acres of tree land. A few big companies own a _ton_ of land in WA.

Also, i'm picturing the value of the land literally by what i'm trying to buy it as. Not sure how much more accurate it can get than that (at least, it's as practical as it can get. Since it's literally the sell price). These are pretty rural, fwiw. 5-10 acres, ranging from 150-250k. Heavily depends on distance to towns, interstates, etc.

Fun fact, a couple of the companies that own these lands i refer to also have a few (very limited) special gated communities. Lots that are ~20 acres, with a ton of HOA-like (CCRs) restrictions on preserving the trees. It looks a lot like living _in_ a park. Trails everywhere, etc. I was really close to getting one of those, but wetlands make a lot of purchases difficult here in WA.
> incentive to fake the earth's evident age

Not arguing the specifics here, but a deliberate effort to deceive is not a prerequisite for a widely held theory to be false. It is likely that all of the proponents of luminiferous aether believed they were dutifully following the evidence but they still arrived at the wrong conclusion.

All evidence is theory-laden. Scientific study is still a sociological system despite our best efforts (yes, I've read Kuhn like everybody else)
This screams Theranos bullshit. And investors are along for the ride for over a half billion dollars.

We should also talk about how crappy it is that corporations are fighting over a market of barely-insured people who can’t afford to see a doctor. This is a product that shouldn’t exist at all.

Apparently what consumers are clamoring for in healthcare is less human interaction, right?

Read between the lines: this is basically a pod with a voice assistant and screen that guides the user through doing unsavory things like giving yourself a strep test. Uhh…who is going to agree to do that?

I think customers are going to be creeped out by the fact that this is packaged as a “pod.” Who has ever wanted to go inside a pod?
I mean, get sufficient inflation and grimily there will be reductions (human lives) from such an act
Matt Levine wrote about this recently. In theory there's a win-win trade where you should be able to buy out your 3% mortgage at a discount (or equivalently, pay it off and get a mortgage on a new place at a slightly higher rate). In practice, banks won't do this because they figure you're bluffing and will eventually move anyway.
Google is also a part of the problem here because everything is automated if Google wanted to help nurture the creative web they could at least feature new sites on web.dev.
I adhere to the actual definition of the word, and you adhere to the one that fit your narrative. You admit that my use of the word is correct, then accuse me of a cheap jab for using the word correctly?

Like I said before, the S23 doesn't have a headphone jack, so for me it's not even in the running - so its OS updates don't matter. I usually find a reason to get a new phone before SW updates run out anyway.

You value features that don't matter to me, and I value features that don't matter to you. You seem to take a stance ("you're basically out of options for something remotely competitive to Apple") that your values are the ones that should matter to others.

> If you enjoy throwing away devices sooner berceuse of ASUS's shoddy update policy, then go for the Asus.

I hope this was just sarcasm, or more imprecise wording on your part, but if not... you really shouldn't throw away your working devices just because they won't receive future software updates.

p.s., I think the strongest interpretation of an argument is usually the one that most accurately reflects the established meanings and contexts of the terms involved, as well as the underlying facts and logic.
Proof (almost noone) reads EULAs
Central europe (minus the alps) is way easier to predict. You can just look at the clouds on a satelite and see how they move, usually west to east, and then extrapolate linearily.

All the fjords and mountains and lakes in norway really make it hard, to precicesly model it. And I think they strongly and chaotically influence the weather in sweden as well.

Also, there are way more people living in central europe, so probably more effort is spend on them.
I'd expect talking about TLB misses as a junior engineer thing. That's stuff you learn in school.

Id expect senior engineers to talk about how they will monitor this system, and to bring up things like customers we know we don't trust.

A senior engineer might tell you that running into TLB issues makes a suggestion that your approach is wrong and it's about time to move the solution to your data warehouse
was expecting a, "..... and was brought up on charges." at the end.
I don't have the greatest references available, but a naive Google search brings up quite a few sources from databases and surveys that say that while 30% of poker players do better than break even, only 18% of actually manage to make any kind of worthwhile income from poker and only 5% of poker players make what is considered good income from it.

I don't know what "good income" is, whether it's like 100k a year or 500k a year... but I can take a pretty good guess that unless you're in the top 15%, poker is probably not worth it professionally.
pathologizing people you disagree with is a pretty dehumanizing tactic and one i think we should pretty much stay away, or from doing armchair psychology on a whole group of incredibly diverse people.

the author's argument such as it is is a series of strawman arguments. this isn't academic it is political, which is fine.
Public service announcement: drugs like Wegovy act on GLP-1, which is also acted on by dietary fibre intake. It's $1300/month to avoid having to eat the human biology intended amount of fibre. Fibre is also 2 calories, not 4 as it is typically marked, and it would be extremely hard to overeat anything that contains it in as grown form. To achieve similar results, eat more fibre.
Here they recommend about 365... Or half a kilo a day...
Camping equipment is designed to be compact and fit in a backpack, all of this stuff was figured out by the 1930s traveling workers who were known as hobos.

You don't need a large variety of spices, and spices are compact as heck.

If you're going to cook, you can buy same-day or even a few days' worth of food.
Married startup founder in his 30s here.

Wife actually had her own startup for a good bit in a non-technical field, she wound that down a few years ago, now she's doing the stay with the kids thing, while I'm working to bootstrap a company.

The big thing that helps is not overlapping, while simultaneously being understanding. My wife has been my biggest source of mental stability on this crazy journey. She's my editor-in-chief, and I run my harebrain ideas past her. When I set out doing this we talked for a long time as to what the exit and breaking points are.

Startups require a certain amount of personal pride, but too many founders make the startup their entire identity, which the article exemplifies beautifully. There are too many people that treat the founder title as a status symbol. And from the article, that seems to be the case for both the subject of the article, and the author.

For me, the simple reality is if my shop can't bring in a paycheck by X date to support the family, it doesn't matter how well the startup is going, I need to go out and get a job. If that means I have to go sling contract code, or get a corporate gig, or go down to the nearest city and tend bar on the weekends, then so be it. The only way to truly fail at this game is to not play.
They already have gaming cloud, wouldn't be unthinkable to offer gpgpu cloud.
I'm currently fighting this exact fight with Blue Shield
I was getting nowhere until I started connecting with and then publicly shaming their executive leadership on LinkedIn. If you do that, you get transfered to their "executive relations team" who still are unable to get things done, but it's at least a different department you can file grievances that go nowhere with.

Also see:

https://news.ycombinator.com/item?id=38207866
Silicon Valley does have untouchable dark figures in smoke filled rooms though. Many of them have a podcast.
FiberHub.
The author mentions white supremacism/nationalism 6x ... pretty comical. Have they been to SV? This is your brain on salon.com
Project author here, just noticed that someone submitted this on HN. Thanks for your comment, I didn't thought about this. I wonder what would be a proper way to cover "who is behind"? Perhaps will add some kind of note to the bottom of the web page, something like: "WiltonDB Software founder previously worked on OpenJDK maintenance and packaging at Red Hat".

To clarify, this is a single-person effort, it took about a year to bring the project to current state. Though with current packaging setup (for Windows and Linux) future updates are expected to be smooth. Most of the efforts now are around the tooling like backup/restore.
Pretty surprised to see this given GnuCOBOL (previously OpenCOBOL) has been part of the GNU project for a little while. https://gnucobol.sourceforge.io/

It makes sense as OpenCOBOL isn't part of GCC as a front-end, it generates C code that is compliant to various COBOL standards and extensions. That C code can subsequently be audited and/or compiled with GCC/clang.
The citations are built to reference the ID of the quote object in the metadata returned by the `quote_lines` function. I have been able to get them to point elsewhere, but not in the GPT itself; only with a userscript that intercepts the fetch for the completion and re-writes that metadata. Even then, encoding a URL for the real source would require a lookup somewhere to get the original source.

I had a little luck instructing the GPT to perform “an additional step after calling the `quote_lines` function of the `myfiles_browser` tool” so maybe that’s worth poking around further.