skysight-inc/HackerNews huggingface dataset:
> "AI will define the next era of war and deterrence, just as the atomic bomb did for the last era. The only solution to the AI War is to accelerate our own military implementations and rapidly integrate AI into warfighting. That's why we've funded our own R&D to build Donovan—and achieve AI overmatch."
Super useful, thanks for writing this up. I bet a short blog post with screenshots would go over great.
What is the benefit of this over Apple’s default screen time app?
and often most professional when on psychoactive substances
I tried:

Question/Task: Write a lock implementation in Rust

I got this (lol):

use std::sync::Mutex;

struct Lock {
mutex: Mutex<()>,
}

impl Lock {
fn new() -> Lock {
Lock {
mutex: Mutex::new(()),
}
}

fn lock(&self) -> MutexGuard<()> {
self.mutex.lock().unwrap()
}

fn unlock(&self) {
self.mutex.unlock();
}
}
How to Be a Unicorn Person
I think he might have been joking about paying essential bills. In the US, the mean entertainment budget is a few thousand dollars a year. Perhaps it's several thousand dollars a year for people who would even consider spending $200 at a theater. That's still only around $500/mo for entertainment to allocate, and so even though a family in that situation poor, they still are incentivized to spend the money so they can be entertained as often as they'd like to be throughout the month. Spending a third of the money in one night is probably an easy yes as a one-time event, but harder to justify regularly.
Shareholders want to avoid CEOs who will give them the returns of IBM, Cisco, VMWare, HP, or Groupon. It's not about the idea that only these specific 5 people could have generated those returns. But when they are generating those returns, there's ample support from the board and shareholders to pay them handsomely to generate returns like the list of companies you gave and not the list that I gave here.
During a conflict, that mindset requires a large quote of power to be exercised. If you don't belong to a tribe, you will be declared an enemy. Picking no tribe doesn't make you "neutral" It makes you everybody's enemy.
I agree with you here but I think you might be more horrified with the image I actually was trying to draw.

These houses have distinct rooms(not open concept)a, but they're all so big that most of it is empty space.
It used to be that things not made out of steel on a Jeep would fail, but that was a minimum of parts, back in the '60s. Nowadays, though...
What works? This is an idea, not anything that's been throughly tried.
Funnily enough it's always stuff that's bikesheddding.

I spend months trying to solicit feedback on new experimental stremaing/cancellation APIs in Node and it's silence for a year until people start using it.

We say that contributors agreed to list pronouns in the readme or we mention inclusivity and oh-boy do a lot of random people from the internet cares about how the volunteers that write the software they use for free refer to each other internally.
This was my response as well.

Google releases their version seemingly at the same time all of the shine is coming off of these LLM's and how many people have already fooled around with ChatGPT and have already made up their mind whether its a good thing or a bad thing.

I'm still not sure if this is something that works in Google's favor or against them considering software seems to be a "love it" or "hate it" thing nowadays without much middle ground.
Artificial at least. :-)
>you realize that there's a wide range of solutions with some spectrum of a fit to your situation

I ran into this the other day and it's made me very leery about using chatGPT for learning things I don't already know. I moved on from toy examples and tried getting it to write a program in a domain I was already intimately familiar with: I immediately realized that this thing is going to help people churn out all sorts of code that is a poor fit for the surrounding system or ecosystem.

Basically I had it write a program in Elixir as a GenServer. After that was done I asked it how I could integrate that solution into a Phoenix web application. I had to hold chatGPT's hand, so to speak, as we evolved the solution from:

(1) Spawning (and linking!) the GenServer to a controller i.e. in response to a web request.

(2) Spawning and linking the GenServer to the application but outside the supervision tree.

(3) Spawning the GenServer inside a supervision tree.

Now technically the application could have worked, more or less, if you ran it at any one of those intermediate steps. However only the last solution is the robust and idiomatic one. It felt almost like a constraint solver to me: we iteratively arrived at the right answer by adding more and more constraints to the solution. The problem, as it relates to a novice, is that they don't have a list of constraints rattling around in their head. (Language idioms, best practices, framework knowledge, system architecture knowledge, etc.)

