skysight-inc/HackerNews huggingface dataset:
Whether you agree that their work constitutes advances toward more general purpose AI, they're in an industry where that is ostensibly the goal, which makes their choice of mission statement appropriate.
Has Peter Thiel attempted to use AI for math?
They literally said in the earnings call that they now need fewer third party developers because of AI. And this is one of the biggest legacy companies on the planet.

Strange that the people in the trenches are saying that AI is helping them, but people on HN are screaming that AI is useless…
> The company’s mission is to understand the true nature of the universe.

I would think full-throated development of a diffusion model would make a lot more sense to achieve the mission, since its chief mechanism is separating signal from noise.

Considering we're the only beings in the known universe that have language, I'm not sure there are many universal insights to be gleaned from an LLM
The question is other than money, is it fair he puts himself on top of the Technical Team? What is next? Andy Jassy as Tech Lead of AWS AI Team?
Exercise, therapy and some kindness/compassion mindfulness. Very powerful stuff.
If you take your assumptions as a given and end up at a contradiction, then there is a rather logical explanation.
SpaceX and/or Starlink going public has everyone on their knees begging for a peace of the action.
It is a very bad start and teaches writing an interpreter and not a compiler. https://gist.github.com/no-defun-allowed/7e3e238c959e27d4919...
the main source i can find that seems to be the origin for "10 BYD dealerships burned since 2021" (carscoop) references this article:

https://www.ntdtv.com/b5/2024/05/16/a103881785.html
(which actually lists 11 minus the most recent)

translation seems to be mostly accurate, but i can't be arsed into researching the locations listed.

but yes, tens of dealerships per month seems like a bit of an exaggeration
What could have they possibly shown to the investors to get that kind of cash thrown at them? Asking for a friend...

Did x.ai just become worth more than x.com? We must be nearing the bubble popping...
It’s an interesting question you’re making.

If I’d got a 85” TV as a gift, should I complain about the fact it has 2 HDMIs instead of 6 I require? Such TVs are usually expensive so I could argue it should have 6 ports but then there’s some kind of compromise design is making.

I’d argue that having 2+ external monitors is not a standard cohort of users, and I’d check support before buying (in fact, numer of HDMI ports is one of the main parameter I check in TV contest). Yes, it doesn’t support that, it’s not a secret though.

Should it support? I, personally don’t care. Some people care. For those who care it’s design flaw, for those who don’t it’s not.
I, for one, eagerly await the new insights into the universe which will be unlocked by training an AI on dril's tweets.
Your technical interview is way too easy....
This is very true. Personally I would be more concerned about SS7 attacks.
Productivity is something that interests me, and I'm always looking for ways to improve. Thanks for raising that question.

What worked for me

- Having weekly therapy sessions
- Hiring an executive coach
- Finding a routine that works for me, not stressing too much
- Understanding myself and my goals
- Cold baths in the evenings
- Meditation (currently in progress)
- Having an example of very productive people in my life

Finding a routine was the hardest part. I tried multiple things and eventually landed on something that I'm continuing to improve. Key takeaways are hiring professionals for chores (accounting, taxes, cleaning, cooking), not stressing too much, and not multitasking on multiple projects (meaning weekdays are only for work-related projects).

What didn't work

- Surfing the internet for productivity tips
- Creating TODO lists
- Planning day in advance with calendar slots
- Creating a schedule of any sort
- Unrealistic expectations from myself and others

What I don't like about advice that you can look up on the internet, is that even if there is plenty of good information, it doesn't mean that it's relevant to your specific situation. It would be helpful at some point, but you need to figure out what is the next step right now.
Itsmeadarsh2008/nutritious: Enables the coder to write JSX directly in Python
Chris Szegedy is a big name at least
I can confirm the part about rebase workflow, it really forces you to understand the git model. I sincerely recommend every dev to try it at least once. It also got me into custom power tools for git, like incremental rebase, dual blame, etc.
There is some but not nearly enough to generate useful amounts of wind.
> The idea of using C in life-critical and mission-critical software is risible as long as the language definition requires it to have gaping security holes,

