skysight-inc/HackerNews huggingface dataset:
I'd like to propose a fork of society, for people like me, who like to work from home or remote.
"Why is dependent type theory more suitable than set theory for proof assistants?” has 80 characters, which seems to be exactly HN's limit.
Do you wanna stay productive?
I have created a calendar for 2021 with the concern for productivity and motivation of people.
As we all begin and get lost chasing others.
Send cards that grow your wish into living plants
Perpetual motion machine scam...
I built a site using this framework recently and that's exactly what I did.

Copied the css file into my source

s/aside/\.card/g

Tada!

I viewed mvp.css as a starting point that'll get something looking nice enough on top of my raw html, and then I can (did) make tweaks from there.
>The fact that 27 million people (1) live in the US without health insurance alone is a big enough reason to know that that US system is not working.

That's 91-92% coverage of a country of 330 million.

91% of Americans have medical insurance, whether through their employers, or government programs like Medicare/Medicaid. That's compared to 95-97% in other developed countries because there are always some people who fall through cracks, like (say) a Canadian who doesn't get a new provincial health care card after moving, or a German who neglects to buy into a new sickness fund after changing careers. The only such systems with actual 100% (or as close to it as possible) coverage is something like the UK NHS, which does not have a requirement to show a membership card (because, well, there isn't one) to receive treatment.

PS - Obamacare did not greatly expand coverage. 85% of Americans had medical insurance pre-Obamacare.

There are things I'd certainly improve about the US system—decoupling primary healthcare coverage from employment, for one—but the way people online ~~lie~~ exaggerate it's not surprising that so many non-Americans believe that every American is one hangnail away from bankruptcy.

>People should not die or go bankrupt due to not having insurance.

Only 4% of US bankruptcies are because of medical bills (https://www.washingtonpost.com/blogs/post-partisan/wp/2018/0...). A tipoff that [insert large percentage here] of bankruptcies aren't actually because of medical costs is that only 6% of bankruptcies by those without health insurance are because of that cause. The biggest cause of bankruptcies is lack of income, which health insurance doesn't affect.
I'm in an apartment near a busy street and it's pretty quiet when the windows are closed.
This (Mvp.css) is one of 16 different "classless" one-page "tiny sites" on display at https://sites.yax.com/ (compare classless themes, click to create a GitHub repo, then click to deploy to Netlify, Vercel, or Render.com). It's my open source project for quickly creating tiny sites with classless themes (feedback appreciated!).
Not necessarily. Sometimes I want to use FFI because the "hard work" (e.g. implementing a complicated protocol) was done in language A, and I want to use language B in my project, but I don't want to redo all that hard work.
> Becuase macosx containers run inside a Linux VM, not on the native host OS

My comment was sarcastic.

> same with Windows

Significantly less so as Microsoft themselves provide the virtualisation glue, with a custom kernel and a dedicated / special-cased VM, in the form of WSL2.
> What if you could increase low end incomes while simultaneously worsening inequality?

If you could increase them more than you would be able to by redistributing wealth, then I think you should. But I can't think of any scenario where this is evenly remotely close to being the case. In practice we have plentiful but finite resources, and by far the easiest and most practical way to increase lower end incomes would be to redistribute our existing wealth.
It’s the exact opposite for me. At work, we had 3 monitors, standing desks, great chairs, a gym, free breakfast and lunch, full private bathrooms with showers and towels and toiletries, amazing views, etc. Now I compete for space with some children, a spouse who also works from home, and I work on a 14 inch laptop screen from a couch. It’s a downgrade and I would work from the office if it were practical. We can go in, but some of these amenities are no longer available to us.

Since working from home, we’ve had many more meetings than we used to, which is a drain, mentally. Still, I am almost as productive as I was before, but no thanks to the environment at home.
when mental disorders will be seen as social disorders first and foremost?
I don't buy it. Even when I was working in countryside Europe a decade ago we had better equipment than that and often double display (17" or 19" at the time). Some of the companies even had personal offices or small offices for 1-3 people.

I don't doubt that there are some shitty companies out there that can't get an office chair and a display from this decade, but it's far from the norm.
Nobody’s stopping you from using the web version of Slack or Spotify.

That said I can think of some pretty good reasons.

- Users don’t understand it as well or are less comfortable with it.

- Users’ general preference for logical separation

- Mobile safari doesn’t support browser notifications.

- You won’t get browser notifications if you close the tab by accident

- You lose OS integration, like replying via OS notifications in Slack or using OS Music controls with Spotify

On top of all that a browser tab uses plenty of RAM as well so I don’t really see the upside of using the browser for these apps, either.
True, we should just make everyone high income.
What? Why? How is it not self evident that people with poor decision making skills will, on average, have low incomes?
"premature" is in the eye of the beholder... (or implementer). I've cleaned up a lot of slow code over the last few years, and in most cases the 'fixes' are pretty simple. The pushback was typically along the lines of "YAGNI" and "premature optimization is the root of all evil" quotes, yet... yeah, you know what, we ARE "gonna need it", and adding a table index on a column you're querying on in a where clause isn't "premature". It's industry standard practice.
I'd argue that you haven't really increased incomes at all if you simply double the monetary amount. To actually increase wealth/incomes you'd have increase the amount of material goods, services, and realise improvements to their quality of life.
This is actually closer to ascii art than I expected. The characters retain their monospace grid alignment.

Here’s a later artist that doesn’t align the characters: https://www.wired.com/2011/07/ascii-art-typewriter/
>People with mental disorders, tend to have lower paying jobs, and also kids with mental disorders.

They adjusted for parental mental disorders.
Even at FAANGs you get to work on cramped desks in a noisy environment, trust me.
Developing Wayland Color Management and High Dynamic Range (HDR)
ZFS sucks do not use it .
My favorite plain text presentation tool is `sent` [1]. It is even more minimal but works surprisingly well (at least for me). Javascript-free but only for X11.

[1] https://tools.suckless.org/sent/
I know people are going to talk about income inequality, but isn't this obvious? That it's better to be richer? You'll have more resources and advantages. A common concept where I'm from is you work harder so you can give your child a better life.

My parents immigrated to a country with basically nothing and barely spoke English. I can't imagine what their lives were like, how hard it must have been. I was raised below the poverty line and had free lunch well into high school. They always told me they did everything they did because they wanted me to have a better life. It worked. I am amazed at how far there were able to climb, and it gave me the confident to achieve so much more. My mom routinely calls me a dreamer because I wanted to make six figures. In her world, this is huge, she doesn't understand the world like I do. And, that's okay, she did the best she could, so I achieve so much more. And, hopefully, one day, my child can achieve things I can only dream of.

Life is unfair. The way I see it is every one of us was dropped into a race that we didn't ask to be in. Some of us got dropped further along in the race, some of us got dropped further behind. Is it unfair? Fuck yea it is, but what are you going to do? Stay there and complain? Or are you gonna get busy running.
I completely share the sentiment. But I don’t see a world where companies keep on paying for
their office spaces only to have their employees go there once or twice a week.
stylometry can identify you, or even just the times you are online, what content you visit. We need a browser plugin for this. Some button in the corner of your browser that you click to sanitize your post of any identifying features.
> Because you're there to work.

That’s such a weird accusation. No I’m not. I get paid to work, and I do good work, but I am not there to work. My goal in life is not “to work”.

That sounds absolutely miserable.
Microsoft actually runs a program (policheck) that scans source for controversial comments. It automatically files bugs against the introduction of such comments.

https://www.google.com/search?q=policheck+microsoft
With few exception, it's still not as noisy as having colleagues talking next to you.
Disable the extra TTYs and then erase this information from your long, medium, and short term memory.

‘’’
for i in {2..6}; do
systemctl mask getty@tty${i}.service;
done
‘’’
Most likely inequality has an effect in addition to any problems caused by the absolute level of income. Remember that this study was done in Denmark which has a functioning welfare state (no doubt imperfect of course), so not very many of the people in question would suffer severe physical privation.

It would be interesting to see a similar study in a country where being in the bottom quintile also meant being absolutely poor.
You are welcome, I am glad I could help :)
So who do you ban?

The paranoid prepper advocating for mask use, while all the doctors say masks are useless?

Or antimask denier, who says masks are useless, and doesn't want to wear them, when the doctors say you need to wear a mask?

In my country, you could ban both in a single weekend, when we went from "masks are useless" to "masks are mandatory in public indoor places from monday on".

If you mix politics into this, it makes it even worse... we were listening for four years how the ameican election was stolen, how the russians hacked everything, etc., and now we listen how it's impossible to hack the election, steal the votes, etc. Who do you ban? The conspiracy theorists then or now?

More stupid example? You have religious people in eg. Iran saying that women should cover parts of their bodies, that men don't have to cover. And you have instagram saying that women should cover parts of their bodies, that men don't have to cover. On one side, if you advocate that women should cover up parts of their body, that men don't have to, you're a misogynistic hate group, and get banned, unless we're talking about nipples, then it's instagram itself doing the deleting and banning.
I have an orthogonal approach to rice cookers. I find that the extra features are pointless and were added purely to differentiate themselves from competitors (or even between models themselves).

Of the people I know who use rice cookers, they all use it to make rice, but usage of the other features drops significantly afterwards. After all, do you feel like using your rice cooker to make oatmeal?

My ideal rice cooker has one button: a physical switch, and no timer.
>The Danish modification of the International Classification of Diseases, Eighth Revision (ICD-8) was utilised from 1969 to 1993, with the Tenth Revision (ICD-10) used from 1994 onwards
Chefchaouen, Morocco’s Mysterious Blue City
I was under the impression a Web App runs on my browser, so it's more like edge computing. :p

To be fair, a 100x optimization is not something easy, and if it was, I would probably blame the development team.
Your Web App is a whole lot of code and components in series. An 100x optimization would mean that every single part in there can get 100 times faster, or there is a component that takes maybe 95% of the time and this can be optimized 200x, and the rest of the stack takes 5% of the time and can be optimized 10x.

I do believe that often it's the other way around, instead of a very fast first iteration, people go and build the distributed version that can scale 100x but takes the performance hit that all distributed systems have for network, syncing, etc.

Most of us are using off-the-shelf components, so the space for optimization in our code isn't that big —unless you are a novice developer but compilers go a long way in our time. Thus it may come to choosing the correct off-the-shelf components, like maybe SQLite instead a NoSQL external datastore.
Does this fall under the “No shit Sherlock!” category?
String Interpolation with JavaScript
>Our neighbors drive from California to Mexico for dental work. Often. They have Medicare, additional coverage from a union, and Kaiser.

As mentioned, dental coverage in the US is typically decoupled from medical coverage. (This is the same in Canada.) Your neighbors go to Mexico purely because most things, not just dental work, is cheaper there, as opposed to said dental work not being available immediately. Very different from why Canadians typically travel to the US for medical care, which is either a) to avoid long lines (and legislative prohibition of private clinics to pay more for quicker access), or b) expertise that isn't available in Canada.
If it occurred at exactly the same rate, I'd still expect it to have a downward effect on family income. I mean, it would be extremely surprising if the additional burden of needing to care for a family member with any kind of illness increased income.
This should probably be expressed as a proportion of total economic output rather than a dollar amount. Because ultimately money represents a share of societies economic output.
Interpretation of confidence intervals and Bayesian credible intervals
We could successfully become non-unique (~10 bits) with 2 approaches:

