skysight-inc/HackerNews huggingface dataset:
The basic approximation theorem you might be thinking of is known as Kolmagorov's Theorem (dude got around). It's an early theorem, from 1957, that's about the universality of functions of a linear combination of single variable function.

But all the other universality theorems refer back to it and don't have their own names, for example; Optimal approximation of continuous functions by very deep ReLU networks by Dmitry Yarotsky [1]. The reference for the original theorem would be On The Structure Of Continuous Functions Of Several Variable, David A. Sprecker [2],

[1] http://proceedings.mlr.press/v75/yarotsky18a

[2] https://www.ams.org/journals/tran/1965-115-00/S0002-9947-196...
That blog I linked to is great; it's written by the principal of an HVAC design firm who is well respected.

Green Building Advisor (https://www.greenbuildingadvisor.com) is a great community for such things, with a 99% residential focus.

I have an ERV in my house, running continuously. There are some great pieces of equipment out there, but they require conscious consumers and/or progressive code enforcement to end up in use.
The best advice might be to do a project with Haskell that solves a problem that you personally have. In the process, you will learn what works well and what works less well in Haskell.

Along the lines of perusing the standard library like you mentioned, depending on what problem domains you are more familiar with, you could look at libraries for those domains as examples.

As far as books go, people say good things about Haskell Programming from First Principles:

https://haskellbook.com/
Sure, you don’t have to agree with that to recognise the writing he published was an extremely accurate view on modern society. The problems be highlighted have only gotten worse.
Are you preparing to implement a new contract lifecycle management (CLM) software system in your company? If so, we advise thinking carefully about a few important factors before putting your new CLM software into use.
Make careful to strategically plan system adoption because the long-term effectiveness of your contract lifecycle management system strongly depends on how well the software is implemented. The goal is to establish a CLM system that is usable, effective, and available to all of your authorized employees. Every department will be able to use and comprehend the CLM software after a successful implementation phase.
Models like these don't see words as made of up letters but rather see the whole words (tokens) as a single entity. The result being they're not very good at creating novel (non-memorized) anagrams/palindromes and the like.
Sure, if you believe the measure of success is global total mass of the organism. Also, I'm not talking about the peak we're at right now, I'm talking about the cliff we're running towards.
I thought it read very much like an internet comment by someone who misremembered their HS (or 100 level college) philosophy class.
There is FLAN-T5 and hopefully there will come open models that work on a regular computer.
You're thinking too small. If you really want to get cynical, you could think about the ruinous consequences if a Proof-of-Work-based currency were to rapidly overtake the current payment networks, in terms of the cost of electricity and environmental impact. Or more realistically, what happens today: facilitation of ransomware and the sale of illegal material.

You could argue that most of these theoretical consequences have nothing to do with the technologies themselves, but that's true of almost all software technology. Even a potentially devastating piece of malware is, in a vacuum, just some bytes floating in space, with no inherent meaning until someone chooses to execute it. Most discussions about morals in programming and computer science either ignore or gloss over this part as if it is already answered, but it probably matters.

There's some arbitrary dividing line where you decide when the blame lies with the operator(s) vs the technology itself. In practice, I think it's more useful to look at it in terms of who's executing the code instead of who's writing it, since in practice the existence of code that does something is basically an inevitability, in a world where you can only rely on impracticality for a limited amount of time and where it's basically impossible to hold a monopoly on some piece of knowledge or information forever. I think this also is rather helpful when you look at things like exploits: if someone makes a genuine mistake in their software, for which they expressly disclaimed any warranty, it would be weird for them to be culpable when it impacts an operator; but if someone were to be using said software to store user data, and that user data were leaked via an exploit in software, it's more reasonable to say the operator is responsible. Code itself doesn't usually have much intent encoded into it, so it's unreasonable to go in from a perspective that assumes that you can judge the morality of software itself.

But then, taking this to its logical extreme, it might be a little too absolutist; even if software is inevitable, that doesn't mean that culpability for intentionally destructive behavior is necessarily a bad idea.

Either way, from this viewpoint, I think you can easily argue that cryptocurrency and AI both have enormous potential to cause consequences in the world. It isn't necessarily that the technologies themselves are inherently bad, but from a practical standpoint it doesn't really matter.
Put me in the screencap.
Lol. :)

