skysight-inc/HackerNews huggingface dataset:
Hmm, I do see where you're coming from. To me, saying math is the study of formal systems is a statement of acceptance and neutrality- we can welcome ultrafinitists and non-standard analysts under one big tent. But you correctly point out that it's still a boundary I've drawn, and it happens to be drawn around stuff I enjoy. I'm by no means saying that there isn't room for practical, grounded math pedagogy with less emphasis on rigor.

However, there's plenty of value in the formal systems stuff. Algebraic formalization is just one way of looking at the simplest forms on linear algebra, but there really isn't any other way of looking at abstract algebra. Or model theory, or the weirder spectral stuff. Or algebraic topology. And when linear algebra comes up in those contexts (which it does often, it's the most well developed field of mathematics), it's best understood from an abstract, formal perspective.

And, just as a personal note, I personally would never have pursued mathematics if it were presented any other way. I'm not trying to use that as an argument- as we've discussed, the problem with math pedagogy certainly isn't a lack of abstract definitions and rigor. But there are people who think like me, and the reason the textbooks are written like that is because that's what was helpful to the authors when they were learning. It wasn't inflicted on our species from the outside.
> many many AI researchers (such as Joshua Bengio and Geoffrey Hinton) who don't stand to gain monetarily have expressed these same concerns

I respect these researchers, but I believe they are doing it to build their own brand, whether consciously or subconsciously. There's no doubt it's working. I'm not in the sub-field, but I have been following neural nets for a long time, and I haven't heard of either Bengio nor Hinton before they started talking to the press about this.
There is absolutely no reason to assume it's a 'self-healing' system.
Negative Visualization in Practice
Pee in a cup - drug test.
Where you can xit x-crements
> If we took all the money given out and gave it ONLY to those people such that they were mandated stay home and survive, however that needed to happen to ensure they avoided infection, imagine how different the would world be right now.

I'm similarly angry that we don't put substantial sums of money toward teaching people to use GPG encryption for confidential emails, however that needs to happen to ensure privacy. :)
sacrificial proxies make sense although they would all have to be essentially located in the same local network as the target server to avoid routing traffic over different geozones and essentially function like a more advanced firewall. still, it is possible solution and not even expensive.
How can you disagree with him when he doesn't even define what "rapid elimination" entails? It's not even a strawman. He has completely failed to define what he is arguing against.
My first gig out of school was a .net monolith with ~14 million lines of code; it's the best dev environment I've ever experienced, even as a newcomer who didn't have a mental map of the system. All the code was right there, all I had to do was embrace "go to definition" to find the answers to like 95% of my questions. I spend the majority of my time debugging distrubuted issues across microservices these days; I miss the simplicity of my monolith years :(
You'd be surprised. "All men are created equal" was a radical statement, almost blasphemous, when penned; the idea that authority and hierarchy were inherent was just something about the world that was accepted, like the sun or even the existence of God, because how could the state of things be otherwise? And post hoc, we rationalized this implicit assumption by inventing the theory that differences in authority were not arbitrary, but based on the quality of the individual. More powerful people were better somehow. The word "aristocracy" means "rule by the best".
I was referring to the recent case against the artist Stephen Thaler, which people interpreted [1] as saying that works created by AI could not be copyrighted. This wasn't what was shown, though. Rather, the judge was ruling about a strawman argument framed by Thaler, where he explicitly stated that he was not the creator, and that he was listing the AI as an "artist for hire."

I don't see where in your link it says, as GP did, that "creations of a machine [...] are not eligible for copyright protection."

The guidance says that the author must be human, but that "In the case of works containing AI-generated material, the Office will consider whether the AI contributions are the result of “mechanical reproduction” or instead of an author’s “own original mental conception, to which [the author] gave visible form.”

The latter is copyrightable.

"This policy does not mean that technological tools cannot be part of the creative process. "

1. e.g. https://boingboing.net/2023/08/21/federal-judge-says-ai-gene...
I find it obnoxious that Facebook doesn't use the default system file picker (which doesn't require filesystem access permissions to use).

With other apps I can easily select photos even if they aren't locally available on my device. With Facebook I need to manually download the files from Google Photos, paste them into a local device folder, and only then will they actually show up in Facebook's weird, poorly-designed photo picker UI. Not exactly the best user experience.
If you want an easy way to evaluate Faiss, Hnswlib and Annoy vector backends, check out txtai - https://github.com/neuml/txtai. txtai also supports NumPy and PyTorch vector storage.

Disclaimer: I am the author of txtai
If I understand correctly from my neighbors’ experiences, they just cut up your walls and put new pipes in there and in the attic when the time comes that you inevitably develop a slab leak. it seems like this is probably a case where it has plenty of advantages for the first owner/1st 30 years (pipes neatly out of sight on the first floor) and when it eventually fails, it will be someone else’s problem besides the original builder or even original owner in most cases. Maybe this has changed in recent years though with the switch from copper to PEX, idk if they can just put that in the slab.
> Do you think that review was respectful

