skysight-inc/HackerNews huggingface dataset:
All the drones are in Ukraine and are delivering bombs to the the enemy.
Finland says hi. From 3 meters away.
OOP is not about "allowing...runtime". The key bit is objects: data paired with functions meant to be used with the data.

That's it, really.
What is G/O, pleaase?
I don't think that works for LLMs. My understanding is that every single token produced by the model requires running floating point operations against all x-billion parameters, so the entire thing needs to be loaded into memory at all times for it to work.
A random online dictionary says it means "(fully or partially) covered with water" and I hereby declare that this means that only singular water molecules are not wet.
And chaos ensued. Unable to install aws-cli via pip: https://github.com/aws/aws-cli/issues/8036
You can run Citus on EC2 for now.
> I'm also using Safari on my iPhone because it works well enough, and I find favorites and tabs sync useful

I've been very happy with Firefox Sync using the iOS Firefox. (Even if that Firefox is "just" a wrapper around Safari on iOS, it still has all the sync tools I need, which yes are very useful.)

> But I've recently switched to Arc and I love it. I've tried vertical tabs in the past on Firefox but the experience sucks, it's half baked and ugly.

Arc does seem interesting. Its current macOS-only focus makes it a non-starter for me, but I'm glad it works well for your workflows. I have been switching back and forth lately between TST and Sideberry in Firefox trying to find which one I like the most for vertical tabs. It is something that I feel the wish that out-of-the-box Firefox had just a tiny bit more polish about, but I do appreciate that extensions can help a lot there and there are multiple options. (However, especially now that Chromium Edge has vertical tabs out of the box that seems like a sign that there is more mainstream interest today and I'd love to see Firefox do some sort of polished design pass.) That's not yet a showstopper for me, but I feel it.