1. TOR browser on Safest setting

2. Firefox using the strictest privacy settings except allowing 1st party cookies, and using Private Browsing; toggling privacy.resistFingeprinting to True in about:config; and using the uBlock and NoScript add-ons

These were successful on both desktop and mobile (except iOS)
Seems to me that everything then would simply become more expensive to sustain Bezos's (or others') wealth?
"I want to take you back to 2012. I was working for HP, leading the R&D group"

Please don't take me back to hp in 2012.
Too bad FreeBSD is a crappy operating system.
Previous discussion: https://news.ycombinator.com/item?id=20898538
> I would say Linux people should use Linux and Apple people should use Apple. No problem either way.

You make it sounds like it's a simple as "take vanilla ice cream if you like vanilla and take chocolate if you like chocolate".

It's not, if you read the comments, you realize there's much more to the debate, it's about ethics, the future of computing, our societies, monopolies, privacy, independence, freedom, and much more.

From food to clothes to electronics, there is an ethical choice behind what you buy and we shouldn't reduce it to "pick your favorite color" without considering the monsters we are feeding by buying this or that product.
Wow I saw your photos and wondered if you work in the same company as me. My office is nearly identical. Turns out its kinda sad that its the other side of the country, in a completly different industry. I'd rather work from office too though.
I think you're fundamentally misunderstanding the architecture, capabilities and relationships between observable and observablehq.
Not having a button next to each cell to edit it in place, is not going to impact your productivity in any way, when you can just edit the cell in the window to the left.
Wether it's below or left isn't a meaningful difference, and shouldn't have an impact on wether or not it's a suitable replacement or superior/inferior to other notebooks.

