skysight-inc/HackerNews huggingface dataset:
Zuckerberg doesn't seem that despicable to me. Certainly not in the company of companies like Google. What's the worst thing you can say about him or Facebook?

I think most of the bad press just comes from media clickbait. Mainstream news identifies Facebook as a competitor and threat on ideological model, see people complaining about conservative news sources topping most shared on Facebook lists, and on a business model basis (Facebook controls a large stream of traffic).
No one believes it. It’s called plausible deniability
> The argument I've heard is that ...

> Except it doesn't work. People can be mad about taxes regardless of whether they're easy or hard to file.

"that can't possibly be a fair representation of that ideologue's position, there's huge gaps in the logic!"

look, positions way out on the fringes don't have to make coherent sense to the rest of us. PETA runs kill-shelters that euthanize millions of animals every year, sometimes multiples of other kill shelters. It makes sense to them, they have their own logic why that's good.

Making Americans hate every aspect of taxes - the amount, having to spend a couple quality hours with a tax program every year, getting sales tax rolled on top of advertised prices, everything - is the goal here. Just make taxes suck so that people hate them. Because then people will oppose taxation.
You don't need two separate cases.

Assume p1, ..., pn is a finite list of primes. The sum p1+...+pn+1 is divisible by a prime, because every natural number> 1 is. However, it's not divisible by p1,...,pn, hence there must be an additional prime not in the list.

(I think you're right though that GP's "contradiction" doesn't work)
You can lock the car with the physical key, or lock the door with the interior button before closing it and it will latch shut.
It’s a bit surprising to have fuzzing as part of the standard tool chain, but not property based testing.

I guess we still need to rely on something like gopter.
There is no such thing as specialized hardware for Chia farming. If you manage to pull that off then congratulations, you have created a bigger hard drive.
Given this is Hacker News… it was a magical time for technology. Yes it helped I was ages 5-15 for that period. Computers were just coming into the general population and that was a mind blowing thing. At the same time, the pre-mass internet era meant that our brains were our own. Concentration and space to think weren’t yet deprecated features.

Other than that it had the same ups and downs as any other time.
> Fortunately having an ineffective government can often be a feature instead of a bug.

Not in a free society. An ineffective government is a conspicuous drain.
> The value of a content shall be in the content itself; popularity is only a flawed measurement.

Popularity is certainly a flawed measurement, but it's hard to come up with a scalable way to determine quality that isn't flawed in some way.

Instead of being flawed by encouraging people to get tons of backlinks, this is flawed by encouraging people to do stuff that gets lots of upvotes.

Very open to more ideas on how to measure quality.
I would get rid of the tax return process as the only purpose for its existence is to waste the time of poor people and thus keep the government boot on their face.
The site was made mostly to rile up HN users. So HN crowd can indulge their daily ritual of bashing Google. AFAIR the post reached the top spot of front page. Although it was flagged later.
I believe a competitor would need to be such a better experience that by saying you are "googling" something, as in the common word for searching, an essence of the competitor is left out.

If bing was successful at it, for example, it would cause the sentence "I tried to google it but ended up needing to Bing it" to make tangible sense to someone who has used both services.

Even if you create a better search engine, there is too much of a marketing gap to compete on that alone. "use bing because the results are better!" simply doesnt motivate enough people to switch off google.

Quite frankly, it is rare that google does not deliver expected results for the generic use case.
What do you mean by TC? Teachers college or teaching college? Twin Cities? vs CC being community college?
An inspiring story about following your passion...

"Marine biologist Alexander Semenov fell in love with the strange beauty of cold-water invertebrates when he joined the White Sea Biological Station in Primorskiy, Russia. He started photographing them as a hobby; he’s now a professional photographer and leads the scientific diving team at the station. In a beautifully illustrated feature, he shares his tips for taking photos for your own research."
Related:

Zulip Cloud security vulnerability with reusable invitation links - https://news.ycombinator.com/item?id=30479430 - Feb 2022 (35 comments)

Why Zulip will stand the test of time - https://news.ycombinator.com/item?id=29595926 - Dec 2021 (80 comments)

Why Zulip will not get on the blockchain bandwagon - https://news.ycombinator.com/item?id=29205346 - Nov 2021 (195 comments)

Zulip 4.0: Threaded open source team chat - https://news.ycombinator.com/item?id=27149123 - May 2021 (170 comments)

Zulip 3.0: Threaded Open Source Team Chat - https://news.ycombinator.com/item?id=23860338 - July 2020 (133 comments)

Zulip 2.0: Open source team chat - https://news.ycombinator.com/item?id=19284321 - March 2019 (96 comments)

Zulip Server 1.9: HipChat import and much more - https://news.ycombinator.com/item?id=18400988 - Nov 2018 (123 comments)

Zulip – Open-source, threading-based Slack alternative - https://news.ycombinator.com/item?id=17622987 - July 2018 (99 comments)

Slack channels are a waste of time - https://news.ycombinator.com/item?id=17622707 - July 2018 (49 comments)

Zulip 1.8: Free software Slack alternative with email-style threading - https://news.ycombinator.com/item?id=16863675 - April 2018 (148 comments)

Zulip Server 1.6 released - https://news.ycombinator.com/item?id=14506426 - June 2017 (14 comments)

Dropbox has open-sourced Zulip - https://news.ycombinator.com/item?id=10279961 - Sept 2015 (313 comments)

Dropbox Acquires Zulip, A Stealthy Workplace Chat Solution Still In Private Beta - https://news.ycombinator.com/item?id=7419408 - March 2014 (14 comments)
Access to the passphrase would not by itself provide access to anything. The malicious person leaving would also have to take along a copy of the encrypted private key.

In practice you would just register 2 or more keys left in the care of 2 or more people. Each person would be individually responsible, as it should be. When someone left you would revoke the key. You would not have to go super hard on this, most of the requests would be routine and not time sensitive. In an emergency you do the best you can with what you have available.
On offering help that’s helpful – Chelsea Troy
I use and love Firefox, but I don't think it's really fair to say Chrome is the new IE. The biggest reason why IE was a nightmare was because they were slow to implement new things, and had weird unpredictable behavior and bugs that only showed up in IE. You also had to have Windows in order to test with it. On top of that, crappy or nonexistent dev tools. Also (not their fault, but) many company IT policies required use of IE. Installing Firefox or Chrome made you a rebel ;-)

