skysight-inc/HackerNews huggingface dataset:
Thank you for the perspective.

Assuming you are correct, is there a way to reset expectations without blowing up the department? Not that we shouldn't be striving to be ethical, but it is clear that Google doesn't like the direction the team is heading.

If Google is truly interested in the thorny issues of making AI as ethical as possible, can it do so without tackling the (seemingly insurmountable) issue of social ethics? And if not, do we just throw in the towel and cross our fingers that AI doesn't hurt us too much?
No. La Berge showed that lucid dreamers can reach out to their external environment (dreamer->experimenter), he did not show that they can react to external inputs (experimenter->dreamer).
Covid wasn't caused by meat production, it was caused by shitty hygiene. That's why the West eats so much meat and creates so few diseases. What we need is more places to take on hygienic supply chains and so reduce bush meat and wet market participation.
I have to agree. But I've been too lazy with my personal blog to make an impact.

Hopefully the medium (lower case) shouldn't affect the message.
I'm not an expert in energy consumption between localities (much less countries), but one thing to consider is house construction.

House construction in the Netherlands and Germany are likely far different. Both places are much cooler than Texas on average. From what I've glanced at, average summer high temperatures in the Netherlands and Germany are around 25C. In Texas, it's around 35C.

In Texas, with its long and oppressive summers, houses are constructed to be cooler inside than it is outside. This is great during the summer. Not so great when it hits -17C outside.

So to get their house warm, Texans are literally fighting against what their houses are engineered to do.

Also, energy efficiency and weatherization isn't well-regulated in Texas. So you have old, inefficient houses that are designed to stay cold.
It would be helpful if you fleshed that out a little, I'm curious about how you think insights from logic helps people program. I don't think I could deduce whether a developer knew or was ignorant of formal logic in a code review. Unless they give it away with a rather direct comment.

Recognising that a programming language is equivalent to some mathematical construct is a very different thing from getting a practical insight about what decisions to make. My shirt is some sort of topological embedded space, but the tailoring as a field has not gained much practical insight from the study of topology. Although I would encourage any aspirations the tailors have might have to a broad education.
It wasn't a mutual agreement. She wanted to keep her job until she was back from vacation at least.[1]

[1] https://twitter.com/timnitgebru/status/1334341991795142667
Where are you getting that from? The github repo (https://github.com/koreader/koreader) lists many supported formats and features, including epubs.
In my experience, other industries or even technology fields tend to be more deliberate and methodical, regardless of what framework is being used. I’ve seen Agile used with great effect in other domains, and I’ve also seen plenty of operations that didn’t use any brand-name framework at all because they simply sat down and mapped out the flow of their planning, delivery, and feedback loops.

The unique thing about software is that it feels like we can move faster, deploy quicker, and correct mistakes easier than something like a construction site or a hardware project that has multi-month turnaround times for each build. Software feels so malleable and quick to change that we’ve developed an attitude that it’s better to ship something quick, look for failures, and then correct where necessary. Most of the time it works, because if you’re not the company shipping as fast as possible then your competitors might catch that market share before you have a chance to ship your well-designed product.

There are always exceptions, of course, but software is the field where I see the most hatred of process in general. The other domains I work in may not love the process, but they’re not at war with process and management like the software developers I’ve worked with (and been).
Name a popular C lib that has not had memory safety issues.
Fine interview about Deno and other thoughts by @ry.

Off topic: I hate the way this site replaces hyperlinks with some JavaScript-enabled thing ("ssjs"?), probably for tracking purposes. Cannot hover over a link to see where it goes, nor right-click to copy. Terrible for accessibility.
is there a list of acomputer languagesn(dead or alive) and spoken languages (dead or alive)? Would like to see at what time computer languages are likely to outnumber spoken language.
> profound insights from category theory on how to write code

Sure. But as u/feniv hinted upthread, I'm also optimistic about the impact on language design (noodling).

I too have a hobby toy language. For the type system, I just want to use the best available science. Hopefully something practical, easy to explain, simple to use, with good enough ergonomics.

While type theory is really important, it's just not my area of interest, and I'd like to defer to the experts.
The same exact process you painted has a direct analog in tech businesses right now.

I think the problem is the hierarchy.

A development organization is an amplifier that brings a new capability into existence. Currently, organizations have to get big to amplify what their qualities. But to get big to achieve its goals it needs to be hierarchical, and because the hierarchy and the practitioners are the same folks, the org structure becomes the product.

The goal of the organization is to maintain its structure. Innovation happens when you have less structure. How do we scale, and maximize the organizational power while enabling create autonomy?
>I'm very confused, if you don't need a visual user interface, why bother with a windowing system?

Hi, so let me tell you an example I use, just so you have a broader perspective of how some people use their desktop.

I have eye problems so it is hard for me to read text, so I use different built in tools but I also create my own scripts combining CLI tools using bash or python.

One such script I use to have dialog from different text heavy games read to me, if the game/engine is open I can patch it to read the text directly but if is proprietary I use this following script

1 grab a screenshot of a section of the screen use a CLI program, I do not want a visual tool to be shown when I run it

2 using same CLI tools I apply transformations to the images, like grayscale and other stuff

3 I OCR the screen, image to text

4 I have the text read to me

My script uses cross platform CLI tools, it would work the same in all Linuxes, Windows and maybe OSX (did not check if all those CLI ones work on Mac but I think they work)

It would suck if I would not be able to use this CLI tools n future and have to make a GNOME/KDE or other DE extension
2 run some other transformation
Wow, thanks for the background on this. I lived in Japan previously and I had always assumed that there was no Shinkansen to Narita due to airline lobbying. Most international flights go through Tokyo. If you live in Nagoya or Osaka and a direct Shinkansen connection was available to Narita for your international flight, I think a lot of people would choose to take the Shinkansen to/from the airport rather than the domestic flight.
> I wonder if it was intentional or just a matter of priorisation.

Find it hard to believe it wasn't intentional. The class associations with iPhone are quite strong.
Of course - why do you think the story ended?
Yep. I still believe in those values.
We just need to get back to them, and
not buy Agile courses :-)
If you're set up for it, you can always set it up on a sandboxed SSID with access only to the internet (or even just to sites you choose, like an FTP server of your ebooks). This is probably a good idea with most sketchy gadgets that "need" access to the "internet" but will probably be off the table in coming years as it gets cheap enough for manufacturers to embed 5g connectivity if they want.
I think the notion that BTC or Ethereum are actually decentralized digital currencies is the biggest farce of the last 5 years. A small concentration of miners (mostly based in china) control the vast majority transactions and will continue to so based on the increased difficulity that only large economies of scale will profit from. Middlemen(brokers and exchanges) charge fees just like banks do to transact and store. The transaction fees on the chains are equivalent to that of just sending a bank wire, and your wallet is no more secure than a bank account (can still be hacked) and not FDIC insured. Where is the benefit now?
Do you guys think cutting pizza into more slices feeds more people too?

