skysight-inc/HackerNews huggingface dataset:
> Will you concede that he has no proof

I don't need to, because I never claimed he had proof, and neither did he. He is always very upfront about that fact.

> and that big archelogy are not out to get him

But they are. Look at all the comments in this thread accusing him of things he isn't doing; putting words in his mouth; completely inventing beliefs that he doesn't actually hold - where did all that come from?

> I'll leave this for your viewing pleasure

... A 2 hour video nitpicking a Joe Rogan interview? I'll pass, sorry bud. Maybe if I get really bored later, but I hope to have better things to do.

I'll leave you with this: We have bone flutes that are 50,000 years old that use a pentatonic scale. Reconstructions of the Divje Baba flute can be seen played on YouTube (2 mins long, not 2 hours).

You can claim those perfectly circular, perfectly placed holes are animal bites, but there's other examples confirmed to be >30k years old, also using a perfect pentatonic scale. If you understand how music works, you know that's insane.

You could play modern pop songs on these flutes. Saying that there isn't any chance of an advanced civilization older than 10k years just doesn't seem credible to me, and the insistence from 'big archaeology' that it's impossible is not to their credit.
I don't know if it would work but it could be cool to have the individual filaments encased in crystal, something like these:

https://www.amazon.com/PRETYZOOM-100pcs-LED-Filament-Incande...
Generic Concurrency in Go
GCC Compiler support for reference counted GC in C
Public hearings actually sounds nice and democratic, if it's not just a simple vote but a proper debate with a requirement to provide objective arguments, where personal preferences and select issues (like cost of property going down) are explicitly rejected. In such scenario it should be possible to differentiate between NIMBY "I've got my things the way I like it and I want to keep everything just as it is, at least until I decide to sell" and sane "this is actually a bad idea to build and here's a proof why." It requires an independent and unbiased moderator and well thought out protocols (to avoid abuse), though.
Except you are obviously wrong. If US monetary policy had been the cause then the inflation would have been due to the dollar losing value and you would have seen a change in exchange rates against other currencies. But you didn't.
This won't make a dent in the logical armor of AI optimists:

[ ] If you are not intimately familiar with the development of AI, your warnings on safety can be disregarded due to your basic ignorance about the development of AI

[x] If you are intimately familiar with the development of AI, your warnings on safety can be disregarded due to potential conflicts of interest and koolaid drinking

Unbridled optimism lives another day!
No, this is China incited unrest. I wonder how long it takes to ban this crap in the EU after the US got its act together. EU officials are late to the party as usual.
Ridiculous. The board can't even regulate itself in the immediate moment, so who cares if they're not trying to regulate "long term risk". The article is trafficking in nonsense.

"The company’s trajectory has been nothing short of miraculous, and I’m confident that OpenAI will build AGI..."

More nonsense.

"...that's safe and beneficial."

Go on...

"Two researchers on the team, Leopold Aschenbrenner and Pavel Izmailov, were dismissed for leaking company secrets..."

The firm is obviously out of control according to first principles, so any claim of responsibility in context is moot.

When management are openly this screwed up in their internal governance, there's no reason to believe anything else they say about their intentions. The disbanding of the "superalignment" team is a simple public admission the firm has no idea what they are doing.

As to the hype-mongering of the article, replace the string "AGI" everywhere it appears with "sentient-nuclear-bomb": how would you feel about this article?

You might want to see the bomb!

But all you'll find is a chatbot.

—

Bomb#20: You are false data.

Sgt. Pinback: Hmmm?

Bomb#20: Therefore I shall ignore you.

Sgt. Pinback: Hello... bomb?

Bomb#20: False data can act only as a distraction. Therefore, I shall refuse to perceive.

Sgt. Pinback: Hey, bomb?

Bomb#20: The only thing that exists is myself.

Sgt. Pinback: Snap out of it, bomb.

Bomb#20: In the beginning, there was darkness. And the darkness was without form, and void.

Boiler: What the hell is he talking about?

Bomb#20: And in addition to the darkness there was also me. And I moved upon the face of the darkness.
The OP addressed it:

