skysight-inc/HackerNews huggingface dataset:
> It's pretty clear you didn't actually read all the way to the end.

It's pretty clear that you aren't actually familiar with the historical philosophical debates from a century ago about the foundations of mathematics.

See, I can return snark for snark.

If a model is a physical system, then a model can't include uncountable sets of numbers that can never actually be described. And yet mathematics in the form of ZF says that the real numbers must include those uncountable sets.

The existence of those real numbers depends on philosophical debates about what "existence" means. Debates which are well out of the realm of the physical.

To get to Banach-Tarski we have to go further. In addition to accepting the existence of uncountable hordes of numbers that cannot be specified in any way, we ALSO have to assume choice - essentially the existence of arbitrary kinds of infinite sets of coin flips. Which is also non-physical.

It is only after accepting both of these decidedly non-physical things as valid mathematically that we're in a position to prove Banach-Tarski. Deciding not to accept one or both leaves a system as consistent as classical mathematics. And denying either non-physical assumption leads to a system of mathematics where Banach-Tarski is false.

To believe Banach-Tarski, we have to accept one of two things. The first is that it is just a formal statement in an axiom manipulation game about something whose existence we're not worried about. That's Formalism. Or we have to accept the reality of the nonphysical existence of mathematics in a realm beyond us. That's Platonism, and it is no coincidence that Platonists like Gödel tend to also believe in God.

But you can't get there from physical systems. Or using any set of ideas modeled by starting with physical systems.
It's popped up a lot more in recent times in this job market. You'll run into it a lot on Linked c. late 2023.
> “It is necessary to bear in mind that we are interested in the works of the realist movement,” [...] Kahlo’s Surrealist style was “alien to the principles of Soviet Realist art,” and therefore “the possibility of displaying such artworks in the Soviet Union is excluded.”

Even with my knowledge of how restrictive life is under communist rule I find it incredible that an artwork that was apolitical and relatively tame would just be wholly prohibited from display. Banning things which are considered subversive the the government or things which are seen as contrary to good morals I could understand happening (though I would never agree with it), but, this seems so more deeply restrictive than I imagined life in the USSR was like.

> Of the 300 or so works produced by Kahlo during her short life, more than half are either missing, confirmed to have been destroyed, or in the hands of private parties that refuse to loan them to exhibitions.

That's sad. I hope that statistic is heavily weighted towards private collections.
WP21
aeon, atlantic, the new yorker. What would you expect from any of those august organs of the press?
I understand your frustration.

The reality is that very few people truly enjoy their work. Only those who are lucky and have a clear understanding of what they want can find a job that brings them happiness and satisfaction, and even then, it’s almost impossible to achieve this state right from the start. Accepting that not enjoying work is normal can be liberating. Instead, choose one key aspect that makes the job worthwhile for you, whether it’s money, experience, skills, or friendships. Focusing on that can make the daily grind more bearable.

Given that you’re working remotely, this situation can be even better balanced. I’m also working remotely, and when I’m feeling down, I simply don’t work, regardless of whether it’s a workday or not. This flexibility can greatly improve your overall well-being.
I’m confused though. JWT isn’t hard to configure. Why not just use it?
How about in the other direction (running public services)?
An Alternative to the MyGeodata Converter
Just over a month ago there was a flashpoint in community tensions, as some expressed their concerns over the project's governance. https://news.ycombinator.com/item?id=40107370

As a quick summary, they were concerned about sponsorship from military tech, about community moderation not doing enough to keep trolls out, and annoyed by Eelco Dolstra.