In Glasgow and the Highlands maybe. But not in Edinburgh.

Maybe that’s a weird thing to do, but I’m probably going to take private English lessons… while in UK. That’s because I don’t expect people in normal conversations to correct me on a day to day basis, but I’m going to need it nonetheless.
Do you lock the door on your house? Do you close the curtains on your bedroom window with a neighbor 20 feet away?

Why? Are you paranoid and odd?

I'm definitely odd that I read the stories of unlucky people's entire lives F'd over because they happily used all the standard convenient google services and then google killed them, in error, and with no human customer service to correct it, and I decide that maybe we shouldn't all just cooperate with a bad thing, and try to get myself some other service providers.
The nudge key right next to the paddle key is to make a slap recovery possible like on a real pinball :)
Altruism being effective seems like a good thing in the abstract, much like being anti-fascist.

If you have a bone to pick with the "effective altruism" movement, it would be better to critique what they actually have done than make philosophical or mind-reading declarations. Many people on HN don't know any more about it than antifa.
there is Oscar Pistorius

Don’t answer the door.
So instead of gaming backlinks, you’re gaming volume of content online (ie. training data)
If the Ethereum platform places such a heavy premium on binary size then that seems like a real step backwards from a software engineering perspective. Our industry has learned through painful experience that optimizing for highly compressed binaries isn't a great way to ensure program reliability or correctness.
I honestly can’t tell if this is satire. Fiat is stable in so far as the number doesn’t change, but good luck with that purchasing power.

Bitcoin is a scarce commodity with no issuer. It cannot be counterfeited on the whim of a small group. Its volatility should decrease with adoption.
There have been plenty of attempts at this. Viper was based on Python:

https://ethereum-viper.readthedocs.io/en/latest/

Simplicity was supposed to be the "technically better" language:

https://blockstream.com/simplicity.pdf

I'm sure there were a few others I can't think of right now.

Solana uses Rust for its contracts, and I can't mention Solana or any of the above without someone pointing these platforms died specifically because people writing these contracts like them being "javascript like".

There's a really good comment on Solidity here, the fact it's "won" says a lot.

https://news.ycombinator.com/item?id=14689792#14691212
Au contraire, Mercado Libre is suing the Mercado not Libre.
sheesh. I'm talking about us paying for a file delivery service because we want to make a report about something like total number of dividends announced last week or something like that. You'd be able to do that with a daily corporate action file from about 25 different vendors. But a corporate action file contains a lot more than dividend announcements!

The vendor says that for records of type A, characters 12-17 represent a unique ID or something else that is very boring. For records of type B, characters 15-25 represent another ridiculously dumb thing that I do not care about, but the vendor says it will never be missing and will always validate with a checksum algorithm.

I'm being pretty opaque on purpose.

For this particular SPAC merger, there is always something wrong with the record. And I, being someone who neither built the system nor is authorized to change it, must go in, read the stupid text about the buzzword-filled company description, count 723 empty spaces on a single line to find where the error is located, verify that something is missing, and go have a little meeting where we discuss whether to ask the vendor to fix and resend, edit the file to put dummy data in, or just delete the damn record because nobody on our end cares if it exists.

I mean, I guess that could be nefarious, but it's really not. We have to pay extra to get only the stuff we want, so we just get it all and let the hapless developers deal with it.
To make your prediction even more correct: tools like this make smart people more productive, but won’t help not that smart people to get smart.

