skysight-inc/HackerNews huggingface dataset:
Orthodox Set theory is a "standard library" for classical logic.

It just so happens that the people who like one tend to like the other, and so explorations of the semantics of classical logic (mostly, model theory) use Set theory.

The Tarski-style algebrization of logic which is "logics as orders" stuff from this article is an alternative to that one can do without category theory. Heyting algebra vs boolean algebra is sufficient to distinguish classical and intuitionistic logic.

Category theory is this not necessary for intuitionism, but is nicer, because the point is to compute things. Otherwise we just speak abstractly of what can be computed, which is like a pessimist compromise between realism and idealism.

So

Logic : order :: type theory : category

Roughly, and the right side makes intuitionism a lot more exciting and applicable.
Yep, this site is a hive for reactionary misogynistic, racist manbabies. Really pathetic actually but fully supported by the mods and baked into every YC company I've ever seen.
I see this is a WIP without support for the Scheme numerical tower, tail calls, continuations, etc. If you're looking for such features, Gambit Scheme can compile to JS with those features working and comes at ~600kb gzipped (for the _whole_ system). You can see it in action at https://try.gambitscheme.org but I don't know if it's the latest version.
Don't control police use of tech. Control the police themselves. Treat the current "warrior" approach to police training like the cancer it is and root it out. Weed out cops who treat Judge Dredd like an instruction manual instead of a satire. Punish corruption and abuses of power with such ferocity that even Vlad the Impaler would think we're going too far.
Three further factors can be important for the success of a programming language:

1. Funding or sponsorship for the language

Would Rust or Go have enjoyed their popularity without the support of Mozilla and Go? One of the reasons developers are drawn to those languages is their association with Mozilla and Go. (Although Rust is independent of Mozilla, its long association with Mozilla is what initially drew developer interest.)

Without a generous benefactor, open source languages have to scrape funding together piecemeal from different sources - just look at Nim and Crystal as examples.

2. A "Batteries included" standard library

Or at least a sufficiently rich library that lets developers create a wide range of applications. This is tied to point 1 above: developers are needed to help fill out the standard library - feasible with funding, slower to achieve without.

3. Documentation and tutorials

Developers underestimate how important this for people new to the language. While some developers will patiently work through a problem with incomplete documentation or guides, many more will simply not explore the language any further.

Once again, it comes down to funding. Rust and Go have had (or still have) dedicated staff writing documentation for the language. This is a luxury that other languages like Nim or Crystal cannot fund or afford.

A programming language can still survive without meeting any of the factors above. But can it thrive or gain traction?
Of course they don’t read it, they use an AI summarizer to pull out high scoring pieces of text then repackage it up to make an article out of it that gets fed to an end user for ad clicks.
It's still playing out as we head into winter, and is already being called a crisis. I've based my life around having everything within cycling distance, so should be ok as long as the roads don't get icy!
For me it's boring old SICP. It's just that good.
I've got a PowerWall and the Tesla app (which shows up-to-the-second readouts of your home's production & consumption), and it was shocking how little energy refrigerators and freezers use. Apparently it's because they're extremely well insulated; the compressor only needs to go on to adjust to changes in temperature, and if you don't open the door the temperature won't change much.

There were a bunch of other surprises as well. The baseline load of my house is only about 200W (which seemed shockingly low to me, since I was raised in the era of 100W light bulbs), and it includes every laptop, tablet, phone, and battery charger that's plugged in; refrigerator and chest freezer; TVs and home entertainment on standby; nightlights and other small lamps we leave on; clocks & alarms; and everything else that's running continuously. Our gas heating system, however, uses 500W when on; apparently the blower is electric, and twice as much of a current draw as the rest of the baseline load. During the winter this is our biggest electricity expense, despite being "gas".
Dishwashers and washing machines are basically rounding error. Household appliances like vacuum cleaners are also surprisingly low-current. Anything with a heating element is a huge draw though (1-2kW), and that includes clothes dryers, electric thermos, Instapot, microwave, oven, and toaster oven. I can tell when my wife is preparing lunch by looking at the Tesla app.