The insidious thing here is that 1 or 2 are syntactically valid programs. If you try to beat 1 and 2 into submission you're going to have a subtly broken system, one that makes a lot of Elixir programmers very sad.

---

I'll be watching the Khan Academy guys pretty closely, because they seem to have put a lot of thought into how students could use these systems safely and effectively.[1] I think the answer is going to be we need AIs that are aimed at professionals, and AIs that are aimed at education. The hard part will be that somehow we need to direct people to use one appropriate to their skill level.

[1]: https://www.ted.com/talks/sal_khan_how_ai_could_save_not_des...
When they were using A100 I knew that H100 would be the next ones. But what are the next ones now?
I dunno, their more recent results are pretty impressive: https://twitter.com/AiBreakfast/status/1652121065194409985

People like to dog on their early marketing material, but it's not exactly a far cry from Animojis or Samsung's equivalent Memoji garbage. In this case, it looks like Meta took the criticism to heart and used it to develop something much more advanced.
It should be p != &I as the condition.
A sync, assuming it is your typical memory barrier, is not bound by the L3 latency. You pay (in first approximation) the L3 cost when you touch a contended cache line, whether you are doing a plain write or a full atomic CAS.

Separately fences and atomic RMWs are slower than plain read/writes, but that's because of the (partially) serialising effects they have on a CPU pipleline, and very little todo with L3 (or any memory) latency.

Case in point: A CAS on intel is 20ish cycles, the L3 latency is 30-40 cycles or more. On the other hand you can have multiple L3 misses outstanding, but CAS hardly pipelines.
This seems entirely unrelated to that leaked document?
This has nothing to do with open-source, and Google Bard was announced and released in beta way before that document.
After asking a few questions, I’m very disappointed with its quality compared to Bing Chat.

My current AI chat benchmark is to ask about LLVM APIs. I’ve asked to both Bing Chat and Bard three questions:

- What info can the LLVM lazy-value-info analysis pass analyze?

- Can you give me code samples to use the info?

- Can you give me a list on important LVI methods?

Both fared well on the first question, but on the second question, Bard either didn’t produce LLVM code at all (showing examples of LLVM IR), or hallucinate non-existent methods not even close to what existed.

Bing chat, in comparison produced correct answers that are very helpful. In my experience Bing chat almost always produces something that is both coherent and useful; Asking LLVM questions, Bing chat can search the Doxygen documentation, find out common LLVM patterns on its own (like using a Worklist while iterating), and I’ve succeeded in writing whole LLVM passes that compiled in one go, from a very light description of an algorithm.

Maybe I’m spoiled with Bing chat, but I don’t think I’ll be using Bard that much if it’s quality doesn’t improve. Very disappointed personally. (I’d have expected Bard to work much better mostly just because Google searches better than Bing.)
If anything this just shows that people don't hate ads because they're obnoxious, they hate ads because they're ads.
We also demand that they stop working on any web3 integrations because it’s useless and we dont like it
We are (unfortunately) already doing just JSDoc.

Typescript migration was on our road map, but when we dug into it, it didn't solve the biggest issue we had with Javascript, which forces the developer to be aware of various pitfalls. Because of that, we didn't feel that TypeScript solved enough of JavaScript's faults to warrant a migration.

I still think that TypeScript is great and has some of the best tooling I've had the pleasure of working with, but in our case we didn't feel that the added complexity was worth the trade off. JSDoc is "good enough", even though we've run into bugs with it on VS Code.
the platonic ideal of what 'hacker' means imo
> Very rarely we find a case that we can't cover with JSDoc annotations

I regret every `infer` statement I've put in application code.

Grug phrased this elegantly:

https://grugbrain.dev/#grug-on-type-systems
BMC's in general leave me uneasy.