In response to this, some discussions about project governance were had. It seems like it was quite a disorganised mess. https://chrismcdonough.substack.com/p/report-on-nixos-govern...
Lol. Although, Itanium does have an entertaining history of having caused a lot of positive changes even though it crashed and burned itself - it's where we got UEFI, and apparently a good time for some OSs to pick up ELF.
A new take on web analytics
You’d think some detective would have drawn out a map of incidents in the last ten years and done some… triangulation. I guess they don’t watch much tv.
I saw something similar happening at one of my past jobs. The resumes were not necessarily AI-generated, but contained, in their "previous jobs" sections, a lot of copy-paste from online course descriptions where duties and achievements would go. This was caught because of two resumes with one sentence repeated verbatim.
It’s not actually expensive or difficult for an individual to get an ASN and IPv6 space.

https://lagrange.cloud/products/lir
£15 one-off for an ASN and £7/y for a /48.

Then you just need to find someone to give you a BGP session. https://bgp.services
Physics. A quest is basically last year's mobile phone pushing way more pixels and FPS than on a phone. Because VR is heavy. And needs low latency so some optimisation tricks are out the window.

Even PCVR with my 4090 is still very limited in quality in things like Flight Simulator.

Meta could have gone the Apple route but they price themselves out of a real market. And the external battery is really poor UX. And really it's not super much better (though they compensate a lot with foveated rendering)

This is basically what the tech is right now if you really want standalone.
I think "octets" is at this point historical jargon with little present value. It dates back to the day when some vendors were fighting for non-8-bit bytes. Those systems are long dead, and "byte" means "8 bits". Given that, I don't know of any context in which "octet" is an important distinction rather than an obfuscation.
My favorite function here is more_itertools.one. Especially in something like a unit test, where ValueErrors from unexpected conditions are desirable, we can use it to turn code like

results = list(get_some_stuff(...))
assert len(results) = 1
result = results[0]

into

result = one(get_some_stuff(...))

I guess you could also use tuple-unpacking:

result, = get_some_stuff(...)

But the syntax is awkward to unpack a single item. Doesn't that trailing comma just look implausible? (Also I've worked with type-checkers that will complain when a tuple-unpacking could potentially fail, while one has a clear type signatures Iterable[T] -> T.)
> So when X is a model of Y, then Y is always also a model of X?

Yes.

> That seems like a strange definition of “model”.

Yes, it does, but I can defend it. It's analogous to the definition of "information". If a system X contains information about a system Y then it is always the case that Y also contains the same amount of information about X. The distinction between "model" and "modeled" is purely artificial in the most literal sense: the thing we generally label "model" is the thing we humans made.
My family had to evacuate from Houston a few times from hurricanes in my childhood. Every time involved a shit ton of idiling in high heat. Every time saw tons of cars stranded from no gas, every time saw rural gas stations along the highway close from being out of gas. Every time we barely made it.

Those trips were Houston to San Antonio. A bit under 200mi. It took over 12 hours. Loads of modern EVs would have made that trip in one charge, slowly crawling along the whole way, without an issue. My EV can idle for hours without using much range. My ICE chugs gas sitting there doing nothing but running the AC.
Yes it’s an old britishism - comes from “shots fired in anger” (as opposed to training)
Space. I may have the qualifications, but resumes recommend being 1 page. Having invisible keywords that you know you meet for the bot but the recruiters don't actually care about when reading the resume itself does appear to be optimal.

helps with time too. Tailoring every resume for every job is annoying. Keep your human template and then paste in keywords that match you in the white space.

It's definitely unethical, you can execute this without outright lying.

> what are your chances to be selected when weighed against candidates that actually passed the filter?

higher than being filtered out, I suppose. At least I get to talk to a human, which lets other qualities other than raw YOE shine.
I think this is a good point. It might be because artists typically reject mainstream culture or that they distance themselves from it in order to comment on it.
I do kind of agree with Jensen Huangs statement about this recently where he says don't learn to code but instead learn a domain deeply. Actually I think you should do both. Understanding how to "computationalize" a domain problem is a very valuable skill.
> Despite this uncertainty, innovation within the ELF ecosystem should continue.

> In practice, achieving consensus among major toolchain vendors (GNU and LLVM) may be sufficient, even without formal approval from the generic ABI.

