skysight-inc/HackerNews huggingface dataset:
I've spent many years studying YEC and interacting with YEC's. I've even spent some time on the YouTube YEC debate circuit. I've come to one over-arching conclusion: the roots of YEC belief go down to the very foundations of one's philosophical outlook. Specifically, it is rooted in an acceptance of teleology [1]. It is a very long chain of reasoning from there, but this it the thing that most detractors of YEC miss: this reasoning is logically sound [2]. And because of that, you cannot successfully combat it with logic. You have to go to the very roots of the belief and address its foundations, which is to say, you have to deal with the fact that YEC's accept teleology as a philosophical foundation, and it is very hard to dislodge someone from that position without also sending them into a spiral of existential despair. That is the reason that these beliefs are so persistent despite being so violently at odds with [EDIT: the scientific view of] reality.

---

[1] Teleology is the assumption that things have a purpose. The divergence between teleologists and whatever its opposite is (scientists?) is that the latter starts by asking what is the cause? and the former starts by asking what is the point? Everything can be traced back to that initial flapping of the butterfly's wings.

[2] An extremely abridged version goes something like this: a cursory inspection of the world around us seems to indicate that it was designed. So let us adopt that as a hypothesis. What would be expect to see? Well, one thing we would expect is that the designer might have provided a manual to go along with his/her/its designed creation. And lo and behold, there is such a manual. Actually, there are many such manuals. Collectively they are referred to as holy texts. The logical rabbit warren branches out from there.
You can't spend years fighting something and not develop an understanding. They're doing stupid as a dog and pony show to rile up the voters. You see this on all sorts of issues.
Catholic doctrine states that evolution is accepted by The Church. Not 100% related, but I dislike seeing everyone lumping Catholics with... Protestants.
Hi! This is Satya here I am part of the Azure Engineering team responsible for ARM Templates. Would love to get a demo of what you have done with ChatGPT. Would you be willing to give us a demo? My email address is satyavel[at]microsoft[dot]com.

Could you send me an email and let me know.
Thanks
Satya

Info about me: https://www.linkedin.com/in/satyavel/
44 watts is not enough. I would say 1100 minimum to cook a good pizza.
I've updated the quote, thanks.

The windows approach is putting in "recommended" rails and other unwanted defaults in places like the windows 10/11 menu that previously did not have such things. I don't believe they do this for free, and it didn't happen in older versions.
Yes, your lack of knowledge was never in question.

> The Dunning–Kruger effect is a cognitive bias whereby people with low ability, expertise, or experience regarding a certain type of task or area of knowledge tend to overestimate their ability or knowledge

https://en.m.wikipedia.org/wiki/Dunning%E2%80%93Kruger_effec...
The trick some schools have been doing (I think so far only law schools?) is that they raise tuition and then give annual kickbacks to graduates until loan forgiveness kicks in. For the school and students, it's a win/win
I think it's both.

Fortunately, unless you're doing hacky bullshit, changing from 32 to 64 bit should be trivial. Unfortunately, companies go out of business, so can't be relied on to update their own software into perpetuity. Fortunately, it probably doesn't have to the original company to update the software, because it should be a straightforward update of some build parameters. Unfortunately, proprietary, source-unavailable code is the norm in commercial software development, so no one but the original company has the source code. Thus it's the original company's fault for not being at least source-available.

Fortunately, we have the technology to run 32 bit software on 64 bit operating systems. Unfortunately Apple has decided to not do so any more. Fortunately, Apple used to allow this, so your software still works on an older version of the operating system. Unfortunately, Apple has decided to brick that version of the operating system, forcing you to update it and lose access to the software you were perfectly capable of running on your device before Apple's unilateral decision. Thus, it's Apple's fault, for breaking backward compatibility and then forcing people to update.
Is this for real? I have never heard of a catholic school teaching fundamentalism like this. Not saying it doesn't exist, but would have to be pretty fridge.
vote for Genghis Khan of the Green Party!
The majority shareholders do have a fiduciary duty to all shareholders, thus if they grant themselves unreasonable compensation you would have basis to sue them.