If there's one thing you can do to save energy, it's probably to dry your clothes on a rack outside rather than the clothes dryer. We've got young kids so we do a lot of laundry, but in summertime probably 2/3 of our total energy usage goes to the clothes dryer, and in winter it's split between that and the gas heating.
Isn’t it that there is a 30% minimum quota?

My random googling out of interest took me here:
https://www.unwomen.org/en/news/stories/2018/8/feature-rwand...
For practical purposes this is not correct though. It would be trivial for the person whose turn it is to make _any_ legal move to shift the current turn over to their now-deceased opponent and as such win the game.
It’s a setting. You can have a just a warning or a corrective maneuver applied.
But it's not just some guy. It's not like a post on Shitter, you know?

It's a guy people still talking about what he said 2000 years later! That makes a little difference…
I wish dang or someone could fix the headline as this thread is already descending into flamebait because of the misleading title.
First who needs autonomous vehicles right now who needs this? Actually who needs cars? https://www.theatlantic.com/magazine/archive/2020/01/wheres-...
> And he copied the entire source code earlier and didn't mind hiding who wrote that?

I agree with you here, but aren't we talking about something else?

> But now suddenly a tiny fix

It's an impactful fix. Now colorette can claim that there's no performance difference between colorette and nanocolors.

If this fix wasn't there, colorette would be objectively slower than nanocolors.

If I am the user, I will choose the one that is faster, so this is an important improvement.

> is worthy of demanding attribution for?

Yes. Are you against both attributing each other accurately?

Nanocolors currently attributes colorette for the whole fork (albeit after being called out).

Colorette still refuses to attribute nanocolors specifically for this important performance improvement, even after being called out.

> That's really not the moment to go nitpicking the other guy.

Why not? The current topic is about improper attribution.

It's fair to look at improper attribution on both sides, not just one side.
> but the language only got null-checking a few months ago

