skysight-inc/HackerNews huggingface dataset:
I don't think her point disproves all possible AI doom scenarios, but nothing can. They're too vague. It's all handwaving along the lines of "a malicious superintelligence will emerge without warning and somehow seize absolute power, and it's pointless to argue about how plausible any of that is, because sufficient intelligence can do anything in ways we can't imagine." This is why the biggest boosters of AI doom conjure absurd scenarios like AI secretly manufacturing a global swarm of insta-kill nanobots. They don't care about the details, they just think that sufficient intelligence will emerge without warning, be intractably malicious, and capable of anything by gestures vigorously methods.

AI doom critics are asking that we consider more soberly the actual probabilities of all these things happening, and on what time scale, and most importantly by what specific pathway.

The analogy to humans and animals actually illustrates the point. Humans didn't come to dominate the planet by intelligence and handwaving. It was an extremely slow process involving the interaction of many factors and contingent opportunities. Intelligence enabled language, tools, and eventually animal domestication and agriculture, all over hundreds of thousands of years. It wasn't like humans were destined for dominance because intelligence is a skeleton key to all material resources by any number of arbitrary, incomprehensible pathways.
Hachyderm.io, from Side Project to 38,000+ Users and Counting
What other groups that are outside of the mainstream has the FBI behind them? Could you give me 3 examples?
Sorry for the late reply (though that's what's great about HN), but yes it supports all of DDGs bangs as far as I know.
> I feel like this debate only ever gets two sorts of representation, the people who think every migrant is a desperate refugee in need of rescue, and the "fortress Europe, it's an invasion" people.

If we can just convince the "fortress Europe" camp.. or either camp, actually, that sending aid/investment to where the immigrants are coming from can substitute for allowing immigration, then both could be happy. The migrants receive the same aid they would in Europe, and Europe gets to play fortress - win-win.

We're used to goods from faraway China stocking our shelves, sending cargo across the Mediterranean is trivial in comparison.
Fortunately Mastodon has multiple instances so the traffic is not harmful for the whole community as it is for Bluesky.
Have you checked the logs or tried submitting the issue? If you haven't they won't probably even know about such an issue and this won't be fixed.
To put this in context if you would be paying for this, and have such a problem, you would for sure either submit the issue or cancel/refund the license and maybe put some feedback somewhere.
There's an Island in Iceland That's Only 50 Years Old
I buy raw pork belly. Doesn't taste the same after being cooked, but surely it has no nitrites. ;)
I recall him saying something in his works about not caring if his writings led to complete disorder and destruction, because it is irrelevant to him so long as he pleases his ego by writing.

Edit, here's the quote from The Ego and Its Own:

"Do I write out of love to men? No, I write because I want to procure for my thoughts an existence in the world; and, even if I foresaw that these thoughts would deprive you of your rest and your peace, even if I saw the bloodiest wars and the fall of many generations springing up from this seed of thought – I would nevertheless scatter it. Do with it what you will and can, that is your affair and does not trouble me. You will perhaps have only trouble, combat, and death from it, very few will draw joy from it."
I'm still unclear on this - I notice from online that Linux, for example, supports up to 256 TTY devices by default. How might one go about actually physically hooking up that many devices these days? Is a terminal concentrator still available?
It probably works as drop-in replacement, but until there's actual QA, we can't be sure enough.

Unless you want planes falling from the sky.

Maybe a little more on the table than releasing something to prod and finding a speling mistake.

And to be clear: I don't want the dozens of airplanes that fly over me daily to be running leaded gas. Politics is gunna politics I guess.
He addresses it in IIRC chapter 7 & 8 of Capitalism, Socialism and Democracy. But another more recent book I'd recommend that takes this kind of framework is The Entrepreneurial State by Mariana Mazzucato.
I wish that was an option for at least half the codebases I've worked on. Tangent: you'd be surprised how many life threatening codebases have little to no tests at all.
You are now in a perfect position to try a different strategy. Don't try to read or find any news at all... And just try to get informed by your partner. It can be a great filter and you didn't know it!
The man must be hurting internally, there's no other explanation for such self destructive behavior.