For the record, Nano is the most useful and currency-like of the many crypto coins that I have seen.
Ahh .. thx, in that case, the title is a bit misleading.
Nothing gets resolved in offline arguments either. That isn't the point. The idea of a non-factual disagreement is that both sides get to make a case and state their perspective, and everyone learns from it.

You self-selected to be here on hn, just like the rest of us did. In a sense, this is a bubble of a certain kind of thought and perspective. But it's a really big bubble that has some diversity.

I think the key is to avoid situations where you're constantly exposed to vehement disagreement. On hn we mostly respond to posts individually and get into various disagreements along the way. I think this is far preferable to something like a political discussion site, where both sides end up arguing the same philosophical issues over and over again.
>Is there a list of those colleagues that did the ridiculing?

It doesn't matter anymore. Those names will now have switched over to the winning side, probably claiming they were agreeing in secret all along.
Agreed, but hypercharisma is likely rare and distinct from people in the high-normal range who just happen to have social access.
I don't need any contact with Microsoft to tell you they regret making that possible under windows. It is a security escalation just waiting to happen. Yes those scripts done well are useful, but the abuses are bad.

I'm sure Microsoft wants to rewrite their api. There are a lot of issues with it that are obvious with only a little knowledge. Those who know their api better than me can probably propose a better replacement than I can. However a replacement is tricky as Wayland shows, so I can't blame them for not going forward with it (at least not so far )
New malware found on 30k Macs has security pros stumped
> Nano only uses PoW as a means to discourage spammers similar to how it's used in emails.

Email does not use any such scheme. Although people have invented a couple of things along these lines (most notably, Hashcash was an email thing a decade before it was used in Bitcoin), none is widely deployed or likely to be any time soon. Yes, there is some cryptography preventing counterfeiting emails (DKIM, ARC), but that’s just signing, not deliberately-expensive-to-compute proof of work hashing.
Do you have a sense of at least order of magnitude for the interest rates? Like, is this a "up to 0.25% annually" situation or is it something more substantial?
They have the most genius game mechanic/ economic model.

So... You play the game to get loot. The more you play the more loot you get. So of course you wanna save the loot. So you put it in your stash( all players start with 3 stashes) , for safe keeping. The better it gets more loot you get. The moment you start getting the feel of the game (it is one deep game) you discover trading with other players. To trade with other players you discover premium stash tabs.... One tab is around 5 usd. But u need to buy game coins so u always have almost enough for one more stash.

So a premium tab is like a store front where u can display items for sale to other players. So naturally one starts buying more tabs. And more tabs. And then there are the specialty tabs that organize all the loot. Coz why do it manually when u can pay for a stash that auto sorts loot while you gather even more loot...