Are we talking about the same language?
Airbnb doesn’t do anything. Same if your place isn’t as advertised or has an issue, Airbnb will happily check you out that night and refund you; good luck finding an alternative accommodation at the very last minute. You’d be lucky if you only end up paying double or triple the rate you thought you’d be paying by booking the Airbnb in the first place.
The warnings against the CIA came as early as the Doolittle report [0] during the Eisenhower administration (see Tim Weiner's Legacy of Ashes), and Peter Kornbluh's Bay of Pigs Declassified documents the intention of Kennedy's state department to rename the CIA and strip it of its covert action capacity in the aftermath of the disastrous Bay of Pigs operation.

But really, you could go as far back as Nietzsche if you wanted to ignore another perfectly apt warning:

Whoever fights monsters should see to it that in the process he does not become a monster. And when you gaze long into the abyss, the abyss also gazes back into you.

[0] https://en.wikipedia.org/wiki/Doolittle_Report,_1954
> Communists (atheists)

Those aren't the same thing, even if the demographics somewhat overlap.

In any case, I'm no fan of authoritarian socialism either, because yes, they did some really horrible shit in the name of their ideology.

But most atheists aren't communists/authoritarian socialists.
Traffic Exchange Service
Get a lot of visits on your website for free and in a very easy way

Start
https://digiter.online
Do you know for a fact that taxing fuels will reduce emissions?

Afaict, it’ll just increase the COL even further for those not privileged enough to live close to public transit lines.
I propose the alternative that death is instant disqualification regardless of game state, which incentivises murder as a strategy and adds an additional psychological tax but also a necessity to resolve disputes in a way that really makes the Han/Greedo distinction an important one and would make for a fun "spaghetti western involving but not necessarily for intellectuals" flick.

(EDIT: I hope the jest is clear. Murder is bad.)
I've updated the gem's readme with a mea culpa: In production, I only see a 17% reduction in allocations (1,100).
The less specific the law, the more the courts must define the details. The details don't magically disappear just because the legislature doesn't define them. If what you're saying really generated fewer cases, we wouldn't be fighting over what the constitution says 250 years later.

If it helps you, think of the principle as a "clean environment" and each law as a detail to carry it out.
On my drawing board I've conceived an LED matrix sign to go in the back window of my car.

That could do a good job of turn signals, warnings for tailgaters, etc. I think putting up a message like "I support my local police department" might lead me to getting stopped.

One trouble I see is that the view out the back would be partially obscured, Probably the light strips would spaced such that 50% or so of light could get through, but if the strips were lit up either by themselves or something else contrast would be impaired. It would probably be OK with a rear-view camera but I wouldn't want to argue about that with the cops.

So for now I'll stick with a single LED strip mounted on the side that can replace my car's image with a McLaren F1 if somebody looks at it at just the right time in the right way.
Never accept an invitation to play chess in the Idaho section of Yellowstone.
Tell that to Death.
Talking about bullshit visualizations I think this should top the chart:

https://cms.qz.com/wp-content/uploads/2018/09/Modi_Chart.jpg...

https://qz.com/india/1388030/indias-bjp-peddled-a-prime-exam...
You say "thousand", but I count 41. If I pay you, exactly how many resources will I see?
I think I remember last time there was a fuel shortage in the UK and people were panic buying there were several stories of people dying from fumes or house fires started after people did stupid things like storing petrol in saucepans in their kitchen.
At >90% effectiveness I have no issue at all being in a group of positive-testing people. Herd immunity isn’t a problem for me and others. It’s a problem for those who are not vaccinated. If they were smart they’d get vaccinated and we could put this behind us. The only reason I have to put on a mask when going to the store or flying is because of those who are not vaccinated.

What about mutations?

Sure. Evolution is a heartless beast. It does not care. It just happens. What a lesson for evolution deniers this pandemic has been!

There is no such thing as a life with a 100% safety guarantee. Just a couple of weeks ago two kids from our local high school got killed due to racing cars on the street. Nobody can predict or guarantee outcomes in life. You take reasonable precautions, not racing on the street and getting vaccinated are two such precautions. Everything else is up to cosmic randomness, Jean Luke Piccard or the Flying Spaghetti Monster, take your pick.
And so begun the feign death meta...
With this, the idea that Epstein was suicided is not so far fetched.
> and all autopilot does is go in a straight line

This isn't true, and there's any number of YouTube videos demonstrating that. At the very least, it knows how to navigate highway interchanges, how to change lanes, how to avoid other cars that would otherwise collide with it, and to avoid/slow down for pedestrians and cyclists.

The last feature is perhaps overly sensitive in my personal experience. It used to slow down dramatically whenever it was passing a cyclist, that has improved in recent versions.
But what doesn't change?

Network protocols? No, HTTP/3 is here.

OS? Kernel, sure, but everything else no. E.g. most Linux OSs recently changed their entire init system.

CPU architectures? ARM was irrelevant a few years ago. Faster CPU instructions are arriving every year. You say, "okay, well just recompile." Which brings us to....

Build tools? These are a nightmare to make stable in the best of circumstances.

It's all fiction. Code rot is real.
The main problem is that science and philosophy have gotten muddled. Philosophers like to call themselves scientists today even though they just write down their thoughts on a subject rather than trying to create new testable theories or test old theories.

In general scientists tends to agree with each other on most things. Philosophers however have little basis in reality and create political camps fighting against each other. When scientists disagree it is about the best methods to move the field forward, not the state the field is in right now. If scientists disagree they just look or run experiments and see who was right. If they disagree about the interpretation of the experiment they are philosophers and not scientists, making so bad experiments that people can't even agree on what it shows means the experiment wasn't good enough to be science. But those experiments will still pass the peer review from people of the same faction since to them everything is obviously correct.

Yes, this means that most "science" today isn't really science but instead a ton of philosophers bickering about whose beliefs should be seen as correct. All this bickering generates a lot of papers and citations, but since none of it is rooted in well designed experiments they suffer from the same problems as the old Greek philosophers did.
Valets driving manual seems to be a bigger risk, in my experience.
What about the already available tooling?

https://docs.microsoft.com/en-us/aspnet/core/fundamentals/to...
Sounds like both players didn't die at the same time then.
> often we end up delivering 20-30% of what's planned for the year.

That is amazingly bad estimation! You must have some big systemic issues if you can repeat such a failure even twice and still do estimates. Why bother if you're that far off?
What's next for personal productivity
Top Enterprise CRMs for 2022
How timely. I was almost hit by a Tesla while on a run yesterday in San Francisco. The driver was not paying attention at all, slowly rolling through a stop sign. While this is one data point and could happen with any type of automobile, this type of behavior in "autonomous" cars worries me a lot - the carelessness other posters have noted in which these drivers put down their guard and think the car is going to do everything for them. They put their full faith in this nascent technology and therefore put others' safety at risk. Sure, I am very excited for this technology to mature, but in the meantime, let's not fool ourselves.
https://www.reddit.com/r/System76/comments/k7xrtz/comment/ge...
> So if women voters for the most part have thought that a man is the better candidate there is a problem?

I mean, that depends to some extent on the source of that thinking.
D&D is Dungeons and Dragons? That's just another rational rule-bound system. Large part of article is about stories, can D&D do these story things described? If so I'm interested how.

Stopping climate change too requires a new story that would compel us to curb our voracious consumption.
Sorry to blow the thunder but due to a recount in one of the constituencies we no longer have a female majority in the Parliament. 3 women lost their seats to men.
Simpler in concept maybe. In practice, I am not so sure.

Just one example: In SV we voted for a tax increase in 2000 for a Bart Extension to San Jose. If we're (really) lucky, we might get it in 2030 after spending ~$10B. The total distance is ~20mi with less than 10 stations.

https://en.wikipedia.org/wiki/Silicon_Valley_BART_extension
One bitcoin transaction: 1821.63 kWh

One comment on HN, probably around 100mWh.

One is not like the other. But please continue to pretend otherwise.

> Again you go on contradicting yourself whenever you find it convenient.

Please be explicit and show we’re I’ve contradicted myself. I don’t believe I have, but happy to be proven otherwise.

> Not a biblical person myself, but I'm going to take a note out of the bible on this one : " Answer not a fool according to his folly, lest you be like him yourself."

You make a good point. Why have I bothered to talk to someone who is so clearly disconnected from reality.
> the reward calculation in their brain comes out in favour of doing that thing instead of anything else they could be doing instead

Nope. That’s you baking in the assumption that they are making a calculation about reward.

That’s an axiom of your way of analyzing the situation. Nothing more.
Hey can you please write to support@paretosecurity.app so we can look into this?
Related: someone I know recently logged to their Coinbase account and found out that the amount they had bought a few years ago has disappeared and it left a bad taste in their mouth.

Is anyone familiar with this situation?
Right, but the article is about greenhouse gas emissions (CO2 and equiv), so I was offering clarity. Particulate emissions don't have global warming potential aren't terribly relevant in the context.
I use Halo difficulty levels: easy, normal, heroic, legendary. They're basically t shirt sizes but I think they better convey the size of work to be done. From there, you haggle around how many you can do in a given sprint, knowing that a legendary one is basically high risk and could take more than one sprint.

For level of urgency, I have another system for that, using Cold stone creamery sizes: Gotta have it (must ship this sprint), love it (should ship this sprint), like it (stretch goal). Anything that doesn't get done gets bumped to the next level of urgency for the next sprint.
All books in this series is of high quality and very enjoyable. I am going through Little Typer at this time.
No, I dont think I am. You specifically said “in proportion” to transaction volume, not as a non linear residual effect. That is an incorrect growth assumption. And frankly you’re editing your answers above too fast for me to keep up with.
The main issue here is that, much like 4000w HID headlights, they only irritate others, not the owner/purchaser of the vehicle, who may not even be aware of what their rear turn indicators look like, or that there is anything wrong with them.
Which didn't stop men to dominate all positions of power for centuries. Women weren't even allowed to vote, something that changed very recently in some countries (looking at you, Swiss). So yeah, equality here means to have the same right to he overspreading that men have.
Agree with SSH connection. If you know what you are doing, they are fine, feel free to go to app preferences and disable the SSH check.
Sorry, after a recount that finished in the northwest constituency just over an hour ago this isn't valid anymore. Women are not in the majority anymore.
> Ah, if your beliefs are rooted in religion then there's not much we can discuss to find a common agreement, since we're starting from very different axioms.

IMO, much of the world's arguments are a result of starting from very different axioms. I feel like too often people don't realize those "axioms" or as I would put it, those worldviews, are the real source of the disagreement. The actual disagreements themselves are just a result of approaching life or the particular issue with very different set of foundational beliefs and values.

But finding common agreement is, perhaps, not required or even the most valuable outcome. I believe there is value in simply being able to have those discussions, reasonably...respectfully, even if agreement itself is elusive.
But I don’t know if any broad studies that would indicate that being a politician is something that suits males on some biological level. If anything politics seems like a very female endeavor(stereotypically), since you’re organizing a community and highly communicating complex sociological ideals with peers of various education levels.
That sounds like a really awesome tool, and it's shocking more code generation tools don't take the dual file approach. XCode has finally gotten it right with their code generation for CoreData models and that's been great.

However I'm really curious how much the whole green screen aspect plays into this productivity. Programming those things really was amazing, there was so much the tools did for you and not having to deal with the bullshit of the modern web was great.
You can have a pgn for a game which is still in progress (indeed, this is common these days with major tournaments being livestreamed). "Unterminated" covers this case.
Well, it probably starts with a stable secure cross-platform language and ecosystem.

Things like this are best explained by a very grey neckbeard who's been through a lot.

Author is not particularly old, author programs in python (something that has broken compatibility once)... "stick to the standard library" is about at ground level an opinion on this subject that a typical HN probably thought of as they clicked the link.

1) need a stable, mature, secure language

