skysight-inc/HackerNews huggingface dataset:
Apologies for the confusing terminology. When I say "reasoning" I mean it in the way it's used in logic-based AI where it basically means the automation of propositional and first-order theorem proving. I would say that we do have that down pat, as per my comment.

I'm not sure what you mean by "context switching" but I will agree with you that following rigid inference rules is not how most people think most of the time. However, we do have the ability to think in this way and this way of thinking is very useful for certain problems where we can't just intuitively come up with a good solution. For instance, scientific thinking is of this kind.

Historically what's really been missing from most attempts at simulating human reasoning is "common sense"- background knowledge about the way the world works. If we could successfully encode even a ten-year old's worldly knowledge, we could probably build an automated reasoning system that would appear much smarter than a ten-year old, by dint of it being a) much faster, b) much more accurate and c) much more, well, logical. But, we have so far failed to instill common sense to our programs and models so they remain at best idiot savants; if not simply idiots :/
It is too bad more isn't done with lime mortars and plasters. Hydrated lime (CaO + H20 => Ca(OH)2) reacts with CO2 to form CaCO3 + H20. And it is fun to work with ...
> Depends on the area the engineer works in.

Sure, but let's say that it's a conservative estimate that 99% don't need proofs. I acknowledged in the beginning that deductive proofs have a place in some niches.

> You can perfectly formalize this model using dependent types and use it there, don't you?

The logic is already a formalization of the model. Yet finding a counterexample in the model directly is very often easier than finding a deductive proof in the logic. Some people got a Turing award for that discovery.

> Doesn't mean we need to willfully embrace blind faith in incomplete induction.

Formal methods is not "blind faith". Second, we haven't willfully given up on deductive proofs; it's just that for decades we've tried to scale them and couldn't, so out of necessity we found methods that have worked better in practice. I don't know if 200 years from now people won't be able to make deductive proofs feasible, but why not use formal methods to make our software better and cheaper now?

In any event, all I want is for people to know (what formal methods research and practice already does) that software correctness is an extremely complex topic, with severe challenges that are both theoretical and practical, and anyone who suggests that there is a known specific solution to the problem or that one of the many imperfect avenues we're exploring is "the future", doesn't know what they're talking about.
I'm sure it depends on local laws but, in many cases, absolutely if the company wants to try to enforce it. At a minimum, they can make you spend a lot of money on lawyers.
Depends on upkeep and environment. Some wood structures in very dry locales can and do last ages without any real upkeep. There's some very, very old wood houses at the Romanian house museum, which is a great place to visit.
It's definitely something that should be justified in a PR. Introducing a new tool, it's dependencies, maintenance, knowledge and training requirements is something that should be agreed upon by the team. For agencies especially, tooling is a strategic business decision.
The League of Entropy Is Making Randomness Truly Random
> ...explained a lot to me about why a young man ... would do something like this

I see no facts presented in this article that align with your claims. This is pure speculation and ideological projection on your part.

This kind of overwrought rhetoric is exactly the problem with what went down at Oberlin. Start and stop with the facts: a man attempted to shoplift from a liquor store. When caught, he and his companions physically beat the clerk.
He said billions, not trillions ;-)
This is kind of common knowledge. JLPT 4 then 3 then 2 then 1. Done
Public toilets are a limited, expensive resource. "The worst that happens" is that they stop being public toilets.

Go ahead and make an argument that we should build hotels for the homeless. Public toilets are not that. Sleeping in them is not even fair to other homeless people who need to use the toilet!
Yeah, that's why you don't want to do it(inflate debt away) but you can if you need to. It's never a bad thing to have a get out of jail free card on standby.
if you don’t see the difference between a business not hosting what they consider hate speech and a business firing its employees at the direct request of the government, I don’t know what to tell you.
I believe it was a twitter thread that he unrolled and mashed up into a medium post. On twitter he's often abrasive and kind of a dick as a character, and the tone carried into this post. He's doubled down about it because his rant seemed to have angered a lot of people among his demographic following, so if you follow him you'll probably find more explanation.

