skysight-inc/HackerNews huggingface dataset:
My employer is a multinational engineering firm.

I travel to the UK, France, and Germany multiple times per year to meet with customers and suppliers.

If you add up funding my own retirement, paying for my private health insurance, paying for my kids to go to (state) university, having to have two evil automobiles, and paying the electric bill on my palatial manor (4-bdrm rancher with garage shed and large backyard), and subtract all of those expenses from my income I >>>STILL<<< make so much more money than anyone sitting across the table from me in Europe that I might as well be Mansa Musa the Golden King of Mali and them a homeless bum starving to death under a bridge.

It is my impression that most of the people moving to the EU are "entrepreneurs" with app ideas or "digital nomads" who want to run a social media campaign from MacBook in a cafe while engineers and scientists who want to work on cool stuff and have labs with a budget big enough to buy test gear and do something keep trying to score a US visa.
Using one-log-only for an entire system does have its upsides, but it will kill performance. It would be like building a CRUD system with a single mutex for everyone to share.
Siri is suppose to be routing “world knowledge” to Siri. The LLM based Siri that can handle internal phone actions won’t be available until next year.

This is an example I put together in response to annother submission on HN a few days ago.

https://chatgpt.com/share/678bab08-f3a0-8010-82e0-32cff9c0b4...

In the real world, you would give a prompt that could handle multiple intents and properties (slots) for the intent.
Table/log duality goes back further than Kleppmann though. An earlier article that really influenced me was

https://engineering.linkedin.com/distributed-systems/log-wha...
This must be facetious? A GFCI breaker in a house's electrical panel and any breakers present in the transformer on the utility pole are protecting against _very_ different scenarios -- the breaker in the house is to stop someone from accidentally electrocuting themselves, but the breaker on the pole won't even notice an amount of current that could easily kill someone.
Even weirder is the Conway base 13 function, which not only is discontinuous everywhere, but its range when restricted to any interval is the entire set of real numbers (so its graph “fills up” the entire plane).

https://en.wikipedia.org/wiki/Conway_base_13_function
We released a tool to calculate the favicon hash called "favscan": https://blog.shodan.io/deep-dive-http-favicon/

And here's a map of favicons that Shodan has seen across the Internet: https://faviconmap.shodan.io/
I don't think that's the case here unless you are referring to a busy beaver thing I don't understand :)

If you are referring to the observable universe being finite, then that's not relevant for the discussion: I am just putting a few more grounded terms on the theorem that computable reals (including rationals) are a countable set. The point is that "for every integer n you can get n+1" is unphysical, yet "grokkable" symbolically, so it works well within a conceptual mathematical universe (regardless of what the physical universe has to say about it). Within this math universe we build an abstract computer that can hold an arbitrary rational/computable number, but only a countable subset of the real numbers, since almost all real numbers cannot be described by any "physical" program, even if that program is larger than the entire universe.

I wish I understood the busy beaver problem / connections to Ramsey theory / etc. However for this intuitive discussion it seems like a serious digression.
Really? I take the bus all the time. It's just normal people.

Unless this is an obscure reference about drug use in your neighborhood or something that's completely going over my head.
You cannot detect a 301 redirect when you're only in control of the destination.
It's definitely trying to update. But I'm no Android developer, so I never investigated the problem. And, frankly, if I will desperately need an upgrade, I'll just remove it and install it fresh. It's not a big deal.
The forum here is interesting. I agree with your premise, but sometimes it doesn't shake out that way. Weird dynamic.

Granted network effect does "work" to some extent.
Both sites are just people with opinions, so you're going to have the gamut. Bluesky does have a very vocal, brigading "AI is all mediocre and theft and you should feel shame if you use it" contingent, and there are loads and loads of simply terrible takes on AI there.

Loads of authors and artists and other creatives flooded to bluesky early on, and kind of do a territorial land grab in the Shirky "A group is its own worst enemy" fashion. There are a number of groups on the site that feel that it is "their" site and they need to bully contrary opinions away.