And yet, even though C has been the primary language for safety and life-critical software for decades, with billions of lines of code written to control things where failure results in loss of human life, there has been no significant loss of human life due to the C language.

Throughout the 80s, 90s, 2000s and 2010s C has been the primary language used to control industrial machinery that would kill people on software failure, munitions that would kill people on software failure[1], vehicles that would kill people on software failure, medical devices that would kill people on failure ... and out of these billions of deployments, with billions of lines of code, offhand I can think of only one instance where a different language would have prevented 3 deaths.

I'm not saying that C is safe, but it is clear from the statistics that the danger is very very highly overrated. There is a much greater danger in rewriting battle-tested systems just for the sake of rewriting.

[1] An industry I worked in, btw.
Are you claiming Netflix is a monopoly in streaming?
I can't rally upvote this without breaking the rules about obscenities. But I'll give it a :)

In python, if any of this gives you an trouble you can just replace the stuff in the class dict with your own functions. You don't even need to cast.
> All of these are very different from C.

With the changes you have in mind, that new "C+" would be much closer to Zig than C. For a backward compatible bounds-checking proposal see: https://discourse.llvm.org/t/rfc-enforcing-bounds-safety-in-...

This basically just associates a pointer and a length via new (and optional) annotations.
Because they still want to keep a good relationship with Norway.
There's trade and collaboration on fish. Russian fishing and transport vessels are using 3 major harbors in Norway.
Okay so what makes you think this will be any different?
You are not wrong. But my god, the tech debt in any slightly older web app's CSS is bonkers. Even with really well thought out templates you still end up with ~5000 line css files that have all sorts of state and magic in them.
And like all tech debt, it's a triage.

What I'd really like is more intellisense for css so I could take a css file and get sensible code complete and class suggestions for elements.
If one wants to replicate exact similar behavior in a webapp conpared to a native app we need the scroll/view animation to be available in all browsers. Right now animation is only possible with js and results in jittery animations.
I would argue that Microsoft do not have the same brand that Apple does. So they’re much more free to pursue OpenAI partnerships regardless of how well it works.

I don’t mean brand as in purely recognition, but what it means to people. Apple are held to a higher standard because of the specific identity they’ve cultivated. (Arguing the specifics of whether that’s deserved or not will be its own essay so I’m leaving that out)

You see this all the time on HN or Reddit, where any negative subject about Apple gains significantly more traction than other companies.

Meanwhile Microsoft has an identify that is more “meh”. Users expect Microsoft products to not have the polish, to have ads and be weird/quirky. Microsoft did Windows phone and the zune, Apple did the iPhone and the iPod.

Does that mean one companies products are better or worse? Maybe? Maybe not.

But it does mean that the brand appeal of every company has different characteristics that need to be accounted for. Siri giving bad answers is much worse perceptually than Cortana/Bing giving the same answers.

It also means Microsoft is more free to experiment and do things that are half baked because their brand identity allows for that. Often that leads to really interesting use cases ahead of its time.

I’d also add that Apple being “behind the curve” perceptually has rarely been an issue. The brand is that they enter late and redefine the segment. Again, not always deserved, but that’s the association. They often ride out trends that way.
Meanwhile in India... https://www.bp.com/en_in/india/home/news/press/bp-to-establi...
> No one in their right mind would write mission-critical software in C.

Read my previous response to you[1]: you clearly haven't worked on systems that would kill people if things went wrong.

[1] https://news.ycombinator.com/item?id=40488277
Here in oz lotto and pokies (one armed bandit) pay higher tax per unit $ than income taxes for most people. I hate that gambling now sustains state funding but our political system won't change a 10% consumption tax (fed/state treaty and every state has veto) so in some senses this is a discretionary payment.

But.. gambling addicts. We're taxing an addiction.

So in the US would e.g. $10b from this be additional state revenues or would it replace base taxation or would the Seminole tribe agree to a deal?
`git rebase --onto FIRST_ID^ NEW_PARENT`

