skysight-inc/HackerNews huggingface dataset:
I guess it's not news but it is pretty wild to see the level of millenarianism espoused by all of these guys.

The board of OpenAI is supposedly going to "determine the fate of the world", robotics to be "completely solved" by 2020, the goal of OpenAI is to "avoid an AGI dictatorship".

Is nobody in these very rich guys' spheres pushing back on their thought process? So far we are multiple years in with much investment and little return, and no obvious large-scale product-market fit, much less a superintelligence.

As a bonus, they lay out the OpenAI business model:

> Our fundraising conversations show that:

> * Ilya and I are able to convince reputable people that AGI can really happen in the next ≤10 years

> * There’s appetite for donations from those people

> * There’s very large appetite for investments from those people
Yeah I don't really see what's noteworthy about this.
Agree, he is doing both. But if he's competing in the marketplace, it seems pretty off base for Open AI to tell him he should be competing in the marketplace. So I think my criticism stands.
> Any solution that's 80% accurate just doesn't work for most applications.

And yet people use LLMs, for which "80% accuracy" is still mostly an aspiration. :-)

I think it's reasonably likely most people companies end up using open source libraries, at least partly because it lets them avoid adding another GDPR sub-processor. Unstructured.io, one of your competitors, goes as far as having an AWS Marketplace setup so customers can use their own infrastruture but still pay them.

LLMs might get better at consuming badly-formatted data, so the data only needs to meet that minimum bar, vs the admittedly very nice output you showed.
Yep, blame my phone’s auto correct…
The main thing I realize is just how amazing we thought those machine voices were and how good and realistic, and how bad they sound now compared to what we have.
Is it even possible for Sam Altman to stop being dishonest? This isn't a method to redress concerns, it's a smear that has nothing to do with the lawsuit.
The fact that owning Twitter was worth half a Mars colony to him should give you an idea of how seriously he's taking this whole thing. It's up there next to "Full Self Driving" and "$25,000 EV" in the Big Jar of Promises Used To Raise Capital and Nothing Else.
How are you in contact with a number of supposed demons for them to tell you anything at all?
From what you and the other person on this thread has said and from what I've read it appears that perhaps the following is true:

1. The axioms of PA_2 are recursively enumerable.
2. The full semantics of PA_2 are what cause categoricity.

It seems to me then that the crux of the matter is that the full semantics of PA_2 prevent there being an effective deductive system. I think Z_2 is constructed to get around the non effectiveness of the full semantics of PA_2 and is a weaker theory.

Anyway, thanks for the enlightenment.
https://medium.com/nerd-for-tech/linus-torvalds-c-is-really-...
>This post is showing that he originally supported the idea.

Yes ... and?

That still wouldn't make it legal. The lawsuit will be decided based on jurisprudence, not based on "what Elon thinks is right".

This is a very amateurish move, tbh. Did they hire Matt Mullenweg's legal team?
Now enough about secularism…
Any practical courses that you would recommend?
Wheres the fun in that?

Acronyms need to be hand crafted.

Anyway, AI can't even give itself a good acronym.

It should be 'Machine Intelligence and Neuro Datagrams' or something.
Hi! Big fan of linuxlaptopprices - it's exactly what I've been looking for. Have you considered adding a "ships to" filter? I live in Alaska and I'm looking to replace my T14s with bad soldered memory, but a lot of the listings don't ship to AK/HI.
I was commenting on people bemoaning about billionaires being too rich, with the implication that billionaires shouldn't ever need that much money.

I don't necessarily agree with the idea of cutting basic research programs and how it's actually structured(short termism, prioritizing novel results over building solid foundation, etc).
I'm sorry, but that painting experiment is bafflingly silly. The same two artists painted 11 paintings based on independent majority votes of a bunch of general criteria, and then made a shocked-Pikachu-face when all the paintings looked the same? Does a culture where the vote of sharp angles vs. soft curves was 55% vs. 45% get the same painting as where the vote was 90% vs. 10%? Did everyone vote for the painting to have a single tree exactly 3 inches from the right side of the canvas? Give me a break.