Though if some guy is feeding his Twitter audience by baiting people on Bluesky, they're likely fomenting the response.
>What hadn’t occurred to me until now is that not only is OpenAI getting no money from Apple out of this arrangement, but that the net brand equity they’re getting from it might be negative. These Super Bowl and high school basketball queries are handled perfectly by ChatGPT when using it directly — but Siri’s attribution makes it look like ChatGPT is to blame for these utterly and at times laughably wrong bungled answers. As it stands, Apple is getting a scapegoat more than a partner out of this deal.

apple intelligence has always been a way to look good doing AI while not taking responsibility
those startups are really searching for meaning
Which open source communities are "LGBT-dominant?" What does that mean?
Horror Movie AI Scariness Ratings
As I've been studying the history of CPUs I'm not so sure that RISC really makes sense to talk about outside of the original period it was created. It was a belief that at the point it time that repurposing the budget allocated to decoding complex instructions and the was better spent on more register & cache, and allowing operations to clock faster due to their simplicity.

Now that we have speculative execution, cracking into micro-ops and multi-issue units, it's really not RISCy at all. POWER and x86 really have more in common than they don't.
Yeah, it seems like self-driving isn't the cost saver here. It seems like route planning and optimization is a much better place to spend money.
But can't any log be implemented as a CRDT? Was that not implied in the post? I didn't read it that close...
No, there are 600k bus drivers in the US.
Probably not intentional, but the title is incomplete ("- this is how I get rid of it in minutes"). It does make the HN title incredibly funny for my twitter-rotten brain though.
Meta to spend up to $65B this year to power AI goals
I agree, it does feel like a lot is lost.

