skysight-inc/HackerNews huggingface dataset:
I dont get why you want a titlebar. Like what does it add? Its literally empty space with no function.

You can still grab the window or double click it even if part of it has a search bar in it.
Probably from Nvidia's GTC keynote:
https://www.youtube.com/live/USlE2huSI_w?t=2995.

In the keynote, Jensen uses 1.8T in an example and suggests that this is roughly the size of GPT-4 (if I remember correctly).
Getting the most out of existing hardware is a pursuit in itself. See the retro computer scene. Car "nodding" is similar to that. Some want a factory perfect Corvette. Some want a model A with a engine 50 years newer. Taking something known and familiar and twisting it to your will is awesome.
Building for Our AI Future
They’ve got, with wildly varying levels of skill and investment: unity, unreal, godot, or Roblox.

Not quite as fun as modding though.
Keeling Labs (YC W23), RL for Battery Optimization, Is Hiring a Senior Data Eng
The big difference is that people used to mod existing games. That allowed modders to leverage the game's engine, gameplay design, art, and even its existing playerbase.

Having a full-featured open-source game engine is great, but starting with that means starting at square one.

By obsessively enforcing copyright and "anti-cheat", we effectively bury the game-making process 6 feet underground. Every game is declared dead at the very moment of its release. Every decision its creators made up to then is set in stone. The game studio itself must exist in isolation, ignorant of the very world it is creating its games for.

It's no wonder that AAA studios are so out of touch with the people who play their games. Gamers are explicitly excluded from the creative process.
Perhaps more to the point, you can also use the filesystem view and edit the config files manually rather than by GUI magic if you prefer (or if you need to diagnose a problem in a solution resulting from different projects having people do different magic GUI things, because comparing files side by side is much easier.)
Match Operator Guards in Elixir
I'm not OP, but George Hotz said in his lex friedman podcast a while back that it was an MoE of 8 250B. subtract out duplication of attention nodes, and you get something right around 1.8T
Your experience reminds me of how I felt after a situation that was more like chronic trauma, vs an acute near-death experience.

I did Teach For America it was by far the most difficult thing I've ever done. This definitely isn't true for everyone in the program, but I think my personality combined with the circumstances of my placement led to a very difficult experience for me.

Every single day, I got out of bed, tired, to go into another day of getting my ass kicked. Sunday was the worst day of my week because I had 5 days of trauma ahead of me. And honestly, I don't think "trauma" is an exaggeration of the experience of having 5 consecutive days of continuous stress overload every week for weeks on-end.

That was 14 years ago, and ever since I've felt like I'm walking on sunshine nearly every day since. Which is weird because I dealt with a lot of depression before my teaching experience.

However, I know a lot of people who experienced the opposite, with a lot of bad and lingering mental health challenges.
What's the difference between this and a container?
Meta's battle with ChatGPT begins now
I think people are over-extending themselves.

This article mentions a single-earner household with $160k income purchasing a $900k+ home.

Assuming this is with 20% or less down at current interest rates, this is bonkers. The term "house poor" is cliche, but I think it describes the position most California buyers are putting themselves in.

For comparison, our household income with RSU deltas is projected to be 500k this year. Half of that gets taxed away. I do not expect to make this much money forever. I'd be satisfied if we made this much for the next sixteen months, then took 50% paycuts.

We bought our home earlier this year, and we set our max price point based on what we could theoretically pool together from all of our liquid holdings and retirement, in a catastrophic situation where we both couldn't find work.

There's an obvious flaw here -- if things got really bad, liquid assets would be devalued, to the point where we may not be able to cover. We got around this by cutting our budget in half, and using what would have been a 40% downpayment for a 1.5 million dollar house to put 75% down on a $800,000 house. We now have a house that cannot be reasonably commuted from on a daily basis unless we leave at 4 in the morning, but we also won't be screwed if we lose our jobs.

I kind of regret buying. Our house immediately appraised for $30k over sale price, and is nearly $80k over a few months after closing. That would get eaten up by taxed and fees if we sold. I expect housing prices to crash after people run out of money sources to tap.

