skysight-inc/HackerNews huggingface dataset:
I'm curious as to whether LEAN is the right choice for this. LEAN is rather hard to parse, and complex, as a consequence of being designed for use by humans. Perhaps specifying the problem(s) in a small superset of first order logic would be better?
Not touching 4 digit numbers is a good variant idea, I might do that, it would only be a one line of code change.

I also still think an alternative world where we decided to use font shaping for digit grouping would work out better, it would just maybe have different conventions. Numbers that you manually separated wouldn't be touched anyways unless you use any group longer than say 4 digits.

For contexts with long identifiers that don't represent quantities like database IDs there could be a stylistic convention of prefixing them with a @ or something instead of a manual stylistic convention for quantities. Then maybe your font could do something cool to make it easier to tell when two big ten digit random numbers in a column are the same, like a pattern of underscores based on hashing. Also having digit grouping in your meaningless IDs is way less of a problem than not having digit grouping in your quantities.
I trust my compiler more than Facebook
Where are you based? The majority of properties in the UK are brick.
My mistake, you are right. Fixed now, Thanks.
Dex looks very different from Julia, particularly in the type system. Julia is fundamentally similar to a cleaned-up Matlab or R, with some extra tricks on top (e.g. multiple dispatch and macros), and a very good and polished implementation.
https://github.com/g0v/vue.vtaiwan.tw

English translation anyone?
ripgrep is included in some linux distros standard now.
Blend Modes
If you have aliased pixels, gifs can compress much better than video formats. It's really a shame when sites like twitter mangle those files into worse-looking and larger video files.

And as a side note: png does not strictly compress better; sometimes the ability to use palette indexes that are smaller than 8 bits is an advantage.
The comment has since been edited to show 'Denmark' instead.
> this sounds like a strawman to be honest because I haven't heard anyone rant about illegal music since probably 15 years

This is the real strawman, as nobody on this entire thread is talking about illegal music. On the other hand, there's a strong and persistent thread of calls for tech platforms like Facebook to control "malicious or illegal" information being spread on their platforms: an obvious example is the NZ shooter's manifesto + video.
CLI tools have pretty strong needs to be self contained exes that start up fast. That rules out a lot of the more popular languages.
Your Impossible Labs looks cool btw, glad you are doing this!
That seems like a lot of work and you're ultimately not going to be able to use this in full deployment. Docker models and maps tobcloud infrastructure quite nicely and that's a reason it popular.
There are many things I like here. I'd like more information on how they intend to integrate sizes into a Hindley-Milner type system (particularly the dynamic sizes), since that is something I am struggling with myself[0].

[0]: https://futhark-lang.org/blog/2019-08-03-towards-size-types....
Surely “mouse” is not a particularly modern artifact. Remember Scotty from Star Trek trying to talk into one?

Mouse was because you couldn’t manipulate directly, iPad you can. Keyboard is because you can’t talk to it. But now one can.

As for not driving a car... why would you need to know how once it can drive itself better? The car’s purpose is to get you from A to B, not to be driven.

Clearly we are on an appliance trajectory there as well. Knowing how to drive is a skill that only a few generations may ever need.
Nope! We don't teach anything Google-specific, we focus on teaching programming fundamentals that apply to any technical interview.
If you're ditching the scroll bar, maybe just add a dark triangle to the lower left corner of the screen, just a few pixels, as a "continued below" indicator. Have it disappear when you're at the bottom.

That's the most minimal UI element I can think of that would people if they're at the end of a screen or not.
I recently built something with PyQt bindings and it works really well:

https://gitlab.com/djsumdog/mpvbuddy
various studies have shown that harshness of penalty for violent crimes has no deterrence effect at all.