Not particularly, but I also wouldn't really describe it as particularly disgusting or demeaning, either. It could have been worded better, but I'm not going to read too deeply into what random people on the internet say about me personally.

I find anything that's trying to interrupt what I'm doing like popup advertisements, cookie modals, and other things of the sort irritating because it forces me out of my workflow and requires action to continue what I was doing. It doesn't really matter how frequent it is. When i'm actively installing extensions I expect there to be a popup that is giving me information about the application. Dark Reader has a donation button featured on their popup from their action. I don't find this to be invasive even though it's there literally any time I interact with the extension. I ended up paying for the extension on safari because I liked it so much.

That's just my opinion, though. There's a lot of things that I find distasteful that would make me uninstall an application that seemingly don't bother the majority of people, and ultimately, you have a right to make your application how you see fit, but I don't think there's anything wrong with criticizing it for what that user clearly views as distasteful.
Doesn't that just imply that a concrete home would have this problem everywhere, instead of just in the foundation?
Sure, today at least. But there is a future where the human has given AI control of things, with good intention, and the AI has become the threat.

AI is a tool today, tomorrow AI is calling shots in many domains. It's worth planning for tomorrow.
no, they are not related
Another immigrant chiming in - I love love love this country … my wife and I went from lower middle class in india to being in the 98th percentile of household income here .. and that has literally extended the lives of our loved ones back home .. my wife’s father was diagnosed with cardio vascular issues sometime ago but he decided to ignore them because he simply couldn’t afford the treatment. So when my wife and I started working in the USA , we made enough to get him treated for his issues at some of the best hospitals in India.

Unsurprisingly , my wife’s love for USA knows no bounds - she’s one of the most patriotic immigrants you’ll ever meet
I know you probably meant the negative impacts but the Arab Spring was over 10 years ago. We saw and celebrated then came the countervailing forces.
Not so much a ball of yarn but more like the cabling coming out of a network cabinet. It can be bad and a big mess if you let it, but most professionals can organize things in such a way that maintenance isn’t that hard.
> The best and worst part about WebRTC is that it supports peer-to-peer.

I hope P2P stays around in browsers.
The weird niche port for video is the #1 reason I stopped using raspberry pi. I have one adapter, somewhere, but I'll be damned if I can find it in less than an hour. It's at the bottom of some bag or drawer of infrequently used adapters
They want the dues, they want their slice of your pay! That's what union advocates are really after, power and money. Same as it ever was.
The antenna for the NFC and for the wireless charger are different, and not even close to the same frequency. NFC is 13.56 MHz; wireless charging (which is standard Qi, not MagSafe, as far as I can tell on the BMW) is sub 300 kHz (it varies).
> Presumably he’s trying to create value.

I'm not sure that's true. I get the impression that he acquired Twitter for political reasons. And all of Musk's associates egging him on were right-wing political activists. An extreme example of this is Larry Ellison, a well-known funder of right-wing causes. It came out in the acquisition trial that Ellison offered Musk essentially a blank check to invest in acquiring Twitter. Yet at that point, Ellison himself had only ever tweeted once, back in 2012. He doesn't give a crap about Twitter or the Twitter experience, except insofar as it advances his political cause.

