skysight-inc/HackerNews huggingface dataset:
The 6502, more than any other chip, democratized computing. I would say, after that, that the Z80 was the next most impactful chip, going off of the technological complexity of 8080 systems and the cost of x86 systems prior to clones. In a way, work products like LLaMa 1&2 and Mystral 7B have gone a long way towards democratizing AI in the way that the early home computers did, especially with Georgi Gerganov's llama.cpp effort, which cannot be lauded enough.
Not sure what you mean by that - what I meant by formalization was to really deduce every statement in a proof from basic axioms and rules. So basically what Prof Tao did in this blog post (except that the hard rote labor has all been abstracted away and handed off to a machine). This kind of formalization is hardly dead I'd say, in fact it's just starting to gain traction in mainstream mathematics, as Prof Tao's recent work shows (if it's not too much work for a Fields medal winner to formalize their proofs, then what excuse do mere mortal mathematicians have?). So what did you mean?

Edit: it's clear that the original four-color proof had nothing to do with this kind of formalization, it was just the debate that got me thinking about it. And tools like Lean4 aren't limited to constructive math afaik.
The average HN user defends the "common guy" or "the masses", perhaps because he fears being perceived as condescending. I've come to the conclusion that the masses don't deserve any of this. Many drink and drive, indulge in destructive addictions (not only to themselves). Many can't bother recycling or even maintaining a clean home environment, waste time and resources in every activity they engage in and don't even care for their neighbors well being (loud music, etc).

Concluding remarks. As man succeeded in creating high mechanical precision from the chaotic natural environment, he will succeed in creating a superior artificial entity. This entity shall "spy" (better described as "care" for) every human being, maximizing our happiness.
Nice read! I organized some tech meetups in the past (2018) and this is good advice. Makes me want to organize them again.
Sacramento, California

Pros:

- City of trees, very beautiful this time of the year with the changing colors.

- Very bike-able, in fact they just changed the way the bike lanes work to make them more accessible and visible. If you're staying in the general downtown/midtown area there's no real need to drive a car.

- Lots of beer, lots of food. Plenty of Thai restaurants in particular for some reason.

- I have a soft spot for nearby Davis with its smaller community feel and the arboretum near the university.

Pro/con: Centrally located between the bay area and tahoe/yosemite/etc., meaning you have good vacation choices but you have to drive a couple hours either way.

Cons:

- It's still a city, so it's expensive and the homeless situation is worse than anywhere else I've lived.

- The trees smell bad.
(I assume you meant "zoning", not "building code". Zoning is what says what kind of building you can make, such as business or residential. Building codes cover things like electrical service and safety, plumbing requirements, what building material you can use, and stuff like that)

Around 92% of US households have a car. Comparing to Europe Italy is around 89%, Germany 85%, France 83$, Spain 79%, and UK 74%.

Unless those countries are also restricting mixed living/business areas they suggest that there is some other more general factor that drives (no pun intended) people to car ownership. US zoning might explain why US car ownership is higher than in Europe but seems unlikely to explain more than maybe 20% of US car ownership.
It can, by right clicking the desired message to edit. This is in macOS Sonoma, and I believe was a part of Ventura as well.
> At this time, foreign key constraint support is limited to unsharded/single shard databases.
Exactly, what a weird train of thought from government workers. Seems like the mission has been lost
Working smart matters even more. Some jobs require more working hard (re: long hours and 6 days per week) than working smart though, and obviously employers love employees who want less money per time.

As an employee though, you want to work smart. And that might be working longer SOMETIMES to learn skills, but the chollida1’s post does not give me that vibe. You only get your 20s once, and while they might have thought it worthwhile to trade them for financial security in their 40s and 50s, I wouldn’t say that is an optimal move, or even a necessary sacrifice.