is also super powerful to put a series of commits on top of a new parent when history has changed.

That happens with PRs and squash merges quite often.

https://stackoverflow.com/a/29916361/1000145
You use formal verification for logic and rags for source data.

In other words - say you have a model that is semi-smart, often makes mistakes in logic, but sometimes gives valid answers. You use it to “brainstorm” physical equations and then use formal provers to weed out the correct answer.

Even if the llm is correct 0.001% of the time, it’s still better than the current algorithms which are essentially brute forcing.
Just when you thought I couldn't get any more stupid.
LLMs are fairly good at understanding how a bunch of naming in slightly different forms maps around a system. This is basically the one trick that transformers/attention does! I think a smart copy/paster is what LLMs will be good at.

What they won't be good at is when there are deeper semantics, when there are performance requirements, when there's a complex data model, or when you need to come up with the data model and consider how that will work over time.
That's easy to say, but when it comes to shopping at the store, picking up several items and not actively thinking about it, are you really sure you aren't unconsciously interpreting that 9.99 differently from 10? Personally, I like to think that doesn't work on me, but at the same time I've caught myself saying something was '9 dollars' when I've been distracted and it was in fact 9.99.

And even if 9.99 really is 10 for you, it could mean that you're different than most people, rather than the methodology being faulty.
The point is that if an ad hoc distributed network of unfunded peers can do it, the barrier to entry is not that high for any well funded major enterprise which wants a slice of the pie.

Basically I'd be curious to know if they felt internally that they'd transition to a service provider or something if they had to.
It's a great blog, discovered it a few months ago and read every post within a few weeks. Love the random tangents - sometimes more interesting than the topic under discussion.
Russian trawlers going back and forth in that area…