>this piece was meant for math PhDs

Lol it is absolutely not meant for math PhDs. I think anyone with a bachelor degree could follow the math (probably, I don't know much about the university system works in the US).
They may have literally pulled the sound from a recording on YouTube, though.
Maybe, but mutt seems like a poor choice?

They are providing an open source server implementation, which is a great way to increase adoption. Adding support to widely used open source mail clients is also a great option, but I doubt usage of mutt is anywhere near high enough to provide a good return on investment.

Implementing in the default mail client on Ubuntu might be worth it, or maybe the most popular open source web mail client that exists could be worth it. Ideally though they need adoption in something like Outlook, Gmail, Apple Mail/iCloud, etc, but these are all closed source so a) impossible to do without support from the vendor, and b) of limited use to increasing the community of JMAP implementors.
Fun fact: the author of this piece, Ben Hobby, is the son of David Hobby, the photographer who maintains Strobing, one of the best blogs on off camera lighting: https://strobist.blogspot.com/?m=1
> no good technical way to implement the requested features without breaking core human respect of the users

A certain quote from Jurassic Park about scientists being preoccupied comes into mind...
The 3-Click Rule for Navigation Is False
At least twitter provides an outlet for short, insightful and measured comments like yours.
As a person with a motorcycle, I’m glad I’ve seen at least two people suggest only scanning cars :)
I despair that the market is more interested in things like mobile apps and LED equipped RAM than serious in-depth technical reporting on microprocessor internals.
Matrix is the answer. Unlike all the other trendy competitors (Signal, Telegram, etc) it is both fully open source and—crucially—federated.

But just because it's the best technical solution doesn't mean it'll take hold. If the best tech always won, we'd have adopted XMPP a long time before Matrix was created.

Sadly, I'm beginning to think the only way we're gonna put a stop to this crap is to threaten companies like Apple with antitrust regulation for such actions.
Hi - I wrote a flash card app for my kids. One of my kids used it a lot from 3rd through 5th grades, and another, started using it in kindergarden and will continue in 1st grade.

The app can be configured to practice all operations, singularly or combined and with any range of numbers. There is an option to choose a common number so that number shows up in every problem. There are two different problem types:

8 + 4 = ____

8 + __ = 12.

If a problem is missed 3 times, then it will show up again until that problem is solved successfully 6 times. There is also a section where you as the parent can review the all the problem history.

Here's a link, feedback is always welcome and appreciated! (support at 4bitshift dot com) Right now it's iOS only.

https://apps.apple.com/us/app/flash-cards-math-facts/id11493...
There are 100,000s of resources on publicly accessible FTP servers and the removal of direct access to these files via one of the worlds most used browsers is major blow for information storage and retrieval on the internet.

It is obvious that the next FTP related headline we see from Google is when (not, if) they drop FTP links from all Google search results. There's no point them listing FTP urls in the results if their own browser can't connect to them.

(I don't understand why they can't just keep FTP support in, but with a security dialog that warns users the connection and data will be non-encrypted)

So much is going to be lost when this happens, it's really sad. All because Google want to recreate the internet as the Googlenet, with HTTPS URLs only, most of which link to their own walled garden servers (AMP etc.)

The internet started off as a wonderful limitless information sharing platform, now it's just a shopping mall controlled by corporates. The worse thing is... the general public just don't care.
I think coding is different things to different people. So sometimes it’s hard to sync up and have a useful conversation.

I believe you can create anything with coding. You can automate home routines. You can figure how the best dose of vitamins and supplements. You can optimize finances. It’s pretty limitless. Not to mention staring at a screen, giving it commands and seeing the result for hours just being fun. In both a meditative way and a discovering secrets way.

But for many people, it’s a job and not interesting in and of itself.