Chrome is far from perfect but they implement things fast and have great dev tools. If anything, I feel like Safari is the new IE. You have to have a Mac to test it, it's slow to adopt new features (sometimes aggravatingly slow), and it breaks in weird ways that Chrome and Firefox don't. I can't speak to the dev tools in Safari but I'd love to hear from someone how those compare to Chrome.
If I'm being honest, Teams and Slack are both about as bad as each other. Threading in Slack in particular is so bad as to be an active productivity killer.
I actually preferred teams to slack+zoom last few times I had to use it at a client.

On MacOS it behaves pretty ok. Once you get used to the weird double text box.
taxation of petrol in the UK.

As a counter example look at Norway. To a first approximation no one in Norway is buying a new petrol car. The taxes are simply too high compared to electric cars. So obviously there exists a level where people will switch out of their own short term financial self interest, without having to make an environmental argument.
This has actually been done rather often in the past, you can start a donor driven PAC that can compete with corporate lobbyists with crowdfunding. It's generally quite a bit cheaper too because while we all love to criticize politicians for only listening to monied interests if they can raise some campaign funds and get brownie points for their voting base they're happy to dramatically spurn the corporate funding they'd otherwise accept with open arms.

Honestly though, actually reaching out to your representatives and talking to them is far more effective than most people assume.
Wireless connectivity and being a smart display seem different to me though. Being able set my laptop down and not have to worry about cable routing seems amazing; being able to have my monitor run apps, show me ads, or require a remote to operate doesn’t seem appealing.