Hope you'll look at it again in the future. In a sense it's your loss, so good luck and take care.
Ha! I'd rather just use beamer and a single verbatim block for each frame.
wow! game changer for me.
> Humans were never intended

intended... by whom?

> we’re social animals

Yes, and we've been working in our homes (with workshops in them) for the majority of recorded history.
Graviton2 isn't low power. It's still a 105w soc. And since you need more of them, that's more motherboards, more RAM, more drives, more networking, and more power supplies. Which all has both up-front costs and ongoing power costs.

It's only being positioned as a lower cost mid tier offering because it's uncompetitive otherwise. It's almost certainly not even cheaper to make. The monolithic design will be more expensive than AMD's chiplets. Cheaper for Amazon maybe, as obviously AMD is taking a profitable slice, but that's a slice that can easily be adjusted should Graviton start looking stronger at some point.
You can't have uninterrupted but also get the benefits of face-to-face interaction.

Those face to face interactions or the hallway discussions are the thing that prevents the first.
Show HN: How to get more value out of your notes and bookmarks
Indeed. It's a classic. Top notch Unicode support. I think some of the fonts in that list are actually forks of DejaVu Sans Mono, e.g. hack.

https://news.ycombinator.com/item?id=10141120
More examples: https://www.youtube.com/watch?v=SEoe1IHyA0E
0.1% of the population is a big number. If we had some mechanism in place to prevent starving, would you be keen to save lives?
>A significant minority of Canadians agree with me, so it's not like this is some radical position.