Someone mentioned painting and there are painters who make art and do it for expression. And there are painters who paint houses. They are both fine professions and really just a choice or an orientation. I don’t do either, but I think the artist painter will do lots of side projects outside her studio while the house painter is less likely to paint too many houses pro bono.

This doesn’t mean programmers who code outside of work are superior humans. I think any company who has this as a binary hiring decision is missing out that there are great programmers who don’t do it out of passion. I once worked with a programmer who didn’t own a computer (in 2005) and he was good. And there are hobby programmers who suck at work even though they have lots of personal projects.
It's an Equality Act or Human Rights Act case waiting to happen.
Survey of U.S. forests ties tree-killing insects to climate change
In contrast to the 2nd hand opinionated recollections of your friends, actual facts were presented in the article:

> David Gibson brought statistics from the Oberlin Police Department to the college showing that of the 40 people arrested for shoplifting at Gibson’s over the previous five years, 33 were students of the college, 32 were white, six were African American and two were Asian, which almost perfectly matched the racial makeup of the city.
It's not even about wanting to do it. Doing anything on the metaphorical 24/7 will burn people out.
Why doesn't HN support http login then? It's part of the spec.
> Google is optimizing its browser for the majority, chrome is not a power-user browser.

Well, I think there is enough people like us, where a proper 'power-user' browser is worth maintaining. Any takers?
The UK still arrests people for “cottaging” (i.e. men suspected of having clandestine gay sex). For example: https://www.diversitytrust.org.uk/2019/02/arrested-for-cotta...
I forget where I read it, but I found it convincing, that printing money to pay debt to large investors does not cause significant inflation. The investors will not spend the cash on consumer goods, they will probably just loan it right back to you and the money remains locked up and not circulating in the economy. There ought to be nonzero inflation as a result, but only a tiny fraction as much as if the money were injected at the bottom where people are more likely to spend than save.
> the characters where chosen at least partly because of their actual meaning

Sure, didn't I say they were in my post?