https://x.com/PerErikSchulze/status/1794828268480438514
It's funny/interesting how some posts trigger "waves" of related HN submissions (in this case Lua). Have there been any efforts to analyze/visualize this?
Big discussion earlier: https://news.ycombinator.com/item?id=40482550
For the super high capacity demonstrations, 256 QAM and/or probabalistic/geometric shaping is typically used so we get to about 12 bit/s/Hz (accounting for FEC and pilot overheads). Interestingly, data rates are mainly limited by the transceivers (RF amplifiers, DAC/ADC ENOB... is not that great at 25-100GHz, which is required for the 50+Gbaud symbol rates).
Begging my parents to drive me to every library in the county so I could try and find books on computer graphics and AI in the 1980s. Not very many around then :(
Towards General World Model with Natural Language Actions and Video States
Unique? You mean tweets? Yeah sure

It's 6B down the drain. Saying grok 1.5 is competitive is a joke, if it was any good it would be ranked well in chatbot arena (https://chat.lmsys.org/). Elon is a master in hyping underperforming things and this is no exception.
I’m still confused as to the value of training on tweets though in that scenario?

If you need to effectively provide this whole secondary dataset to have better answers, what value do the tweets add to training other than perhaps sentiment analysis or response stylization?
Very little people seem to understand that.

And actually there is no need to go as far as “universe” to get to something that can’t be captured by language. Human existence is such an example.

For this reason I don’t think llms are going to be good film makers for instance. Sure an llm will be able to spit the scenario of the next action movie, those already seem to be automatically generated anyway. But making a film that resonates to humans takes a lot that can’t be formulated with language.
Of course.

But your example is a bit like 'why is it so difficult to build a hundred-storey building? My uncle John built a shed in his back yard once, perhaps we should ask him to share how he did it.'
Bad news… https://www.theverge.com/2024/5/14/24156712/meta-workplace-f...
most people can only see "winners" and "losers" in economic transactions.
That's a huge round.
152.9 exabytes worth of LTO media shipped last year
The generative world order: AI, geopolitics, and power
This is a dangerous power grab.
RPKI and social security ( nobody wants to peer with a idiot ) are already here and many things are in development.

The FCC and by extension the USA should GTFO and let the multi stakeholder models do their work.
> Gosset recognized that this approach only worked with large sample sizes, whereas small samples of hops wouldn’t guarantee that normal distribution. So he meticulously tabulated new distributions for smaller sample sizes.

Does it mean Gosset stop before the distribution converging to normal distribution?
The VPN cost to keep from getting sued should be included in that price.
This made me chuckle:

> Please don't be tempted to use fancy graphic or ANSI sequences in the
FILE_ID.DIZ file, as most BBS software will not allow this, and will render
your FILE_ID.DIZ file useless.

Everyone was doing exactly that and even I did something like +hundred artsy file_id.diz headers for the scene groups or my own groups. When "releases" started to be from 5 to 15 disks (packages), many sysops started to clearing the art away from the file lists and just leaving an oneliner of the title visible, like:

The Name of The Release Disk: [03/12]

Interesting too that as niche as they are today, they are still being made. The last ones I did was in 2015.
Maybe the first couple of weeks there was a misunderstanding, but by May 7 it was clear what the situation was. They was told they need BYOIP through and enterprise plan; they just didn't want to pay for it.
git is now so ubiquitous in software development, that it's hard to justify learning another version control system. You're probably better off learning the core concepts and using the most common git commands through some GUI.
why do wealthy people get mortgages to buy their homes when they can just pay full cash?
Rust began in 2006 and became stable in 2015. Zig still has a year at the very least!

Zig lacks the corporate backing Rust had, though, so it's hard to say when they'll get stable.

Regardless, even if it'll take Zig a decade, I'm sure it'll have a stable release with decent memory management as part of the language spec before C will.
Seeking investment is a sensible way to raise money and be more accountable IMO. And if investors are ready, why would anyone risk their own money? It's plain business sense.
The problem with using 2K external monitors with ARM MacBooks
That website's homepage really takes me back to the Old Web:

https://www.dreamsongs.com
That's what people said about AI art, yet here we are.
My BDFL Guiding Principles
Ah yeah you’re right. Though I am surprised he lists himself online as co-founder while being so far down the list here.

I wonder if everyone on this list is a co-founder? I would imagine they’d have preferred to list by seniority.
This might profit from some context: This is written by "John Lin", who is famous for his impressive voxel videos on social Media. He became a hallmark name in voxel discussions. See for example his youtube: https://www.youtube.com/channel/UCM2RhfMLoLqG24e_DYgTQeA
But we did fly rockets before reaching AI.
Benefits Of Automated Performance Testing
Boost your software performance effortlessly with Zapple.tech! Discover the benefits of automated performance testing in our latest blog post. Maximize efficiency, minimize errors, and ensure optimal user experience. Dive into the world of seamless performance optimization today!
> Why do you think similar approaches never landed on jax?

Isn't this just adding noise to some branching conditions? What would take for a framework like Jax to "support" it, it seems like all you have to do is change

> if (x>0)

to

> if (x+n > 0)

where n is a sampled Gaussian.

Not sure this warrants any kind of changes in a framework if it's truly that trivial.
This is brilliant, I like the execution, design, and clarity of navigation.

I noticed you’re using https://financialmodelingprep.com/ api. Did you face any challenges with data quality?
Honestly I believe that should wholesale replacement of people come about, programmers will be one of the last ones to be replaced, with the first ones being probably translators, then customer service, help desk clerks etc.

Basically almost all intellectually challenging problems have a major component of programming, to the point that most engineering professions are thought of a special case of 'programmer'. Data Scientists', ML engineers', Electrical engineers' valuable outputs are usually some kind of computer code.
I should start an AI company.
What a wild story. From one of the linked reports:

> it took Fleming over 20 hours to take the defaced website offline, but the long time was not for lack of trying: his own spyware recorded him clumsily attempting to restore the site fairly early on but ultimately failing to do so. while pcTattletale itself has now been entirely down for a few hours, the sending of screenshots to the s3 bucket continued until Flemings aws account was locked down by amazon shortly before publishing this article.
> I can hear whatever my PC can output

This would require measuring equipment, since you can also only hear what you PC can output that you can hear. ;)
For the simple fact that even if it's true that renewables are cheaper than oil, it's still a much higher investment to build a renewable plant and hire people who know how to work it than it is to continue existing operations with existing people.