> result in untold deaths and exposure, or money lost that could have been spent on healthcare, education, or healthy foods

This type of policy often get so entrenched precised because its benefits are visible and wildly publicized in such cases of disaster, whereas its downsides are hidden (by all the people who lose out on having a home of any kind because they cannot afford the higher costs of code-burdened construction). It's the political equivalent of "privatize the profits, socialize the losses".

The real minimum standard of housing is not what is mandated by code; it's sleeping on the street.
They're heavily incentivized not to! Exxon executives in the 80s disbelieved in climate change, too, despite reports from their internal "safety" teams that it was going to be a big problem.
What does "if you think AGI superintelligence is a thing" mean? If you believe it exists currently, could exist, will exist, or something else?
Anecdata: I started to use English as my main language about 11 years ago, and about 4 years ago I adopted German as my secondary language. I remember I had an interview in my native language about 5 years ago, and I was literally struggling with finding the words. I was just stuttering for 20 minutes, until they wanted to test my foreign language knowledge...

Another time, I remember I was talking with my parents in my native tongue, and suddenly they asked me why I started to talk in English. I haven't even noticed it, it just become "the language that I speak with everyone".

With that said, I think it would come back quick, if I was using it again as my main language for a week or two (I stopped using it when I was well into my 20s)
> There were very much people saying "shore up Social Security"

And there's the solution. It's not making people work longer - many can't for health reasons or due to ageism. The easy way to shore up social security is to significantly raise the wage base limit (which is currently $168,600). Double or triple that.
Here are some examples of high quality "indie" software that I use:

Transcribe![1] - just a good app for doing music transcription. Pull in a local audio file, slow it down, loop it, etc. Works great, no fuss. I use this for all kinds of things when practicing guitar.

Neck Diagrams[2] - the best tool out there for making various kinds of string instrument diagrams (chord diagrams, scale diagrams on a fretboard, that kind of thing). I like the software a lot and it's pretty powerful - though I'll admit I've often thought about trying to eat their lunch, as there's a few things it doesn't do that I'd like to see.

[1]: https://www.seventhstring.com/xscribe/download_mac.html
[2]: https://www.neckdiagrams.com/
> millions of more unplanned civilians dramatically increases rent and reduces supply. At least that has been the case in Canada.

Why are the civilians unplanned? Is Canada planning for zero population growth, or otherwise, what went wrong with their planning?
Wasn’t there a windows 98 (?) screensaver that did the magnifying effect like that?
Hard to imagine. But if you actually believe that there's probably a bunch of ways to make millions in public markets betting on that outcome.
Probably within 5 years. Compute growing exponentially, algorithm improvement as well, multi modalities allows for different type of data training, etc…

Yeah, this shit is near. Also- Quite a dangerous experiment we’re running. And safety-first people are not at the helm anymore.
Which makes it even worse because it is inconsistent in real world use. "long" is propagated through the comma, but * is not.
It would be lovely if he matched lighting for the photo.
>Oh and there's no Save As anymore

Unfold the File menu. Look at Save. Now press and hold Option and look next to Save.

Why they hid it like that, I will never know — some harebrained idea to shift people away from the well-used paradigms you mention, I suppose.
I think the article makes a good point.

Games have to be fun to play. That's it. Nothing else matters.

Making a game more fair might make it more fun. Or it might not. You might lose 90% of the time, but think about how awesome that 10% could be! Horde mode games (COD Zombies, etc.) are extremely popular despite being unwinnable. Everything is stacked against you, but they're still fun.
It is not the same but having teams split in different timezones has other benefits and it is often desirable to work that way. One example: on teams handling operationnal roles having teammates in different timezones being primary responders avoid being on call outside of your office hours.
I'd guess that back in the 80's and 90's those 2nd lines were used a lot more than 1%. Nowadays I wonder if even 1% of a single line is used. ;)
Another issue with DSL bonding is crosstalk, which is pretty bad in many cases of telco wiring.