Or he's high AF.
I can also recommend
https://www.worldtimebuddy.com/

It's surprising how much ads all these tools show though.
You summon the war god inside you and attack every person, by name, that is responsible for the issues that are so damn obvious to you and probably everyone else. You will either get an honest chance to fix things or not. Either way, you are engineers, for fucks sake, don't behave like you can't handle whatever comes next ...

You are not trying to be a hero or anything and you obviously don't want to be a coward and most importantly, you want to act responsibly WHILE KNOWING EXACTLY WHO AND WHAT THE HELL YOU ARE DEALING WITH, it's a company with gears and belts and whistles, damn it, ... and now ... with some shitty humans that have been making bad decisions way before they became your colleagues ...

If you are at your limits, your fellow engineers might get there, too ...

Just treat this whole thing like it was a problem that you and your team face all the freaking time, except this time, there is also sabotage (terrible work ethics, show no respect for its employees and triggers all the red flags) ...
I’d bet good money on you being wrong. Want to do $1k? We can use a trusted middleman and perform deposits or whatnot.
There is a valuable section about alternative tree models in the book "SQL Antipatterns" from Bill Karwin.

In the end, he compares five hierarchical data designs. Unsurprisingly, all have pros and cons and it is a (somehow advanced) matter of picking the right tool for the job. Closure tables may in fact be the lesser know variant, adjacency lists and recursive queries one of the better knows. But there are also path enumerations and nested sets.
I am no expert but my understanding is that anarchy is against rulers, not rules. And, insisting on carefully keeping in check the power of those who are given temporary power over others.

Is the intention of your reply to promote the stereotype that anarchy equals lawlessness and chaos?

From Wikipedia:

Anarchist organizations come in a variety of forms, largely based upon common anarchist principles of voluntary cooperation, mutual aid, and direct action. They are also largely informed by anarchist social theory and philosophy, tending towards participation and decentralization.
Anarchists are not really against rules pr se but against rulers if I have understood it correctly :)
>Do you seek air superiority via spending money to create an air-superior fighter jet, or do you seek air superiority via spending money to give every infantry soldier a manpad? Two different tactics with the same goal. Except that the former is a wasteful illusion of superiority, the latter is meat-and-potatoes common sense superiority.

That doesn't make any sense at all. Stinger type MANPADS are designed for short range point defense, no greater than 5km range and limited by cloud cover. It's a completely different ballgame to have air superiority fighters with radar guided missiles covering you from above. US doctrine is based entirely around this fact; that winning a war means being the side which is able to maintain that.
You severely overestimate musk’s software engineering prowess
bah gawd that's RSS's music
> But I don't believe on that because Twitter is a billion dollar company and that kind of mistake is dumb.

This sort of mistake is very common especially when a product is going through a period of change, so it seems very believable to me that recent rate limiting features (or older features that have not been used in a long time or maybe ever) on the backend hadn't been adequately tested to make sure there are no unforeseen side-effects on the front-end when they are activated under pressure.
Part of the appeal of the cloud over on-premise is that on-premise is not just expensive, but hard: oxide’s product isn’t just on-premise hardware, it’s on-premise hardware _that is easy_*. If on-premise was just expensive, it would be so much more appealing — because the cloud is expensive too!

Most every software engineer has worked in an org where spending six figures per month on AWS or GCP is totally normal and acceptable because the alternative, buying hardware, is this awful scary unknown that could be cheaper but could also blow the entire company up. If oxide can solve that, suddenly on-premise becomes much more attractive.

Yes, people are hooked on the cloud, but not because of data transfer… because it’s easy.

* well, the first few deployments might not be easy but that’s true of anything new.
I guess a couple of well-run meetings would have prevented this disaster in the first place.
>
in tech at least even if you fail, you are developing valuable skills that can be used elsewhere.