The point was, in a discussion of how well X predicts Y, it's not very useful to examine a test case where Y came first and X was chosen post-hoc to match it.
Grand Italian Trail
Yes, I think the key point is to know yourself, do what you truly like at leisure time, and never put yourself on pressure outside of work (for example, thinking not coding at home will make you a worse programmer, or that you're missing something). Sometimes I've not touched a line of code at home for months because I was focusing on other hobbies, like reading, that I had abandoned. No regrets. Lately I've gone back to think about possible personal projects I could do. Being flexible with yourself is important.
Why don't they remove the bloat in source code, reducing its compile time from 2/3 hours to roughly minutes?
Lightning missed a man by feet, and it was all caught on camera
> it's not like I can bake fries by typing some code.

I mean, you'd need hardware, but cooking based on software is obviously a very real thing.

If you can code a bartender, why not a baker? https://www.youtube.com/watch?v=2DopvpNF7J4
Why I ditched Slack and Asana and I created my own minimalist software?
No, that person and the person they replied to are the all to typical example of posters here who are incredibly generous with the property and monies of other people. Quick to demand that others surrender rights to and usage of because of their assumed authority to decide what is right and wrong.

homelessness and such is not solved by taking from others or depriving others the use of goods and services. it is solved by getting off fucking internet and working at shelters, donation centers, and such. Many donation centers love weekend help because people are quick to give stuff but not time. Time is of value, donate yours
> Funny thought. Imagine if, to this day, the internet consisted of pretty much that.

That's pretty much Gopher. Another protocol that Chrome no longer supports.
Programming by itself can also be an art. It fit the definition of art.
Are you sure it wouldn't require much maintenance? "We have to support this other weird crap that nobody uses anymore" is like pain point #1 for nontrivial surgery.
> I believe you can create anything with coding. You can automate home routines. You can figure how the best dose of vitamins and supplements. You can optimize finances. It’s pretty limitless. Not to mention staring at a screen, giving it commands and seeing the result for hours just being fun. In both a meditative way and a discovering secrets way.

> But for many people, it’s a job and not interesting in and of itself.

I am one of those people who want to only code at work. I also enjoy programming a lot.

My problem with "coding for fun" for me is that anything interesting that I want to build gets tedious after the initial, easy and fun parts are implemented. I end up trying to fix edge cases and debug hard to fix bugs.

At that point it feels like a chore to do.

> This doesn’t mean programmers who code outside of work are superior humans. I think any company who has this as a binary hiring decision is missing out that there are great programmers who don’t do it out of passion. I once worked with a programmer who didn’t own a computer (in 2005) and he was good. And there are hobby programmers who suck at work even though they have lots of personal projects.

Exactly. People who want to do something else don't go around demeaning people who code in their free time. But the opposite does happen.
The debt pays very high interest in argentina.
> Please point to a case where US attacked a defaulting debtor

Gunboat diplomacy [1] features vibrantly in history. "The Venezuelan crisis of 1902–03," for example, "was a naval blockade imposed against Venezuela by the United Kingdom, Germany and Italy from December 1902 to February 1903, after President Cipriano Castro refused to pay foreign debts and damages suffered by European citizens in recent Venezuelan civil wars" [2].

Broadly speaking, the UN provides guidelines--not actual limits--to the anarchy that is geopolitics.

[1] https://en.wikipedia.org/wiki/Gunboat_diplomacy

[2] https://en.wikipedia.org/wiki/Venezuelan_crisis_of_1902–1903
True. They're very much the new Microsoft and Chrome is the new IE. But the general public also doesn't know what it used to be like. I logged in just to up vote you. I wish we had functioning anti-trust laws.
Oh. This is a thing I've never felt. If python had better facilities for running other commands, that'd be an option for me. But I think bash has a very interesting set of conveniences and trade-offs.

If built from first principles today I'm sure it would looke differentbut for me Node.js wouldnot be it. Scripting it is fine, as a shell to live in, I would find it very messy.

I've been doing more things with bash recently, it has generally been a good experience.
That can, at best, absorb the CO2 that was emitted when the CaO was made, if the CaO was made from limestone. To get CO2-free CaO would involve decomposing calcium silicate, perhaps by acid dissolution followed by the energetically expensive step of separating calcium chloride into lime and hydrochloric acid.
That's different. If the government prints money and spends it on goods and services in the economy to cause inflation, that would be 'inflating the debt away'. On the other hand if they print money solely to pay the debts, and they do not spend it on anything other than paying the debt, then that will not cause much inflation because the investors are most likely going to reinvest the money again, and it will not circulate in the economy. The result may not be much inflation at all.
Just because youtube chooses to penalize it, doesn't mean a court would agree its a copyright violation. There is virtually zero chance something that isn't free use 100% in the clear.
Which is a valid view too. Its true that for some people, if you only code at work you have to accept that you will have some disadvantages.
unions have a history of internationalism aswell, considering their close ties to ideologies which have internationalism as a core tenant. (social democracy, socialism, communism etc).
All issues aside, some form of electronic voting system could benefit ballot counting, reduce workforces for all counting and be more trustworthy.

If a paper ballot is casted then I have no way of knowing wether it is counted, My ballot might be lost, invalid or wrongly counted by the one in a thousand people who might nefariously count it wrong. The paper voting system is just as much a black box as the electronic voting system. A second electronic system could prove usefull to check wether all casted ballots have been counted and wether you voted for the right party. Mismatches will no doubt happen as I hold no belief that either the electronic system or the ballots are perfect. But at least then we have two trails of evidence to determine who voted for who. The only downside is that it might lessen voting privacy. Maybe for a next article though.

"If a tree falls in the forest and no cryptographers are around to hear it, is the New South Wales iVote® system still insecure?"
Only if the Australian law permits it to.
Because every country needs to be able to produce food. Importing all your food is a huge security risk.
Wood is considered heavily polluting because the smoke is harmful and it’s generally undergoing incomplete combustion. It’s CO2 footprint is as you guessed a non issue.

https://www.lung.org/our-initiatives/healthy-air/indoor/indo...
Life is dice.
Over 50 protests around the world. Thousands of people standing up against a horrible grim reality of unnecessary police brutality that ravishes their communities.

Privilege is seeing these events unravel on the television screen in front of you, and having your thoughts settle on "God, what an unnecessary traffic jam." Privilege is reading a story of a black man's struggling with the disconnect between what he and his coworkers find relevant issues, and picking it apart line by line searching for cracks for you large enough for you sit back and decide:
"I have as much sympathy for those people as I do for the author: not much"

The only real irony that comes across to me is that your comments are basically just an extension what the author experienced with his coworkers.
Are you entitled to equity in a startup for being there early on? How is being "naive" and accepting a contract an argument for being mistreated? Am I being too skeptical?
Ransomware Attack Hits Local Governments in Texas
Huawei to build $800m factory in Brazil for 5G rollout
You should, along with Java, Python, Ruby, Bash, JavaScript, Go.. The only language I think that doesn't really have a place would _maybe_ PHP.
Fun fact. Peak horse power for a horse is 14.9hp :)
Perhaps cutting any government cheese flowing into Oberlin would teach those savages posing as a university some manners.
>with a CRT screen emulator