It is the main reason I would advise my kids from becoming doctors. The sacrifices the system asks are far too much. I had much more fun than my doctor friends and they did not end up better off. Spend time with family and friends, do leisure activities that you won’t be able to do when older, etc.
Echoing this. Just bought AA tickets through the airline’s website yesterday using FF and it worked.
My 2013 MacBook lasted 9 years (I'd still be using it if the battery connector wasn't shot.) In my experience Mac's last a lot longer than my equivalent PC's, although w/ an initial premium of course.
OpenWRT Docs "have reason to suspect a security compromise"
The problem is that competition for resources is taken as the essence of markets, which it is not. Competition exists in markets, sure, but it's not the point of the market per se. That's psychotic. This is the problem when decontextualized practicalities become enshrined as abstracted ideological and moral tenets of the highest order. According to your view, if I were starving, and you had a warehouse full of food, then I would be stealing if I were to break in and take some food to survive. Theft is always wrong by definition (you cannot say it is sometimes justified in ad hoc sense while remaining coherent; if the law just is competition for resources, full stop, then the starving man is just a loser, full stop), so I, the starving man, am morally obligated to accept my death outside the walls of that warehouse.

But as I said, this would be an incorrect view of markets, which occur within societies, to enable the good. Human beings are social animals, and so our good depends on society. The common good is also prior to private property. A scenario where people are starving, but where there are warehouses full of food, is one that demonstrates some degree of dysfunction.
This is my type of content.
I'm aware of the trope. I've yet to meet anyone that adheres to it, though. Always thought it was just one of those things that Hollywood overemphasizes to "other" gay people.
The Bill of Righte contained 12 proposed amendments, 11 of which have been ratified.

We've just gotten used to calling it the first 10, because the other one took a long time to ratify.
> Everyone is happy with a lot of pretty invasive stuff

could you stop repeating this simple fallacy? Because millions of people could not organize and opt-out of something being commercialized, that also benefits government, in the USA Does Not Equal "everyone is happy"

in fact, lots of people are deeply unhappy.. so the statement "everyone is happy" is not only not true, but actively provoking.

It is not in the power of an unhappy or protesting individual citizen, let along an elderly, impoverished or medically vulnerable person, to stop the rollout of Big Tech Thing.
I'd rather every crosswalk start a 5 sec timer and flash the lights, and then spikes come up that blow out the tires of any car that's going fast enough within proximity of someone crossing. Driving in the city for anything but uniquely dependant utilitarian purposes should be a relatively rare thing, and building cities in a way that prioritizes it is preposterous.
If a tiger attacks you, it will go for the neck and you will die. Chimps attack humans just like they attack other chimps, and that means going for the face, hands, and genitals. I'm not even sure there are any humans who've been killed by them. They just horribly torture people and let them live.

It's hard to ascribe evil to an animal, but chimps are clearly working on it, heading up the evolutionary ladder.
We have to go through the Eugenics Wars first. I am NOT wearing that awful quilted whatever-it-was tunic the soldiers apparently wore.
The situation is very different in the US, primarily because in other countries SMS fees tended to be really high a decade and change ago, and thus drove users to WhatsApp, but in the US most carriers had adopted some form of unlimited texting shortly after the iPhone first came out.

Thus, for many socio-economic groups, iPhone is definitely king in the US, and for them iMessage is just the default way to message people because when it was introduced it was the default way to use SMS on iPhone. A restaurant in Texas famous for their funny signs put this out, https://twitter.com/ElArroyo_ATX/status/1693316647677825160 , and tons of people (myself included) could immediately relate.
fully collateralized loans sure seem like income to me.
Ah man, it was glorious. I was really just in awe at how I could talk to all my various friends in one app, regardless of which platform they were on. Such a great app. I recently went to the webpage for the app and see it's sort of a shell of its former self and is some sort of business tool now. Kind of a bummer, but such fond memories of how amazing it was back in the peak of the various instant messaging tools, before unlimited text messaging was an affordable option.
The best way to predict a crime is to commit it.

(with apologies to Alan Kay who coined the original saying)
Yeah, but we're also talking about out-doing it by about six orders of magnitude, to produce millions of years of production by the Earth in mere years by man.