Even putting aside the fact that these same-same paintings were literally painted by the same artists, the fundamental experiment is mind-boggling:

"We asked a diverse group of 10 people to choose a cool unique color, and then we mixed them all thinking we'd get a Super Unique Color!!, but instead we just ended up with a bland brown! We conclude that everyone in the world sucks."

WTF?

And by the way, those AirBnB interiors don't all look the same. They just all have white walls. And those city skylines don't all look the same, either. Nor really do the apartment buildings, to my eyes. Nor do the Instagram models look the same.

The cars are a good example, but they state exactly why they look the same: it's a good design. What the authors seem to really hate is that function is ever put above form, and that trends exist. Sorry?

Another factor is just that lots of things exist. "Movies with creepy eyes on the poster" is just a sub-sub-sub-genre of movie that exists, and there are so many movies that they can find 10 examples. Okay? So? It offends them that genres exist? Watch a different damn movie then; there are plenty.
Hmm if I wanted to meet up with one person from HN, I would just contact them using the details in their profile. If there were no contact details, I wouldn't meet with them. I don't quite see the value for 1:1 meetups I guess.
Reading speed might follow a normal distribution near the middle ranges, but I'd expect non-trivial deviations in the tails due to dyslexia, ADHD on the one side and trained speed readers on the other. Perhaps this individual just falls on the far tail of that distribution?

During my graduate coursework I sometimes read 100-200 pages of technical material in a day while cramming for an exam, and was able to retain it for a day or two. I'd believe it if some people exist who could comprehend and retain all of that long-term. Alas, 'tis not I.
This is just a dude's hobby project, chill.
I think everyone here needs to lay off the caffeine a little.
Something I've been wondering: why do ebooks take so long to render? My kindle seems good at it, but opening an ebook in calibre/fbreader/etc can take minutes or even fail in some readers depending on the ebook.
Is this one of the 12 days of OpenAI?
sometimes life just delivers. was looking for this 2 days ago
The great thing about watching advances in superconductors is that any day we could discover the first true practical room temp superconductor and that one day changes the world immensely. I personally think we are likely to find one in the next 5-10 years, but that estimate is based on nothing but hope and optimism on my part.
Great way to guarantee I won't attend your meetup
Show HN: Polars H3 plugin for analyzing geospatial data
Astronomers: Starlink constellation solar panels are ruining the astro photography. Reflect Orbital: That sounds like a startup idea! /s

Russians also seemed to think that math could work out, but fumbled on funding and engineering - https://en.wikipedia.org/wiki/Znamya_(satellite)
> One of these days if AGI ever does actually come about, we might very well have to go to war with them.

They arguably already exist in the form of very large corporations. Their lingering dependency on low-level human logic units is an implementation detail.
I don’t think their suggestion ever implies that he isn’t.
If the profiler used is a sampling profiler (and it seems to be), then unlike with instrumentation-based profilers, it doesn't add any function call overhead. It just pauses the program every few ms and records what the call stack is at that point. While this makes the data noisier compared to instrumenting all calls, it also makes the data an unbiased approximation of how the program behaves when not being profiled.

But sampling profilers do still tend to "basically just measure which function gets called most". They can tell a program spent a lot of time in a particular function, but they can't count how many times that function was called – so they can't determine whether it's a slow function, or a fast function that was called many times.
Silicone is not petroleum based.

What is it you are actually trying to avoid? Is it petroleum-based plastics that are the problem? Thermoplastics? Something else?
Haskell is a pure FP language with what amounts to imperative EDSL's in the form of the ST, STM, and IO monads. Haskell has its own issues, but is that approach of an FP outer layer with embedded imperative sections such a bad approach? If you wanted to not have a GC, you could use just the imperative fragment.
Octopticom 3D, a puzzle programming game inspired by optical computing
As someone who does a lot of SRE work this hits hard. I feel like my challenges day to day are rarely that I just need to spit out something, but that I need to find the precisely right blend of configs and connections to tie a bunch of complex systems together. LLMs have helped a bit in some of the most boilerplate parts, but not on the weird edge cases that take up the most time
Precisely,Safaricom also alleged that they would allow for illegal connections… perhaps they meant connections that we can’t easily wiretap on behalf of the government. Interestingly, during the protests a few months ago, the government severely throttled all external connections by putting a few interfaces down at the fibre sea landing points. Only Starlink users were getting good connectivity. A lot of folks migrated at that point.
Science did not spring forth like athena from zeus' head.