Edit: I think we’d also need to figure out wireless power delivery then?
It's complicated, but under certain circumstances you can sue agencies for not doing something. It depends on the specific laws governing the specific agency and how you've been harmed by the inaction. Broadly speaking, the Administrative Procedures Act required agencies to have procedurally fair processes. If you're concretely harmed by an agency's inaction and you can show they didn't follow the correct processes, you can sometimes win.
I guess it depends how much utter nonsense is going on in your slack.

A quiet (?) teams seems to behave better than the absolute crapshow of slack 'apps' at my current gig.

All that being said, I do kinda like the outlook calendar app, means I never have to go to office.com anymore ;)
I think there's some nice points in there, but it keeps switching between "how to work with me," and "how to work with others" (maybe me, maybe not me).

For myself, I feel that the posts I put up here (on HN) give a fairly decent idea of what I'm like, but it's been my experience that folks will interpret them to fit whatever narrative they choose (often, unflattering to me).

I think the only way that we'd figure out how we'd work together, would be to ... you know ... work together ... for a while.
> It turns out that their rules for dealing with this work by comparing those options against NOTA only; the problem is that it's plausible that many of the voters didn't realise this.

Yet Another case for approval voting over like, all other voting systems.
Excellent idea, I was thinking of creating something similar. My new homepage, for sure.
Once we'll have the technology to move outside the galaxy, we'll be a Type-III civilisation on the Kardashev scale that will need to harvest an entire galaxy's worth of energy just to sustain itself. God itself would fear us.

(Unless you mean to move outside the Solar system. I've seen plenty people confuse the two.)
I was born in '84, and so was very young in the 80s, but it was normal for me around kindergarten age to walk alone to a friend's house in the neighborhood, find out that they weren't home, go somewhere else, and call home from there to update Mom on my location. Even just a few years after that, they were worried about kidnappings and such, and I wasn't allowed as much freedom anymore.

I've also always been interested in technology. I remember using some variant of Apple II in school (Oregon Trail, Number Munchers, and such), an IBM PCJr at home (a pack of Sesame Street games, Alleycat, and some others I don't remember well enough to identify). This was obviously before the internet was typically available in homes, and before the first web browser...I do remember using Prodigy on my grandfather's computer around the time (text-only, over a 2.4kbps modem). To me, one of the stark differences is that computers weren't so embedded and essential in people's lives.
The GOP has been sidelining or primarying out the few they still have near the center tbh.
Oh very nice.

I rant to an annoying degree (sorry everyone) about the fundamental pro-business cultural bias of economics-the-profession, and how this has failed the human race to a frightening degree. Considering economics-the-profession is usually the first source of academic approval/opinion on government policy (because science sure as shit isn't.

What makes it most annoying is that "externalities" is largely a bolt-on. And even worse, Economics-the-culture is averse to things they can't measure in some way (even though I'd say their measurements of EVERYTHING they do rely is is pretty bad).

How does Economics price the "externality" of global warming? The lost value of displaced and dead people, maybe a broad stroke. Extinct species and habitat loss? How does one nihilistically price if we head outside of phytoplankton's ability to create oxygen?

At best, a vast underestimate, especially given the pro-business bias.

To me the shining failure of modern economics environmentally is the inability to enact a carbon tax in the last 30 years, a very basic and effective mechanism. Instead, easily arbitraged and gamed carbon markets.

Secondarily, what is the economic value of any wetland or natural habitat? Vague tourism at best. The best economic use of a habitat is to drain it and pave it. Economics cannot measure how diversity of the species web is critical to our long term survival, because it can't even see one month into the future.
Use table driven tests.