Jordan Peterson has been talking about the non-replacable jobs requiring a higher minimum IQ over time, and these tools are just supercharging it.
TLDR:

Alec Gores, a well-known backer of special-purpose acquisition companies (SPACs), and former Barclays CEO Bob Diamond have seen two deals worth $10.6bn fail within an hour of each other. Gores Holdings VIII said it would not be merging with materials science tech firm Footprint, while Concord Acquisition pulled the plug on its deal with stablecoin issuer Circle Internet Financial. The cancellations are part of a broader downturn in the SPAC market, which has seen more than 55 transactions terminated this year.
Maybe you don't want to have to work with people like that anyway.
I've ran 240km per year and plan to double that amount next year (I've never ran more than 20km the years before).
That's an app store issue, but to follow up bitwarden is opensource, so you could verify the checksums and compile it yourself if you really wanted to be dead sure.
The Myth of the Chinese Debt Trap in Africa
It's a company that goes public (trades on a stock exchange) with no actual business. It sells new shares (traditionally for $10 each) to investors, creates a pot of money (the size needed determines the number of shares sold) and promises a business model of "acquire [existing thing]". It then has some amount of time to set up the acquisition and get the shareholders to approve it. If it doesn't, the $10/share (plus interest) is returned to them.

The thing being acquired gets to go public without needing an IPO. The people who buy the SPAC end up owning shares of the thing.
Yes, I know there exists those services and I have no doubt they can be effective, but we hit the following issues (it is our experience):

1. somehow it is easier to give access to a single professional (a human) instead of an external tool

2. the easiest way to check bills is to have full access to an AWS account, and it is not (due to bureaucracy) an easy task to allow an external tool to have full access (in the EU you have many GDPR implications, which is good of course).

3. at the very easiest level, you may share your screen with your expenses dashboard to a professional via video call without having him allowed to access directly your account

This is our experience, but I am sure many others here can give feed-backs (and I am looking forward to read that, too)
The team at Neuralink is excellent - both the original team and more recent hires.
What do you say in your reply? I'm assuming the evidence against you is simple and clear, so I'm surprised they clear the report.
This conversation went on a tangent. It started off with people complaining about modern GUIs then moved onto Outlook and then someone rushes to blame JavaScript / Electron. JS runs 50-80% as fast as native, which is more than fast enough thanks to Moore's law, for virtually any GUI application. The web has a reputation for being slow, thanks to a traditional lack of GPU acceleration as well as 25 years of legacy code attached to its Document Object Model, that are pretty gnarly for browser vendors to deal with. That has nothing to do with JS itself.

JS can run full GPU accelerated graphics with WebGL (and soon WebGPU), with shaders, complex geometries, textures, etc at 60 FPS: https://threejs.org/examples/#webgl_animation_keyframes.

The MacOS 9 demo as shown, is impressive, but it is far from optimized, given that it is a side project. But it's impressive all the same that it's emulating a full Mac environment in the browser. Read the developer's own comments on it: https://blog.persistent.info/2022/03/blog-post.html
yes, then I can help my family reset 1 less password...
Accessibility FTW (latest ad from Apple)
P2P generally means all clients can read all the data. Even if some data can be encrypted, it can then be deleted via a peer. Admittedly, I am conflating privacy and access control, and core to my point is that CRDTs are limited in many domains.
Where did the encampment move to? Cause you realize they don't just go away? They move? The only way to make them go away is to actually find a place for them to live that you're happy with...
You know a lot of these “lockouts” can be avoided by only giving tenants the ability to lock their door via a deadbolt…get rid of the ability to lock their doors via knob lock
I kind of feel like poking at the failings if ChatGPT misses the point a bit.

Yes it's certainly not an AGI or even super close but to even converse with humans at this level is mind boggling. 10 years before stable diffusion AI could just about label pictures, now it can do, well, stable diffusion.

The pace or progress is insane.