Rather: Currently in tech in the USA ...
Then you didn't look at how any of the Atlassian products are built. Most of them are multiple implementations of the same Frontend-Franework on the same page because independent teams work on stuff. Then you have hundreds of request "just to load some issue list".

Probably twitter can even do worse.
I can understand that, especially if some zealous agent wants to open seals and do his or her own 'safety inspection.' I once shipped flight hardware to a satellite integration facility. We elected to send it by truck after considering all options. Once the seals were on the crate, there were two people with it at all times.
You're issuing a correction for your original post, then? Haskell can circumvent the type system with unsafeCoerce and cast anything into anything else, therefore it (by your definition) is weakly typed. Same thing with Ocaml and Obj.magic. Practically every strongly typed language has a mechanism for circumventing the type system:

C: (type) casts
C++: reinterpret_cast and friends
Haskell: unsafeCoerce
Ocaml: Obj.magic
Golang: unsafe.Pointer
Rust: std::mem::transmute
SML: MLton doesn't provide one, but SML/NJ provides
Unsafe.cast. So I guess MLton's flavor of SML
is strongly typed, but SML/NJ's is weakly typed.

Any definition of "weakly typed" which excludes Haskell and Ocaml is farcical, inaccurate, and doesn't benefit any software engineer, especially the professional ones.
What do you think all that 5G bandwidth is going to use used for?
It goes on Facebook because that's how people communicate with a wider circle of friends. They don't care about the whole internet, but they want the friends that they do not see every week to stay involved in their lives. FB absolutely maintains those connections over years of minimal personal involvement.

You can debate whether that's a good idea. You can even debate whether you think the connection is real (but I think the feeling of a connection is enough to consider it "real"). You can certainly debate the use of these images in corporate machine-generated ads... but deal with the first paragraph: I think we understand why genuine people might still post on social media.
Yeah, noticed a lot of dormant follows pop up on my home feed again.
not surprising. centralized communication platforms suffer from the hug of death naturally occurring when people want to read information all at once.
Also curious about this, can I use Wazero to compile Go to WASM?

Or it replaces cloudflare workers instead?
Pixel 6a/7 (not 7a) for me. I had the Pixel 2 running Graphene OS for about 5 years and got the 6a a while back and put Graphene OS on it. You can get Gapps with Sandboxed Google Play Services, privacy, security and bloatfree experience. Because we have Google chips in these you also get 5 years of security updates (huge bonus!).

The 7a has poorer battery life than the 6a/7 so its a poorer choice for my personal use case but ymmv. Otherwise the 6a runs about 3 days for me (got 4 out of it initially but I use my phone very little) or 2 days when driving and needing more usage out of it.
> But in the CAD field, Autodesk is the clear winner here with no good alternatives

I’m an EE who only needs to use 2D CAD occasionally. Back in the early days I got myself a copy of AutoCAD LT (my company used AutoCAD so it made sense to learn the same tools that out draftsmen used). I developed strong muscle memory for the AutoCAD commands, and it’s not really worth my time and hassle to learn a new tool given how infrequently I need it. Some years back I stumbled on DraftSight which was free / low-cost and was a UI clone of AutoCAD. They eventually switched to a subscription model. I’m not a big fan of SASS, but when it’s not an exorbitant price, needed for my professional work, and the software generates industry standard files that I can use with other packages if I want to get off the SASS merry-go-round, I’m not strongly opposed, either.
I guess that's the magic of a marriage. You both change and you find out another way that you love them.

Yo can look at it as a downside or as an upside.
Elon supposedly got full U.S. citizenship after he made connections with the CIA (Michael D. Griffin) although the details aren't really known.
Totally pure stateless programs are not the norm in functional programming. E.g. the functional core imperative shell pattern.

It's also not just a syntax difference, mainstream languages are embracing immutability more and more, often as a default.