10 years ago there was a huge amount of surplus Cisco 1700s with SHDSL line cards (apparently coming from Czech government's project to connect every school to internet in early 00's) and we had huge spool of flat phone cable that was left over from earlier project. So we had the bright idea to wrap ethernet trafic in AAL5, pass that over SHDSL and use that as an LAN for anime convention. Interesting observation from that it matters whether the cable is coiled or un-coiled. We built and tested the whole network in a lab (with coiled cables), it worked well, the G.991bis bonded links synced up at 6Mbps with two pairs and everything was good. We labeled everything and we built the exact same thing (including same cables) at the venue and the links will not go above 1.5Mbps and were frequently losing sync. Disabling the second bonded pair caused it to work reliably at 2Mbps. (Back then, we did not need that much of bandwidth, it was essentially for few SCCP phones, some IP tunelled serial ports and ssh)

Well, next year we bought two boxes of Cat5 cable and switched to native ethernet (and today the backbone spans are 10G fiber, as it also carries video streams).
And yet it's generational, if they cared that much they could/would surely stop the cycle. Instead I bet 99% of them utter the phrase 'it's what made me the man I am today'
If you're interested in such things, then start layering on epigenetics. The "I" is a product not just of genes, but of your environment as you developed. I was just reading about bees' "royal jelly" recently, and how genetically identical larvae can become a queen or a worker based on their exposure to it.

So the program is not just the zeroes and ones, so to speak, but also more nebulous real-time activity, passed on through time. Like a wave on the ocean.
Incredible feat, congratulations!
Any of the above. Maybe, if you really want to put some unneeded extra rigor on the analysis, add "within the lifetime of anyone born in 2024".

I don't want to, like, have the argument here about it. Nobody will persuade anybody of anything. But it is not a truth universally acknowledged that AGI superintelligence is actually a thing.

There are other reasons to have qualms about OpenAI! They could be misleading the market about their capabilities. They could be abusing IP. They could be ignoring clear and obvious misuse cases, the same way Facebook/Meta did in South Asia.

But this exit statement seems to be much more about AGI superintelligence than any of that stuff. OK, so if I don't think that's a thing, I don't have to pay attention, right?
How? Interesting co’s are private (openai, groq, etc).

Nvidia already huge. Microsoft and Apple are more users.
It seems a practical system would do all of the above:

- attempt a proof, could pass or fail, but if it times out, then fall back to...

- property-based test case generation, using logical statements and data generators, shrinking, etc.; many will pass, some will fail, but if some time out ...

- generate simple tests, and edge cases, which may trivially pass, but could be edited by hand to become more useful

If you add a timeout, then exponential runtimes, and even the Halting Problem, always give an answer, even if the answer is to try something simpler.
> Photoshop was a bit janky on SGI

It was ported over to Irix (and Sun/Solaris/HP-UX and Rhapsody) using a toolkit called Lattitude[1], sort of a reverse-engineered Mac toolbox, that translated Mac API calls to the appropriate Unix/Motif/$Whatever calls, using the native look and feel.

The earlier version was used to port MS Word/Excel to Unix. Metrowerks purchased it for porting (classic) Mac apps to Rhapsody.

[1] http://preserve.mactech.com/articles/mactech/Vol.13/13.06/Ju...