Stable eliminates Rust, Python, Perl. Go hasn't been around long enough.

Secure eliminates C, C++, probably D and most compiled languages

No dependencies: yikes there goes Java because of the JVM dependency.

Assembly isn't portable.

...Seriously, are we left with Ada? Secure, strict, mature, reasonably portable. And virtually unknown outside of government/military.

2) UIs age, but CLIs really don't

So make it a CLI, and use unix philosophy

3) OS churn

Hopefully with the practical cessation of gigahertz scaling, the industry will settle down. Then again, the ARM hordes are approaching to wipe out all the x86 stability in desktops and servers.

Perhaps the best thing for this in the industry has been Windows subsystem for Linux. If we could get an OSX subsystem for Linux, that would be a real boon.

Even Linux on it's umpteenth release is still changing quite a lot, and NIH reinvention like Wayland and Systemd and toss-it-all-out Gnome 3. Well, it kind of keeps us employed.
I'd adhere to assuming a unix-ish os, like maybe POSIX.

So: Ada, CLI/text, POSIX compatibility. That's not limiting at all, is it?

Sigh.
It basically a given that there have been changes of significance to society, technology, or the global environment in the last few thousand years, too. Humanity’s ability to handle complexity is just a universal constant.
But you will because he's a right wing anti-vaxxer! Why exactly have you cut this person more slack??? hmmmmm

Oh and if anyone doubts where dang's alliances lie, just check out what he's let this guy get away with:

https://news.ycombinator.com/threads?id=nickthemagicman
Pyric victory - technically you won but the resources you have to sacrifice (your imminent loss of freedom while in prison) make it not worth while.