In their historical context, tools that we would now consider to be wildly unscientific (like oracles to gods or various alchemical practices) were intertwined deeply with scientific practice. It is not unreasonable to draw these kinds of connections in research. I know some people doing interesting work connecting ancient cipher technology with various divination techniques.

Just because these techniques don't work doesn't mean that they aren't relevant to understanding why things are the way they are today.
Yes. 'products' in the context of the DoD isn't the kind of thing they should be offering to Civvys. Or foreign nationals in my case.
Hahaha, well if it comes to you, the library will still be there for you :)

Right, this was actually just a file within the Storyteller web package to start. It was fairly well defined, and so pretty easy to pull out into another package in the monorepo, but Storyteller is the primary consumer at the moment, and I want to be able to develop them in sync. Plus, it provides a great test bed for development of the library!

edit: I forgot to mention that the eventual goal is to (hopefully!) publish this package as @storyteller/epub, along with any other packages that end up split out of Storyteller. That will probably include at least a @storyteller/synchronize and a @storyteller/cli.

Unfortunately, someone seems to have snagged the @storyteller org on NPM several years ago and left it to languish without really using it, so I'm waiting to see whether GitHub will consider this squatting and transfer the org to me.

I've also tried reaching out to the developer that owns the org, but they don't seem to have been active on GitHub or NPM for the past 5 years or so, and my only real strategy for reaching out to them was to open an issue on one of their other GitHub projects!
I'm pretty sure studios will care because they did invest work for macOS ports and by now Linux has a larger market share in gaming than macOS.
If it helps: among other examples, systems programming (as used here) characterizes much of what your Python and shell scripts call, whether commands or libraries.

C was the overwhelming language of choice for a very long time, but C++ made steady and verysignificant inroads in the last 20 years. Objective-C and Java had/have niches. Rust and Go have traction and continue to gain more. Swift is working towards it.

Actors and immutable types, which the GP mentioned, have less signifance here because they largely trade transparent resource management (which is critically important in many of these projects) for correctness guarantees and sophisticated domain modeling. That said, we can expect there to be more room for them, especially where implementations of those features are zero/low-overhead.
Jeff Bezos' Amazon Plans to Donate $1M to President-Elect's Inauguration
oh wow. I think your original assertion is correct. Wow. What a crazy arms race.
That should be top comment on all OpenAI threads.

Just like “open source and forever free” - until of course it starts to make sense charging money.
If you push back on them, you get pushed out. If you suck up to them and their delusional belief systems, you might get paid. It's a very self-selecting, self-reinforcing process.

In other words, it's also an affective death spiral.
A decent frequency counter can resolve a frequency difference of 1E-15 in a few minutes of averaging. Modern GPS-based frequency comparisons (dual-band, post-processed using precise point positioning) are also accurate to the 1E-15 level with around one day of averaging. Note that these counters operate with radio frequencies. The best atomic clocks use optical transitions and are accurate to around 1E-18. In this case, one gains around 6 orders of magnitude in frequency resolution by translating the laser frequency into a radio frequency using an optical frequency comb. The accuracy of the relative frequency measurement is not limiting at all.

The gravitational redshift amounts to around 1E-16 (not 1E-15) when moving the earth one meter closer or further from your clock. You standing next to it is going to have absolutely no effect.
> Neither of you have anything even _approaching_ AGI.

There are so many conflicting definitions of what "AGI" means. Not even OpenAI or Microsoft even knows what it means.

