skysight-inc/HackerNews huggingface dataset:
Part of the reason for forking from SerenityOS was to allow adopting third party libraries. They've already added Skia and FFmpeg and a bunch of other stuff. WebGL will almost certainly be supported by ANGLE, WebGPU by Dawn or wgpu, WebRTC by the WebRTC library. WASM on the other hand is usually tied to the JS engine which is custom. I believe it's already partially implemented.
hey, if i say it was created by a 12 year od teen(me) how do you find it from 0/10?
Perhaps some concrete examples would help ground the conversation?
Fish in Earth's hottest water defy the odds
Congrats to FreeDOS for 30 years.

This is perhaps a good example of a project being more than the product. By which I mean, we don't really need it - it serves no practical purpose, and yet it continues.

Of course I generalise, but the original premise ("I liked the command line") is amply served by Linux, Mac or Windows. The other original motivations are similarly obsolete now.

All of which is irrelevant. It remains an active project "just because" and isn't that the purest form of Free Software? Sure it's "useless" but we make it because we can, and because we want to.

Perhaps that's the biggest Open Source Community lesson of all- build something that the community enjoys making, unburdened by a large userbase, unburdened by popularity, or usefulness. It's gathered like-minded people who enjoy the journey more than the destination.

So tip of the hat to you all. FreeDOS is an example of capturing the heart of programming - code that doesn't need a reason beyond "because we wanted to."
A really good read! Chile's position in the map always had me ask lots of questions and found most answers in this article. Thank you!
> We don’t need a printout of grahams number computation to know a TM which computes it halts. why impose that here?

Of course, the TM which "computes Graham's number" can trivially be proven to halt, without running it fully.

But it is much harder to show that the TM (let's call it M) which "computes Graham's number, then plugs it into a big halting-proof generator (in a fixed theory T) as an upper bound on the number of symbols, then executes each proven-halting TM in order" also halts.

The problem is, just because a theory T gives a halting proof for a machine, doesn't necessarily mean that it halts. (That is, T isn't necessarily Σ₁-sound.) And if that doesn't hold, then M might run into a "fake halter" that can be proven halting in T, but doesn't truly halt in the standard model. Thus, the only ways to show that M halts are to either establish that T is Σ₁-sound, which can only be done by appealing to a stronger theory, or to run through each of the Graham's number of proofs, which takes astronomically long.

This is similar to an instance of the Berry paradox: if you could easily prove that M halts, then it would have a relatively short halting proof within T. But then it would find its own halting proof, and simulate itself. But then it would simulate itself simulating itself, etc., etc., and never actually halt. So T wouldn't be Σ₁-sound, since M doesn't halt even though you proved that it halts. The only way out of this trap is if M doesn't simulate itself, i.e., it takes more than Graham's number of symbols in its own halting proof in T.
I wonder if they are thinking Swift - their C++ interop is still pretty new and has a way to mature, but it’s designed for exactly this [1] (we should expect Apple to start doing it with WebKit and other big C++ projects, even perhaps LLVM).

1. https://www.youtube.com/watch?v=lgivCGdmFrw
Show HN: Improve LLM Performance by Maximizing Iterative Development
I have been working in AI space for a while now, first at FAANG with ML since 2021, then with LLM in start-ups since early 2023. I think LLM Application development is extremely iterative, more so than any other types of development. This is because to improve an LLM application performance (accuracy, hallucinations, latency, cost), you need to try various combinations of LLM models, prompt templates (e.g., few-shot, chain-of-thought), prompt context with different RAG architecture, different agent architecture, and more. There are thousands of possible combinations and you need a process that let’s you quickly test and evaluate these different combinations.

I have had the chance to talk with many companies working on AI products. The biggest mistake I see is a lack of standard process that allows them to rapidly iterate towards their performance goal. Using my learnings, I’m working on an Open Source Framework that structures your application development for rapid iteration so you can easily test different combination of your LLM application components and quickly iterate towards your accuracy goals.

You can checkout the project at https://github.com/palico-ai/palico-ai