func TestFoo(t *testing.T) {
list := []struct {

want string
input string
expectedErr error
}{
{item1},
{item2},
}

runtest
Things that need to be killed by Microsoft:

Their online manuals that when you try to find something like how to script a very specific powershell event you instead get to read about what powershell is, what commands you could conceivably write, every word that powershell knows, who made powershell, why powershell is so important, how you can get certifications in using powershell, and other functions powershell can do but you cannot find in microsoft's online manual how to specifically write the command you need to write to achieve the specific goal you want to achieve.

For that you have to go somewhere else or figure it out on your own.

Their online manuals are the lexical equivalent to having to memorize the entire World Book Encyclopedia to be capable of ordering a hotdog with mustard.
You totally missed hipchat, Skype for business and mattermost then?
Trying to find more information about Emergency Data Requests leads in large part right back to this discussion and the original Brian Krebs post, with a few hits to various private organizations that explain what it takes to use an Emergency Data Request with them.

I'm having trouble finding any basis for this in law. Can anyone help clarify that? Are EDRs just 100% voluntary compliance on the part of some private organizations who are choosing to divulge customer information without an actual court order?

If that's the case, why are we lamenting the existence of the hackers and not publicly shaming the companies complying with these nonsense EDRs? Real court orders aren't that hard to get, and at least there'd be a more blatant crime to prosecute if anyone forges them.
EFF Client Erik Johnson and Proctorio Settle Lawsuit over Bogus DMCA Claims
1098-T forms are notoriously unreliable. Schools will often misclassify or omit scholarships and payments. And you might have additional educational expenses like books that aren't listed in the first place. It doesn't excuse your experience, though; that tax preparer should have made a better effort to understand the figures.

Out of curiosity, was the tax preparer actually a licensed CPA, or just someone with no professional credentials? If they were a CPA, did they prepare individual tax returns regularly or only as a side job?
Government: You must provide a free way for those that qualify.

Intuit: OK.

Intuits exec to its employees: Make this free system, but hide it from the public. Provide links that are broken, make sure it doesn't show up on search indexes.

Scott Cook and all those involved should have all of their assets seized. About as slimy as you can get as a person. Made billions off of scamming United States citizens.
Does the IRS start an audit if they suspect you massively overpaid? They certainly do if you massively underpay.
The solution is quite easy. Implement the carbon dividend first, then charge taxes.

When you give people money and then tell them that money comes from carbon taxes they will understand that.

If you introduce a new tax and then tell them you are going to give it back they won't understand it at all, they won't even trust you to implement the dividend.
Not everyone who works at a company loves the company. A lot of people might think things their company does is pretty despicable.

If it's the best place to extract maximum benefits (money, experience, recognition, etc) - then you take the good with the bad.
plocate, a Much Faster locate
Good, like I don’t have enough complexity to deal with every workday, so I need one more thing to read and consider. No, what I need is quiet and less of everything. When we start working together we will learn how to work together. And I would not take into account your opinions about yourself and how you work, only your deeds. Because something happened which unleashed the power of our imagination. We learned to talk.
Nice! I've used HTML attributes as targets as well. They aren't random so they are also easy to target. I use this one on Twitter:

twitter.*##div[aria-label="Timeline: Trending now"]

This will hide the trending tweets box. You can see it's targeting the `aria-label` attribute on the `div` element
Sure. But why in the world would they audit you if you overpaid?
One fast charge in the Kia EV6 told me everything I needed to know
In México if you are an average employee earning less than around $50000 usd (I.e. most workers), your employer can "do" your taxes (very simple, they report what they have withheld from you).

If you have some amounts you want to regain from losses, etc., you can still do your taxes manually.

That means logging into the free MEX IRS platform, which shows all your tax info preffilled. Most likely the stuff you want to input is already there (all invoices in mexico are signed by private/public keys through the IRS system).

So you just enter your bank account to get your money back. Or get your reference to pay your taxes.

The system is really beautiful.
Ha, I was thinking about something like that since my exposure to a traditional CRM. Good luck.

However this looks like personal business relationship CRM, right?
Great, the privacy equivalent of swatting.
Is storing a hash not also invasive?

I don't store your IP or SSN. I store the Md5 hash of it.

If the bit-space is easily enumerable, it is just as bad...

but is it?
the history of cryptocurrency is a history of projects making that exact claim and being proven wrong over and over again, but surely this time is different.
We lost our sensory connection with food
That part about "a social networking bubble of imitations and tag alongs" is ironic, given Google's numerous failed attempts to tag along on the social networking bubble.
How do I build a grammar tree is akin to saying how is a language read. Grammar tree, like language depends on what grammar is read. e.g. japanese grammar handled bit differently than english grammar

The wierd thing about [1] is the grammer symbols section rules do not define 100% of valid lexical tokens. Where tokens are implied in grammer symbols section, see relevant rules section. If have tokenized things, then just need to used/read in token(s), search grammar rule tree till find terminal token that matches lvalue, then return to priror level & complete rest of grammar rule, etc.. until get back up to top of tree.

shell example:

variable = "asdf"

Do an in order traversl to parse grammar. (recursive desent will make remembering where at & moving back up grammar tree bit easier -- function call will retain how much of grammar rule have done at a given tree level)

To set a variable, recursively walk through grammar lvalue rules array/tree and evaluating the rvalues in the lvalue rules until current token matches an lvalue rule.
aka grammar rules 1st lvalue in tree is program.

Example walkthrough of shell program variable = "asdf"

1) tokenizing variable = "asdf" gives

