skysight-inc/HackerNews huggingface dataset:
> You're right, I misstated this - but I don't think this is fatal.

It is crucial at this types of results, when you search for a proof.

There are a lot of things true, better make a table of it, instead of a wall of text:

- If you observe the machine halting, ZFC is inconsistent.
- If the machine hasn't halted yet, you don't know if ZFC is consistent or not.

- If ZFC is inconsistent, the machine will eventually halt. (You have an upper bound for this, given a contradiction.)
- If ZFC is consistent, then the machine won't halt ever.

Also it is consistent with ZFC that this machine halts, since it is consistent with ZFC that ZFC has a contradiction. This means that if ZFC happens to be consistent, and you work in ZFC+contradiction, then you will know that your machine will eventually halt, yet it won't halt ever.
> Lmao hell yeah dude I fill up in the hood it’s way cheaper than filling up in Palo Alto.

So... East Palo Alto?

Gas got to $7/gl in LA recently (again) and I was wondering if there was any difference; when i lived in Sunnyvale I had the misfortune of driving a V8 and while I never ventured too far I always wondered if I went to Los Gatos or E. Palo Alto if it was cheaper.

I wised up and just got both a Costco and Sam's club membership so I just bought it that way and saved money that way.

As for doing this in order to comabt climate change... please, if they reversed the policy on solar then I'd take them serious; this seems like yet another attempt for incumbents to benefit.
Sure, but even today more people live in houses from the 80s than in house from 2020, so comparing the average house price in 2023 with the house standard from 2020 doesn't really make sense, because the average house is much older than this.
Ask HN: Offline Markdown editor with Git client?
I've been trying to find a good offline Markdown editor with the following features:

Must have:

* Instant preview, either inline or side-by-side.
* Git client, allowing saving directly to a remote repo
* Self-standing, i.e. not a plug-in for an editor or IDE.

Nice to have:

* Cross platform, ideally for all thre OSs; MacOS is minimum.

Any recommendations?
> portability, transfer, export

It's a good thing that these are not possible. I want private keys to be non-exportable. This is why HSMs and Yubikeys are so secure, because there is no API to access the private key itself. It prevents hackers from leveraging other exploits to extract private keys.

The only "transfer" process I want is one where I can use the passkey on one hardware device to authorize in real-time the login on a new device, so that I can then set up a separate passkey on that device. This is fundamentally an application concern and not part of the WebAuthn standard, because there needs to be something to push to the device with the pre-existing passkey to ask for authorization.
I'm speaking to the last several hundred years including colonial times, early 1800s, post Civil War, early and late 20th century and the present. The number one economy in the world for over a century and counting.

Even in recent times, the U.S. has out-paced the EU. The U.S. economy is now 50 percent larger than the EU. There was a lot of talk of China surpassing the U.S. as recent as 8 years ago, however, the U.S. has pulled out ahead as China's growth has stalled. And the USSR no longer exists, but to the extent that you can equate it to Russia, well the Russian GDP is smaller than some individual U.S. states.