You can locally setup a complete LLM Chat App with us with a single command. Stars are always appreciated!

Would love any feedback or your thoughts around LLM Development.
I feel like I learned everything except the question in the title. I still don't know why it's long, just a lot of facts about how long it is.
Sunmaxx PVT, Oxford PV launch perovskite-silicon TPV with 80% overall efficiency
Information wants to be free. The ethos of the open web - the levy hacker ethos, has always been about unrestricted access and fair use. When content is published openly online, it inherently invites broad consumption, reproduction, and creative reuse by the public. This principle is deeply rooted in the fair use doctrine as applied to the digital realm.

Fair use is evaluated based on the purpose of use, the nature of the copyrighted work, the amount used, and the effect on the market. These factors generally favor the free use of openly published web content. The transformative nature of many reuses, the public availability of original works, the necessity of using entire works in some cases, and the absence of a traditional market for such content all support this interpretation.

This longstanding practice has driven unprecedented innovation and information dissemination, establishing a social contract between content creators and users that treats open web content as "freeware." Any move to impose strict copyright limitations now would stifle innovation and contradict decades of established legal precedent and digital norms.
It can be a grand number of things, but lack of the highschool curriculum is unlikely to be one of them, in my opinion. Rest assured, you're far from the only one struggling, I'd say most people I've encountered in academic philosophy tend to struggle a tad more with it than (their) other fields of studies. It is what it is, really, it sort of comes with the territory.

Of course there are just some that are less accessible than others, due to writing style or size of their philosophical project (Hegel is an example of both of those qualities). A lot of French philosophy since the second world war, Baudrillard being no exception, is generally characterized as such as well amongst the anglo audience, although I don't think that this is entirely fair.

I'd say the best thing you can do is never attempt to understand it through Wikipedia, but pick up a full book instead and read it a second time if the argument doesn't make sense the first time. Of course there are some authors I would avoid as a beginner, but someone like Kant is fine for even your first philosopher, and is amongst the biggest names in modern philosophy. Prolegomena and Critique of Pure Reason are two books of his about the same thing written in two opposite ways, the former from easy to difficult, the latter vice versa, I always recommend those.

Sartre and Wittgenstein are both somewhat odd for a contemporary philosophy course. I'm curious why they chose that arrangement. Nevertheless, being able to hold a conversation about either of them is already quite solid, plus you get three philosophers for the price of two! :)
Electricity is the flow of ions, it's literally atomic science (albeit not "quantum" in the sense highly specialized sub field we know today).
Yeah, that's what I was going for. More specifically, in my head it sounded like Necronomicon calling out to Futaba, and I almost included that part before deciding it was too much ("The forbidden wisdom has been revealed. No mysteries, no illusions shall deceive you any longer.").

But of course, that exchange occurs in her own personal corner of the Metaverse(/Omniverse). It arguably only counts because she turns out to be on the winning team. Perhaps that's also a metaphor for the AI bubble.
> but it sure as heck isn't a reason to invest in

Are we just ignoring the bushels of money that Tesla has made investors?
The Underground Network Sneaking Nvidia Chips into China
They needed to perform an investigation to figure out this was occurring? LMAO
obligatory IANAL, but seeing LLMs:

- regurgitate entire passages word for word, until that behavior is publicized and quickly RLHF'd away