That makes it sound easy. GNU projects seem to be very conservatively maintained. LLVM has around one trillion open pull requests.

I came up with a little mechanism to get the kernel to automatically load into memory data embedded into the program. I used it in my programming language to embed code into the interpreter so that they can be automatically loaded and executed.

https://www.matheusmoreira.com/articles/self-contained-lone-...

Only the maintainer of the relatively new mold linker cared to implement a helpful feature to make this kind of thing possible and easy. I requested the same feature in GNU ld and the idea wasn't exactly received with enthusiasm. I'm not sure LLVM ever received it at all.

And that was just a linker option to add some extra PT_NULL segments for easy and efficient patching. Can't even imagine the effort it would take to actually change something about this ABI.
The article completely ignores single page applications where these JWT can be needed a lot.
Quite a lot of real estate is going to be impacted by shifts in the ability to occupy coastal land, by 2050. This isn't a South Cal. problem. It's a worldwide problem.

There are towns in the UK with words meaning Harbour, Sea, Coast which aren't at the coast because it retreated. Thousands of years ago. There are also archeological finds in the Dogger bank out in the North sea because it was above land, in human time.

Houses have been affected by coastal change since forever. Arguably, some people inland of the coast NOW in South Cal are about to find they own shorefront property and arguably, might win: assuming the remediation costs of dealing with the retreat don't become theirs by default as everyone else leaves.

Longterm insurance rates for coastal property will be very interesting. London has a problem, Amsterdam had a problem and knows how to fix it, Brisbane where I live has a problem which has been written about: "the river with a city problem"
Explained here nicely: https://github.com/DownUnderCTF/Challenges_2022_Public/blob/...
Nobody has mentioned the folly of continuing to build more and more and more in the middle of a dried out desert lake. We keep doing it here too (looking at Phoenix, Vegas, and LA). Every time we get to this point there is hand wringing and finger pointing- and nobody states the obvious. No more people can move to these places. They’re out of water. Conservation and fixing pipes won’t make more. As far as I know , no locale has banned building permits and population growth, it will be interesting when then first place does.

Also would recommend Cadillac Desert on this topic.
It takes 20 years to build up a track record of 20 year reliability.
I'm all for reclaiming 240/4 eventually, if it can be reliably used. But I saw a mention in the article of 0/8 and 127/8, and I hope those never get changed. There are too many systems out there with assumptions about those addresses, and unlike 240/4 where the failure mode is "can't reach the host", for 0/8 and 127/8 the failure mode has security implications.
it's not big enough to run a local LLM
No offense taken.

My tasks aren't usually bottlenecked by the df creation operation. To me, the convenience offered by dfs outstrips the compute hit. However, if this is an order of magnitude difference , then it would push me to adopt the more-itertools formulation.
The recognized united mexican states is not an enemy in this case, the recognized state does not actually control large swaths of its claimed territory or even some of its own armed forces. What happens in mexico at the state and local level is mostly up to the highest bidder, and that’s what the intervention would be about. Even the federal government doesn’t even control part of its own armed forces, they are just paid off and too many people are too well protected.

It would be like if California Highway Patrol was in the drug business, and they used their legitimate power to create a system to ensure they could legally do this all in the open because the guy in charge of keeping them in check is getting a cut of whatever they sell, all while sabotaging efforts to do anything about what’s going on. Even if someone did finally get enough evidence, there’s enough paid off government employees that it will just get lost. If all else fails and government officials start acting to remove you, well, there’s a reason being a mexican politician is so deadly…

It would not be USA vs Mexico, it would be USA and part of the mexican military under Mexican control vs Fuerza Tamaulipas mixed in with cartel foot soldiers and “”””civilians””””.

The cartels would make sure to frame it as Mexico vs USA (calling the mexican government collaborators in the pocket of big bad usa of course), so they could replenish their foot soldiers fighting the “anti imperialist revolution” (straight from the terrorist playbook, because they are terrorists holding the entire population as blackmail).
Ironic that the “about the author” section at the bottom names Monty Python as the origin of BDFL, a claim which is contradicted by the article.
DBus and Systemd
After programming in php for 10+ years, I had never heard of the filter syntax.