"AGI" is a scam.
Yeah, I don't see how using a DSL helps get any closer to "understanding how the website is made" especially once you look at its templating system.

I think a better description of the project is that it's built around its async-tree abstraction: https://weborigami.org/pattern/
I wonder if there is an STM (software transactional memory) implementation that uses the borrow checker that way, similar to how Haskell's STM monad uses Haskell's type system to ensure nothing leaks.
This is an incredibly dangerous path to head down. Just imagine if we can get AI to the level of living organisms. We cannot handle that power.
How would you know this person is located in your area or in the area you might visit some time?

I guess you would have to dig, right?

Well, with meet.hn:

1. You don't have to dig

2. People are more willing to meet on average than a random person on the internet

3. You can also check other locations and other people super fast
Scrutiny: noun critical observation or examination
If the believed he already was competing in the marketplace, then what would be the point of saying "he should be competing in the marketplace rather than the courtroom." ? I'm genuinely trying to understand what I'm missing here because it seems illogical to tell someone they should do something they are already doing.
Outstanding. Let me know if you run into any issues!
It's such a surprise to me that there's such a strong division of who gets what chips.

Even mid range phones still get leading or enar leading edge process modes, absurd idle & low power chips, replete with connectivity options.

But if you want to run a regular OS? Now you need something special. An older slower core like the Pi or other SBC. Or x86. It seems like Qualcomm's Snapdragon X Elite is alas almost as fraught as the phone at being a decent regular respectable desktop core, with only some % of systems being able to install non-Windows os.

It's just wild wild wild to me. That there's such a hard division of what's available, that there hasn't been much blurring of the lines. There's some devkits available for Qualcomm chips but it's rare.

I had significant hope for a bit. It was unclear what level of support there was but there were a couple years where mainline support for Qualcomm chipsets was happening. Linux 5.17 for example in March 2022 had a bunch of Qualcomm chipsets support (845, 888, 7c), and "support" for a bunch of phones including some nice looking Xperia phones, but its so unclear how we would actually use that, how deep support went. The datas there in dtbs, telling us whether displays or USB or whatever is there, but it feels so much like there was something going on, a possibility, that we failed to see and seize, to start to make real use of these amazing devices in our own ways.

I'm also a bit bitter that the mobile chip market has consolidated down & shrivelled up. Apple and Google seem to have no interest in selling chips, Qualcomm and MediaTek are the only big players, and there's a host of smaller Unisoc and others that are seemingly as un-purchasable as the big player's chips.

The idea of a home cluster of phones makes a ton of sense. It'd make more sense if these were respectable decent computing devices. I'd love to see more stories on getting to mainline, on how we use the mainline kernel support where available. These kernel releases give the notion of hope, but mostly, it's a bunch of nerds like me clutching their Mobian running OnePlus 6/6T's (2018), and not a lot of signs that anyone knows how to use what mainline support that does show up!
There is a paragraph with four economic reasons why buildings are converging on the same set of styles. It is reasonable to infer that divergence would make properties more expensive, and the article doesn't even attempt to suggest that that might not be so.