- rip github repos almost entirely (some new Sonnet 3.5 demos Anthropic employees were bragging about on Twitter were basically 1:1 to a person's public repo)

It seems clear to me that not only can copyrighted work be retained and returned in near entirety by the architectures that undergird current frontier models, but the engineers working on these models will readily confuse a model regurgitating work to be "creating novel work".
Who did you read?
same problem here (so many paywalls and blocks to brazilians ip's ), i used a proxy: https://12ft.io/https%3A%2F%2Flunduke.locals.com%2Fpost%2F58...
We must know the percentage which halt! I can’t find it in the bbchallenge.org site, but every machine is categorized.
What Is the Opposite of Force?
No, but the government can if you give them an incentive.
I remember/r/the_donald. I saw a Trump parade in 2015 where they flew those green Nazi flags. I see what they cheer for at rallies. What he says to get approval. It's absolutely disgusting. Is this their version of punishing the establishment for manufacturing jobs or something? No. These are the people who insisted Obama was from Kenya. The people who punished Democrats for the Civil Rights Act. The same people who seceded to protect slavery. Are they nice, polite, well-meaning salt of the earth people? Maybe some of them. But nice isn't the same as good. I'm sure that telling them how stupid they are isn't a great way to win their vote but it doesn't mean it's not true.
Your logic seems faulty.

Let me see if I have this right:

>For some of us that is unacceptabme.

1. So, Apple, creator of macOS, "the most valuable company on the planet", followed the rules of the BSD licence,and that is unacceptable?

But, Google, a company that is also highly valuable, and the creator of Chrome, also followed the rules of the LGPL licence, but that is acceptable?
Dear Julia, Dear Yuri: A mathematical correspondence (2022)
Let's unravel what you've said here. You're saying that there is no way that I'm not a bad parent because I would have found a way to ignore my family regardless of some time saving device.

Glib? That's not glib. That's just being a jerk. And fueled by what, your personal distaste for LLMs?

People who are that way inclined?
Bypassing "This content may violate our usage policies" Errors in AI Chatbots
I use this method because I happen to know how to develop web servers and work with HTML/JavaScript. That's why I chose this approach. I assume they are in a similar situation, or they might have other considerations.
Over the past decade, there has not been a truly perfect and convenient way to develop GUIs. Everyone has been trying different approaches.
My bad. I have now edited my comment accordingly.
Dupe
https://news.ycombinator.com/item?id=40838803
This might be true in a world where people actually give a shit about privacy.
Well, that post is about 8000, not 745; but yes, in general, you are not going to use a Gödel sentence when trying to drive down the record.

This isn't disagreeing with what I was saying, though; I said incompleteness requires there is some such n, and then also said what we know about the record, I didn't say the record comes from a Gödel sentence.
Pretty sure you can rent telescope time it's just booked so you might have to wait.

You can still go physically, there's tours and such. But it doesn't make sense for a physicist to go there when all the imagery is captured by a computer anyway.

Also, if you've been to those altitudes you know it's not a walk in the park either!
Google factbox for "How many landings on dark side of moon" is grossly incorrect
When you Google for "How many landings on dark side of moon", the factbox and #3 are grossly incorrect, and appear to have been doctored for SEO juice by later adding "dark side of the Moon" [0]. This seems to have been up for 4.5 years though [1], so it predates GenAI. Surprised it escaped scrutiny. How much scepticism should we apply to Google factboxes these days? (I guess this is the same trend as WSJ, 2017 "Google Has Picked an Answer for You–Too Bad It’s Often Wrong"/"Google increasingly is promoting a single answer for many questions"[2])

[0]: https://www.jagranjosh.com/general-knowledge/list-of-all-successful-moon-missions-1568103956-1

[1]: https://web.archive.org/web/20190911192622/https://www.jagranjosh.com/general-knowledge/list-of-all-successful-moon-missions-1568103956-1

* Originally the page was "List of all Successful Moon Missions" (Sep 10 2019)
"Till date there are 20 moon missions have been launched successfully by the 3 countries."

* Then around Nov 1, 2019 it was changed to "List of all Successful Moon Missions on dark side of the Moon"
"Till date there are 20 moon missions have been launched successfully on the dark side of the moon by the 3 countries... The first successful moon was Luna 2 which was launched by the Union of Soviet Socialist Republics (USSR) on 12 September 1959. While the first successful manned mission (Apollo 11) was launched by the USA on 16 July 1969. Read this article to know the full details of all the successful moon missions..."

* If the incorrect claims of "dark side of the Moon" were removed, the article and site would be okay. (but that's the key phrase that is misleading Google's factbox)

[2]: https://news.ycombinator.com/item?id=15721466
They did a Shodan-style search on the IPs they believed were involved in the attack and determined they were Mikrotik routers.
with half the fine, Meta buys the entire Brazilian supreme court and suddenly: no fines, no jail and everyone will be happy.
I'm also against no-benefit backroom deals, but who ekse is qualified to develop and deploy st scale such a project? Of course it is likely that some Moderna execs know some Senators, but the same is surely true for Pfizer and every other qualified company.

So, what evidence do you have that this is an illegitimate deal? Ehat other company should have gotten the deal? Or, do you merely feel that a vague suspicion substantiates an accusation?
Funny to see the example of RSC in that context!

Multi-stage programming and distribution with the same syntax between clients and servers has been _the_ key feature of Opa (opalang.org) 15 years back. Funny because Opa was a key inspiration for React and its JSX syntax but it took a lot of time to match the rest of the features.
Yes, Qt is a perfect choice for many developers, but there are also some developers who can't fully master C++. For example, I'm not smart enough to learn C++ and can only use C. Fortunately, there are some C language UI libraries available.
Same, and agreed.

The minute you go self-hosted, your complexity goes up 10x, as does the services you'll need to provide to maintain it, and the hiring needed to fulfill that need.

WFH is super divisive right now. Imagine telling engineers "how do you feel about flying to Nebraska for a few weeks?" Doesn't work.
> I don’t mind big companies training on generally available data, I mind the IP-laundering

large platforms saw AI and instantly closed their platforms making it hard or impossible for external actors to mine that "generally available data," hurting their own users and the open web in the process, and then they mined the data themselves.
A Bugatti car, a first lady and the fake stories aimed at Americans
Microsoft released the NT 4 version of it under the MIT license: https://github.com/microsoft/winfile
>> derivative work or a transformative one?

This isn't solved even for humans. There are trials that clear misunderstandings about fair use. (Every developer here has heard of this one: https://en.m.wikipedia.org/wiki/Google_LLC_v._Oracle_America....)

Artificial Intelligence currently has no concept of responsibility (not legal, not ethical), and it will never have existential threats derived from law. The only way that I can think of, as of right now, is that every single product touched by AI must have a human who is legally responsible for it.
Who would predict that Butlerian Jihad would start from all places, in Brazil?
Even then, this current indictment goes after "one count of major fraud against the United States, two counts of wire fraud, and one count of false statements" - that is, the low hanging fruit.

In particular, there is no attempt (in these specific charges) to seek conviction or punishment for "hurting people by delaying science, drug studies or treatment" - which would be justified in such circumstances. Don't know if there is current law that could be thrown at that. Probably yes.

There will be certainly time to take that into account in sentencing. The court may not go easy on that guy.

Anyway, yes, a good start.
Here, but as the other person commented: TFA's link is not paywalled for me neither...

https://archive.is/9AT4O
> we don't really need it - it serves no practical purpose

FreeDOS is used by PC OEMs for tech support, e.g. https://support.hp.com/us-en/document/ish_9586495-9586656-16

You can create a DOS-bootable USB flash drive by downloading and saving a FreeDOS operating system image. The bootable USB flash drive can then be used for testing and troubleshooting any component on your PC.

FreeDOS helps sell PC hardware without the expense of a Windows license, for customers who would like to install Linux, OpenBSD, or separately licensed Windows, e.g. http://h10032.www1.hp.com/ctg/Manual/c02628224.pdf
Funny comment of the week.
Nice! That was my experience as well. Just wanted to make sure I wasn’t falling too far out of date while I switched to some MLops roles for a while.
publicly funded research, but behind paywalls, was scraped to build the chatbot - by “china” not open ai, causes “people” to lose their s**t.

i do think ip infringement is not cool in general - but it doesnt seem right that geo research is private property.
Suppose that there exists a natural number that diverges to infinity under the Collatz map. Then the Collatz conjecture would be false, but your machine would still run forever on that diverging number. As far as I am aware, there is no known machine that halts iff the Collatz conjecture is false.
To some extent I think Andreas Kling et al might still find that a win, given that the browser market would still have more choice than it does today.
Without static reflection, we need to write a lot of boilerplate code, and those boilerplate is not guaranteed to stay in sync with the struct definition. That is why static reflection is sorely needed.
> What's more, they are confident [building a new browser from scratch] can be done without taking any funding from corporate deals or advertising revenue.

And what if you succeed? Best of luck on this bold endeavor, and try not to break our hearts.
When I try to use the provided URL, I get this:

Sorry this page does not exist =(

Alternative:

https://cc.bingj.com/cache.aspx?d=4652446581392&w=-V-8V9bl07...
It's just "to accelerate development". Any drug company that does vaccines would loooooooove to come out with a new, more effective product in that field and most likely spends money on that already. It's a huge, reliable, well established market.
I don't want to be impolite but that is verging on gibberish. Someone could build a solar farm and presumably start making money. The costs are reasonable (eg, [0]).

There is an outside risk that in 10 years an extremely expensive source of power enters the market. Assuming a bunch of relatively unlikely stars align, including that someone is mad enough to fund a nuclear plant in Australia despite the usual vocal political opposition that has scuttled the industry in most other western countrys. There is nothing there that threatens solar investment; people invest in riskier capital projects all the time. We're in the middle of what appears to be an energy crisis right now.

The targets and stuff were an issue when mass solar buildouts were an ideological stunt. But we delayed that idiocy for long enough and it appears that private investment will take it from here as long as the environmental approvals etc aren't too onerous.

[0] https://www.csiro.au/-/media/Energy/GenCost/GenCost2023-24Fi...
I feel like we'll get a (less physically _real_, but much more impactful) run of this "make it to the next day unscathed" adventure in 2038. Only 14 short years...
Harsh blog post about Tor's failures (including Snowflake): https://www.hackerfactor.com/blog/index.php?/archives/944-To...
FreeDOS can be used for offline word processing, e.g. reducing information leaks when writing the next "Game of Thrones".

(2014) https://arstechnica.com/information-technology/2021/07/dos-b...

> Twenty years ago this week, as Microsoft announced that it would end support for the MS-DOS operating system, James Hall announced to the world that he intended to create a public domain version of the OS in order to keep the universe of character-based DOS software alive. Hall’s “PD-DOS” project eventually became FreeDOS, which today supports an ecosystem of developers, retro gamers, and diehards who will give up their WordStar when you pry the floppies from their cold, dead fingers.. WordStar, George R.R. Martin's favorite word processor, also runs happily in FreeDOS.
There are also patterns -- both stable patterns and oscillators -- that have an unbounded chain of predecessors, but still can't be glider constructed. That is, there are proven solutions to Conway's "Unique Father Problem" from over half a century ago:

https://conwaylife.com/wiki/Unique_father_problem

To put it another way, there are certain patterns that, if you see them in the Life grid, you know they've always been there from T=0 -- because they are provably their own only predecessor.
He didn't say he wasn't voting, he said he wasn't voting for Trump or Biden.
Vulnerabilities in CocoaPods Open the Door to Supply Chain Attacks
The public suspected this months ago. It seems disingenuous for the media to suddenly "realize" this when they spent months parroting administration officials who said he was fine. I can't tell if it was the administration, or the media, that gaslighted the public.
Signs of ritual performed 12,000 years ago
The correct answer as of 2024 is "two (unmanned) landings" but it's not easily parsed from https://en.wikipedia.org/wiki/Far_side_of_the_Moon

- (1959: Soviet Luna 3 probe first observes the 82% of the dark side that is never visible from Earth; published 1960)

- China's Chang'e 4 (launched Dec 2018, landed Jan 3, 2019): first landing on far side; deploys Yutu-2 lunar rover.

- 2024: China's Chang'e 6 sample-return mission:
launched 3 May 2024, landed Jun 1, 2024 (in the Apollo basin in southern hemisphere of lunar far side), returned to Earth June 25 2024 with humanity's first lunar samples retrieved from the far side.
Indeed it has.
Some of us either like jupyter or must use it