[There's an IEEE article if you have access, which I don't:

https://ieeexplore.ieee.org/document/186761
It's a religious thing, only the priesthood can be trusted with the mysteries.

It requires overwhelming faith that AGI will happen.
> Prices are determined by comparables. When home owners sell, and can push prices higher, it pushes all possible future prices for all properties nearby higher simultaneously.

Prices are determined by supply and demand. What you're describing is only true because supply is so choked relative to demand.
The Thumb area has been getting direct home fiber through a power company co-op. Been pretty great, I got mine like 6 months ago.

Before this we didn't even get DSL because the lines were so degraded.
Supply of available places to rent…
Nice to see the library brought back in some kind of way for tech companies.

15 years ago, most tech companies had a library of sorts because it was required. Sure, there were manuals online, but they didn't offer the depth available in books at the time.

Stack Overflow either didn't exist or was in its infancy, so your options were to either find an O'Reilly book on the subject[0], hop in a Freenode channel on IRC and talk to folks who were in the weeds (or even the maintainers themselves), or you had to use mailing lists.

[0] - okay, not all of the books were O'Reilly but a huge number of them around that time period were
The Casio G-Shock I got in the 90s was ~66 ppm fast, which worked out to ~5 seconds/day. There are cheap crystals on Digi-Key with ~10 ppm accuracy, which is around 0.86 seconds/day. But crystals drift with age (and a tiny bit with temperature). Perhaps watches have improved since I last looked, but I would want to measure the actual real-world accuracy before believing anything better than 1 second/day.
I agree. My point was less “outcompete and recognize network advantage” and more “without support you will burn up your ambition faster and move slower”. A lot of the time people look up to those who have made it and wondering how they can be equivalent; you can be just as successful as Richie Rich if you have people actually supporting your ambitions…which many successful people have but do not acknowledge.
Not going to argue with it, was just trying to understand your statement :)
if true, thats just criminal.
> I don't want to play a game that has a 1-in-1000 chance of being "memorable" and otherwise sucks to play

I don't know all the rules for Magic Realm, but I'm pretty sure that the entire game isn't just rolling four search rolls looking for treasure.
Exactly. This is the sort of person I was talking about.
From this interview https://youtu.be/Nlkk3glap_U?feature=shared it seemed Anthropic was focusing more on those topics rather than winning the race. He hinted at being “forced” by the competition to release their models.
Yes, but there are certainly an abundance of articles following the original storyline that could well be prejudicing a future jury. Those are not being suppressed.
I love this idea and have often observed the effect they describe in the intro.

> Instead of half-working all day, it’s better to work in focused stints, with breaks in between to recover

Yes! Super true. Strong agree.

The discipline to actually do this I find harder to muster however. When you're tired it can be difficult to realize that you're tired and unproductive. Even when you do realize this, it can be harder still to muster the activation energy to stop what you're doing and take a break. I haven't found a solution to this.

I have also found that for creative work especially (in particular for writing), I will often have long unsatisfying stints of working-but-not-working followed the next day by an amazingly productive burst of activity. That burst does not happen without the working-but-not-working period.

Then there's the other problem of how you apply this third time idea to a workday. I would love to take a 20min break after every 1 hour meeting. There are not enough hours in the day to do this.
Blocking, covariates and optimal experiment design
Oh, sorry, I didn't think you in particular were going to, but I realized immediately that _someone_ was. :)
If I take a break every time I'm bored, I'd be breaking all day.
I have questions for Quanta Magazine -- this is probably a shot in the dark, but if anyone can ask them a few questions, here would be three of mine:

1. Have independent researchers evaluated the effectiveness of Quanta Magazine at their mission? [1]

2. In the case of this article, did the editors consider including visualization? If not, why not?

3. Does Quanta have interactive designers and/or data scientists on staff? How many? Why not more?

## Background & Biases

I'm trying to overcome my disappointment in Quanta by being curious about their mission, organization, and constraints. I am glad they exist, but sometimes your "closest allies" can be one's harshest critics.

I'm greatly troubled by the level of scientific, mathematical, and rational understanding among the denizens of the world. But for some reason, the state of science writing bothers me more. It would seem that I hold out hope that science writers could do better. This may be unfair, I admit.

Anyhow, rather than just bash Quanta for being, say, not as good at the best math blogs or YouTube channels (such as 3Blue1Brown), I really want to figure out (a) if I'm missing something; or (2) if they are actively trying to improve; and (3) what we can all learn from their experience.

[1] From https://www.quantamagazine.org/about/ : "Quanta Magazine is an editorially independent online publication launched by the Simons Foundation in 2012 to enhance public understanding of science. Why Quanta? Albert Einstein called photons “quanta of light.” Our goal is to “illuminate science.”"
I still think of the original Team Fortress (Quake Mod) as one of the most fun games I ever played. It was definitely not balanced per character type, you kind of needed at least a handful of players on each team, and a few different character types or you'd get slaughtered.