Just following the paragraph on the economic reasons for convergence, there's another paragraph with a quote dripping with contempt for the aesthetics on which the style has converged. The combined message is "It's too bad we can't afford to have better taste." That sentiment is snobbishness in a nutshell.
Modeling Data Sovereignty in Public Cloud – A Comparison of Existing Solutions
There is a lot of serendipitous backing up with social media. There was also a lot of serendipitous passing on to relatives of physical media. Not sure which better stands the test of time. (And I'm sure it varies.)
> The mirror was designed by Bozani with the help of engineer Gianni Ferrari, and cost about €100,000...

First reaction: why would a mirror cost this much?

> Eight metres wide and five tall, it reflects the sunlight for six hours a day, following the sun’s path in the sky thanks to a software programme that makes it rotate.

Also saw elsewhere that the reflectors are made of steel. So a giant, software-controlled, motorized structure, reflecting just the right amount of sunlight to a precise location, sitting out there in the elements...

Totally worth it, and what a cool project!

Relevant: https://en.wikipedia.org/wiki/Heliostat ("Aziz, Light!")
This is often called "blue sky bargaining". It helps frame the magnitude of the final bid.
I'm not here to tell you about your country, for which I know very little. But since I'm Canadian and euthanasia here is very new and very controversial, I decided to look up the framework in the Netherlands.

From the wikipedia article: https://en.wikipedia.org/wiki/Euthanasia_in_the_Netherlands, this stood out to me:

> There is much discussion about people with early dementia who have previously stated in a written will that if they ever got dementia, they would want to get euthanasia.

This doesn't necessarily mean "controversy", but is very much an ongoing discussion and speaks to a problem that euthanasia introduces that has yet to be solved in the Netherlands.

And this really is the issue and complexity when it comes to euthanasia in general: we're talking about a form of legal homicide. So under what circumstances this should be permitted is a very valid legal question. Questions about consent, state of mind, paper trails and proof of consent are also very pressing questions and it sounds like no, not ALL of these questions are currently answered in the Dutch framework.

This is also not me arguing against euthanasia. I believe that adults have the right to commit suicide by any means of their choosing (assuming they're not infringing upon the rights of others in the process). The only thing I'm saying, really, is "it's a complicated issue with lots to consider."
Svalbard
I don't know how complete it is, but NonStop has had POSIX support since the mid-1990s. It's called Open System Services. It's got ksh, and various unix/posix apis/utilities, and a hierarchical filesystem.
Will Hyperbrowser soon offer live session view like BrowserBase does e.g., https://docs.browserbase.com/features/session-live-view
It'll be great to enable end users to view and control the remote browser session.
Btw, Hyperbrowser seems great! Thanks for building this
Town squares go a lot further than I imagined
maybe listen to audio books instead. i don't read books because i would forget everything else around me, but with audiobooks i can do other mundane activities (like housework, going for a walk) alongside it, and it feels very different from reading.
As for "Top": The best refactoring tool I ever used was http://structure101.com, for both C++ and Java.

Unfortunately it was just bought by Sonar. Their former 30-day free trial was mind-blowing. Now it seems to be reduced to architecture enforcement.

It creates an internal database of names and relationships and shows you graphically the dependencies, so you can detangle cycles, impose layering, extract common utilities, etc. It helps you make and execute an overall plan.

Yes, work incrementally with tests, but you're blind if you can't see the whole landscape and have no plan (esp. no vision of exactly why the result will be better).

The strict meaning of refactoring is not any re-design, but a wholesale change that is guaranteed by language features to be correct (i.e., to not change semantics). With structure-101 (in java at least) you can lay out a whole series and execute them all.

(Absent that, Eclipse offers a host of refactoring steps for Java.)

It's too bad given the dynamics of worse-is-better free or cheap IDE's that syntax- and semantic-aware tooling like structure101 isn't widely prevalent.
Ver will hardly be the first person to argue that the exit tax is unconstitutional, but the vagueness of tax law when it comes to valuing BTC is an interesting legal issue.
> why would it be compulsory to have a profile on some social networking thing?

It's not! In fact you have several other options if you prefer.
Robot soldiers is a today problem. You want a gun or a bomb on a drone with facial recognition that could roam the skies until it finds you and destroys it's target?

That's a weekend project for a lot of people around here.

You don't need AGI for a lot of these things.

We are not far away from an entire AI corporation.
That’s a good question. A cryptographic hash must not leak any information other than “yes” or “no”. A checksum-type hash might have an additional property where data that only has a single bit flipped might hash to something close to the original hash, allowing you to refine your collision attack by knowing if you’re hot or cold.

For a checksum, this isnt a bad thing and actually could be good.
Since you aren't getting the hint:

Don't pursue this or anything related to an AI news aggregator, it's both a) ineffective and a waste of time for everyone involved and b) everyone has tried doing it before, which is how we know a).

The rise of AI Agents do not change the calculus.