Game is VGA only. VGA did line doubling. There are no black bars every other line people mostly associate with using CRT TV.
It’s not easily available near all use sites. Australia exports a lot of sand to the Middle East and South-East Asia, for example.
Photoid?
China seems to be having a huge capital flight. It has just removed the peg on their currency price, what is a large giveaway.
It's perfectly natural that foreign currency reserves stop increasing or even decrease.
Google Chrome is proprietary. Chromium is open source. You cant just directly fork Google Chrome itself. However, Chromiums development goals are hijacked by Google Chromes motives. Embrace, Extend, Extinguish.
If you’re learning it just for the sake of learning it, I’d probably choose something like Haskell. You’ll learn to think a little differently. Laziness, pure functions, immutability, etc

If you’ve got a specific project or job in mind then sure.
I would love one with a downloadable ringtone. Or a selection of different tones.

But the one item I want most of all, is to clear the timer if food is removed early, say after 5 minutes or so.
Disk Inventory X – Disk Usage Utility for Mac OS X
From the Toledo article you linked:

————

Kameron Dunbar, also a fresh Oberlin graduate, said he had “uncomfortable experiences” along racial lines in Gibson’s, including times where he was asked to take off his backpack in the store when other, white customers weren’t asked to do the same. He remembers feeling “watched in ways that may not manifest the same for a white audience.”

“I never wrote a review on Yelp, I didn’t write to Better Business Bureau — I just decided not to patronize there anymore,” Mr. Dunbar said.

—————

This article and Mr. Dunbar’s potential bias are discussed in TFA, with the clincher:

“Neither the New York Times, nor Rolling Stone, nor any of the other media outlets that quoted Dunbar noted that he worked alongside Jonathan Aladin in the Office of the Student Treasurer and was a paid blogger for Oberlin’s Office of Communications.”

Not exactly star witness material, but precisely the kind of person who might subtly push an agenda in the media, facts be damned.
>Attracting peoples content with the promise of publicity only to sabotage it is straight bait and switch. I'm sure it's all very narrowly legal, but post-election lawsuits in 2022 will be ones to watch.

Youtube doesn't promise anyone publicity. Any ranking algorithm or suggested content list by its very design "deranks" everything else, and most content on the platform is probably never watched, or barely watched.

Youtube's current default of biasing recommendations towards extremist content "deranks" less extremist content, yet that doesn't appear to be a problem for people who are suddenly up in arms that the site is changing the bias of an already biased system.

There is no bait-and-switch here, nor is there sabotage.