(Just checking, I was surprised to discover that https://twitter.com/larryellison/with_replies tweeted twice on October 5, thereby tripling his all-time tweet count from one to three.)

Musk himself has said things like, "The woke mind virus is either defeated or nothing else matters". Whether he's serious or not, who knows, but we can't assume that $billions in losses necessarily matter to someone of Musk's extreme world-historical wealth.
This needs an addendum: AWS support is top notch, as long as your AWS fees are already on the hefty side. Which makes sense.

But also, it can be frustrating to deal with them when it comes to anything that's not a clear incident on their part, or requires optimization over troubleshooting, e.g. a few years ago, we had a few instances underperforming because of higher than expected I/O loads and low associated EBS bandwidth, and they never gave us a solution for it.
Tech bros still cling to sexist stereotypes, forgetting female pioneers
Honestly so disheartening that in 2023 the old bullshit views are still prevalent in an industry that has traditionally framed itself as forward thinking and inclusive.
Even if what you say is true (e.g. that the current ANN approach won't lead to AGI), isn't it the case that we can simulate biological cells on computers? Of course, it would push back the AGI timeline by quite a bit, since practically no one is working on this approach right now, but I don't see why it wouldn't be possible in principle.
With deadline looming, Broadcom tries to push $61B VMware deal over finish line
How long until this sort of feature is built into programming languages?
I wonder how much self-optimization is motivated by wanting to demonstrate perceived superiority over other people.

In our society, good sleep, a good diet, good exercise and a job that doesn't compromise your health are a privilege, not a choice. It's unfortunate but that's what I believe.

I dunno.. just thoughts. But I think putting this out there is worth the downvotes.
I cant believe how many people continue to fall for this nonsense.

First of all the manipulation of the graph to make it look like there is massive changes going on in the atmosphere.

You have to see it in true perspective.

For instance represent all the components 100 % on a wall as 100 inches ( A little over 8 feet high)

21 percent of oxygen in our atmosphere would take up 21 inches

Carbon Dioxide at 421 PARTS PER MILLION is actually 0.04 percent
To represent this we need a little less than one millimeter (about 1/25) of an inch

That 280 ppm to 421 ppm jump that looks so frightening on their graphs is actually about 1/7 of a millimeter of a scale of the atmosphere over 8 feet tall

water vapor in the atmosphere has a much greater heating and cooling effect.

They have convinced millions of people that carbon dioxide is some kind of dangerous pollutant that we must control by giving them control over our activities and travel.

In fact carbon dioxide is an essential component for plants (a plant food)
In fact many green houses go to a lot of trouble to keep pumping up carbon dioxide levels up to 1500 ppm because it results in lush growth and is absorbed by the plants resulting in higher yields.
Traders Joe. Everyone is genuinely nice, and look like they want to be there doing what they are doing. I know it’s not true but they make it look like it is.
Not only ease of publishing, but search engines also preferred new content over "stale" creating incentives to blog.
why would i care about udp when i run only tcp?
There's a name for this anti-pattern, the Cobra Effect[0]:

The term cobra effect was coined by economist Horst Siebert based on an anecdotal occurrence in India during British rule. The British government, concerned about the number of venomous cobras in Delhi, offered a bounty for every dead cobra. Initially, this was a successful strategy; large numbers of snakes were killed for the reward. Eventually, however, enterprising people began to breed cobras for the income. When the government became aware of this, the reward program was scrapped. When cobra breeders set their now-worthless snakes free, the wild cobra population further increased.

(There may be some question as to whether these events actually occurred or not, but there are similar examples of documented pest-control campaigns (and others) on the Wikipedia page[0] where similar things happened).

[0] https://en.wikipedia.org/wiki/Perverse_incentive#The_origina...
Imagine the gate agent has called Zone 1 and Zone 2 who are almost finished processing. You, looking at your Zone 3 ticket, start queuing but the gate agent asks you to go back to your seat as your zone has not been called. Do you defer to their authority on principle or trust your own expertise? I think the logical endpoint is rules and obedience are evaluated in context rather than with an authority bias heuristic.
Airplanes fly in the lower stratosphere.
Public sector unions in general are not great. Police unions are probably much more damaging.
> Bad acting humans with AI systems are the threat, not the AI systems themselves.

It's worth noting this is exactly the same argument used by pro-gun advocates as it pertains to gun rights. It's identical to: guns don't harm/kill people, people harm/kill people (the gun isn't doing anything until the bad actor aims and pulls the trigger; bad acting humans with guns are the real problem; etc).

It isn't an effective argument and is very widely mocked by the political left. I doubt it will work to shield the AI sector from aggressive regulation.
Reason number 543895 why I like small company life:

When you find shit like this, people will go "my bad" at the worst, and you all are happy the company has more money. Small teams and small firms have their downside, but honesty and transparency, especially when it comes to cost savings... tend not to be one of them.
Even better if (read: when) China, who has negative damns for concerns, can take charge of the industry that we willingly and expediently relinquish.
Two massive offices in San Francisco are going from one tech firm to another
Yeah. From what I can see WebRTC is basically a ready made implementation of a video calling app, bolted on the side of the browser, that you can slap some UI on top of. If you want to do anything that isn't a straight Zoom style video calling app (or Stadia, RIP), you'll immediately run into a wall of 5 year old known but unfixed bugs, or worse.

To be fair, video calling is an incredibly important use case and I'm glad it can be done in the browser. I am grateful to the WebRTC team every time I can join a Zoom call without installing a bunch of extra crap on my machine. I just hope that WebRTC really can someday be replaced by composing multiple APIs that are much smaller in scope and more flexible, to allow for use cases other than essentially Zoom and Stadia.

I guess I'm just repeating what the article said, but it's so right that it's worth repeating.
Just because the law allows it doesn't mean you should do it.
No one can officially diagnose without the person being a patient. Professionals will give opinions based on information available.
I felt like the early web lived up to this, though in retrospect it may have already been in quality decline compared to the earlier (Internet&BBS) protocols.
Great to see stuff like this! Data in general, and not just code, gets updated or corrected constantly. Given that data is used collaboratively in a distributed setting, it should be a first-class citizen wrt diffing and merging, just as line-wise text is. Anybody working in geophsyics or other data-heavy scientific fields should see the value in this approach.
I got rate-limited doing this. "Try again later" every time I clicked on "Not interested".

Reporting obvious scam ads also ends up not being against policy everywhere.
don't fall for it, don't fall for

> Do you have the power to negotiate for remote work, or to work somewhere without an open office floor plan?

total bullshit. Unions protect incompetence and reward seniority only. I've never seen a union do otherwise.
Reforesting the planet wouldn't even undo 1 year worth of emissions.

Then what?

And by the way - to eliminate maybe one year's worth of emissions, it'd take a forest ~30 years to grow...

And what're we supposed to eat?

If we're all just going to starve to death - we don't have to worry about cutting emissions...
When my respected boss retired and was replaced by an outside hire, I had a lot of issues accepting the authority of the new guy at face value which may have contributed to me being fired later.

The other engineers would go by his office to make small talk, chat about great projects they're working on, and sports they both like. I never did any such thing and stayed in my office working.

Then when we all went out for drinks at the end of the week, I chatted as I normally would but I felt like the new boss kept shutting down my stories to get a laugh from the others. I felt like I was already being judged. That's when I reached negative respect for this new guy.

Over time I would see him going to all the other engineers' offices to chat and catch up on projects, but never mine, and that further cemented the feeling that this guy doesn't like me.

I felt that if my boss isn't going to make any effort to get to know me or respect me, then I'm not going to kiss his ass to make him like me. I'm sure he felt the same way, especially since he previously held a position of authority in the US military so he probably saw boot kissing as mandatory.

Once performance reviews came, even though I had met all the quantitative goals that were set, he gave me a bad rating because of qualitative reasons which I felt were injected into my review to make it negative to match his bias.

Once the pandemic hit I was fired, but I have a better job now. It doesn't pay as much, but is more interesting and is work from home, so suck it Scott!
The kernel received a new ntfs driver relatively recently, it was kind of a big deal (in terms of drama) when it happened:

https://www.theregister.com/2021/08/02/paragon_ntfs_linux_ke...

I don't recall what, if any, relation the Paragon ntfs support has to ntfs-3g. I do recall when ntfs-3g was the new kid on the block, it was the only alternative for read-write ntfs support vs. paying Paragon software for their proprietary (at the time) kernel driver.
> AI software does not have a simple "can produce weapons" option or "can cause harm" option that you can turn off so a law that says it should have one does not change the universe to comply

That wording is by design. Laws like this are a cudgel for regulators to beat software with. Just like the CFAA is reinterpreted and misapplied to everything, so too will this law. “Can cause harm” will be interpreted to mean “anything we don’t like.”
MAAAM or MAMAA
The author did not do a good job delving into what exactly do these phrases mean. They mean different things to different people. If you are in a working class neighborhood, you value hard work as you see the consequences of unemployment, drug abuse, alcoholism, and poverty. You value hard work to escape poverty. If you are an incredibly successful and wealthy, you will readily admit that luck played a large part in your success. You see many people who worked just as hard or even harder, but fortune smiled on you and not them.
A project manager will do most of that without the unearned self-importance, minus the talking to customers part which should either be done by product marketing or design, depending on the specific business insight you seek.
Many countries of the former Soviet Bloc built entire neighbourhoods from prefab concrete slabs -- I'm sure you're familiar with the awfully drab aesthetic these brought.

The construction of these was relatively straightforward though, and (especially important in apartment buildings), the solid concrete walls have great soundproofing qualities.

With a bit more expense, these buildings could've been made to look more attractive, and have more variety in terms of floor plans. I've been following some of the building automation trends, and the pre-fab components approach seems to best balance the many concerns.
Until what? What, specifically, do you predict will happen in the next two years, and why?
> What's the logical endpoint of "nobody is better than me" or "nobody is better than anybody?" Just like, no rules whatsoever for anybody, unless you explicitly opt-in to some specific rule or authority figure you happen to like?

Negotiation as equals and on the merits of the matter at hand. For example, rather than a senior colleague telling a junior colleague to do something "because I say so", the expectation would be that they actually provide justification for their decision, and to persuade you rather than simply overrule there is disagreement. Ditto for a parent, teacher or other authority figure.

And that where there is unresolvable disagreement (and one persons decision has to be followed despite lack of consensus), that there is accountability around that decision, and that the results of it are taken into account when resolving future disputes. In other words, authority is earned not decreed.
Yes, but exceed which way?
I tried the conversation awareness mode on my AirPods and turned it off after a couple days. I prefer to just wear one earbud so that I can hear out of the other ear normally.