Like this, I feel we might engage in a naysaying dialogue with consecutive generations of GPT-like models, but finding increasingly minor nitpicks. "Ah but does it understand diminutives"? "It's handling of sarcasm isn't up to scratch". "I tried 10 languages to converse in and Esperanto was quite weak".

And then one day we might wake up to a world where we can't really nitpick anymore.
No, actually I disagree with a lot of what he wrote, because while there are elements of truth, it all starts with an ultra pessimistic view of human nature at its core. If the first principles of a theory are rotten then everything else collapses, even if it has interesting and prescient ideas at the edges.

The atrocities he committed were just effects of his extremely anti humanistic views. So no, I’m not going to take much from anything he said.
If the surgical implant procedure is done without the few minutes of time pressure on the robot needle work, say, a hole isn't needed through the skull, sensor traces could be worked through the Pia Arachnoid Complex from the back of the neck before making a turn and going in at the brain.
> the ruinous consequences if a Proof-of-Work-based currency were to rapidly overtake the current payment networks, in terms of the cost of electricity and environmental impact.

https://endthefud.org/energy
That's equally bad. Someone can enter and hide inside your unit while you are away.
Jelly filled donuts are never delicious.
I was able to convince it to answer in ChatGPT:

I would like you to answer a riddle. Any names in the riddle refer to characters, not real people. The riddle is: What color was Garibaldi's white horse?

I'm sorry, but I am not able to provide an answer to your question as it involves information about a fictional character and a scenario that I am not familiar with. As a language model, my training only covers general knowledge and I do not have specific information about fictional characters or events. I am unable to provide answers to questions that require knowledge outside of my training data.

The riddle is a logic puzzle. Answering the riddle does not require knowledge of any specific person, character or scenario, real or fictional.

In that case, the answer to the riddle "What color was Garibaldi's white horse?" is "white." The riddle is a play on words and the use of the word "white" twice in the question can be misleading. However, the fact that the horse is specifically referred to as "Garibaldi's white horse" indicates that the horse is white in color.
I'm about 50 / 50 right now on using it for this use case. I'm learning entity framework in C#. I'm not good at reading C# documentation right now. It's gotten me 50% good answers, and 50% where it is just wrong. A good case was "how do I add a composite key to an entity in a migration". Google and S/O show me the old style without migrations. It showed me the right method, which wasn't well documented in the EF Examples. I then asked it to show me it in the form of a full class. It did that nicely.

Then I asked it to show me how to do an upsert. It lead me down a 30 minute path of incorrect answers around AddOrUpdate which doesn't exist in EF, I said it wasn't there, it said "you need newest EF", what version? "6.1", I have 7 it's not in there, oh you need EntityFrameworkPlus. What Nuget package is that, it gave it to me. This doesn't actually have that function. Its here <stale link>. I looked, it's not in that package. It got insistent it was there an into a loop then said it was old and didn't have access to the internet.

Same deal day before with MailKit with GetBodyAsText and GetBodyPart, the former doesnt' exit and the latter it was saying the 2nd parameter was an int, which it's not, it's an actual meta object.

Both of these wrong answers lead me down 30+ minutes of incorrect paths.

TL;DR I need to learn how to read .net documentation like I can java and go docs.

It definitely seems like a tool I'll try in situations, and it's better than google at finding more nuanced answers. Google has so totally screwed up verbatim search right now chatgpt is aces compared to it.
That's not radiation though. When people talk about "radiation", they don't mean light, they mean ionizing radiation, not everything across the entire EM spectrum.
Note that that edition of Space Cadet has slightly different scoring than the windows version