I have no way to prove this, but my impression is that most people with mortgages are buying more house than they can responsibly afford, and they are effectively gambling on not losing their incomes.
600,000 H100 go brrrr
Jane Street Wants Its Secrets Back
Reverie – A user space system-call interception framework for Linux
Your article is a review of one language model (GPT-4) in diagnostics, while the original comment was an inquiry about world models.
> It’s funny you mentioned physics because really smart physicists would frequently spew all kinds of stupidity

Relevant xkcd: https://xkcd.com/793/

Not all physicists. Some are pretty chill. In fact a physicist I worked with was the one who clued me in to the whole "lots of physicists think they know everything" joke/not-a-joke thing, he thought the whole situation was very funny.
I do that all the time using WebPlotDigitizer [1]. Works great.

[1] https://apps.automeris.io/wpd/
Thank you sticking to it for so long! It was a refreshing perspective on natural theology. And I will have to think about "can there be a reason for base_ruleset" quite some more.

Wishing you all the best as well :)
Also https://news.ycombinator.com/item?id=40071540
Difficulty finding it could just be where you live? Every supplement shop within 50 miles of me (of which there are only 4) has an unflavored, unsweetened protein. And, if I type "unflavored unsweetened whey protein isolate" into amazon, there's 30 bags for me to choose from. I randomly clicked on 5 of the first page results, and none of them had a sweetener on their nutrition facts/ingredient list.
Yes or no, do you conceed that for almost everyone, none of what you said matters, and almost everyone can use llama 3 for their use case, and that basically nobody is going to have to worry about being sued, other than maybe like Google, or equivalent?

You are using all these scary words without saying the obvious, which is that for almost everyone, none of that matters.
Thanks, that would be a good theory that could be tested by comparing the number of houses sold with the number of loans reported, presuming constant levels of legal compliance. Do we see that? Perhaps we do, but the article seemed to focus on a real estate agent's anecdotes and impressions.

Also, would I be right to presume that this applies only to standard real estate loans? Are margin loans against stock required to be reported? Or private loans from parent to a child? I'd thought the reporting requirement had more to do with cases where the loan acts as a lien against the house.

Edit: Here's a Bogleheads thread that summarizes my understanding: https://www.bogleheads.org/forum/viewtopic.php?t=352355. It looks like in California markets (where the article is about) there are various companies that specialize in short term loans to enable "all cash offers".
If it happens at the state level it will be YIYBY.
If you've formally proved that correct, then either it can't overflow or there's a massive bug in the prover.
I might be very biased:

- This report looks like it was put together in a week's time.
- As an academic, I am sure the quality of the presentation is lower than that of 90% of the academic papers out there.
I don't mean to be rude, but why are you commenting on formal methods when you clearly have no idea what they are?
Cool and good work! As someone who been deep into photo editing for the past 15+ years with pixlr.com I wish you a good luck!
Related. Others?

Open Source Mission Control Software from NASA - https://news.ycombinator.com/item?id=25950487 - Jan 2021 (48 comments)

Open Source Mission Control Software for Web, Desktop and Mobile – By NASA - https://news.ycombinator.com/item?id=18864485 - Jan 2019 (1 comment)

A web-based mission control framework by NASA - https://news.ycombinator.com/item?id=18429909 - Nov 2018 (67 comments)

Integrate Kerbal Space Program Telemetry Data into NASA's Open MCT - https://news.ycombinator.com/item?id=12411333 - Sept 2016 (1 comment)

NASA's Web-Based Mission Control Framework - Open Sourced on GitHub - https://news.ycombinator.com/item?id=12369073 - Aug 2016 (2 comments)

Open MCT – Open-Source Mission Control Software - https://news.ycombinator.com/item?id=12339966 - Aug 2016 (14 comments)
"We" in the case of plastic:

Lebreton, L., van der Zwet, J., Damsteeg, JW. et al. River plastic emissions to the world’s oceans. Nat Commun 8, 15611 (2017). https://doi.org/10.1038/ncomms15611
It's a really funny story that I comment about at least once a week because it drives me nuts.