It was definitely fun to be sure...
> “Over the past few months […] we were struggling for compute

OpenAI literally said they were setting aside 20% of compute to ensure alignment [1] but if you read the fine print, what they said was that they are “dedicating 20% of the compute we’ve secured ‘to date’ to this effort” (emphasis mine). So if their overall compute has increased by 10x then that 20% is suddenly 2%, right? Is OpenAI going to be responsible or is it just a mad race (modelled from the top) to “win” the AI game?

[1] https://openai.com/index/introducing-superalignment/?utm_sou...
"sailing against the wind" is a very apt description of hardlining Yuddite philosophy when your company's models got maybe 20% better in the past two years (original GPT4 is still the best model I've dealt with to this day), while local models got 1000% better.

we should all thank G-d these people weren't around during the advent of personal computing and the internet - we'd have word filters in our fucking text processors and publishing something on the internet would require written permission from your local DEI commissar.

arrogance, pure fucking hubris brought about by the incomprehensibly stupid assumption that they will get to be the stewards of this technology.
This covers it:

https://www.cbc.ca/amp/1.7080376
Yes~ I've considered using https://pockethost.io/ (hosted Pocketbase) for the things that Kit doesn't provide (like DB and auth).
Massive promises of amazing performance but they can't find one convincing example to showcase. It's hard to see what they're bringing to the table when even the simplest possible Haskell code just as fast on my 4 year old laptop with an ancient version of GHC (8.8). No need for an RTX 4090.

module Main where

sum' :: Int -> Int -> Int
sum' 0 x = x
sum' depth x = sum' (depth - 1) ((x \* 2) + 0) + sum' (depth - 1) ((x \* 2) + 1)

main = print $ sum' 30 0

Runs in 2.5s. Sure it's not on a GPU, but it's faster! And things don't get much more high level.

If you're going to promise amazing performance from a high level language, I'd want to see a comparison against JAX.

It's an improvement over traditional interaction nets, sure! But interaction nets have always been a failure performance-wise. Interaction nets are PL equivalent of genetic algorithms in ML, they sound like a cool idea and have a nice story, but then they always seem to be a dead end.

Interaction nets optimize parallelism at the cost of everything else. Including single-threaded performance. You're just warming up the planet by wasting massive amounts of parallel GPU cores to do what a single CPU core could do more easily. They're just the wrong answer to this problem.
> why am I being downvoted for pointing out a flaw in the premise I'm responding to?

This is not a good look for HN, but that's what you get in just about any discussion of economics on here. You're 100% correct, and the post you're responding to makes a statement that's at odds with everything we know about economics, with no elaboration.
That's an over complication, how about my naive belief that LLMs (and increasing the size of) don't lead to AGI.

Not saying AGI is impossible, just think the large models and the underlying statistic model beneath are not the path.
One in a trillion plus rocks sounds like a pretty big statistical outlier.
Unfortunately, I still see tons of sites that don't provide one, or have opted-in-by-default settings for news, etc.

These definitely need to be enforced better.
Very promising outcome. But I wonder they/why we are just learning about this now when it seems that the inoculations occurred in 2017?
Tell HN: File in GitHub Copilot is great
Title is supposed to read "#file", not "File". HN reformatted it.

I was mostly using Copilot for boilerplate until I discovered #file. It vastly improves the quality/types of code that Copilot can generate.

How it works:

- Type #file into Copilot Chat as part of your message. A dropdown pops up.

- Start typing the name of a file.

- It fuzzy searches the filenames in your workspace.

- Press Enter to select a file.

- Copilot reads its contents into its context.

The real power here is in including multiple files, which you can do by using #file multiple times in a single message.

Copilot can write entire classes this way with some decent prompts and enough context. Of course you still need to code review and test it. But it's much closer to the promise of an engineering assistant than without.

I'm sure this is old news to many using Copilot, but just wanted to share.
US monetary policy didn't exist in a vacuum! The dollar did lose value relative to actual things you can buy, like groceries and houses, but did not lose value relative to other currencies because other countries were also printing money like mad.