"Control shareholders have a fiduciary duty to the minority shareholders to act with 'good faith and inherent fairness.' As such, majority owners have a fiduciary responsibility not to use their influence to engage in self-dealing, including actions that are unfairly prejudicial to the minority shareholders."

See: https://ffslaw.com/articles/have-the-controlling-shareholder....

If everyone gets diluted for new funding that's one thing and you have no protection against that. But if the 51% just vote to fuck over the 49% that's very different.
Most of us on HN probably observe some combination of the following.

* Closed ecosystem. Can't share with clients on Windows. Pass.

* Looks like an outdated version of FigJam. Just use FigJam.

* Oh yay, back to illegible handwriting everywhere. Nope.

We will continue to use FigJam or Miro or whatever. This isn't for us.

It's for people like my Mom who will just stumble upon it on their iPad, and use it to plan a funeral with the family, or something along those lines. Non-techies wouldn't even think to use something like FigJam or Miro; this type of software doesn't otherwise exist to them. But now it does, in the form of Freeform.
> it's illegal to write zoning code that explicitly excludes poor/black people from an area. The main way it is enforced...

I follow your reasoning about discrimination based on economic background but you lost me at "black people". Economic segregation is taking place, yes, but how is this racial discrimination in any sense?
I think there's a strong evangelical influence over Catholic culture in the US. Church doctrine does acknolwledge evolution, but with certain exceptions such as human consciousness.

Disclosure: Went to Catholic university
From my experience, people who don’t have to worry are either have to maintain legacy stuff nobody else wants to do or they are cutting edge people working on the latest and greatest.

So my advice, build your skillset on either one of those.
I agree. I strongly suspect the people telling OP they aren't worried about finding another job are bullshitting him. Or in some cases, maybe their egos have them believing it too.
I think this is very cool, and from a cursory look you've made most of the right design choices (to the extent that the Web Crypto API allows).

That being said, I think most security professionals (myself included!) aren't equipped to outright "crack" this kind of thing in just a few minutes, and most should know better than to think that their inability to do so implies soundness.

With that in mind, here are some things I noticed (none of which represent an immediate break!)

* You're using SHA-1 in your KDF. That's probably fine since PBKDF2 doesn't rely on the properties of SHA-1 that have been broken, but the Web Crypto API gives you better alternatives. You could switch it out for SHA2-256 here without any breakage to the rest of the scheme.

* I'm not a JS expert, but I _think_ your encryption page might allow a confused user to reuse an IV[2]. Normally this wouldn't happen because the user would refresh or reload and trigger the `init` on page load, but it would probably be better to generate the IV on demand rather than having it wait in an HTML attribute.

Again, very cool work! The fact that people can make these kinds of self-containing encrypted applications with Web APIs is a serious testament to how far the standards have progressed.

[1]: https://github.com/mprimi/portable-secret/blob/3b22d2b42baf8...