1. After ChatGPT release, Twitter spam from influencers about chatGPT is one billion and GPT-4 is 1 trillion.

2. Semianalysis publishes a blog post claiming 1.8T sourced from insiders.

3. The way info diffusion works these days, everyone heard from someone else other than Semianalysis.

4. Up until about a month ago, you could confidently say "hey its just that one blog post" and work through it with people to trace their initial hearing of it back to the post.

5. nVidia press conference some time in the last month used the rumors as an example with "apparently" attached, and now people will tell you NVidia confirmed 1.8 trillion.

my $0.02: I'd bet my life GPT-4 isn't 1.8T, and I very much doubt its over 1 trillion. Like, lightning striking the same person 3 times in the same week.
Unfortunately, it's not clear that we know what to retool in society even if the will were present. Everyone has their favorite "obvious" cause of Americans getting fat, but few of those hypotheses actually make any sense of the data (in particular the years that most of the increase occurred, the breadth of regions and demographics affected, and the sudden onset compared to the timescales of potentially related trends). The rest usually fail to replicate at different scales and locations that should show a correlation.
They tried that already, got the "good performance" and then stiffed him on the bill.

I don't think they'll be able to stiff him twice.
Benign adrenal adenoma.

From the pathology report:

"Representative sections predominantly consist of a normal adrenal gland with intermixed adrenocortical tissue and medulla. A distinct nodular area is present with prominent foamy-type clear cytoplasm reminiscent of normal adrenocortical tissue. No significant cytologic atypia, necrosis, or increased mitotic activity is present. These findings are consistent with an adrenocortical adenoma. Note: this area appears to be limited to the adrenal gland although some adrenocortical tissue is present in the adipose tissue outside the capsule that morphologically appears dissimilar to the nodule and likely represents normal/benign tissue. Clinical correlation recommended."
If you're Asian American (like me and a large proportion of White Collar Workers) your options are very few and far between.

Furthermore, it's very easy to find a job in these hubs, not just in Software but also in Hardware, Finance, Accounting, Pharma, Aerospace, and Government.

In addition, lots of people just like the weather. Polar vortexes, hurricanes, and snow does suck.

And finally, there are some people who might not feel as safe in Middle America due to their identity (racial, sexual, or gender).

This isn't to say that Middle America sucks (it doesn't), but people make rational choices about where they live, and it's insulting to say otherwise.

You have valid reasons to live where you live, and I listed those of mine and my peers.
Google’s newly formed 'Platforms and Devices' team is all about AI
The new first rule of home buying: fire your realtor
Cybercriminals pose as LastPass staff to hack password vaults
Public benchmarks are broadly indicative, but devs really should run custom benchmarks on their own use cases.

Replicate created a Llama 3 API [0] very quickly. This can be used to run simple benchmarks with promptfoo [1] comparing Llama 3 vs Mixtral, GPT, Claude, and others:

prompts:
- 'Answer this programming question concisely: {{ask}}'

providers:
- replicate:meta/meta-llama-3-8b-instruct
- replicate:meta/meta-llama-3-70b-instruct
- replicate:mistralai/mixtral-8x7b-instruct-v0.1
- openai:chat:gpt-4-turbo
- anthropic:messages:claude-3-opus-20240229

tests:
- vars:
ask: Return the nth element of the Fibonacci sequence
- vars:
ask: Write pong in HTML
# ...

Still testing things but Llama 3 8b is looking pretty good for my set of random programming qs at least.

Edit: ollama now supports Llama 3 8b, making it easy to run this eval locally.

providers:
- ollama:chat:llama3

[0] https://replicate.com/blog/run-llama-3-with-an-api

[1] https://github.com/typpo/promptfoo
Show HN: Design Engineer dot io – beautiful job board for design engineers
Hey HN,

Excited to launch a new side project today. After leaving my startup at the end of the year, I wanted to hack on something with all the cool kid tools out there like React Server Components, Supabase, Tailwind, etc.