I like the idea, it is a small computer that is used to monitor and control your big computer. But hate the implementation. Why are they all super secret special firmware blobs? Why can't I just install my linux of choice and run the manufacturers software? This would still suck but not as bad as the full stack nonsense they foist on you at this point.
They might switch to remote to work for one of these firms, at a much better pay.

Eventually, they might transfer to a team that's more committed to staying in-office and get an L1 company transfer.

I've seen it happen (very frequently). There are very little arbitrage opportunity in this world.
> JSDoc does not affect the runtime behaviour of its code, or how that code interacts with other systems.

At the moment. You’ve literally just said yourself that there is a long history of smuggling code into comments. A few years down the line I don’t want to suddenly have the feature added and then have to be on the look out when I’m debugging a codebase for secret code in comments.
I think my first leap came when I realized mathematics is not about the formulaic plug-and-chug exercise type of mathematics commonly learned in grade school (particularly in the USA). E.g. x^2 + 1 = 5, x = -2,2. Great, now repeat this 100 times.

So then what is it about? Well it is about going deeper, asking why does this work. Instead of focusing on specific statements like solving the above problem it is about conjecturing what is the technique to solve all such problems (e.g., quadratic formula). And then proving that this technique works for all given numbers of a certain type.

After that it is about thinking even more deeply about the problem and saying, well does this work only for real coefficients? what about complex? what if we restrict ourselves only to remainders mod 5 (e.g. the numbers 0-4 mod 5) and so on. Why only polynomials with powers of 1,2. What about 3,4, and above? What about polynomial equations in more than one variable?

More broadly it is about appreciating the challenges experienced before the theory to solve some problem was developed. Then understanding that some new innovation was required. Generally, this takes the form of defining some new type of object, showing that the problem we are solving is but one instance of that object, and then saying, well based on these definitions and what we already know, here is what we can say about these objects. This is the process behind building a theory.

I think when you can start appreciating some of the ideas that the mathematics is saying, and the limited understanding of the world before that theory was developed, and then following a similar process to develop a mathematics of your own, then you have matured as a mathematician.

This is but one humble attempt to answer the question briefly.
I also think that cynicism is the path of least resistance.

It’s dangerous to be optimistic. When you’re excited about stuff and it doesn’t work out culturally you look like a moron, when you’re a cynic if you’re wrong nobody cares because we’re all lucky that things didn’t turn out shittily. When things do turn out poorly you look like a genius because “you predicted the calamity.”

The “easy money” comes from being a pessimist because you don’t have to commit to anything.
> I love when authoritarian nations just block internet.

Much better to just have control over the popular platforms, have a revolving door between them and the government intelligence agencies, and do your communication control that way.
I know people have filled balloons with hydrogen that they made by mixing an acid with a metal.
It _is_ a "dog-eat-dog" world and AI _should_ make it possible to "raise all boats". For that to be possible then we need new paradigms for society. It's very difficult but AI should also help us move in that direction.