And suddenly you realize. You have 27 stashes for a total value of 300 usd... Most you have bought one the weekly stash sale.

And that is how PoE is financed. No walls no hidden stuff. Just loot.

yeh also cosmetics in case you wanna look good gathering all the loot.
Think Pavlov's 'roo...;)
This is a desperate attempt by fading print based companies trying to replace that income by a tax on us all.
Facebook could pay 1 cent per click and pass that to the facebook subscribers, (weekly/monthly total clicks via credit card ??). Few would pay, choosing not to click. doing this they hope to attack the upstream FB revenue stream in a bulk manner.
That school is basically daycare (or a prison to some) is something I read often and there is maybe a tiny bit of truth in it.

But a school is also where you learn to read, write, speak, maths, some physics, some chemistry, etc.

In doubt I put my kid, from a very early age, in a top-notch private school in english (she's not a native english speaker).

My thinking being that, even if it's daycare/prison where nothing is taught (which I don't think is the case but I'm at least entertaining the idea), she's at least learning to speak english fluently : )
I mean, I'm not arguing that it's all cultural, or even epigenetic. But claiming that humans have nature X because chimps have nature X is definitely cherry-picking data points given that bonobos are just as closely related to us and behave very differently.
That's what I said though. The goal may be different, but the process is the same. And while it's not what it originally meant, using gaslighting to mean "manipulating someone into thinking something untrue" is probably pretty common.
Show HN: Boardly – Free, Simple Planning Board. New Hotwire Project
There is a Bitcoin etf on the TSX since this week, both in CAD and USD
Comparison of Working for Bezos vs. Zuckerberg
This is a situation, up with which, I shall not put
Another point of order: Switzerland might be financially liberally oriented but the political landscape is largely conservative and right leaning.
Until yesterday, nobody, including staunch critics of the law, had claimed that Facebook/Google may be required to pay when users shared content from sources like the Bureau of Meteorology or indigenous health services. Nobody lobbying for the laws or voting for the incumbent government would have supported the law being written that way. And now that they've backtracked on blocking that kind of content, Facebook doesn't seem to believe it either, or they've realised it was a losing move to block that kind of content without further discussion.

A winning move would have been for Facebook to run an information campaign pointing out that the law was written badly and that it could have had unintended consequences. Separately, they could also have said it's not worthwhile to pay when users share commercial news content in their feed, so they would be blocking that. It could easily have been done in a way that people would understand and respect, and would have allowed Facebook to seem reasonable and for the AU government to seem unreasonable.

The move they've made instead does seem to have been an emotion-driven, and possibly directed by Zuckerberg himself, as he'd been in direct communications with senior AU government figures shortly before the ban was applied.

The move is obviously not designed to protect Facebook commercially/legally in the short term, as the laws haven't even been passed by both houses of parliament yet, let alone come into effect. So it's just intended to make a political point, but making it a very unclear, petulant and counter-productive way.

Or, hey, given how much we’re taking about it now, maybe Facebook knew exactly what they were doing.
The Boredom Economy
It requires the newest version of iOS too, it's the only app my iPhone 7 won't run.
As Israel Reopens, ‘Whoever Does Not Get Vaccinated Will Be Left Behind’
> Fourth, there is no Bitcoin tracking security on public markets

Because of their big purchases Microstrategy stock (MSTR) tracks Bitcoin pretty well.
Depending on how life expectancy is calculated even a slight increase in deaths may skew the formula. Because the formula might essentially assume that same amount of deaths that have happened this year will continue to happen in all the following years, when in reality it is not that and it may even likely be less.
That's some inside baseball observation by her. See NSCC Procedure XV, on (virtual) page 294/385:

> Each Member of the Corporation, except as otherwise provided in this Procedure, is required to contribute to the Clearing Fund maintained by the Corporation an amount calculated by the Corporation equal to:

* https://www.dtcc.com/~/media/Files/Downloads/legal/rules/nsc...
>Has that been studied?

Depends on how studious you are.
Presumably, instead of TSA, you'd need TTSA instead (Tens of Thousands Standing Around).

There's a certain minimum staffing level for any TSA checkpoint and the overhead doesn't scale down linearly to checkpoints serving fractions of the lanes today. I don't know what the minimum is, but it seems like it's at least 7 or 8 (1 on ID inspection, 1 on baggage scan, 1 on backscatter, 1 supervisor, 1-2 on baggage manual inspection who could also metal detect/manually inspect wheelchairs, 2 available for "male/female assist", 1 supervisor)