Over the last month there's been a groundswell of opinions (particularly on Twitter/X) around this "new" role of "Design Engineer" with lots of companies now hiring for it. It's still the early days so not everyone has adopted the term but think of roles like "ux engineer", "prototyper", "engineer that designs". As someone who identifies with this skillset, it was always hard to find these roles since there isn't common terminology.

Today that's changing and why I decided to build a job board solely dedicated to design engineers. There's already 40+ open roles in the database and more to come.

Check it out and would love feedback!
It is. But I noticed something weird. If your prompt is “A cartoon of XYZ” and press enter the preview will be a cartoon but the other images will be weird realistic ones.
That might be the cost of 1-2 experienced engineers in Silicon Valley. So don't host there. $1.2m is also for the Deep Archival storage class which has 12 hour retrieval times, and so competes with a handful of tape robots w/caching. It's not something you would have 1-2 experienced engineers spend full time managing - it's something you'd have remote hands and a support contract in place for, and your engineers spending a small fraction of their time managing.
The Windows Registry Adventure (Google Project Zero / J00ru)
The result is the same thing that happens when a food processor doesn't stop selling rancid meat after the government tells it to.
Claude has the same restriction [0], the whole of Europe (except Albania) is excluded. Somehow I don't think it is a retaliation against Europe for fining Meta and Google. I could be wrong, but a business decision seems more likely, like keeping usage down to a manageable level in an initial phase. Still, curious to understand why, should anyone here know more.

[0] https://www.anthropic.com/claude-ai-locations
One more opinion here: if you're looking around and nobody else has something obviously working, it's ok not to do a thorough search through hundreds of papers hoping to find someone else who came up with the idea. Get it working first, show it off, and if someone comes claiming it was their idea, respectfully acknowledge the prior work. But there's a gigantic gap between "wrote it in a paper" and "actually got it working".

Also, awesome job! Thanks for writing up some seriously cool engineering.
halo 2 came out with xbox live and defined the experience. social lobbies, matchmaking, etc
This loosens the definition of the word "brainwashing" so much that the term becomes meaningless.
Cruise ships are a terrible way to get quickly to a destination, but they're not a bad way to travel.

Comparing airships to first class air travel isn't the right basis. You want to compare to trains and ships at least. You take a ship or train when speed isn't the objective, rather experience. An airship experience with a few dozen passengers taking tours of beautiful scenery over the course of a coastal trip, or like a group hot air balloon, or something like that.
Thank you! It feels so good to know I wasn't alone in thinking this!

Here's an earlier comment where I fleshed out the point (connected to a possibly dubious, parallel argument about LLMs). Start from "If my point isn't clear":

https://news.ycombinator.com/item?id=35472089
Any thoughts on which one you prefer? I have the ChatGPT subscription but curious about alternatives.
> This is one of those tradeoffs we all make in a society.

...ooookay? Not sure how to process this defensive take, but at least you make it clear what demographic you belong to.

My point was entirely financial: on the (heavily regulated) open market, health insurance for older folks is more expensive than for younger folks, while companies typically pay the same premium for each individual employee regardless of age.

I'm not making any claims about whether younger employees benefit from this weird arrangement---which is what you seem to be addressing here---just noting that they would pay less on the open market than their employers are paying on their behalf, while older employees would likely pay more.