[2]: https://github.com/mprimi/portable-secret/blob/4de5e958fe6f8...
Yes, and the Christian denomination (or at least what they'd like to consider themselves as) I was raised in would point at Catholic Church and laugh at its spiritual weakness, seeing acceptance of evolution as a compromise in both senses of the word.
It really depends on financial, family and characteristics. For me I'm always worried about financials unless I'm fully covered, which is impossible unless some how I got two millions by wind.
That's a really good question. I may have known the answer to it twenty years ago, but I don't now. XD

What I can tell you is that it wouldn't have been so straightforward as that. We're not talking about an axiom-to-result symbolic proof piece of software like you might attempt to write now. It wasn't a computer proof so much as a computer-assisted proof. Lots of human analysis to describe specific properties, and then a computer program to check that a long list of geometric configurations had those properties.

I don't know exactly what the program output as its proof, but I can only imagine the problems would have been small assumptions built into its design failing in corner cases. The theorem is notoriously difficult to reason about rigorously, and there have been a number of accepted proofs over the years that turned out to be false. It really doesn't help the whole situation that not only is it the first major computer-assisted theorem, it just happens to deal with a result that people are already wary of.
How do you move your pizza from the shovel to the stone/oven? Its so sticky..

I keep failing at this resulting in dirty oven or calzones… to the point that I am back at using backing paper and giving up in the stone.
Evolution doesn't say anything about the origin of the universe. It explains how populations of living organisms change over generations.
It is optional though and not endorsed - more like has not been clearly denounced. Even then the publication used for permitting believing it advises caution.
The Catholic Church is able to merge telos and evolution. YEC should try harder.
State of AI Report Compute Index 2022
There are no reproducible scientific experiments proving evolution. Evolution is as much a religion as all the others.
I did the same thing before WebCrypto by including an AES JavaScript library in the page. Nice work.
Go changed the world in that it made the rapid development of things like Docker, Kubernetes, possible, along a multitude of other "cloud first" services. This in turn made possible things that were much harder to do before. A single trivial example being the massive NN training pipelines by self-driving companies.

All this could have been done another way, using another language, but not at the same speed as what was enabled by the ergonomy of Go, and not with the same enthusiasm. Arguably, the boiling mix phenomenon made a multitude of things happen and possible, by making them easier to do, thus crossing a required minimum threshold where enough people have the time, desire and ability to achieve something.

Rust will do the same.

It's like catalysts in chemistry. They are not the reagents, but they often make the reaction statistically possible in the first place.
I'm a bit confused, at the start they talk about C++, but some of the code examples look like C. Do those checks also work in the C compiler? (the difference is kinda important, because unlike Clang, the MSVC C++ compiler doesn't have enough non-standard language extensions to compile C code that was written in the last 20 years).
Well, your cipher text could decrypt to a non-published URL that has some cipher text which decrypts to another non-published URL (as many layers of indirection that you need), with the final non-published URL containing the actual cipher text you wanted to decrypt.

You can check server logs to see if those URLs are ever hit.

And if you ever need to, you can abandon the original link after changing what those non-published URLs point to (something "fun", like a rickroll perhaps).

In fact, how about using the Wayback Machine to store a bunch of versions of the static page, each containing different versions of the cipher text. Only you know which date range contains the proper cipher text!
That has nothing to do with actual Catholic theology, which doctrinally has no problem with genetics, evolution, dinosaurs, etc. This is also true of most European Protestant religious groups.

They see the bible story as allegorical and so not expected to be taken literally. Evolution is seen as simply the mechanism through which god chose to act. Creationism is largely an American thing, in Europe most Christians consider such people fringe nut jobs.
Sounds like a skill issue on their part.
Boosting GPU Frequency for Better App Performance on Meta Quest 2
Despite what people might tell you the only market for crypto is "vibes". You can tell the bad bones of the market since a single idea (Bitcoin) got renamed "crypto" -- a word short for cryptography which has nothing to do with these currency systems.

I'm not sold on cash being in our longterm future, but I can tell you the blockchain backed free from corporate overlords is also not in the tea leaves. If you're defending crypto today and hoping for a resurgence you are definitely not going to like the resulting success if it ever does come. It will be part of a corporate hellscape or a tool backed against some sick merit system -- who knows.

Money systems cannot be improved to help people. They are only useful to the people in power.
Catholic school here in Canada explicitly teaches evolution and has done so for a very very long time.