Battery life has been a lot less of an issue for me than memory usage (Firefox could be better there sometimes in my estimation, they are not bad it, just I've seen others do better), but I can certainly understand that complaint.
I think there's some concerns about commercial real estate and office leases driving some of these attempts to put the genie back in the bottle but for a lot of employers I think the biggest issue is the change in the power dynamic, particularly in the US. So many things gave the employer the lion's share of power like unhealthy work-life balance, lack of safety nets, dependency on your employer for healthcare, accruing decent vacation time, etc. Work from home opened a lot of eyes and shifted a small amount of power back to employees and made them start questioning things.
Simply by taking Meta at their word and not reading the details of the license. Meta claims at the top of the page that it is open source:

> Introducing Llama 2

> The next generation of our open source large language model

> Llama 2 is available for free for research and commercial use.
If you have a modern iPhone you can try running an LLM directly on it today using the MLC iPhone app: https://mlc.ai/mlc-llm/#iphone

It can run Vicuna-7B which is a pretty impressive model.

(They have an Android app too but I haven't tried that yet).
That really sucks, I moved out to the Bay Area and most of my friend group here came from places I worked at, take them away and I’d have like 2 people in the area. Would be very isolating.

You didn’t ask for help but I’m going to offer: there are some great options in Boston for expanding your friend group. There is a maker space in Somerville, there are kickball leagues, trivia nights, a race track in NH, dirt biking or mountain biking all around. That’s how I met my friends in Boston when I moved there. Takes a little extra work rather than organically happening at work, but it’s better than playing video games inside all weekend.
You'll notice we're all in lala land here. You can have a meaningful conversation at a speculative level.

But the nouns are analogies for regular old predictors and detail fillers we know exist. For examples, point to your visual blind spot quick. Or go watch your eyes move with a mirror. Or do any of the really neat experiments in the Coursera course "Buddhism and modern psychology".

I'm extrapolating, and yeah, landing right in the middle of "who knows".
Not a learning source per se, but a good tool to learn "best practices" is using ruff [0] as your linter.

I enabled nearly all the rules it has available. And I've learned so much from it.

[0]: https://beta.ruff.rs
I have been fortunate enough to work from home since early 2000s. For many reasons I don't want to use my own hardware for doing that though. The main one being e-discovery. If your company is forced to go through a discovery process, if you've accessed company resources via your personal hardware, it becomes part of that discovery process. Additionally, licensing issues crop up, etc.

But it doesn't surprise me that companies who are forcing people into the office are having a hard time recruiting. If Covid showed us anything, it was that we could all work from home and be just as productive, if not more so, doing it.

IMHO, forcing me into an office is actually a punishment. Why punish me for the high cost of your real estate?
Apple has not been silent. The whole iOS 17 release has AI stuff sprinkled all through it. They just aren't speaking the same language as everyone else. They are also hiring generative AI folks like crazy for things like Siri. They want to own the on-device space and are well on the way to revolutionizing their operating systems and hardware to do it.
As long as "own hardware" is my choice, then I agree.

My current setup changes from work to private mode by switching one USB-C cable from my work laptop to my own Mac Mini.
I might actually be more excited about Val as a C++ successor than I am about Herb Sutter's excellent CppFront... Admittedly, all I know about it is from the two presentations below. But, from what I can tell...

Statically compiled. Statically typed. Interops with C++. Memory safe. Typesafe. Data-race-free.

The elevator pitch I give when describing it goes like this: Imagine you were starting a new C++ project and didn't really care about performance (spoiler: perf comes back in the end). So, you decide to not bother using pointers or references anywhere. You just pass by value, return by value everywhere, all day long. If you ignored the obvious perf problems of passing around maps of vectors of objects by value, wouldn't it be nice? you don't have to worry about side effects or data races or anything. And yet, the data is not immutable. You can go ahead and mutate it all you want worry-free because the data is all completely local to your function.

Well, turns out the Val folks have figured out that by eliminating pointers and references from the language, the can get the compiler to automatically pass-by-const-reference and return-value-optimization under the hood such that it preserves both the performance and the semantics that you want at the same time.

Val: A Safe Language to Interoperate with C++ - Dimitri Racordon - CppCon 2022 https://www.youtube.com/watch?v=ws-Z8xKbP4w

https://cppcast.com/val-and-mutable-value-semantics/
Yeah...Apple doesn't tease products before they announce them.
Well, people are too different today, to the point they can not tolerate close proximity to each other.

I am right with conspiracy nut job. If we cooperate in person, you would be exposed to my rants and other quirks. With remote there is no such issue. We can cooperate just fine.

I think some people just hate remote, because they do not have their own social circle. They also have no working habits to be productive with async communication. They expect prepackaged deal of friendship, mentorship and support.
Using 8k displays with a Mac.
Probably because your assertion doesn’t mesh with reality.

You’re pretending that there is some imaginary standard about how websites must work, we’re saying our personal experiences do not match what you’re asserting as a universal truth.
Sound blocking is almost useless for my sensory issues in an office. You not only have noise but people moving around you distracting you.
Well, haven't you noticed how the DIE cult is already all over entertainment? Sports teams kneeling down because of "oppression" and pop culture being absolutely dominated by sex and violence propaganda? Specially those being produced targeting the "minorities".

It's a brave new world.
Babylon 5 Gets First-Ever Blu-ray Release December 2023
+1 for Dr. Sapolsky

Does the best lecture on depression I've ever seen
Llama 2 is pretty bad from my first experience with it
>> It's a computer program directed by humans with an agenda

It most probably is a program written by humans, and presumably it is designed to measure and optimize certain metrics such as clicks or ad views.

> Rather than subscribing to this conspiracy theory, I can believe that it's The Algorithm (tm) doing it.

"These sources reveal that in addition to letting the algorithm decide what goes viral, staff at TikTok and ByteDance also secretly hand-pick specific videos and supercharge their distribution, using a practice known internally as “heating.”"

https://www.forbes.com/sites/emilybaker-white/2023/01/20/tik...
Lately I’ve been wondering if a license similar to this but instead based on market cap could be a way to monetize open source projects

E.g. 100k/year for each trillion in market cap, updated yearly. First trillion is free
Yeah, I don't find it working from home so much as living at work.
3-4 years to run it on your phone seems generous, barring algorithmic breakthroughs.

If I can run 100B+ models on my high-end desktop in 3-4 years I will be very happy.
Which seems to eliminate all of the benefits of drone delivery. If someone is driving out anyway, they could just deliver the stuff directly.
I think it's really hard to do OKRs correctly. It seems like you are working at a place that is not doing them correctly. I've also worked at places that haven't implemented OKRs correctly.

At the very least it appears that not everybody has bought into the OKRs and alignment has not been achieved.
People used to pay a lot more than $75 for cable. Between that and the loss of DVD sales we are seeing a lot of money leave the industry.
Show HN: I built a technology to think of truth in a new way
What is the tax reason specifically, and do they require all employees to have residency? I like to think EU would have sorted that out by now.
I slowly started to think Apple knows there will be a golden hour to jump on a mature, economic LLM. Until then, they are probably watching without a massive investment into LLMs if it's not drastically changing their products.
Two things I noticed:

* The first problem is rather trivial problem. That may be the point, but I haven't watched the video to know for sure.

* The font used for source code is making <= display as ≤ on my browser.
The detection needs to be almost perfect for it not to be worth it for the AI to simply retry until it's passed the detection.
According to Notebookcheck[1], if you put a power limit on the 7940HS, it will achieve 15625 points on Cinebench multicore with an average of 66 watts. This puts it above the M2 Max in efficiency and right behind the M2 Pro. Far ahead of any Intel chip.

If you don't want to mess with software power limiting, you'll have to wait for benchmarks of the 7840U.

[1]: https://www.notebookcheck.net/AMD-Ryzen-9-7940HS-analysis-Ze...
But, that’s my point. I’m telling you that you should be distrustful of physics, so you should be really distrustful of medical science
Fervo Energy Announces Technology Breakthrough in Next-Generation Geothermal
Same. I now go to the office every day which feels a little better, but nobody else goes
A project I work on is currently working through a bunch of performance issues that arose because we had inlined functions in `pxd` files that we did not declare `noexcept nogil`. So, heads up if you see similar regressions! We saw a ridiculous slowdown (7s to 100m, for one suite) because they were inside some awfully tight loops. But the fix was pretty straightforward once we worked it out.
> I'm honestly sick and tired of seeing these crazy anti-learning comments

I don't know why you're mad at me, I _literally said_ "I'm still happy I learned it", along with saying we should be teaching more advanced math. I said it was a common _joke_, not that we literally never use it. I went on to say it was "less useful" than other math you'll learn, not "not useful at all". Perhaps you should read the whole comment before getting so angry.

And no, just because I don't use calculus all day doesn't mean I "copy code from StackOverflow", I honestly don't know how you could come to such a silly conclusion (or how you think knowledge of calculus is necessary to understand most data structures). Do you think self-taught developers who never learned calculus are just incapable of learning or using data structures and algorithms, and don't know what functions are? I can tell you quite confidently that they can and do, because I know many of them.
I signed up again with "country" being United States and I got it immediately -- apparently they're not auto-accepting other countries..
"training a model on the same dataset in the same way usually gives more or less the same model, even if the weights are completely different each time."

Couldn't you use a similar type of argument to say that different implementations of the same software API are basically the same software even though the instructions are completely different each time? And, since they do the same thing (aka compatible), that software implementations can't be subject to copyright for that reason? I don't think that holds up, esp in a pro-copyright country.

Here's one I came up with in case your lawyers can use it. My original goal was a license for proprietary content to be used in LLM's where the creators were worried about verbatim extraction or whether their content was sufficiently mixed in with other data. It was about motivating them to let us train on such data. I'll start with those terms:

"1. Percentage of total data. The copywritten work must not be larger than N% of total, training data put into a model. If it's tiny enough, one might be able to argue it only adds so much weigh to the outputs. What if it's the only data of its type, though?

2. Merged with similar data. The copywritten work must be one of multiple examples of the same types of data. For instance, there might be many examples given to the model about what files are, how to generate them, doing it in Python, and specific examples in Python. When it generates Python code, any or all of this might have contributed to it.

3. Ratio of data, set size to number of parameters. The content owners might want the training data to exceed the number of parameters by a multiplier N. For instance, at least 10GB or 100GB going into a 1G model. The multiplier is 10.

4. Diverse data. The content owner might want a wide range of data on many topics to go into the model. They might even specify certain data sets, a minimum number of topics, or even a number of word vectors per word used (their keywords). Once again, the odds the model is just repeating one piece of data goes down as the number of data and similar words in the model goes up."

So, basically you'd be trying to set a standard where anything the model creators legally have access to that they can put into their LLM's. Are the LLM's then carrying their I.P. or something novel? If novel, we're safe from lawsuits. If LLM's and outputs are not copyrightable, we'd be double safe in that situation.So, maybe use criteria like the above to decide what's novel where anything within certain numbers or combinations would be novel automatically by law or court precedent. What do you think?
> People fall through the cracks in a remote company very easily. People don't seem to bond as well or as easily. Siloes happen.

I don't fully disagree with you but this is also something to put some long, hard thought into by the C-level whoever is running the company, if it's something new, how to put in place the communication methods, chat groups, information sharing SOPs and such to prevent isolation from happening in the first place. Deal with it as a structural/business operation and methodology issue first.

Get the SOPs set up before you start adding more than a couple of team members.
We learned a lot by looking at communities successfully producing knowledge. The scientific community is one example, Wikipedia is another one. We have looked at them carefully and it’s become clear to us that they build knowledge in a very different way than media, politics and people do it in their personal life, on social media and even on the Internet in general.

It has led us to ask ourselves: what if thinking of the truth couldn't be done in the same way as it used to, and instead requires a new framework?

Pallas is a technology to think of facts, truth and knowledge in a completely new way.
Apple are never first, sometimes they are quite late, but when they do launch their version of a product it is polished and fixes many issues with all other implications.

I have no doubt that Apple are working on local LLMs and combining them with Siri, it's only a matter of time. I expect we will see something next year, probably tied to the next iteration of hardware - they do want to sell hardware after all.

Apple have indicated that are working on this stuff, subtly. They avoided saying "AI", instead going for "ML", "encoder/decoder models" and "transformer models". The spell check on the next iOS is based on a transformer model. It's packed with image models for extraction, lighting and image correction. iOS is littered with ML stuff, that have "Nural cores" in their silicone.

This stuff is coming from them, when it's ready.

What I expect they will launch with a "LLM Siri" will blow our minds, it will be an all encompassing personal assistant. It will have linkage of all our documents, email, messages, movements, browser history, all locally securely on our devises. Not in the cloud. It will be so close to appearing like AGI that some people will clams it is.
INT_MAX is often far less than SIZE_MAX (the former is usually the max of a signed 32-bit integer, the latter of an unsigned 64-bit integer), so usually nothing special.
Have an office be optional is the best. You get the novelty of a commute and a visit without being forced.
Not useless, you get sprurious rejections and have to resubmit, like running CI. and you can retry—on-failure to increase the odds. Some test frameworks support rerunning flaky tests.

They’re a good justification to work on that tho.
Won't happen. But all the more reason to expand wasm + wasi support everywhere.
That question is answered in the first sentence of the article:

> "In early July, managers at G/O media, the digital publisher that owns sites like Gizmodo, the Onion, and Jezebel, published four stories that had been almost entirely generated by AI engines."

More about them on Wikipedia: https://en.wikipedia.org/wiki/G/O_Media
Excited to see this thread. Aviator also offers a high performance MergeQueue with flaky test support: https://docs.aviator.co/mergequeue/managing-flaky-tests-in-m...

Disclaimer: I'm the co-founder of Aviator
I am not having children so I can keep eating steaks.
Isn't that the same LLM that doesn't know how many e's are in "ketchup"? Nice.
FWIW, I left about 3 months after that. That was the tipping point.
Listen to the last two episodes of ADSP Podcast with Sean Parent, regarding Val.

Adobe Research labs is seriously sponsoring its development.

https://adspthepodcast.com/
> Even back when Go first came out, anyone who knew anything about programming languages rolled their eyes at pretty much everything about Go's type system, including the inference.

The fact that it was even a point of concern shows how misguided the PL community is. Advancing the state of the art is not the goal, producing a tight, clean design is.

> Just because Sun couldn't figure out how to do it in the 90s doesn't mean that type inference wasn't mostly solved in the 70s.

Theory's only as useful as its implementation. If there's no sensible implementation of type inference out there, but then a new language comes out with it, is that not a significant improvement to the status quo, even if the theory behind it may be decades old?

Code autoformatters were not exactly dark PL magic when Go came out either. But somehow the impact gofmt has had on the PL space has been immense. Funny how that works.
WFH for the past couple of decades, gives me the choice to live where I want to live (internet dependent and time zone dependent of course). I can make a West Coast salary and live in the midwest if I so choose.

Having lived in PDX and commuting there, what would sometimes take me a 30 min drive early in the morning, would be a 2-3 hour drive coming home. Absolutely absurd and guess who it was costing? Certainly not my employer for sitting in traffic for 2-3.5 hours each day...

I cannot even begin to tell you how much my work/life balance has evened out since I stopped having to be in an office. Additionally, I get far more hours of singular concentration at home versus an office.
A Free Open-source, Sans Serif Font, Open Sauce Sans
Apple has been pretty good about quietly integrating AI-based image processing into iOS.

All text within photos is being automatically recognized and is fully searchable. That has saved my ass on occasion when some piece of information was in a photo.

The AI background removal feature in Photos is cool too — just drag from a foreground element, and it usually gets it right.

But despite this kind of flawless feature integration work, clearly Apple as a company has some issues with applying generative models on a more fundamental scale. They look a bit stuck in their own loop of trying to replicate past success with an upcoming $3,500 device that’s all about ever fancier glass and aluminum hardware.
> Pallas is where you buy the facts you believe in.

That sounds terrible.
I know doctors who recommended drinking whiskey early in the pandemic for that reason (and also the usual reasons people dealing with trauma reach for whiskey)
They didn't mind paying for google but when something better comes along for less they clearly will take that. Netflix came along and the studios sold their content to them as an extra. Now that their cable business is gone they need Netflix to make up the revenue but everyone is locked in at $20/mo
it's actually not that complicated, just look at what other schools in the country do, or what these did before the change

then, with that data, you will know to replace "terribly fast" with the original "slow", and can try to make your proposal not depend purely on the semantics of inaccurately renaming "slow" to "terribly fast"

remember, you are the one who started these word games by renaming the slow curriculum the normal one, when the normal one is the one they had before these changes, the one which reflected the norm (hence the name) in the US

if you think that one is actually "advanced", that's upon you to convincingly make the case for, otherwise we default back to the above, but a purely semantic argument is pretty weak on its own anyways

also, the last paragraph of your post presents a false dichotomy: creating a new class doesn't require cancelling advanced algebra (advanced advanced algebra?)