1st l_value token is WORD_ASSIGNMENT

WORD_ASSIGNMENT has the value -> variable

2rd l_value token is WORD

WORD has a value -> "asdf"

3nd l_value token is NEWLINE

2) grammar tree walk notation:

(lvalue) means, doing next set of rvalues (bump in indentation)

if (lvalue) isn't before "->" means rvalue of an lvalue rule in 1st line above it that include (lvalue).

Grammar tree rules walkthrough trace. (top of tree is PROGRAM rule):

program (lvalue)->

linebreak(lvalue) -> /*empty*/

complete_commands (lvalue)->

complete_commands -> nomatch

newline_list -> no match

complete_command(lvalue) ->

list(lvalue) ->

list-> no match

seperator_op -> no_match

and_or -> no match

linebreak -> /*empty*/

Note: have reached the end of the lvalue "program",
so have all the 'rvalues" needed to generate
the program lvalue.

apply section 2.10.1, 'WORD_ASSIGNMENT'

(tokenizer should have recognized WORD before =), generate a storage location for the variable name contained in WORD_ASSIGNMENT token.

if next fetched token is WORD, then assign store value of WORD token to WORD_ASSIGNMENT variable.
Personally, after the log4j fiasco, I wouldn't touch Java.

The standard ecosystem setup is to use all the major 3p libraries for all your functionality (Jaxrs, swagger, log4j, jersey, e.t.c) While this generally works, the ecosystem is full of holes (like log4j), and crappy behavior. You get things like "javax.ws.rs.ProcessingException: Already connected", exceptions which mask underlying issues like not being able to find the endpoint, or SSL certificate error, mainstream clients for things like Redis having issues with multiple connections and unable to switch to master nodes, and so on.

The core language itself is very "dirty" (Integer vs int, requiring a class for the main function, e.t.c). The standard way annotation processors add functionality is to basically write out java files, (or in the case of the ever so popular Lombok, they hack the AST). Because of how annotation processors are run, often times an error during annotation processing with dependency injection will result in very cryptic errors, often about things that were working before that you didnt change.

And on top of everything, jdb debugger is pure garbage, forcing you to use bloated software like IntelliJ for any decent functionality.

Yes, you can learn the ecosystem and its idiosyncrasies, or you could just write the thing in Python or Node with a much more efficient workflow. Network latencies dominate the processing speed these days, and infrastructure is cheap compared to developer time.
Comes off as very silly and insecure. It seems like it's written purely for you to curate your professional persona and to give people a good impression of yourself. A corporate kool-aid drinking work-a-holics version of a Twitter bio, just needlessly long and self-indulgent. At least Twitter bios are limited in length.

If you actually cared about the recipients of this document it would be half a page or shorter and have bullet points of your biggest weaknesses or eccentricities and other actionable info. You aren't Napoleon, nobody needs to read more than a half page about you, especially when most of what you have to say is meaningless corporate jargon.