Since Catholicism is pretty "centralized" as far as religion goes and since the official ex cathedra position has been a-ok with evolution since 1950 and arguably earlier, I have no idea how this story could possibly be true.
Can you imagine perfectly stable operational amplifier made with thermionic valves (tubes), ECC81, ECC82, ECC83. Amplifying DC millivolts to stable volts and converting them to pressure 3 - 15 psi, because intrinsic safety circuits were not possible at that time. 4-20mA came later.
I listed one good place for evidence - Zuckerberg's interview. I also have done consulting on such projects for a few of the players. All the big players have extensive groups working on this. For example: Microsoft has bought AR and VR companies and rolled the tech into Teams, and their many AR/VR projects have been business (and military) directed for a long time. NVidia has the Omniverse for 3d content creation and sharing (among other projects).

As far bas as 2016 there were 200_ companies working in this space, including Amazon, Apple, Facebook, Google, MS, Sony - and they are not simply trying to make game goggles.

A simple google for this should make it clear to you that the game angle is a tiny slice of what is being pursued, since the game market is tiny compared to the broader uses.

There are already uses for telemedicine, virtual meetings, virtual site inspections, remote education, military, training, flight simulators, geography uses, dangerous environment uses, prototyping, broader healthcare, engineering, music and other events (concerts and other things have been held on various platforms). Digital twin creation and inspection are huge business use cases for all of industry and DoD, with billions a year currently being spent on development of the tech.

>but [I] find the idea of interacting with colleagues

Your experience is not what will drive the industry - and the entire point is to make it seamless. And the uses for AR/VR is so vastly larger than gaming or you in a business meeting that it should be clear that gaming is a tiny slice of the possibilities, and is demonstrably a tiny slice of all the major players working on VR/AR projects and products.

For a tiny intro, start here [1] and chase down links. Or simply look at any of the big companies I listed and search for their AR/VR work - the majority of work is not for gaming.

https://en.wikipedia.org/wiki/Commercial_augmented_reality
that was a fantastic book, and the Arguing On the Internet in it was both very descriptive of it's time and very prescient of ours.

and the aliens (no spoilers) in it were very cool
> I'm personally not convinced and I wonder why other 10 projects didn't suffer from the same problem?

This has a simple answer: The C++ projects in the test set are kimwitu++, Bullet, tramp3d-v4 and 7zip. kimwitu++ is built in c++14 mode and Bullet in gnu++98 mode, so they obviously aren't affected. tramp3d-v4 does show some impact, but it's a "single 2MB source file" style program, so STL headers don't dominate compile-time. 7zip is the only program that both uses C++ 17 and doesn't have huge source files, so it's the only one showing the major impact this has.

> I would love to see the claim supported and checked by recompiling 7zip with -ftime-trace and then post-processed through ninjatracing to get the nice and detailed flamegraph depicting where exactly the build-time is spent. It's surprising that this hasn't been done already.

This was a single paragraph in a large blog post, why the heck would I be including a detailed analysis of how I reached that conclusion? On one out of dozens of compile-time regressions I investigated? Something I do all the time, and am likely an expert on?

If you really need to know, this claim was based on comparing callgrind profiles between -std=c++14 and -std=c++17 compilations.

> Also, I think that the project sample distribution is not convincing. 9 out of 11 are rather very very small and roughly the same sized projects. Remaining two are not very very small but are still very small. So experiments are by definition made biased by not making better care of dataset distribution.

I would certainly love a larger testing corpus than CTMark currently provides.
This was during the height of the teaching of "intelligent design" in schools debacle, so I'd say it's very much a US thing.
This is not a real solution, and not a decision an experienced CTO would make. It’s been a programming meme since the early 2000s that rewrites are an alluring fix to problems, but underestimate the complexity of existing code. Joel Spolsky’s classic article is a great introduction to this line of thinking: https://www.joelonsoftware.com/2000/04/06/things-you-should-...
In my view, wisdom is just more situational than intelligence. The latter is about abstracting away a problem to its core so that the situation becomes tractable to reason about. With enough abstraction, it becomes easy to write down ten different solutions to a problem, which is then what you find online.

The next step in the process is to undo your abstractions to determine which of the previous solutions (if any) is the best one for your particular situation. It's not entirely identical, but I tend to think of intelligence and wisdom as deductive and inductive parts of the same process.