Edit: In addition, if the environmentalits were to "win", that would turn essentially the entirety of these companies' existing capital into 0 value. So not lobbying to stop that is extremely dangerous.
Plenty to chose from in embedded, high integrity computing, RTOS, Aix, IBM i, IBM z, Unisys,....

Just because HN folks don't used them, doesn't make them irrelevant in the set of companies and indivuals that seat at WG 21 table.

That is why I used the expression "tunnel vision for desktop and FOSS UNIX clones.".
ML < Rocket Science < AGI
You should check the article again. My quote came directly from a quote inside the article. My critique was about that quote.
This: https://github.com/kanaka/mal
Semantically it seems truly that trivial, but in practice handling expectations in AD requires some additional machinery not found in implementations that were not written for nondeterminism.
I do use my phone to measure, though the mic might be filtered as well.
https://en.cppreference.com/w/cpp/compiler_support and it doesn't have all of them.
70% fewer?
Makes you wonder if those cables should (can) be insured against such problems instead of relying on a craber's insurance.
Sorry I don’t have a news source, but saw it mentioned in social media. It’s basically a daily occurrence in recent times is my recollection, and often the investigation is done by the offending car company itself rather than public officials, usually resulting in them pointing fingers at something else (like “bad charger”).
ESA two-part Proba-3 spacecraft is meant to create artificial solar eclipses
Imagine hating someone so much you resort to making stuff up.

The engineers did not think it would be a disaster, they thought it would erode as it had in previous testing (which would've been fine since the water plate system was already being designed), but hadn't expected the concrete to shatter the way it did.

Nearby residential properties have already either been bought by SpaceX or are otherwise required to be evacuated before launches. Those evacuation notices are a big part of tracking when launches are actually about to happen.
Imagine inventing the Adam optimizer just for some guy on Hacker news to accuse you of resume padding
Watch the Joe Rogan Experience? Why?
as a backend dev what do
i do to stay safe from this?
Shame that you guys don't actually believe in this, as it's actually the way.
Why is nobody using stackaid? $16,161 raised seems insanely low
The answer in my team's case is browser support and especially Safari on iOS. Our UI is quite complex and demanding regarding functionality, visual presentation and accessibility and would benefit greatly from most of these features, especially subgrid and container queries (and anchor positioning, but that feature doesn't exist outside of the latest version of Chrome).

Even though MDN lists most of these features as "baseline" supported, the reality is that a small but still meaningful share of our users are using old iOS devices – especially iPads – and they can't or won't update their operating system to update Safari. Our oldest supported browser is Safari 14 because of Flexbox gap support.

None of the other platforms are a problem, as basically everyone else is using an automatically updating evergreen browser.
A variant of this idea is circulating in the corporate world: the CO2 emissions of an email. A lot of people now seem to think that hitting send in Outlook causes a little puff of gas to be emitted somewhere. Their solution is to send their message via Teams instead. Have they analyzed the CO2 emissions of a Teams message? Of course not.
I usually don't want to call people "idiots", but I would want to prevent confusion. Even though English is a Germanic language, it's not German. It's a matter of expectation. If a book title says "Lerne Deutsch" it's not meant to mean "Learn English". Same for "Learn Lisp" and "Learn Clojure". Both books usually will be about different languages. For example there was a book "The Little Lisper", for Scheme it was renamed the "The Little Schemer". People then knew that the book is using the Scheme dialect of Lisp and not Lisp itself.

Btw., even though "lernen" and "learn" are coming from a common language background (Proto German, also called Common Germanic, no joke -> https://en.wikipedia.org/wiki/Proto-Germanic_language) and here mean the same.
The plethora of streaming services suggest you’re correct in the barrier not being that high.