Given it’s pretty trivial to implement what filter is doing in procedural code, it doesn’t seem like the syntax sugar is worth it.

Any idea of the motivation for supporting building conversion chains this way and why the complexity in the base langue was deemed worth it?
How are fixed mortgages related to exchange rate forecasts?
> You don't think that a model is something abstract?

They certainly can be, but they don't have to be. An orrery, for example, is not abstract.

> whether or not something is a model depends in some way on human minds

Well, yeah, but what exactly is that "some way"? That is exactly the complication I was trying to avoid.

Maybe the word "model" is too loaded and I need to pick a different word. I'm open to suggestions.
Why replace the meter? Are you just suggesting that doing that would be easier than running a new high amp circuit from the circuit breaker?
The interview goes both ways.

The few times I've ignored red flags from a company in an interview I've been in a world of pain afterwards.
Have kids or do a startup.
Eagerly awaiting the day someone can figure out a tantivy extension to SQLite. That would be the best of all worlds…
I don't understand what you mean. Nothing prevents people from moving to Madison. And let's not have any spurious claims that there are no good jobs in Madison: the unemployment rate is significantly lower in WI than in NY.
I've heard that Zed's vim mode is very good, although I'm not a vim user so I can't confirm.

https://zed.dev
Recommending kubernetes immediately is an insta-rejection for me, if I was an interviewer
I can certainly understand that perspective. But from today's perspective, it seems like IPv6 adoption was slowed by ideological arguments like "people should use SLAAC, not DHCP". By all means introduce a new means of obtaining addresses, but let it live or (preferably) die on its own merits, rather than attaching it and a dozen other albatrosses around IPv6's neck. If IPv6 had started from day one by saying "just add an IPv6 block to your DHCP server and let any client that understands IPv6 get an IPv6 address", that would have been an easier sell.
Ask HN: New here – Why can only I see my submitted posts?
Hi HN,

I’m relatively new here and recently submitted several posts, but I noticed that only I can see them. They don’t appear to be visible to other users, and I’m not sure why. I’m hoping to get some guidance from the community on what might be going wrong.

Here are some details:

• The posts appear in my account’s submission history.
• When logged in, I can see my posts, but they are not visible in the “new” section from other accounts.
• I believe my posts adhere to the community guidelines.

I would really appreciate any insights or advice from more experienced members. Thank you for your help!
Yeah, I also assume that any sane CDN of this size has enough IPs that they can reserve a /16 or so for their "risky" customers (each deployment needs a /24, usually, so /16 gets you 255 regional sites). If Fastly has no problems or can otherwise quarantine you, there's no good reason for the BYOIP demand.
Only Grok would be so sarcastic to recommend onion instead of bee
Not entirely sure what you're getting at here -- what do those other two publications have to do with this essay?
Any given person, for sure. In aggregate though I bet you'd find correlations.
That has to do with causality, which is a complicated topic that I was trying very hard to avoid at this point in the exposition. But maybe that was a mistake.
I miss Oink’s PP and what.cd
You can also do

[result] = get_some_stuff(...)
I think wasm would work pretty well given that sandboxing is essential for browser security. However, the hard part is having a functional permissions system that isn’t so strict that actually malicious plugins can slip through due to every plugin needing a ton of permissions for basic functionality.
Wow. Only 772GB. Way under 1TB. Liar!!
OP is entitled to make political choices when selecting software.

Some of us have specific principles of which things like opt-out telemetry might run afoul.

OP will choose their software, I choose mine and you choose yours; none of us need to call each other petty or otherwise cast such negative judgement; a free market is a free market.
> by just adding a Skills section on your resume.