As far as your particular problems, I hope you find the help you need. It sounds like you may have depression and/or some other psychological issues, but I'm not a doctor. The way I see it is that these types of opportunities in VR or AI have not actually passed by.
Glad it worked for you.
Yeah, it was freakin' awesome. All my friends and I made websites. We linked to each other, shared sources of good GIFs and images, chatted on IRC, eventually shared mp3s when those were a thing. It was a seriously badass time to grow up. I regularly feel very thankful/lucky to have grown up in that time period and have my own online computer to experience all that stuff!
YouTube playlists may require Premium in order to automatically play
FYI, the author uses it/she pronouns.
Do not know about Final Cut (it's well optimized for Silicon by the way), but Logic Pro is definitely one of the music industry standards.
Possibly the Pine Phone.
"The PaLM 2 pre-training corpus is composed of a diverse set of sources: web documents, books, code, mathematics, and conversational data"

I really want to know more about the training data. Which web documents, which books, code from where, conversational data from where?
Seems significantly worse than ChatGPT for coding, let alone GPT-4. It fails in an easy question(tried multiple times, and it gave wrong answer each time)

Write code to find middle of three numbers in python without using the sorted function

def find_middle_of_three_numbers(a, b, c):
"""Finds the middle number of three numbers.

Args:
a: The first number.
b: The second number.
c: The third number.

Returns:
The middle number.
"""

# Check if the numbers are in order.
if a > b:
a, b = b, a
if b > c:
b, c = c, b

# Return the middle number.
return b
Resonant Cavity | iOS Engineer | Hybrid San Francisco Bay Area | Full Time

We make the music studio app Voloco. We're looking for an experienced iOS Engineer to join our team. Email jobs@resonantcavity.com if interested. More details: https://resonantcavity.com/jobs.html#ios-engineer
fMRI is not a good way to look at what a brain is actually doing. I don't know why people keep beating this stupid horse. It's dead. Leave it alone
Clipboard 0.7.1: The world's only terminal clipboard manager
If you are on strava , you can see my training log.
> If that worries Google, they should fix the cookie options on the Google I/O page on the frontpage.

> It is wildly noncompliant, and Google should be sued over it like they were over the same thing in YouTube in France.

this really reinforces GP's point
Not working in Germany.
Tinnitus tech to cure it
I don’t think everyone is getting tired of LLMs. Citation needed. Personally I use chatgpt everyday for all kinds of stuff, it’s just a part of my workflow now
But, Bard isn't open source, so I'm not sure I understand what you're saying.
have been tracking braid since the outset - providing state sync at the HTTP layer itself is a really interesting idea. would be great to figure out how to interop the various DAG based sync systems, or at least map between them. very happy to chat about this!
Why the anti-European sentiment in your comment? Let's not talk about the Space Shuttle
or the SLS, should we?
What kind of pitfalls are you talking about?
It has an 8kb (or 32kb if you are lucky) context. Try giving it the relevant documentation examples before asking a question.
I hope to God you are not on the west coast!
True, but FRCs like Helion uses are thought to be workable.
Geez this sounds complicated.

What ever happened to just S/FTP your files to the web server.
Okay, but there's a core flaw in your argument: Microsoft has already cut jobs, and now they're freezing salaries for everyone. You're effectively trying to say that everyone at Microsoft deserves a pay cut and that their salary is unjustified, which seems a fair bit more delusional.

It seems to me you're working backwards from the position of 'Microsoft is justified in what they're doing' and then continuing to adjust your position in order to make that statement true. Given that Microsoft is still extremely valued according to their stock prices and that their earnings are higher than ever, citing market conditions as a reason to cut salaries when your market condition is positive reeks of bullshit.
Any thoughts about the (financial) data sources, to avoid garbage input?
A century from now, Juicero will be honored for the wonderful stupidity that it was. That's an achievement in itself.
The 4a battery is relatively easy to replace due to the pull tabs, was a fun little project: https://www.ifixit.com/products/google-pixel-4a-battery-genu...

I’m holding on to my Pixel 4a until they make one that’s smaller & lighter. Not liking the trend of bigger and bigger phones.
I didn't say it was impossible, I said it is not always possible. Even the most advanced SSD firmware will cause write amplification for some pathological workloads.
Surprising that when it came time to restructure they didn’t adopt a model where the parent company (alphabet) owns all of the infrastructure and provide services to many independent smaller initiatives that would then be much less constrained.

If they are unwilling to let go of the Google brand (understandable!) then the parent company perhaps should have been called Google.
I think the reason is that the change just sounds so insane at face value that many can't help but comment on it.
The Pixel Fold is Google’s $1,800 entry into folding phones
Ask HN: What are your favourite obscure/less known books?
I noticed book threads mostly revolve around the usual suspects. Just like most other book lists outside of HN.

The idea behind this question is "If you only read the books that everyone else is reading, you can only think what everyone else is thinking."

(... which ironically comes from an author that everyone reads)

Let's see if we can compile some interesting list of good/useful books and novels that are hardly found in the mainstream/popular lists and expand our bookshelves as well as horizons.

Please add couple of sentences about the book too.
I have recently purchased the .com domain for my product. For the past 10 years I have only owned used the .net domain (although for not much more than a landing page as it's an App Store app).

Is there a best practice what to do in this situation today? I'm currently forwarding from .com to the .net domain. Should I forward from .net to the new .com domain instead? Or keep it as it is?
No, it is not true for an ant. A solitary worker ant will not die from old age. Many species will literally starve to death within a few days because they cannot properly digest their food without trophallaxis.
I don't think so at all.
I asked it what ports `nmap -sn` and `nmap -F` scan. It correctly stated that `-sn` does not scan ports. It then stated that `-F` also uses a ping scan (false) and does not scan any ports (also false).

When I quoted the man page on -F, it said this:

> You're right. The nmap man page does say that `nmap -F` scans fewer ports than the default scan. However, it does not say that `nmap -F` scans any ports at all.

1. It's arguing with me. 2. Sure, "fewer" could mean "zero", but no human would say "fewer" when they mean "zero".

ChatGPT, it should be noted, correctly answered the question (and didn't argue over silly semantics).
It sounds like they aren't reporting on what % of programmers use what substances. They interviewed 26 people for an hour each to find what they take, why, and what for.
It can do that now. Has an 8kb (or 32kb) context. You might need to do a bit of work preparing a concise description and language examples.
Is it like a personal assistant that guides an individual through existing practical tools?
> The correct spelling in that case is pwned isn’t it? I got it from context, but those always felt like subtly different words to me.

For me owned was as in "CIA owned Crypto AG" not "netrunner owned the Chrome"

not that Chrome
This sign-in button is coerced consent? You can choose not to sign in. What is the coercion?

> non-essential functions

Are you sure you're not talking about cookie consent laws? (The reason "non-essential" is a qualifier for cookies is that, e.g., a log in session will require the use of cookies but is also considered "essential".)

(Please also understand the appeal to authority in "is illegal in many places". That's aside from the point I bring up.)
> "We then train several models from 400M to 15B on the same pre-training mixture for up to 1 × 1022 FLOPs."

Seems that for the last year or so these models are getting smaller. I would be surprised if GPT-4 had > the number of parameters as GPT-3 (i.e. 175B).

Edit: Seems those numbers are just for their scaling laws study. They don't explicitly say the size of PaLM 2-L, but they do say "The largest model in the PaLM 2 family, PaLM 2-L, is significantly smaller than the largest PaLM model but uses more training compute.". So likely on the range of 10B - 100B.
Surprisingly, their scaling law analysis still focuses on training FLOPs instead of training + inference FLOPs.

That said, they do mention this:

> The largest model in the PaLM 2 family, PaLM 2-L, is significantly smaller than the largest PaLM model but uses more training compute. [A] smaller but higher quality model significantly improves inference efficiency, reduces serving cost, and enables the model’s downstream application for more applications and users

It makes me think they are Chinchilla-optimal, which would make sense for a research project, but not for shipping to users. I am surprised they didn’t train to the validation loss plateau.
Yeah, and I realize my point of view is unpopular here. Integrating across all their services is just doubling down on what they already took from GPT. I didn’t see anything that wowed me. Cool, so I can LLM in Gmail and workspaces. Cool, so I can build a job description based on what others are hiring for instead of my company’s needs. I’m not saying that any of this is easy, just that it’s simply novelty. PaLM 2, we’ll have to see how it performs but it looks promising but it’s just another GPT-4 competitor. Where’s the “while the world was ogling over GPT-4, we built this”? PaLM 2 isn’t distinctive enough for me to say they are paving the way. They totally get it, but they aren’t paving the road forward. Maybe next year.
My sweet summer child, this is a closely guarded secret. Will only be revealed if perhaps Europe demands it so that copyright holders can sue.
Haha, very similar to how Microsoft turns a blind eye to Windows piracy.

After all, why care? It's not like those people were gonna buy it anyway, and they're still using windows, aren't they?
Sveltekit, back to server side rendering.

Documentation, with JSDoc back to good old comment/type documentation.

Can't wait to see what clock we set the time back at next.
I’d love To hear more about this