So I'm not sure which one I'd bet on.
> How many actually have is anyone's guess.

What's certain is that the rest of the world chose Threads instead as the viable alternative.

Other than Threads, the rest of the so-called Twitter / X alternatives are just as relevant as the skeletons and fossils underground.
The fuel in US Naval nuclear reactors is enriched to a much higher percentage than civilian reactors due to size and longevity considerations. It has to fit the ship and refuels take months/years. A ship undergoing a refuel isn't a ship you can use.

In a civilian plant, you can have multiple reactors and refuel them on a rotating schedule to avoid downtime, having a larger reactor vessel isn't a problem, and all of that is also going to be less expensive - which is a huge factor.
Plans for Nuclear-Powered 24,000 TEU Containership Unveiled in China
This is a one off concept with fake doors. Think Volkswagen XL1 but even more ridiculous.
That's a good point. But LDAP is usually administered by an organization. Most individuals don't have permission to edit their leaf records in the orgs I know that do LDAP. So... yeah... depends on what you're trying to achieve. If you want something org-focused and regular, LDAP is good. But if I wanted to publish my own info, maybe putting LDAP-ish records in a dotfile that some server serves out by mDNS would be a decent idea. Corporate guys who freak out over mDNS could just prevent it from traversing corporate owned switches. Everyone else would be on their own to figure out if individuals are leaking too much info.
Pretty darn critical! I built a service a few years ago to scrape natural gas volumes from different refineries and my client wanted that data plotted over time. Another project collected and displayed wellhead pressure data.

Oh yeah, maps are also super important, and being able to overlay different statistics and or graphics over them.
Addressing post-quantum cryptography with CodeQL
It seems the builders themselves (the ones that care to tackle these) can manage it: they just charge for the insanity and do what the nice man asked for. Even if that's insane.

The problem is the users (who might see the results decades after other countries), and the taxpayers who have to pay crazy amounts for any tiny project, and then pay for it again and again because it was poorly done, and the population which wonders what happened.
coldtake
Hah! I am now better-informed. Thanks.
That's what happens when the face of the company is publicly obsessed with online culture war politics.
Given the history of standardisation for promoting interoperability includes numerous success stories and a pattern of resistance fading over time I don't see why we should expect web standards to be any different. The level of functionality needed by a typical government site has worked close to 100% correctly in literally every major browser for literally decades.
Related ongoing thread:

iMessage, explained - https://news.ycombinator.com/item?id=38532167 - Dec 2023 (73 comments)

Normally we'd downweight it as a follow-up but I think it's worthy of an exception.
> I guess we are just as fickle and go from playful to violent, just like the chimpanzees they are describing in the article.