The point is that calling FP academic is a tired trope and even if it is far from the dominant paradigm, there is clearly practical lessons to be learned whatever paradigm you program in.
Any plans to support the WebAssembly GC proposal? Binaryen supports GC structs and arrays now, but there aren’t a lot of runtimes that have it yet. It would be cool if Wazero could do it in a way where managed structs can be seamlessly shared across the Wasm/Go boundary using the native Go GC.
Indeed. Go here https://archive.today/ enter URL get https://archive.fo/h2Tn9
This is some pretty dumb mental gymnastics to retcon a motivation. The simple explanation: he made an offer for Twitter, then the market (and Twitter’s value) crashed, and he tried to avoid paying the now-vastly overpriced fee he was on the hook for.
NATO/US have big air forces that would simply put a bunch of its big-$$$ aircraft into the air at high altitude to fire expensive and highly accurate air-to-air missiles and knock down opposing aircraft, then bomb the ground from high altitude to get rid of anti-air installations, and only then fly in close air support.

Stingers are inexpensive comparatively cheap surface-to-air missiles that allow an individual soldier on the ground to pick off an aircraft that happens to fly sufficiently low; it's useless if air superiority is actually being contested or if aircraft are bombing away from high altitude and mainly functions to whittle down the size of the edge the opposing force's air superiority gives in the ground combat.
No one would answer calls from an Indian phone number and it would be incredibly expensive. This is relevant because number spoofing is blocked by the telcos in the EU.
It’s time to stop using corporate “social media”, go and make your own niche forum, easy to make, and users will start using it eventually.
The value of education to some isn't knowledge, it's how that contributes to your ability to do or get a job, and that is sad. Having a well-rounded and whole person isn't seen as valuable, when it actually really is.

The author seems to yearn for yesteryear, when having "a degree" gave you a leg up on getting a job. But, when you finish high school, you often aren't capable of doing a job out of the gate either. Before, employers would train employees and give them a leg up. Nowadays, employers expect workers to have a good amount of understanding before even starting -- so a 2 year program of some sort.

I do think that there have been both state and federal cuts to higher ed, which have shifted things so that tuition is a much higher % of the pie for learning institutions then in the past.

The easy thing would be to boost those payments again, or give grants/"forgiveness" to those in challenging circumstances.
> 10,000 hours of directed practice

I thought it was 10,000 hours of deliberate practice. You seem to be talking about something closer to formative assessment. (I think both are useful.)

> The good teacher will look at what you're doing and what you're struggling with and point you to exactly the right tool in the complicated toolset you're trying to pick up, and show you how much easier it makes your task.

I disagree with this.

If you haven't already, I'd highly recommend you read 'How to solve it' by George Pólya. It's focused on teaching and learning math, but the same applies to many other subjects.

One of the main points in the book is that you can help a student who is stuck or on a wrong path by suggesting a question to them: a question that they might ask themselves.

If your teacher always tells you which tool to use, how will you ever learn to pick your own tools in future?
Maybe you’re right, bro. I guess I can live with that, bro.
Sounds like a really interesting challenge, would be fun to see how far you can get.
When people have a reason to pick a bone with you, you're gonna have a really bad time if too much private information about you is online.

It's not so much the bullying part itself, it's people documenting you as a person and picking apart everything you've shared to paint you as a character. People online are absolutely rutheless, there's entire forums and communities dedicated to documenting people they find interesting.

The internet is not a safe place, and it never will be, no matter how much the big social medias want you to feel safe sharing your most intimate moments to an audience of literally everyone on planet earth.
Try to explain that to the Orcas. They are killing those baby boats before they grow into big evil loud adults.
A few thoughts:

1. I'm not sure that an account that heavily browses twitter is zero value to advertisers. If anything, those are more engaged users with Twitter, _and_ Twitter should have more data and thus better targeting for that user.

2. The marginal efficiency of not showing an ad to a saturated user is probably offset by the reduced potential audience for your ad. Once you've seen 600 tweets, you can't use Twitter or view any more ads. That can shrink the daily audience significantly.

3. Users now need an account to view _any_ tweets. This further reduces the reach/audience for Twitter ads. If Twitter ads already have low CTR or referrals, and now their potential reach is cut, then they have no value.