So I don't think that means that wisdom is so far removed from scientific enquiry that it becomes mystical, far from it: instead, it requires so much more rigour and discipline to codify wisdom into laws that it just doesn't happen that much; and even when it does happen, the most you'll find is fuzzy frameworks on how to deal with certain problems rather than the hard and accurate rules you can find in deductive analysis.
Anyone know of a developer setup that uses Systemd to setup encapsulated development environments in a similar way? That sounds like it could work very nicely and wouldn't require nix.
There's an interesting hybrid system in New Orleans proper. The city follows the curve of the river, with original land grants being in the French classic frontage-and-depth layout (each grant received a certain minimum amount of river frontage, for shipping out products, and then extended back as far as was possible given the terrain). Within each original grant, there is a grid, and between them there are major boulevards to permit higher-speed, higher-volume traffic from one part of the city to another. But within each grid section, you're entirely on narrow, mostly residential streets - with a few commercial stretches scattered around, and far more neighborhood bars and restaurants in mostly-residential areas than is common in most of the US. Aside from the weather (it's almost always hot and humid), a very bikeable city. And if you're in a car, it usually only takes a few blocks of travel to get to a major road (e.g., the largely-pedestrian French Quarter bounded by Canal, Rampart, and Esplanade).
We're not talking bleeding edge CS topics here mate, we're talking "hashability is a useful property because hashmaps", that was standard >25 years ago.

Java had hashCode in 1.0, GvR added __hash__ to Python in March 1993 and shipped it in 0.9.9.

Hash maps are 69 years old (nice). Bespoke key types (and thus the requirement for user-defined hash functions) is probably the more recent of the two.
I was raised Catholic in a very rural rustic area of midwest USA, and we Catholics laughed at those of other religions who "didn't believe in evolution".
Rust-GPU v0.4
Yes. Although both are false non-acceptance of evolution is disbelief in abstract analysis of a world that was and cannot be directly perceived. Belief in a flat earth requires disregarding the direct evidence of your own eyeballs and perception of the concrete world as it is. The former is regrettable. The latter suggests that perhaps you belong in a facility with someone looking after you.
Don't forget George Lemaitre, Catholic priest and formulator of the Big Bang Theory.
This seems like a really good proof of concept to let browser vendors know they could create a super useful utility in their browsers.

I mean, it's very cool all on it's own, and great job in building it! I'm just hopeful that someone is taking notes.
Ask HN: Has AI ended the “low background radiation” era of the internet?
On July 16, 1945, the nuclear detonation at Trinity site ended the era of low background steel. All future steel would become increasingly contaminated with trace radiation, making it unsuitable for sensitive applications.

Over the last decade, with the release of GPT/DALL-E/SD/Copilot/Google Assistant/computational photography/etc, has the same thing happened to the internet? Do we have all the guaranteed-human-generated content we will ever get?

What are the implications? What applications will become impossible (for legal, technical, or social reasons) with data collected in the future?
What was/is impressive about MariaDB is their ability to sell to a large swath of users, from Mom&Pop shops to some of the very largest enterprises[1]. In the ServiceNow case, each customer has their own entire db and the magic is in orchestrating all of this.

Where MariaDB really shines and drives usage is around their ColumnStore[2].

Some of the downsides from a larger adoption and integration standpoint is the BSL license[3]. Relatively unknown and untested and as a result there's aversion to risk.

To get the direct answer to your question, I think a combination of the factors previously in conjunction with revenue being eroded from cloud offering their tech as a service, and SkySQL[4] not making up for the difference are serious inhibitors to revenue.

1: https://mariadb.com/resources/customer-stories/servicenow-ma...

2: https://mariadb.com/kb/en/mariadb-columnstore/

3: https://mariadb.com/bsl-faq-mariadb/

4: https://mariadb.com/products/skysql/
It’s called minification in the JavaScript ecosystem.