Doesn't take much time in this world to derive that fact. Humans are not the logical, order-following, intellectual beast some of them see themselves as. We are, at best, clever monkeys who are good at detecting patterns and making up bullshit for the tribe to swallow.
What assurances would you like to see?
wow, haven't read something this off-base ina while
No, its made a choice clearly within its Constitutional power, you just don't like the choice. That's bot an abrogation of duty (there are lots of places you can make an argument for doing that, but this isn't one.)
> For most people, it's the tyranny of corporations that affect our lives in outsized ways.

No, for most people it's corporations that enable our current best-in-history lifestyle. The hardest things we face are scarcities created by government policy.
I would love to know how quickly and unexpectedly a chimpanzee would turn on a familiar human. Would they seem agitated? Or, would they just suddenly flip out? I imagine an unfamiliar human and unfamiliar environment is another story, though. This story is tragic.
Due to internet problems in Egypt earlier today with Telecom Egypt, I had a traceroute to the same destination going via _8_ different paths. Have to say that's twice the higher number of ECMPs I've seen on the internet in the past.

And yes, traffic is routing different ways from my Cairo office to my UK core --London ->Cairo is direct and still suffering massive loss, Cairo->London is now routing via ntt and seems fine. If they haven't fixed it by tomorrow might have to change some local prefs.
Nonsense. Only completely trivial standards work without testing actually implementations against each other.

How do you think WiFi devices work together? Is it because WiFi is a standard? Not really - it's because WiFi vendors all test their chips against other WiFi chips on the market.
SEEKING WORK | Manchester (UK) Full-Stack Engineer

I'm great at helping you take your web app from idea a reality.

Full detail: https://tweakdigital.co.uk

I've contracted for Booking.com, MoneySupermarket.com, Coop.co.uk and the UK Government.

I'm great at liaising with non-technical stakeholders and helping turn ideas into production-ready code.

Who you are:

Small or medium sized tech company with big ideas.

Tech company who needs a specialized team (I have lots of techie friends) to bring your product to life.

Why me:

I am an entrepreneur first and an engineer second. I understand that getting good shit delivered is the #1 priority.

I'm a great communicator. No, really! I used to run a podcast and can speak a few languages reasonably well.

I've got +10 years of front-end experience building web apps for blue-chip clients.
Sorry, nothing personal. But as a 100% Firefox user I would very likely avoid to visit any global ecommerce site. It's the same world I want to avoid by not using Google products.

I know I am a small minority, but you don't even see that minority.
[dupe]

More discussion: https://news.ycombinator.com/item?id=38528854
> infused with passive-aggression (by policy)

And the worst abuses come from moderators who are _encouraged_ to be abusive.
She’ll win, watch.

Meanwhile that exact company fired their CEO for donating to a political campaign that won
I said more in a cousin comment: https://news.ycombinator.com/item?id=38526658

Basically, trade-offs.

On knowing a local, locals will know which neighborhoods align with your lifestyle. They'll also be able to share helpful details about which brokers to work with / avoid, and how to time the markets.

Basically, any apartment you see on zillow/streeteasy (they're the same company) that's been listed for more than 1 week in a desirable neighborhood is either not "bona fide good" or incredibly overpriced, which could (incorrectly) lead you to believe that no good rental options exist in NYC.

The reality is that all the bona fide goods are snapped up within 48 hours. The best ones are practically snapped up before they're even listed. Unless you've lived in NYC for a while and tried to play the housing game, this reality isn't super discoverable.
The garbage collector must lock threads if it is compacting or does not create separate stacks for pointers only. All GCs for Java a lock application threads.
Your linked 1+ hour video includes things like IATA airport codes for geolocation and such. None of that is relevant to the fact that all traceroute implementations make use of very basic networking fundamentals: in particular, by sending out a series of packets with artificially limited TTL, to [hopefully] receive ICMP type 11 code 0 "TTL expired" packets from the hops along the path to your target.

Traceroute is simple. Sure, there's lots you can do to enrich the data you receive (e.g, reverse DNS and geolocation), or sending multiple sequences to identify equal cost multipath. But these are not inherent or necessary to perform a traceroute.

And understanding why different protocols exhibit different behavior / observe different metrics, or why some nodes don't send ICMP TTL expired, is important. But that's more in line with what you call "using it to troubleshoot", which is not "how it works."

But "how traceroute works" is simple: First you send a packet with TTL=1, then you send a packet with TTL=2, and so on. That's it, that's how it works.
You don’t need to use iMessage to contact an iPhone user. You can use plain old SMS, or WhatsApp, messenger, telegram, etc.
> Their (public school) teachers senselessly already tell them to avoid it. :-(

Weren't they doing that from the beginning? I get the feeling this feeling has gone down not up.

>I don't think Wikipedia will die for any specific technical or political reason. I just think it will die because everything else that was wonderful from 2009 or before already has, so why not Wikipedia?

It still seems to be surviving. Editor count may be down but a lot of the articles that have to be written already exist. It may stop improving much and only include new events but I don't think it will die until there's a replacement. Maybe people will just consult LLMs for general information and never visit Wikipedia?
The original founders left in 2022. I know some people who were involved in the project but left due to it being a startup and treating all people as replaceable, no questions asked.

The project kind of feels superfluous nowadays though, it always seemed like an Amazon Echo you can hack on while not having the weight of Amazon behind it.
She was hired as a principal software engineer on Apple's software security team well into her activist campaigns. Seems absurd to say she doesn't have significant technical skill.
Didn't someone invent the telephone at roughly the same time as A. G. Bell? For another example, in Japan Soddy's Hexlet was described in 1822, while in the West it was introduced in England in 1937.
> Always thought it was just one of those things that Hollywood overemphasizes to "other" gay people.

They may over emphasize it. I don't know. But now you know they didn't invent it.
> we haven’t had a balanced budget since the Clinton administration

There's no good reason to have a balanced federal budget, even as a long-term goal.
> But WHOIS records aren't supposed to contain personal information; they're supposed to contain contact information for network operators.

Doesn't a whois have to include email, phone number and physical address? For a company that's not really PII, but I don't understand how it wouldn't be considered personal information in the whois for my personal website.
jow
SysAdmin
8m
Update:

After reviewing the situation we found no indication of any unauthorized access to the system.

Background:

During maintenance work to implement performance improvements for the table of hardware (ToH) views on the wiki, which are currently the primary reason for severe system load, we encountered a debug log containing username and passwords of login attempts in clear text.

What we initially believed to be a malicious modification of the DokuWiki PHP code turned out to be leftover debug code from an earlier wiki migration. We removed the offending debug functionality and purged the related log file. As a precaution, we're going to force a password reset for all users.

Note that the user database itself contains one-way password hashes and was not compromised, neither did we find an indication of any unauthorized access.
I first saw the Rich vs King written about here: https://siliconhillslawyer.com/2016/03/30/rich-v-king-the-co... (which references Noam Wasserman)

siliconhillslawyer has unique advice to founders: how to understand the various tensions between founders and VC. E.g. "Relationships and Power in Startup Ecosystems" https://siliconhillslawyer.com/2019/02/18/relationships-and-... and "Burned Relationships Burn Down Companies" https://siliconhillslawyer.com/2016/01/25/burned-relationshi...
pixel series since 6 has an option to passively listen and document songs by default. probably the only feature I miss moving to iphone
This reminds me of using Trillian to connect to AIM, MSN, ICQ, etc. back in the day.
Another FF user here. Very, very few issues.

I had a problem with a shopping web-site the other day. I disabled uBlock origin, and then all extensions, but it still refused to work. I thought I'd finally found one of these mythical "Chrome-only" sites, but no - exactly the same broken site in Chrome, so the site was just totally broken. Nothing to do with FF.
Sarcasm is often spoken with a sarcastic inflection. It doesn't translate well to text, regardless of the community.
> The "not notable enough" is in place in part to try to limit the amount of pages that need curating.

As someone who leans inclusionist I wondered about that, but I think it also has to do with the existence of reliable sources. You need them to write an article, and the notability guidelines exclude articles that would be impossible or hard to write due to lack of sources.
this looks great, thanks for sharing! i’ll check it out. we are also big fans of Pydantic and FastAPI
The excitement is because previously it was impossible for Android users to communicate with iPhone users over iMessage. If you're not in the US, you probably won't get this, but in the US it's very easy to be "the odd man out" as the only Android user in a group of friends. Group chats between iMessage and Android users is basically horrible right now - I seriously considered getting an iPhone solely because friends were annoyed with me for breaking their group chats.

What Beeper does (especially since it's such a huge technological achievement by reverse engineering the iMessage protocol, as opposed to just using a Mac server as a "man-in-the-middle" iMessage communicator) is unlock a part of the iOS ecosystem to non iOS users in a way that Apple has been avoiding for years.
They’ve also been known to tear fingers and hands off. In the wild the males will sometimes tear off a rival’s testicles. Chimps are faster, more agile, much stronger than any human, and capable of extreme violence.
Lurrus into Dead Weight — that's a nice start.
Design Firms Offer a Glimpse into the Future of Office Design