I have blocked ads most places, but I use Twitter in ad-supported mode + receive ads through the app. I'm a good example of a user they'd be advertising to, and now I can't use it.
How about the time that Scotland got envious of all the other European powers doing colonialism in the New World, so they dumped all their wealth into setting up a colony in the Darien gap, which failed so horribly that it bankrupted the country and forced them to unite with England.

https://en.wikipedia.org/wiki/Darien_scheme
This makes sense to me. When using an LLM for programming it’s the most useful when teaching me the basics of a new language or framework. For example, it’s very helpful for giving me introductory information on x86-64. But much less useful at writing recursive higher-kinded types in TypeScript.
That's twice as long as Google's average tenure.
Yeah, this is definitely something I want to improve on. The project is used a lot more than I originally expected, so documentation is a bit scarce.

t/o is timeouts by the way
bluesky’s federation is in test (https://atproto.com/blog/federation-developer-sandbox); so nearly there…
> bad parents are

They may be "normalizing" it, but they're definitely being "enabled" by the social media companies who create the actual "benefit" that drives the behavior in the first place.

It makes me think of the California Child Actor's Bill[0], and how it sets up "Coogan Trusts." The law requires the _employer_ to set aside money into a trust completely bypassing the parents. It seems to recognize that any amount of money injected into a parent and child relationship creates unique strains that do need to be considered directly.

[0]: https://en.wikipedia.org/wiki/California_Child_Actor%27s_Bil...
You don't need to be a terrorist to end up on watchlists. Read up on "Red Scare".
Thank you for shedding light on this. Twitters biggest financial problem prior to Elons purchase was growth. There loses were mainly them spending money on try to find an avenue of growth.
yeah, sorry, i won't be visiting some website just to do timezone conversions. i'll just double check my work next time. to me, that's like the people that need to use GPS navigation to go to the same location they've been to more than once.
https://www.cnbc.com/2021/11/16/taxes-arent-the-only-reason-...

https://www.reuters.com/legal/transactional/elon-musk-sued-2...

https://www.teslarati.com/elon-musk-258-billion-dogecoin-law...

https://abcnews.go.com/Business/timeline-elon-musks-tumultuo...

https://www.npr.org/2022/07/13/1111239959/twitter-elon-musk-...

---

https://chat.openai.com/share/aaef7d7c-1537-48b7-bc49-81cecf...
Could you add a GitHub issue with this suggestion? I like it and I can definitely see if I can add it!
not for s(n)printf ...
Nice work. It's getting there.

Will behavior and output be formally proven, similar to the seL4 microkernel effort, at some point so that it's not only insanely fast but insanely correct?
Yeah, this basically restricts users to viewing a handful of popular threads per day.
thanks for sharing, Matter looks promising I'll give it a try.
At the absolute pinnacle of ZIRP era, there were just barely able to get into the black (ex their legal settlement). That’s not an extremely healthy business. They were going to crash in 22/23 regardless of ownership.
They assumed it was a whale but from the region it's likely it was an orca instead especially because currently the orca attacks started (again) from the mediterranean
I was sorely tempted to put my son's artwork on Instagram because since he was about 6 months old he had spookily incredible pen control and a sort of uncanny skill in design and composition. I just couldnt shake a sort of icky feeling that I'd be getting a dopamine kick from people liking his drawings, and the converse, that I'd be feeling hard done by if one drawing didn't get enough attention.
I really wrestled with it for ages because I was (and am) really proud and wanted to show off! (He's now less interested in drawing than in Lego so the moment has kind of passed.)
Chainguard: 0-Known Vulnerability Images
Do you know if any of the official FreeCAD tutorials go through using data planes instead of sketch on face?
I agree, at least partially. The U.S. had half the world's GDP at the end of WWII, most other advanced economies had their manufacturing base bombed to smithereens. The couple decades after the war were boom times in the U.S. And an anomaly. This was surely one of the bigger factors amid several.
All? Even important service announcements or serious notifications?

edit: why the downvotes? I'm simply trying to engage in curious discussion. Apologies, I'm neurodivergent and I can't often discern between humor or not.