Geocities is out there for download, but ... still not the same, even with Internet Archive doing its thing.
Neither the Origin nor the Referer headers have anything to do with a 301 redirect.
Eh, ignoring a project isn't "absolutely horrendous", it's a little dickish at worst. They're free to accept or ignore any charity, and they're free to ignore requests for renewal. I don't know why they're not communicating (maybe they're trying to have less details publicly available for the inevitable post this would generate?) or why they'd be dropping this project entirely, but it's not like they're sending them cease & desist letters.

Many containers hosted by this project have the sole purpose of pirating media, so maybe it's not even Docker's choice to ignore the project. If they're being sued for providing piracy tools (and are smart enough to shut up about it until the lawyers clear them) it'd be stupid to explain what's going on and why. Last thing they'd need is for the copyright lawyers to make it seem like Docker is directly in kahoots with the piracy ecosystem. I'm not condemning piracy tools here, but everyone knows what you should expect if you're hosting piracy adjacent services.

It was pretty cool of them to offer DSOS to open source projects but I guess that's coming to an end if they don't even bother replying to their form anymore. But it's not like Docker is known to the public for giving other projects free hosting, the only reliable free hosting Docker provides are the containers they put under their own name spaces. It sucks people fall for the openwashing these large technology companies do, but I think people have unusually high expectations of Docker here.
I actually enjoy my day job. It's just that it's a large part of my day and I feel that I my other interests (restoring old computers, exploring them and how people worked with them, mostly) end up being neglected.
> This is just objectively false. Constraints liberate and liberties constrain.

You are completely wrong here. Flexibility by definition means an increase in the allowed degrees of freedom in one or more axes which in turn allows one to mix and match feature sets to express more design concepts (eg. Multi-paradigm). Your second line is a silly slogan which presumably means constraints make the job of picking one choice from a set easier due to less thought needed. It is applicable to inexperienced developers but certainly not to experienced ones who need all the flexibility that a language can give.

> As someone who understands variance etc quite well, my answer is to simply not have subtypes. You absolutely do not need inheritance subtyping to build production software. (Rust has subtyping and variance only for lifetime parameters, and that's confusing enough.)

You have not understood the example. Variance is used to constrain types but pre/post are predicates relating subsets of values from the types; this constrains the state space (cartesian product of the types) itself. Second, your statement not to use subtyping is silly. Subtype relationships arise naturally amongst concepts in any non-trivial system which you can group in a hierarchy based on commonality (towards the top) and variability (towards the bottom). Inheritance is just a direct way of expressing it.

> Inheritance is only traditional because C++ and Java made it so. I think it's been a colossal mistake.

Statements like these betray an ignorance of the subject. I have already shown that Inheritance can be used for different purposes of which Subtyping in the LSP sense is what everybody agrees on. The other uses need experience and discipline but are very powerful when done clearly. Inheritance was first introduced in Simula67 based on a idea presented by Tony Hoare in 1966. C++ popularized it and others simply copied it. See wikipedia for more details - https://en.wikipedia.org/wiki/Inheritance_(object-oriented_p...

PS: This discussion reminded me of "The Blub Paradox" by Paul Graham (https://paulgraham.com/avg.html) which i think most Rust evangelicals suffer from. Just from my cursory look at Rust i have seen nothing compelling to want me to study it in depth over my preferred language of C++. With the addition of more features into "Modern C++" to support Functional Programming it has become even more flexible and powerful albeit with a steeper learning curve.
Headcount reduction could increase the deficit, not reduce it. Wages are only 5% of the Federal budget; reducing headcount will likely increase waste and increase the spend on expensive contractors.

Especially since the administration is likely to target the IRS especially heavily for headcount reduction. That'll drastically impact revenue.
I mean, they did it illegally. Their fault for doing it that way. Kobo is competing with Amazon pretty well.

US market is heavily skewed in Amazon's favor though.
It sounds like they have just re-discovered Distributed Transactions with a Distributed Transaction Coordinator.

But DTs have a huge problem: What happens if the owner of the lock netsplits?

Either the DTC waits (potentially forever?) for the owner of the lock to get back in touch and release the lock, or a timeout is applied and now the owner of the lock (who may be unaware of the netsplit) will be out of sync with the system.
OSINT is not about exploits.

Favicons are very useful for spotting phishing sites and finding forgotten servers.
If you increase wages you make buses either a) more expensive - less incentive for car drivers to switch (and you're hurting low-income passengers) or b) more loss-making - easier for car drivers to lobby politicians to kill them off.

Bus fare is already pretty expensive when you consider the quality of service, speed, and convenience outside major metro areas.

> due to lack of funding

If there's a lack of funding, and there's tech that will make buses cheaper, it's a no-brainer to adopt it.

> the political will to allocate it

Willpower and political capital are limited resources. Why squander them when there are alternatives?
Public schools around me dropped cursive writing years ago. Old-school Montessori schools (those that follow Assoc. Montessori International - AMI at least) seem to be the only places keeping cursive alive. They teach cursive before print in some cases.
Sony announces all MiniDiscs media production is ending February 2025
"Americans can't ask"
Calling a WAL a ledger, why? Ledger sounds fancier but why would it be a ledger in this case?
that still requires an active subscription unfortunately
If I've understood it, it's like using Kafka with 1 topic and 1 partition. But it shouldn't rule out multiple brokers with a >1 replication factor, giving you CP.
And who exactly are you picturing would be riding a robo bus then? Or is this going to be an expensive bus for tech workers so they needn't rub elbows with the poors?
I am a huge fan of append-only logs as a fundamental architectural principle. The Log [1] should be required reading for any CS undergraduate.

[1]: https://engineering.linkedin.com/distributed-systems/log-wha...
> 2) the PSU on my PC started tripping the AFCI (sent back to the manufacturer and got a replacement).

That's a common occurrence with an AFCI breaker and a switched mode power supply.

In my last apartment, I had multiple AFCI breakers nuisance trip with multiple PC power supplies, usually when the GPU has heavy usage.

Eventually I "solved" it by getting a double conversion UPS.
Interesting, especially the IKEA stuff. Are there any high-CRI IKEA bulbs?
No idea why you got downvoted. Has somebody around here not seen it?

Yeah, I meant his Nazi salute.
What are the specific things you do not like about C23 or the C2y road map (whatever this is, it is more random walk)? I have my own list of course, but overall I still have some hope that C2y does not turn out to be a total disaster.
Remove the bus driver and you can significantly ramp up bus service at the same cost.

NYC only has 6k buses for 2 million weekday passengers. Make them more convenient by say having 20k of them and you get more traffic throughput.
Doesn't Twitter provide that as well?
I wasn't aware of this. It looks pretty neat. But the price point I'm seeing is more than $400 US. So I'm not sure it is price competitive yet
Who would the target audience be? No modern software can run with a 1000x performance loss.
I think the problem is that laws that are trying to force morality on people.
Simple calculators are actually a bit like functional pipes.

There's no precedence. Everything is left or right. Every button is a prefix command: OP ARG or else just OP.

For instance 3 + 4 x 3 - 1 x 9 - can be evaluated in a particular Lisp dialect as

(lflow 3 (+ 4) (* 3) (- 1) (* 9) -)

Where lflow is a left inserting pipe operator. It begins with the value 3, inserts it as the left argument into (+ 4) to actively produce (+ 3 4) and so on.

In the calculator, the result of the previous operation is similarly another argument to OP, which is inserted on the left. It can be understood as being held in an accumulator register.

If OP requires ARG, the evaluation doesn't occur until another OP is entered, or else the = button, which roughly means end of ARG. But OPs that take no argument other than the accumulator dispatch immediately. When OP ARG is followed by multiple =, it is repeated that many times.

When an ARG is entered not preceded by an OP, it replaces the accumulator.

In some calculators, when a new ARG value is entered this way, followed by =, the value is somehow substituted to the previous operation and it is reevaluated, instead of just becoming the new accumulator.
gptel can do this already with over 20 models.

Costs nothing beyond your subscriptions to the individual models.

https://github.com/karthink/gptel

The author shows it with 4 models at once in this demo video:

https://www.youtube.com/watch?v=bsRnh_brggM&t=853s
Oh man. I love Home Assistant. But I think of it as a really fun hobby. Maintaining, getting dashboards working, integrating with wireless local network standards… It ends up very technical, very quickly, as Mr. Petersson so ably demonstrates. That said, using it has put me hard on the side of preferring home devices with open management platforms. I keep feeling there’s a chance my smart home could stay off the cloud and have good automation if only I buy the right nerd tech..
Regarding point two, OP should connect to a VPN in Japan or somewhere he very isn't, use incognito mode, and see if the same content is served. I've seen hacked sites that are set up to serve normal content to where the attacker thinks the owner of the site lives, but serve phishing content or malware or whatever to everywhere else.

A 301 fits that bill because then the owners browser even when traveling will serve the good content
I was wrong, if you are the same charge you will be repelled. Opposites attract.
The 22nd amendment currently says the following (formatted for clarity):

No person shall be elected to the office of the President more than twice, and no person who has held the office of President, or acted as President, for more than two years of a term to which some other person was elected President shall be elected to the office of the President more than once.

The proposed replacement says:

No person shall be elected to the office of the President more than three times, nor be elected to any additional term after being elected to two consecutive terms, and no person who has held the office of President, or acted as President, for more than two years of a term to which some other person was elected President shall be elected to the office of the President more than twice.

So:

- President Trump could be elected to a third term because his first 2 terms were non-consecutive

- If President Trump passes away before the midway point of his term, Vice President Vance could serve out the rest of that term and still be re-elected twice after that on his own. As it currently stands the Constitution considers serving 2+ years of Trump's term to count as his first term and he could only be subsequently elected once after that.

- There is no change to the specific word "elected", meaning that it remains a possibility that a person who is no longer eligible to be elected President could nevertheless serve an unlimited number of terms either by being appointed Vice President by the President who then subsequently dies or resigns; or by being elected Speaker of the House and ascending to the Presidency due to simultaneous vacancies in both the VP and President roles.
I love them so much that I’ve noodled with building a programming language optimized for using them.

Things like types that encode what events are legal in a log, first class support for data versions, fast file read and writes, etc
if attraction not biological how one get attracted to another? by being educated that humans generally do? there's nothing ruling out biology in that
In Rust, a library can define "features" that can be conditionally enabled or disabled when depending on it, which give a a built-in way to customize how much of the library is actually included. Tokio is a great example of this; people might be surprised to learn that the total number of direct dependencies that are required by tokio is only two[1]; everything else is optional!

Unfortunately, it doesn't seem like people are super diligent about looking into the default feature set that's used by their dependencies and proactively trimming that down. It doesn't help that the syntax for pulling in extra features is less verbose than removing optional but default ones (which requires both specifying "no-default-features" and then manually adding every one of the default features that you do still want back to the list of ones you pull in), and it _really_ doesn't help that the only way for libraries to expose the ability to prune unneeded features from their own dependencies to the users who inherit them is by manually making their own feature that maps to the features of every single one of their own dependencies. For example, if you're writing a library with five dependencies, and every one of them has one required dependency and four optional ones, giving the users of your library full control over what transitive features they pull in would mean making 20 features in your own library mapping to each of those transitive features, and that's not even counting the ones that you'd want to make for your own code in order to be a good citizen and not force downstream users to include all of your own code.

More and more I'm coming to the opinion that the ergonomics around features being so much worse for trying to cut down on the bloat is actually the catalyst for a lot of the issues around compile times in Rust. It doesn't seem to be super widely discussed when things like this come up though, so maybe it's time that I try to write a blog post or something with my strong feelings on this so at least I'll have something to point to assuming the status quo continues indefinitely.

[1]: https://github.com/tokio-rs/tokio/blob/ee19b0ed7371b069112b9...
Do you seriously think the driver is a major factor in the cost of putting a bus on the road? How much does a bus cost?
People are told to and need to consume and they are told that convenience is the most important thing. We deserve everything and Amazon gives it to us, in less than 24h.

Consumerism is a problem. Both because how it impacts our environment but also because our economies seem to be dependent on it.

And capitalism is what makes Amazon such a powerful behemoth crushing everything in its path.
It is great to see some new C tooling emerge. I will likely make my own C FE public some time but it now uses some toy backend which needs be replaced...
> replacing it with another method that is officially documented to be worse isn't really a solution

Agreed, 150%. My comment had more to do with rejecting files than it did with embracing environ as a suitable alternative.

SQLite is likely the most trouble-free option at the moment.

With that being said, it would be nice to see Android's sys/system_properties.h ported to GNU/Linux proper and, from there, other Unixen.

> I would encourage you to play around with ghidra, just to see what return oriented programming and ARM limits does.

Having worked professionally in reverse engineering at DoD, I can assure you that this is something I'm intimately familiar with.

Files and environ are bad.
I opened the map and immediately saw the (not very big) erect penis in the top right. The curse of having a dirty mind...
Enjoyable discussion. But you did hurt my feelings with your comment about Get Smart.
That is how MLIR works. Basically you have multiple levels of IR, you can optimize each level until you get to the last level.

It also has the advantage of being able to parallelize passes
I've always wondered if it is worth creating a literary map where one can follow the allusions and other type of references in different works. There is something like that for the books of Pratchett, but I don't know whether people would find such a wiki interesting.
In this case, how is consent revoked?
Yeah, I mean using this tech for a fleet of self driving, point-to-point taxis as public transit makes sense to me.

A bus on the usual fixed routes? Not really.