[1] https://archive.ph/zygD4
[2] https://www.straitstimes.com/world/united-states/as-china-s-...
Or the city just says taxes are $x per square foot of land. Desired tax revenue / total parcel area.
Thats factually incorrect. The uk has the third largest number of speed cameras in europe, below only russia and italy. It’s quite annoying having cameras everywhere frankly.
Maybe, but it would take some real effort. This naive attempt of mine is an obvious non starter (it's ChatGPT 3.5). Transcript with some minimal editing to fit it into HN:

User: Would you be able to develop an artificial language easy to learn and use for speakers of English and romance languages? Extremely simple grammar.

ChatGPT: Sure, I'd focus on minimal grammar, consistent rules, and common vocabulary. It's doable.

User: Good. Give a name to that language

ChatGPT: How about "LinguaEase"?

User: OK. Give me some examples starting with translations of the sentences in this chat so far.

ChatGPT "LinguaEase Exempla:

> 'Sure, I'd focus on minimal grammar, consistent rules, and common vocabulary.' becomes 'Yep, keep grammar simple, rules steady, vocab shared.'

> 'How about "LinguaEase"?' becomes 'What about "LinguaEase"?'

> 'OK. Give me some examples starting with translations of the sentences in this chat so far.' becomes 'Alright, show me samples, begin with translations of this chat's sentences.'"

I went with English and romance languages because they are the languages I know. It looks all English to me.

I would probably have had to be more specific. For example: only present tense. No plural. No gender. Only one set of pronouns. Aim to sentences like Beer two me drink yesterday. Beer ten me buy tomorrow. Then work on vocabulary.
Sorry I did not read your 6 links… (3 out of 6 are already grey though, which means I already got there before)

> Other ways of arranging the computation & I/O, like the thread-per-core model of glommio and io_uring, fundamentally change the API. There's even a second implementation of Tokio with an API different from the first one!

It's an incompatible API in the sense that you need to update your code, but it doesn't require deep re-architecture work or anything (going from thread-per-core like glomio to tokio would be harder for instance, because then you'd need your futures to be Send).
Yes, I think that is the main, but inevitable, shortcoming of the Culture novels. The Minds are not too powerful or "too good" (I still cannot get over entities, which are not humans, being described as "too good"... :) ). But they just appear as clever humans in the novels, by necessity.
You can actually use the SOLID heuristics that people use to evaluate code quality to also look at organizational quality and the quality of decision making in organizations.

Larger amounts of managers means more levels of indirection and more opportunity for miscommunication, conflicts of interest, and other negative patterns. The way to fix a broken software organization is similar to how you would refactor a faulty code base. You start by looking at the most complicated bits and refactor those to be simpler and easier to understand. You might also profile things a bit: where are things getting stuck in the organization. And so on.

Either way, the fixes tend to be similar as well: remove unnecessary levels of indirection (layers of management). Look for places with lots of dependencies. Look for ways to increase cohesiveness and reduce coupling. Etc. How do you improve cohesiveness and reduce coupling? Break teams up. Have less managers. Reduce their interfaces to each other. Shorten the lines of communication. If you know your SOLID principles, that should sound familiar.

Large organizations do the same as bloated code bases: when in doubt, they add people (more code) to fix issues. So, you get a lot of functional duplication because this part of the organization is just in the wrong part of the org tree to be off use to that part. So, they hire their own people to do the same. And some more managers to manage those, which then fractally make things worse. And you get this culture of fracturing responsibilities across large amounts of teams and those teams having to work around each other.

That's how Google ended up with a few dozen different chat clients. Instead of just one good one. They are still figuring that one out.
Interesting. I wonder if an even more effective approach to unobfuscation would be an "anti-jit" compiler; since what we're interested in is the actual execution flow, can we leverage all the browser's optimization engine to pull that out for us?

Do the various JIT engines use an intermediate representation (IR) and what does it look like?
Deepfake Porn Is Out of Control
There's something to be said for Herzog's intuition that his words may outlast his films.

If you haven't read it yet, read A Guide For the Perplexed, which is basically him talking about stuff (mostly films) in his own words. But the films become catalysts for his random musings, he can't help but dish out great throwaway lines about the wonders and meaning of existence no matter what he talks about.

It's one of my favorite books on this side of the century.

[0] https://archive.org/details/wernerherzogguid0000herz
> It’s quite annoying having cameras everywhere frankly.

Why?
>The vast majority of noise complaints shouldn't require deadly force or any weapon at all. It's exactly the kind of work that police shouldn't even be involved in.

The problem is many Americans will become violent when told by someone they're being too loud. I had a neighbor in college threaten to shoot me once because I complained about their noise. Police can't be expected to run to their car when some nutcase pulls a gun on them. In other countries this might be ok, but in the land of extremist individualism where there's far more guns than people, it's a bad idea.
Many of us work for "bad" companies

With tens of billions in the bank, who will be dancing on the graves of highly effective startups

Which is why people still work for "bad" companies
It quotes people's opionions and experiences from both sides so it's impartial. Some of the quotes are actually pretty funny, particularly "proper tailback". There's certainly no ranting and no one critising cycling or minorities. Are you sure you're not projecting your general opinions of the BBC onto this piece?
Once in a while I have to travel to one of the other districts of the city I live in, and I'm reminded that I happen to live in the district which once had tram lines, and you can really tell. My friend moved his young family further out, rationalising that young kids need more outdoor space (their new house is physically smaller, but in an area with woodland) and he didn't like his old neighbourhood (students, drug addicts), but every time I visit the first thing I have to do is risk my life, crossing a busy road with no pedestrian crossings, because everybody there (including them) drives everywhere.

For a while the nice people I buy pizza from owned a restaurant (they began, and now continue, as a food truck, wood burning oven inside a converted vehicle) and it too was in a district that was converted to car-focused urban living in the 1970s or so. That time I at least discovered an intersection with a crossing, albeit low priority (ie arrive, press button, wait 2-3 minutes to cross) and their restaurant faced the river so that's quiet.

I tend to think of the whole city as being like where I live -- rat runs diverted to a few arteries, heavy use of mandatory (Zebra or sometimes Puffin) crossings with moderate urgency for pedestrians or where I work (the city refused permission to close the road through our university, but authorised speed bumps and four very high urgency Puffins, so in effect it's faster to drive around it even though the road exists straight through it) -- but that's actually not true which is sad. I know where our existing MP lives, it's near me, I wonder where the next one (well, the candidate from the same party who will stand next time) lives ?
In New Zealand the government has been working to drop many urban speed limits to 30kmh or 40kmh. Luckily a new government has just been elected who will reverse many of these reductions.
Less monetisation.

The web was just fine when it didn't directly make anybody any money.
It does kill mold pretty effectively at larger concentrations, but if you have a lot and thick layers of mold, some small amount can survive and starts regrowing back in days if you still have wet conditions (and uses that thick film of dead mold as fertilizer). Using ozone is common to de-mold car air conditioners, but if you have too much, you also need mechanical scrubbing to have lasting effect. Best way - dry, then remove mechanically as much as you can and then ozonate.
London, that famously Welsh city?
It's not all that different from the countless hours countless infinite people have spend on infinite projects that never meant much to anyone else. Like hacking on bicycles or model trains or something.

It's just that an app can be published, documented, and archived easily like this while "all that time I spent cutting and welding weird bike parts" can't, unless you do it all on youtube, which a lot of people do, and that does serve some purpose but does also kind of miss the point a bit trying to turn a passtime and personal persuit into some kind of product with a goal other than itself.

Anyway, I don't mean to suggest there is anything wrong with a post like this. You don't sound like you're complaining or upset, just what you said at the top "I just want to document this somewhere somehow". Most of my own github is just the same.
If you don't account for leg length, or lack of thereof which affect large people more than seat width, any not morbidly obese adult fit in an Airline seat. You may have a distorted view of what consist an healthy adult. And no people spending a lot of time lifting weight to grow muscles more than the typical crossfit athlete would are not healthy. They lose so much flexibility they can't do many simple thing, let alone scratch their back.

The fact is there are many non healthy adults and the question is what do we do about them. Is flying a fundamental right? Should people with over the top obesity have to pay more to use 2 seats? Should large people have to pay extra or business class tickets to get a decent leg length?
I find it amusing how they did not interview one single person who thought he or she might just choose a different way of transportation, instead of driving a car, unless absolutely necessary.

I used to commute in the north between two mid-sized cities, and any time I checked taking the car instead of the combined bike+rail travel would not have been faster, only much more inconvenient and more expensive (parking costs a lot, and not always easy to find...).

Today we have e-bikes and scooters, so hilly terrain is not a problem anymore. What I do think IS a problem is driving is still way too cheap in the UK, compared to other transportation methods.
The numbers in Table 1 of this paper are mostly worse than I remembered, but I would also note that humans would fail the "can they reason?" standard I quoted, given the grades the species gets on several of the tests:

https://arxiv.org/pdf/2304.03439.pdf

Table 2 likewise shows significant weaknesses in GPT-4, worse than I remember, except on MED which was better than I remember it being capable of.

> even if you define "logic" as "logical puzzles encoded in natural language" and not "the thing that allows an LLM to reason highly efficiently about what token comes next".

I think this is a reasonable thing to say of LLMs specifically[0], given I think most people would agree with the sentence "humans are bad at quantum mechanics" even though that's what our cell chemistry is implemented on.

[0] Though not AI in general! One of my recently-developed bug-bears is the conflation of the limits of LLMs with AI even in technical circles. Human brains aren't just a language cortex, there's no reason to look at an isolated language model and assume an AI can't be wired into other things, yet this assumption is baked into quite a lot of talking points even on HN.
I suspect they mean the number of CCTV cameras in the UK rather than road safety cameras specifically. If you are concerned about the erosion of privacy in public spaces then that would be a valid point.
They are 100% failed developers IMHO

Just like home inspectors...failed contractors
>Most G20 countries have front line first responding police that can handle most calls without resorting to military gear, and call on specialised SWAT teams for ecounters that escalate.

Yes, but most G20 countries also don't have a population armed to the teeth with military-grade weaponry, and who believe in insane conspiracy theories about Bill Gates microchips in vaccines and Jewish space lasers.

The US is unique, however, in that the police receive generally much less training than in other G20 countries.
Central government has said they want to be pro "the motorist" and constantly threaten the BBC / put GB News types in charge and now we get articles like this.

This is worse than the both sidesism of before, this is like reading an article from any of the right wing press.
> Pentel Energel 0.7mm is the best gel pen in the entire world

I love definitive reviews like this.
Every car sold at the moment lowers the speed shown on the speedometer algorithmically. Therefore I can believe that although 20mph=32kph and I have problems reaching 32kph constantly on a gravel bike - when cars go 20mph they will go probably around 27kph which is the speed I can maintain on my bicycle.

For something different - cars going at slow speeds emit more fumes and consume more fuel.
One of the few surviving industries we've got.
There’s always a lot of weird emergent behavior in bootstrapping an app, and on an app of any serious size, I can’t entirely control if someone decides to spool up a thread pool on startup so that everything is hot before listen() happens.

I may think I have control, I may believe that a handful of us are entitled to have that say, but all it takes is someone adding a cross dependency that forces an existing piece of code to jump from 20th position in the load order to 6th and all hell can break loose. Or just as often, set a ticking time bomb that nobody notices until there’s a scaling or peak traffic event or someone adds one more small mistake to the code and foomp! up it goes.
The land is nearly free now. You can't build things in Detroit and make a profit, construction costs outweigh sale price or possible rents.
You need to enable the DASH format in the settings if it isn't already, I think.
Though it's a tailback of people who plan to exceed 20mph, otherwise how is it a tailback?
> Since it's theoretical, it's very subjective.

When you get a mortgage, it's based on a theoretical value of the property as determined by an assessment.

The bank will lend you up to, for example, 90% of the assessed value. Thats how you get a morthgage on a property that maybe you already own for 20 years.
Dashboards – ODroid N2L, KDE Plasma and Wayland
If only speed limits were designed so that breaking them always equates "reckless driving", and not sometimes (often, here) "driving at a completely normal speed considering the surrounding environment".

inb4 pitchfork raising amongst the anti-car rabble
This is super impressive! Would love to be considered for your future rounds. Our firm has the supply chain resources that companies like DJI are leveraging in Shenzhen, China. Shoot me an email at tianyi.cheng@shixiangcap.com
It is funny to me that you are going for BB(748) in this context when you could go for the much, much, ... lower number BB(745), as outlined in [0].

[0]: https://www.ingo-blechschmidt.eu/assets/bachelor-thesis-unde...
I spent ten years on a software project, and 6 months after finishing it still hasn't made a single penny :(

10 years.

I learned valuable lessons (like knowing when to stop!), but they were long, loooong lessons.

I still haven't really let myself think about it too much...
Yes, benefits and healthcare are important. Did I mention that these tax rates and margins I listed also cover full healthcare costs (state-provided health insurance)?

Anyway. My point was to show that costs can vary wildly across countries, and I was surprised to see how low the net margin can end up in the US.
Nitpick but it was Paul Buchheit who came up with “Don’t be evil”.
Have you got any links to how they continue the threads after the gc has run? I was looking for something similar but couldn't find much.
Interestingly it's using the LUMI supercomputer to do this:
HPE Cray EX supercomputer, 2560 nodes comprised of a 64 core AMD Trento CPU and four AMD MI250X GPUs (128 GB). With a combined Linpack performance of 375 Pflop/s

https://www.lumi-supercomputer.eu/lumis-full-system-architec...

https://en.wikipedia.org/wiki/LUMI
As a foreigner, I love British English. It's like a puzzle to me every time. Words that I have used many times, but in different meanings.
As a cyclist (and a driver) in a city in England; this can't come to the rest of the UK fast enough. I see it as a failure of public policy, and a necessary result.

Our streets are not designed for safe cycling and our public transport infrastructure is poor, at best. So the only way we can improve safety for cyclists and pedestrians is to reduce speed limits for cars across the board.

The political will to improve road/pavement safety for pedestrians and cyclists is not there (there's a war on motorists, apparently?) so while cyclists have to (by law) use public roads then we have to reduce car speed limits to make it safe.

Most modern cars have cruise control that work at 20mph, so the argument that it's difficult to stick to 20mph is lazy and incorrect. Studies out of Wales say that it adds approximately 30 seconds per journey and one of the quotes in this article _quoted a woman who does not drive!_
Moreover, censorship does not cross languages. Its very hard to make a multi-lingual censor system.

Being fluent in two major language systems, its very, very glaringly obvious, what are the taboos, politically correct untruths in both languages, that seem completely invisible to the monolingual speakers.
Bill Gates had a good two cents on the madness of this approach. But alas, given CA's history, it will fall on deaf ears.

https://www.youtube.com/watch?v=9xe3BWPsBTU
Mass extermination never occurred in the United States, what are you even talking about?

Forced labor, in the 1930s through 1960s? No. Just no.

Half of the early U.S. had slavery up til 1865 when a brutal Civil War that cost 600K plus people their lives settled the question. That was all the way back in the 1800s when Russia was still a medieval serfdom indistinguishable from a slave based economy (https://en.wikipedia.org/wiki/Serfdom_in_Russia), which it had conducted for over 700 years.
But every road has a speed limit. Does changing the limit change the enforcement effort?
Networked games can do client side prediction and make basic interactions such as panning camera and selecting menu feel interactive and nice, even under severe lag.

For cloud games by definition you can't do that, as soon as you try to do client side prediction might as well you run the whole game client side.

Does this matter? Depends on the game and the player
You aren't answering the parents question.

You're talking about value to the consumer, the parent is talking about expense to manufacture.

I'm still not sure what the gp is referring to. They could be making a moral argument as far as I can work out.