you may have more skills than what fits on a single page. And I really don't feel like swapping in and out 30 skill for the top 5-8 every time.
Homeowners fined millions after buying properties used to grow illegal weed
It’s not hard. I’ve done it in neovim and vscode. Evoking Gosling as if his opinion matters more when he isn’t involved in Java made my comment relevant.
Call me paranoid, but I have a habit to use a Faraday Bag. Saving a lot of battery and knowing when and where to activate. Welcome to the future. :)
My guess is that most men wouldn't fit the criteria laid out in the article. You probably don't have to check all the boxes to be successful and happy.
Volunteers Wanted to Man Beverley's CCTV System (2017)
I keep reading criticism of JWTs that involves impersonation or replay attacks. With JWT (or non JWT bearer tokens) you use a refresh token. It seems to me that if an attacker gets a JWT they also have the refresh token. So how are JWTs inherently more insecure than other authentication methods? Almost all data passed over the wire nowadays is TLS encrypted.

In my projects, we have used encrypted JWTs and it seems to me a fine solution. Log out can be implemented in a user facing client by deleting the JWT and refresh token. Given a short enough expiration time, this is sufficient for most use cases involving user facing applications. Isn’t it? Generally, at least in the domains of the applications I’ve worked on, users only intend to log out of their current application when logging out. Meaning if they are signed in on their phone and on their desktop browser, when they sign out in the browser they don’t intend to also log out of their phone application.

The only downside I see is that if you want to log out of all sessions it is impossible to implement without maintaining session state in the server.
The author appears to be in Europe so that's 240V @ 2.5A, or 600W of power.

Even legit fuses can vary quite unpredictably: https://www.youtube.com/watch?v=WG11rVcMOnY
Ask HN: Ensuring Unseen Posts in Feed
I have posts and users. I want to show posts to each user. But I do not want to show the user posts that the user has already seen.

What is the best approach to solving this problem?

I can make a table that records all the posts that each user has ever seen, then filter out seen posts after a list of recommendations are created. But this seems like a solution that will become more and more costly over time as more people see more posts, and we will need to check it every single time we recommend posts.

This feels like a standard problem that must have been answered by others over the past decades. Perhaps there is a framework that I am not aware of that takes an opinionated approach for this problem as well as other problems in the content recommendation space. But then again, I see seen contents all the time on YouTube, so maybe this is not a solvable problem with current computing capacity.

Please share your experiences and insights!
This is just as bad of a concept as it was the last time it was posted to HN and got almost no upvotes.

The Apple Watch just doesn’t work as a standalone device thanks to Apple’s completely unreasonable API limitations. Fun fact: exactly zero of Apple’s built in apps could be built using publicly available WatchOS APIs.
How do i measure the temperature of a fuse?
Calling Time on DNSSEC?
From the context it seems to mean Joint Venture?
Pay phones are not prevalent in the USA, but they do exist.
https://www.payphone-project.com/numbers/usa/

Some countries actually support pay phones. They're amazingly useful during disasters when mobile networks may not be functioning.

Example: Japan, but they're contemplating reduction. "city areas are required to have a public pay phone installed every 500 square meters, with non-city areas every kilometer. "
https://japantoday.com/category/features/lifestyle/the-end-o...

If your local region doesn't have a lot of pay phones perhaps it is time to consult the local government. Change can start at the bottom.
I remember when Google first started getting popular and how much of a leap it was compared to what was the mainstream at the time. Almost overnight the old 'search engines' felt deprecated.

I'm getting the same feeling again. I don't think we've seen "the next Google", just yet. But the foundations for one are in place.

The Innovator's Dilemma at work.
> Masculinity (adj.)

Any behavior that attempts to reduce entropy and/or break homeostasis by direct force (1st degree or order of action) Contrast with femininity, any behavior that attempts to reduce entropy and/or break homeostasis by indirect (2 degrees or orders of action) action.

Well… that’s definitely not something I’ve heard before.
You don’t go take a management job out of college
Why is that? Out of curiosity