Various Canadian politicians agree including Prime Minister Jean Chretien, who secretly traveled to the Mayo Clinic twice in 1999 (https://web.archive.org/web/20100204202553/http://www.montre...) during "ski trips" (https://web.archive.org/web/20160624132234/http://www.ezrale...).
My company had the same next to the head office for over a year. New building going in next door. Jack hammers 24/7/365. Can happen anywhere urban.
The whiteboard experience can be replicated with realtime visualization/collaboration tools. Just saying..
Feds arrest Romanian duo selling FUD malware crypters: CyberSeal, DataProtector
Law enforcement agencies including the U.S. FBI, Romanian Police (Poliția Română, the Australian Federal Police (AFP), the Norwegian National Criminal Investigation Service (Kripos), and Europol were involved in the operation.

The malware "protectors" and testing services helped malware authors make their samples fully undetectable (FUD) to leading antivirus products.
US navy test new laser weapon
It's just a matter of time before they mass produce it on a small scale to target protestors and the like on public streets.
Yeah, well when running remotely it must come back by itself every single time, and I was unable to get reliable results over 6 months of testing. It might 3 months until I can travel and replace a nonbooting instance, and I will not even know what is wrong!
Ask HN: Have you picked up any new skill from scratch in your 40s or later?
I'm not talking about learning programming languages if you are already a programmer, but more like something totally different from what you do - like a new human language, new sport or music or any skill late in your life? 40s or later? If yes, what is it and how did you learn?
You'll be lucky if you get Teams to work in a 300mb. I regularly see it hitting 1GB. The fact is though that even if it was implemented as a native up it relies so much on web views for its addons which would probably not give much benefit cause it would need to run tens of webviews as a native up to have the same functionality.
We cant do anything about our fingerprints. But we can make sure no one knows who the fingerprint belongs to.
Guide to Secure Sensitive Files
Neither of these types align with my definition of a 10x engineer. From my experience, they are engineers that understand both product/business as well as the technical side such that they can drop requirements that add a very small amount of improvement and in turn it significantly reduces implementation cost/complexity. They have the ability to instantly visualize system design and architecture for any features/new items enabling to quickly make these realizations and move fast. At the end of the day the ROI is what matters and SDE resourcing/capacity is the most limited resource. I have seen 100 SDE week projects turned into 4 weeks from individuals with this skillset.
The viewport can be filled neatly by html/css. No javascript required.
I've found this problem WFH. At work all social media is blocked but at home its a huge distraction.
Interesting!

Anyone know the git invocation to put in cron?

edit: probably this? https://git-scm.com/docs/git-fsck
What you're talking about reminds me of the horseshoe model of politics. I've always found it fascinating how corporatism is so similar to aspects of communism, or how communist bureaus in some ways are very similar to corporations with huge market shares (de facto monopolies, with only token competition being allowed). A corporation of course works under the system of capitalism, which is often said to be the antithesis of communism. Yet the outcome of either model goven monopolist tendencies and largesse is strangely similar.
Maybe things have gotten better but I worked at a couple of large engineering companies in London 5-10 years ago and cramped, shitty, open plan offices with cheap ancient hardware was very much the norm at every place I worked at and visited. Coming from offices in Norway and Sweden I was shocked at how terrible their working conditions where.
Budget money printers machines For Sale
Telling people with mental disorders to pick themselves up by the bootstraps because life is unfair is a bit ridiculous.
We're finally coming to this stage where WFH doesn't seem fancy anymore. As a person whose worked remotely for a larger part of his life, I'd always missed the water cooler conversations and camaraderie people shared in office.

With the pandemic bringing lockdowns, a lot of my colleagues thought work from home is great as they could stay in pyjamas all day long.

Finally, as we see ourselves away from office in the near future, people are realising WFH isn't as fancy as it seemed. After a while it takes a toll on anyone and feels like living in a cage/prison.
This is the part that I don’t get, why must it be so hard to get proper tools for the job.

Having a fast NVMe disk, 16/32 GB of ram and a current generation (or previous generation) CPU should be the standard for a developer.

Apart from that there is the crappy office keyboard, mouse and all too small mousepad. Fortunately those things can be replaced without much issue.
looks extra promising. But I cannot run it on windows. I installed it with py -3 -m pip install qpython but I cannot figure how to run it.

Also - does it have some sort of built-in manual like Qbasic had?
Most projects have to start (geographically) somewhere, so there's a decent chance it would originate in one region.

That said, it'd benefit from genuinely global co-ordination, since that'd reduce unintentional local cultural biases.

Language barriers become an issue in a global environment, although the concepts underlying data and science are more concrete than the words we use to communicate them.

Presenting the findings in an easy-to-understand format that is readable worldwide and that could inform decision-making worldwide is also a challenge.

But to get back to your question: yes, it'd be feasible in a non-global setting, although that would (I'd expect) result in platform blind spots and perhaps even the kinds of bias that allow harms to perpetuate in the first place.
That doesn't work as written for uncountable sets.