maybe it would work for white collar crimes, sadly we don't really punish those at all.
This is certainly how I feel, but "damned if you do and damned if you don't" doesn't imply that the level of damnedness is equal. The balance between fettering "malicious" speech/activity and preserving privacy seems to be strongly tilting in the mainstream towards the former recently; "tech platforms have a responsibility to heavily police the content on their systems" is apparently a lot more resonant with most people than "tech platforms should preserve the privacy of their users".
It shouldn't cost anything at all. SMS piggybacks onto the signalling paths of GSM, which had 128 bytes unused, that can fit 160 characters. Your phone is sending & receiving those signals anyway, regardless of if you are sending an SMS message.
I hadn't seen that study before, and I have a lot of thoughts on it. Most of all I'd be interested to see how it changed. (For one thing, the term "transsexual" now is feels so dated it's borderline offensive)

To briefly sum up a very complex issue on which I have a lot of feelings, I find that it's more common for transfeminine people (vs. transmasculine ones) to wind up in a kind of "uncanny valley" of gender that some people struggle and are uncomfortable with. I think that with growing visibility and acceptance this is probably improving, but it's still very real.

I think a result of that is that comparing MTF vs. FTM people is that it's not a good comparison of women vs. men in the workplace. The fact that society has a much more negative view of transwomen confounds the entire thing.

There's also, very anecdotally, a pretty sharp divide in how more passable transwomen are treated vs. less passable transwomen. I think I'm in the former group, but it's all very complicated and not something I fully understand myself - how can I really know how others see me?
This is a useful site for me. Though not (only) because of the intended usage, but because of having a list of websites and services by topic curated by the developer community (who else adds a website by pull request?)
America has that concept encoded in the fourth amendment and the law built up around it.
This is as painfully true as it is down to earth.

Zooming out a bit, a less cynical take (merely observation) is that we seek what we think are the right means for our goals (and these too diverge a lot).

Maybe I want money, maybe you'd rather have love of the people; maybe we just both wanna make this world better, maybe we're mostly in it for ourselves.

The point is, industrious types seek the means to industry, romantic ones seek an emotional path to/of success, technical minds seek the knowledge or practice of their puzzle, etc.; and in the end everything is just as it should/cloud/would have been. There's a reason you asked 100%, got 75 and I let you walk away with it. However I'd want to spin it, it just had not mattered to me as much as it had to you.
Maybe I'm being foolish, but isn't the point of e2e that Facebook wouldn't even know what you were sending (a link or otherwise), it being encrypted in flight?
Glad you responded! Lots of thoughts on this.

The estimates are sure to be not exactly right. But I don't let that hold me up!

I see sooooo many people get stuck because they can't figure out "Well is it 700 billion tons of carbon in the air or 900? Will the the warming 4 degrees C or 5?". "I can't do anything if I don't know exactly what it is".

To me it's all just an excuse to do nothing. And I understand it, it's a relief to feel powerless sometimes, "I can't do anything about this, oh well". But we have to fight that. I know there's more carbon in the air than we know what to do with, and we have to take it out. Current capacities are so much smaller than any estimate of the order of magnitude, that my role is building, not predicting.

We do need more modelers and monitors. However, there is a diminishing return to modeling and modeling and modeling. So we need 10X more modeler and 100,000X people building and taking action.
Isn't eInk a bit like OLED, but way more ahead of our time?

I think it's a cool technology, but probably needs more money/time to be general purpose.
> I think it's more of a remnant of a primary-employer-as-patron model of thinking that still permeates much of modern society as something of an echo of feudal social relations

As always, I'm never sure which side of Hanlon's Razor to fall on, since the level of stupidity and the level of malice required for either explanation are off the charts
Hybrid Camry is 3572 pounds maximum [1]

Weight of Model 3 is 3627 minimum up to 4,072 (extended range, extra batteries, which are heavy.) [1]

Model 3 has the lowest probability of injury in a crash of any car tested by NHTSA since 2011.[0]

[0] https://cleantechnica.com/2019/03/14/tesla-model-3-vs-toyota...

[1] Google Camry weight; Model 3 weight
There used to be a site that did exactly this on purpose. You basically entered what you were aiming at, and it found graphs that appear to match it. You could correlate just about anything with it.

EDIT: This is not the same site I was thinking of, but the results are just as delightful: https://www.tylervigen.com/spurious-correlations

I don't care how you slice it, there is clear evidence of a correlationship between cheese consumption and dying by getting tangled in your bedsheets. Graphs don't lie.
+1E30 for this book; it was wonderful and I basically have the audiobook on repeat. It’s fun and filled with countless delights. The TV adaptation was great too (I saw it before reading the book, and as always The Book Was Better.)
We still have a long way to go to become more efficient, which is a way to continue growth without increasing our burden on the planet. Of course the issue there is that efficiency gains can only go so far, and you run into diminishing returns rather quickly.

Also, economic growth does not necessarily rely on increased production of physical goods. If people stopped paying for physical toys in lieu of software, for instance, the economy very well could grow while the physical footprint of the average person decreased (all else remaining the same). If people preferred experiential entertainment such as movies, escape rooms, etc more than e.g. boating, that could also result in economic growth while physical consumption of goods decreases.

But, while we can continue to grow economically without increasing physical consumption (all else being equal), the elephant in the room is that a very large portion of the world does not live a life even remotely similar to that of a wealthy, developed country resident wrt physical resource consumption. So even if we in rich countries maintained our resource usage, global demand for physical resources will continue to grow rapidly as other parts of the world develop. So are we willing to consign huge swathes of the globe to eternal poverty, or will we actively decrease our resource consumption?
Ask HN: Internet during PG&E outages – ideas?
So, PG&E is cutting off my power again. And Comcast usually lasts only 30 mins after the power goes (despite me having generator power at the house).

I’d love to pick the community’s brain on what I should look at for backup here. Cell phone coverage is crappy on a good day, and goes away when power goes. Thinking about satellite, LOS wireless broadband - anything else I should consider?
You can safely share a contact link from https://contact.do, which is connected to your email
Tl;dr be a stereotypical feminist. I expect higher quality content on HN.
The BBC article (see dupe link below / https://www.bbc.com/news/world-europe-50180781 ) says their provider agreed to "bail them out"... I think the easiest thing for the scientists would be/have been to talk to whoever is providing the infrastructure.
Why is that divisive?

All she's saying is that she recommends trying to do business with and otherwise promote powerful women, if you can. It's not always possible. But being aware of it is a positive.

I have a hard time seeing how you can get so offended by such things. (I am a single dad of a daughter, so I start thinking that way myself)
LZW is a lovely algorithm. It's simple enough to explain in a page of pseudocode and fast enough to run on 1980s hardware easily. The compression rate is "good enough." If not for the patent issue, there'd be no reason to switch to the marginally better Deflate (which was only created in response to the patent). A shame Unisys got greedy and killed it before its time.

Though that's got nothing to do with why GIFs got so popular. That's purely because GIF is the only format that could display animations on every browser since 1995. The timing of PNG was rather unfortunate - the PNG team had decided on not supporting animation because GIF animation was rare and adding it to the spec would've unnecessarily complicated things. They froze the spec, planning to submit it to W3C and IETF for standardization - and then Netscape, in full "move fast and break things" mode, released Navigator 2 with animated GIF support. So soon every GeoCities page is full of annoying sparkly GIFs, PNG only lets you make boring stills, and we've got to support both formats forever.
Lopsided equals sign
Patent troll efficiency is a byproduct of how much it sucks to enforce a patent

These are pure evolutionary pressures from rational entrepreneurs that are subject and victim to this IP system
I have a proposition for you. Please get in touch: https://contact.do/toni

Peace!
Microservices in action.
Dial-up will work during a power outage, so long as you're not using VOIP.
Gif: loads (slowly); plays.

Video: loads video player controls (slowly); waits; doesn’t start playing; starts playing but doesn’t let me choose volume quickly enough; stops playing; loading; jumps several seconds; appears to be at the end but isn’t finished loading; won’t loop; try to rewind or jump to position; doesn’t work; UI controls appear to have disconnected from anything; can’t rewind replay or watch; get annoyed; reload page entirely or quit it.

This is where you dismiss everything I’ve written with an “it doesn’t happen” because “you’re sure” videos are “perfectly playable” and “obviously work”, but you’re wrong, they don’t, they have glaring huge UX failure modes I hit all the time for years on mobile Safari with a normal person not mega fast internet connection.
Part (or the whole?) of the problem is the amplifier isn't reaching the "rest" of the country, but rather selectively isolating who does and does not receive the message. Newspapers were visible to all. When I pick up a broadsheet to read I know that I'm choosing a particular source of information; and choosing not to read a different source. But I'm aware that there are other newspapers and that knowledge influences how I weigh what I read compared to what other people are reading.

Two people who live near each other, work together, shop at the same stores, send their children to the same school, et al, will have completely different experiences when they go on the internet. And each person's experience is hidden from the other, so there is no way for one person to get a glimpse of how the other is seeing their news. That means if those two people were to talk to each other about what they've seen on the internet, they will be confounded by the lack of common experience. What shared experiences exist are likely banal topics such as sports or movies. Each person will be convinced that their knowledge is the dominant viewpoint because it's the majority of the things they find on the web. It's the other guy who is missing the big picture.

Instead of me choosing the newspaper. It's the newspaper choosing me.
Yes, obviously. That's not what I'm asking.
For parents of children seems more fitting
Instead of a phone they should developed an affordable system similar to their high end stuff based on the micro 4/3rds standard.
I'm a straight woman who works from home and loves FocusMate; I don't have any qualms about allowing someone to see me working from home. They're not working from home with me; the most they know about me and my home is perhaps the color of the wall of the room behind me. If I feel uncomfortable for any reason, all I have to do is close the tab and I can report the user.
This definitely depends on the country. There’s a reasonable amount of calculus in high school (strictly sixth form) mathematics in the U.K. The things one tends to see in university begin with (abstract) algebra and analysis with some “calculus” topics being things like vector calculus, more generic R^n->R^m calculus and contour integration.
This is something that I've struggled with for my daughter.

I want her to walk into my job and feel like she belongs.

However, given the current state of dickheads in IT, that's going to be a tall ask. Her mother is a doctor, so its not like she doesn't have role models.

We made a conscious effort not to make her "lady like", that is, like a boy we encourage her to be arrogant (self belief), not to take any crap (fight if she has to), make jokes, and to stand up for her opinion.

The problem, is that she's not with us at school (otherwise that would be weird) So we are at the mercy of those people's opinion of what a woman/man should be.

Her first nursery was very good, run by exceptionally tough londoners. (I don't care if he's a boy, he's going to have to learn how to hold a baby, best start now & Of course she's playing with the drill, she can't wait for some bloke to put up a shelf now can she?)

The second nursery was less useful:

Staff: "Your daughter acted up today, it was very unusual"

Me: "oh? what did she do?"

Staff: "well she got into an argument with another child, You daughter said that her dad did her lovely plaits this morning. The other child said dads don't do hair. We saw that something was going on, and once they told us, we said [daughter's name] you know your dad didn't do your hair(looks at me with a "oh kids" face). She got very angry after that, we're not sure why"

Me: "I did do her hair."

Staff: "oh"

There was another time when a kid said that girls can't be doctors. This sort of shit is easy to pick up, and it becomes ingrained.
I think this is wrong but I'm interested in your sources for this opinion.

Many of the things we'd need to do are simply better overall but aren't happening fast enough because of political coordination issues.

I believe most of the people complaining about how it will be really tough are actually just spreading (unwittingly or not) propaganda from the narrow interests who benefit from the status quo.

It's no different from all the people talking about how much a less idiotic healthcare system in the US would cost. While multiple other nations already do more with less.
Who in their right mind ever suggested such an obviously overpriced option when you can just build enough for peak and then shut them off during the off-season?
A lot of discussion of early web technologies, like MOSAIC and HTML, took place in newsgroups that are still recorded and displayed online.

Not sure I've seen protocol discussions there (just never bothered to look) but it shows a whole lot of academics and government employees in the mix, and some commercial actors as well.

It's disappointing since those programs succeeded beyond the dreams of avarice but were not designed to gather publicity. The fact that so much of our economic growth is undergirded by public research funding is forgotten even by direct beneficiaries.
Yes, the Nazis also purged their own ranks, but the groups listed were all external political enemies. If the poem were worded in the first person as "First we came for ...", it would serve better to illustrate your own group turning against you rather than it being some third party you don't dare speak out against.
Create Kubernetes secrets from Vault for a secure GitOps based workflow
Dont be surprised by the letterboxing
> This is very heavily used for horizontal scrolling e.g. in the Google Play Store for instance.

I just did some testing:

• Play Store uses scroll-snapping for the horizontal scrolling

• Play Store doesn't use scroll-snapping for the vertical scrolling (they should adjust white space to ensure you see 0.1 of an item at the bottom). Fiddling with text size and display size in the display settings can cause vertical items to exact fit (unobvious that vertical scrolling is available).

• There is a CSS feature for this:
https://caniuse.com/#feat=css-snappoints
You can infinitely nest them.

Fish [that] fish [that] fish eat eat... eat.

You have a compound noun "fish [that] fish eat". Call that X. Then you have a larger compound noun, "fish [that] X eat". And as with the original you can tack an 'eat' on the end as those fish eat some unspecified food. Of course you can then go further and define Y as "fish that X eat", etc. It can be infinitely recursed.
There is undoubtedly some value in this data, but it is far less than you think. Despite the hype about big data, it’s hard to draw firm conclusions from any uncontrolled observational trial.

Consider how often nutrition studies contradict each other. We still don’t know for sure if it’s better to eat less red meat!

Having spent a bit of time working in this space, I can assure you that it is basically the same scenario. If Climate Corp could prove that the data they are collecting with FieldView was valuable, they would be making a heck of a lot more money.
Same here. The numbers line up, roughly.
And sadly it was phone companies pretending it was their benevolence, saying "Now on our network you can roam in the EU with the same tariff as back home!".

I've read a new clause in an ad that lists the UK as one of these countries, with an asterisk that said only until the date of Brexit (obviously..).

I wonder how much of this was due to ministers being annoyed at having to change SIM cards whenever they landed in Brussels...
I am flabbergasted at these sorts of posts. You can find posts from all parts of the political spectrum on Twitter. If there was truly "censorship" based on political stance it wouldn't be the cesspool that it is already.

What I don't get is this sort of discourse on a site filled with developers. If you don't like the established platforms, why don't you just create your own? The entire end-to-end vision of the Internet is still alive and well.
> Patents are primarily about getting a limited time monopoly.

Nope. Patents have always been about encouraging public disclosure of secrets. This has been the case since they were invented by the Venetians in order to break trade guilds and their literal on-pain-of-death secret maintenance.

The idea was to offer the secret-holder a deal: if you reveal your secret, you get a significant but temporary government-enforced monopoly on use of that secret. If you don't reveal your secret, then you'll just have to hope it doesn't get leaked.

The monopoly is the tool of patent law. But the purpose of patent law is disclosure of information.
What's the name of the bash feature with the '<' before the filename? I want to read the docs on it but I don't even know what to search for.
They were quickly clamped down even for this contract.
Show HN: Golang multi-stage build to count links within a page for SEO
https://www.youtube.com/watch?v=imoSl2Y8LPU

Hard to say. Just liked the eye candy.
But there is reasonable doubt of the test. That logic could have you arrested for being the false positive from an algorithm.
Don’t Just Watch Silicon Valley, Be the Valley
Excellent solution for pedophiles and other garbage. Not so good news for the rest of us.
Yes. Your math is spot on, and the costs are similar on the East Coast.
Performance of System V Style Shared Memory Support in Python 3.8