(I say this as a parent who very much benefits from employer-sponsored healthcare.)
Security Startup Wiz in Talks to Acquire Lacework for $200M
On Mac terminal, use the up-arrow, Luke.
Or the usual *nix history editing
!whois:p (to make sure you don't do something dangerous twice, like !rm

Auto-anything on ios varies from frustrating to downright hilarious, or as the phone suggests, hula.
Yeah. I didn’t want to get into my whole rant, but while this was a breakthrough, it is a small, slow breakthrough.

If you want to see the sordid history of this restriction read the “Legislative History” on Wikipedia. [0] tl;dr the congressman responsible for this provision in the 2003 law was subsequently hired as chief lobbyist for the Pharmaceutical Research and Manufacturers of America.

[0] https://en.wikipedia.org/wiki/Medicare_Prescription_Drug,_Im...
The headline should be: Google fires 28 employees that value their principles more than money
It's not open source or decentralized.
I think adding your own touch to something you're more intimately familiar with helps ease people into it. Touching an asset file to modify a texture and instantly see the results in your favorite game is a lot more approachable (and appreciate-able) for someone starting out, I think.
The article especially addresses that replacing it is cheaper than building newer line to the red tape

Technology under discussion is to use a carbon fiber core rather than a steel core which is not heavier but lighter
They are speculating, but there is no telling if it ever even happened. I tend to believe the site's news was just more interesting than what OOP posted.
What It is also very impressive in TOTK is just how far you can see. Usually in games there's some fog, or you can see the terrain but it's empty of any game element. In TOTK you can see a fire, a light, or some interesting rock extremely far away and then just go there to find something, it really keeps things immersive.
fine- here's two more ways it fits:

advertising is non-consensual, almost everyone would rather not see ads and not internalize its ideas

advertising is precise and scientific, it is done by powerful groups at large scale

and truthfully, if this comment was part of an astroturfing campaign by an agency if have no problem calling it a brainwashing attempt. or call it something else, its all semantics. murder if you're mad, loss of life if you're not sort of thing
Weights aren’t source because the goal of having open source software is that you can know how the software you’re consuming works, and you can produce the final software (the executable) using the source yourself. When you only have weights, you are getting something like the executable. Sure you can tweak it, but you don’t have the things you need to reproduce it or to examine how it works and validate it for your purposes. As such open weights are not in the spirit of open source.
As the cost of failure rises, so does the value of the test suite.
That realtime `/imagine` prompt seems pretty great.
It is not, and the gambling casino's business shouldn't be protected by law.
Zest: Syntax
The best way IMO to see the physics used and explored is the subreddit

https://www.reddit.com/r/HyruleEngineering/

I've been following it for a while and watching as the community has evolved from simple ideas involving efficient travel, built on learning from each other, and progressed to automation and flying battle machines. Try browsing by top of all time to see the popular interesting inventions.
Dont go by the price tag. Thats just MIL complex accounting called "Cost plus" which means price = cost + whatever they feel like. Cuz Govt cant go anywhere else to buy this stuff.
Indeed. But if GPT-4 is actually 1.76T as rumored, an open-weight 400B is quite the achievement even if it's only just competitive.
Absolutely, it’s not like that’s even a straightforward thing to try to address. Is it food prices? Food regulations? Our food culture? Advertising? City design and zoning?

Smart money’s on the answer being “yes—plus some other stuff”. Where do you even start?
I am just extrapolating on a trend that started in 2018. I think I am well justified in my opinion, but feel free to ignore the trend and listen to substack fools.
Would love to experiment with this for work, but the following clause in the license (notably absent in the Llama 2 license) would make this really hard:

> i. If you distribute or make available the Llama Materials (or any derivative works thereof), or a product or service that uses any of them, including another AI model, you shall (A) provide a copy of this Agreement with any such Llama Materials; and (B) prominently display “Built with Meta Llama 3” on a related website, user interface, blogpost, about page, or product documentation. If you use the Llama Materials to create, train, fine tune, or otherwise improve an AI model, which is distributed or made available, you shall also include “Llama 3” at the beginning of any such AI model name.

Really impressive HumanEval results for the 8B model though, would love to plug this into Continue for tab completion since the current benchmark numbers for Llama 3 8B blow every other 8B model out of the water
> did not land, did not eat, did not drink and did not stop flapping

My understanding is that these incredible distances are achievable less by "flapping" and more by leveraging small adjustments to harness the incredibly powerful forces found among and between air currents and waves as they traverse across the ocean.

For example, here is an unpowered remote control glider achieving measured speeds of 548+! mph using nothing but natural energy harnessed from wind and gravity.

https://www.youtube.com/watch?v=4eFD_Wj6dhk

https://en.wikipedia.org/wiki/Dynamic_soaring