Surges are also better handled by centralizing the checkpoints. Whatever lounge is headed towards flight 123 is going to have a much more spiky load on security than the average of all gates in a current-design airport. If you have a queue at security outside the single lounge, are you really going to close the door and tell everyone in the queue they're missing their flight? Or will you put pressure on security to overlook things to keep things moving (providing an obvious attack vector for adversaries)? Add it all up, average it all out, move it 100 meters away, and a security delay seems more reasonably a passenger fault to arrive early enough.
Symmetric and asymmetric behavior baffles me. Any progressive papers on the independent relationships between infinite limits, finite quantities, and asymmetric phenomenon would be much appreciated from the homestead.

Also, what is the dependent relationship between stable states and non-stable state systems? Is it more simple than thought before?
Hm yes. For instance the monoid of endofunctions on S would require one to prove that f . id = id . f = f. In vanilla dependent types this needs the extensionality axiom added, but in category theory it definitely is fine to speak of equality between morphisms with the same source and target.
You are giving a lot of weight to the originality of academic institutions and their platforms as authorizers of knowledge.

There are plenty of examples of people knowing things, or seeing things as obvious, which are only much later acknowledged by academic research.

You are welcome to base your reality on what academia publishes, and accept that authority, but let’s be clear that this is what you are choosing to do.

Also, it’s worth looking at the majority of comments on this post. Most of them also appear to assume that the research’s result was obvious.
> Unofficial Clubhouse app for Android. Inspired by https://github.com/stypr/clubhouse-py.

As new hyped up social networks come along with missing things we have this. I can only see this unofficial app eventually withering away as soon as the Android app is ready. (Whenever that is)

The main concern is the private API. With this, individuals can abuse the API very easily. If the invite system is phased out, it creates an opportunity for bots to ruin the app.

Here we go again.
TBH, almost all internet discourse is:
Post strategies:
'<statement to grab internet points from like minded folk>'

Reply Strategies:
'<Agree collaborate to get basked glory points>'

or

'<take down, by proving status difference between op and self - either by lowering op(insult /humiliate/mock/intimidate) / raising own status (showoff based on anything)>'
There are a number of reasons why this is the case. America is very spread out: we have hugely more infrastructure to maintain per person than Europe. We also underwent a colossal post-war expansion fueled by a once-in-a-nation's-lifetime economic boom, and the results of that are very costly to maintain. I also believe that Americans are more price-sensitive with respect to taxes than Europeans are: we are willing to put up with worse stuff to avoid tax hikes.

You're right that there is a problem, but the traditional solution of just maintaining it better does not appear to be a workable answer.
Get to persuade people offline.
Texas has a deregulated market, so there's a wide variety of pricing structures.

When I lived in central Texas, I had an electric provider who was month-to-month and updated prices probably once a year.

I currently live North Texas and have a 3 year contract with an electric provider at a fixed rate that was established when the contract was signed.

And then there's people using Griddy, which uses current market prices. It's like daytrading, but for something you can't live without.
I think teaching made Python what it is today. First, so many introductory courses have been using Python, and the more advanced courses (outside CS) followed. Second, I also think that there are (many) more people doing mundane stuff, like web development, than data science.
It has zero to do with racist research (the same findings apply to historical Europe) and your assertions here are just factually wrong.

Here's a study on middle ages Croatia where 20 percent of skeletons showed cranial fractures (which doesn't even include murder by flesh wounds):

https://onlinelibrary.wiley.com/doi/abs/10.1002/ajpa.22083

Here's a study on London cemetaries which found a 7 percent rate (again this excludes murder by other methods):

https://onlinelibrary.wiley.com/doi/full/10.1002/ajpa.23288

"e.g. famine or other loss of resources, usually man-made by outsiders or despotic rulers"

Demonstrably wrong in the case of the Waorani. It was a blood feud going back generations, long before any contact with other societies. So yes, a Leviathan would've stopped it.

https://www.nature.com/news/2009/090511/full/news.2009.463.h...
You could favorite the post and add a calendar reminder but I agree it would be a useful HN feature.
Unsurprisingly, Wikipedia has both.
This specific thing has been seen in practice, it was fairly regular occurrence back when I contributed to OSM and a source of lots of similar complaints as this article at the time. In fact, often the argument was framed as automated vs human editors as some non-corporate large-scale data imports had gone badly wrong too.

Even at that time though, it seemed like the corporate support was, on balance, a positive thing. The main worry at that time (for me anyway) was some corp getting smart and pitching themselves as a middleman for other big corps. Luckily the contenders all got slurped up by big corps in a feast of mutually assured destruction, and since no one could trust their future to be built on a competitor's playground, they seem to have all defaulted to OSM.

Similar to Linux, having a diverse set of medium sized corps on your team (and maybe a few really big ones that see you as a complement, not a competitor) seems to be a winning strategy.
Is it sexual harassment because it's in the workplace or it's because the receiving end didn't like it/the flirting person or because flirting IS a sexual harassment?