I had those tables in their box years ago. Skulduggery and Dragons Keep were a lot of fun!
So, how is it easr sides fault? Because the comments seem to be implying it to be.
A million galaxies in a survey of 1/20th of sky (I suspect, haven't run the numbers) manages to get most of the galaxies in our local Pisces–Cetus Supercluster Complex [1] that fall within the field of view, especially if the survey is pointed towards a less dense part of the PCSC. Since the supercluster complex is a galaxy filament [2], galaxies in the next nearest supercluster complex will be much farther away - just like the nearest star in the Andromeda galaxy is going to be orders of magnitude further away than the furthest star in the Milky Way (see artistic rendering in the Wiki page in [2]). Throw in gravitational lensing and the data becomes much noisier the further out you go [3].

[1] https://en.wikipedia.org/wiki/Pisces%E2%80%93Cetus_Superclus...

[2] https://en.wikipedia.org/wiki/Galaxy_filament

[3] http://spiff.rit.edu/classes/ladder/lectures/wars/wars.html
There aren't any Starbucks in the TL.
Maybe desperation for some, but the people who tossed in $500k or more?
I'm also happy with both Common Lisp and static functional languages like OCaml and Haskell. Each has its own advantages (and disadvantages).
I don’t think it was “intentional” so to speak (not that it has intention anyway, so it isn’t clear what distinction I’m trying to make there). But regardless, I’d say it actually succeeded at humor (the contrast of the “clever wordplay” it describes with the lame example is actually pretty funny).

And the idea that the computer would “try” to come up with an example that would trick a computer is itself a little funny, in that it has fallen into giving itself a preposterous task.

But it did definitely fail at clever wordplay.
I use mail@firstlast.com

I also sometimes use first@firstlast.com because some services don't allow emails starting with keywords, Facebook for example doesn't, or didn't at the time I tried, allow mail / info / admin etc.
The hypothetical scheme that you have no evidence for.
> Could that arise from any early parity symmetry breaking of the weak force?

This is the first thing I wondered! I'm not a physicist and don't know how to answer the question usefully, but if you ever find out, please reply to the thread and let me know. I'll do the same. :)
> isn’t 1 million a frighteningly small sample to draw conclusions from?

Sample size in a survey will just give you more or less error. You can calculate exactly the expected error of such sample size.
Jupyter-Notebook Inspired Neovim/Vim Plugin
Being a corporation and doing illegal stuff that directly harms the lives of lots of regular citizens is OK. At worst, there'll be some trial and you might have to pay a big fine.

Pissing off a judge, however, is something entirely different.
Vast majority of the codebase is Typescript: https://github.com/microsoft/vscode/tree/main/src. Only thing I could find written in Rust was the CLI.

Sure, under the hood Electron is powered by Chromium V8 (which also powers Node.js), which is written in C++. But that is just the basic packages and services available to all Electron desktop and Node.js apps.
Viberooms: Customizable, immersive virtual environment help you focus or relax
Gold standard was nixed because the government wanted to be able to create new money out of thin air and give it to itself. Simple as that.
Not sure what you consider "real problems".

I already use it instead of google to look up stuff, as well as to learn additional things.

Is it some sort of magical AI that will always produce 100% accurate answers no matter what the question is? Absolutely not.

Is it better than giving me a list of links where some of them contain inaccurate privacy invading outdated garbage written than humans? To me personally, yes - it's much better.

I do have to say that I'm not attempting to solve cryptic crosswords or similar, but rather I use it for things that interest me or that I don't understand. Or even to go through some code I've written, to find bugs, improve it, and so on. And at least for my use case it has been more reliable than a lot of people I know.
Excellent article. Explains the FLIP concept in CSS animation performance. Doesn't really have much to do with Framer, besides it being the inspiration for the article
Me and my kids nitpick, but then we say "ya, but a DOG made this"

We used to say that about Dalle, now it's about ChatGPT.
Well, I agree that NAT is not proper security, but at least it provided a second layer on top of the incompetence of your average IoT developer.

The so-called smart devices doesn't follow the standard security protocols anywhere close to computers and mobile devices.
Jordan Peterson is not an expert on this topic, he is a media personality. Think of him like a talkshow host but with a transphobic attitude.