skysight-inc/HackerNews huggingface dataset:
Most typesystems are limited in what they can express, and as they get more complicated in what they can express they tend to get more complicated to understand.

A typesystem is a limitation you place on your code which you accept in the hope that the things which it proves true (problems it avoids) are worth the limitations that you've accepted. You can set everything to Object but the culture that develops around statically typed code tends to mean that people are really afraid to ever do this or be ostracised.

From a data moving point of view there's a couple of examples I hit in production where a typesystem isn't helping me =>
* DataFrames tend to gain/lose columns on every operation, so to represent them in types I'd need a zillion types with code duplication or an interface for each field name. Some operations aren't even possible to type like pivot_table. So tons of my code is really not helped by typing
* Everything turns into a DAG of data flows, you can do this with typing but the overhead would mean that noone woudl come up with something like mdf (I don't use mdf in prod but it's impressive for specific applications)

If you want a better defense of dynamism google Rich Hickey, a point he made:

There's many choices to be made for typesystems, you can have generics/not, higher kinded types, dependent typing. Maybe it's better not to enforce these choices right at the root language level and allow them to happen at a higher level (be plugged in).
The main reason why I am still with Safari is battery. Nothing else compares (or compared last time I checked) when it comes to battery life. Did this change?

(But well, after the latest privacy changes announced by Apple, I might just stay with Safari for good)
The point remains, relative to the original issue, in that whether or not information is public generally is related to your choice to be the owner or director of a corporation, not to your employment arrangements. If you choose to insert your own corporation in between, you're electing to accept the trade-offs of increased transparency because of the advantages it brings.

I've contracted for US corporations both with and without a self-owned corporation in between.
Every day, my day is spent across Edge, Chrome and Firefox.

Regarding OS, I am 90% of my time on Windows as development platform.
Using Brave and Chrome on mobile, I cannot.
Show HN: Chrome Extension manager
Yeah, I see where you're coming from. cmcaine started on an extension to the WebExtension API [1] that would fix that, but progress has stalled. It got preliminary approval and was split up into loads of bugs on Bugzilla at which point we all got a bit lost. If you feel very strongly about it, perhaps you could pick up the baton?

Part of the reason I haven't done so is because I disagree with you - Tridactyl is pretty usable to me, and there's loads of things I want to fix in that that are a higher priority to me.

[1] https://github.com/cmcaine/keyboard-api
Thanks for the info. :) Great work so far!

High on my list is for the extensions to work on about:* and addons.mozilla.org pages.

I like to use Vimium everywhere and 'Dark Background and Light Text' to also work on the preferences.

Also I really miss DownThemAll... I tried a couple of replacements, but they didn't for instance download all books from a Humble Book Bundle.
I switched to Brave on mobile, and hasn't looked back. Works flawlessly. It is only the desktop app on Linux/Xubuntu that can have a bit of micro-lagging at times, enough to cause frustration, and also is not as well integrated in the UI as chromium. Hope to switch there as well, as soon as laggyness improves a bit.
Whenever I try Cortana I 'use' Edge because Microsoft completely ignores the default browser here. Then I quickly deactivate Cortana.
Giving the push for PWAs and access to UWP APIs from PWAs available via the store I think at least 1 might happen.
Ours was kept in a Microsoft Word file, so there was no automatic error checking. For years, I got away with telling them it was "February 30th." I'd rattle it off so easily, no one questioned it. We got a new admin assistant who caught it and then went through personnel files to put the list together.
Super Handy Publishing Checklist for SaaS User Documentation
If so, these people should be replaced by robots asap.
...or possibly other users have discovered but not bothered to report it?

Your manager is doing the right thing here - even if you don't agree with his rational. If you don't control the browsers your customers* use then you should be testing your application on as many unique platforms as you can. That is essentially UAT 101.

* "customers" might be external to the company, or your own staff if you're developing an intranet application.
No, it's like slapping a custom badge over a Ford Fiesta platform's B3, re-do completely the interior, add some smart features around it. Hell, even do some kind of smart auto-assist while you are on it.

You keep the engine and the architecture around it but add your own luxuries and niceties.
As someone who has worked a bit on energy usage: it's a really, really hard problem, and the tools used to develop/optimize for energy are really, really bad.

Also, being cross-platform complicates things a lot: I'm certain that Safari has access to a number of libraries that are energy-efficient but exist only on macOS/iOS.

I have a vague hope that maybe the Rust community can find a way to somehow develop a standard benchmarking tool that takes into account energy use. This would help considerably on the front of refactoring Firefox towards better energy efficiency.
> Edge is the most resource efficient

As a gamer with a potato computer I usually close my main browser (>100 tabs) when I game, but I need a browser for statistics. I've tried using Edge with a couple tabs open but it lowers my FPS, while having a secondary profile of Firefox or Chrome with tens of tabs is still fine.

YMMV
IIRC make -j is equivalent to make -j256...
I am struggling quite a bit to make this work. Do you have any good writeups on how to do this?
Deploy a Reframe Web App on Lambda with Up
Anti-Fascist MIT license
Apple caused it, but Mozilla (and, well, everybody else) needs to pay for it.
It's a crying shame that no ordinary human will ever be able to purchase these chips. I personally think that it might be very interesting to see what a very small build out might be capable of, say ca. €5-7K worth.
Mozilla is integrating Tor into Firefox. Anti-fingerprinting measures are part of that project:

https://wiki.mozilla.org/Security/Fusion

https://trac.torproject.org/projects/tor/wiki/org/meetings/2...
While open sourcing the model is nice, it would be better still to open source the data set for the wider community to make more meaningful contributions.

Their GitHub repo states the following:
"You need to apply for data access, and once it's approved, you can download from either Google Drive, or Baidu Pan."
Since non-diabetics accumulate close to zero Titanium Dioxide and it is ubiquitous in our 'modern' environment, it seems more likely that diabetics have for some reason difficulties clearing these crystals?
Paraphrased advice: To speak better, write more. To write better, read more.
The EU had from the beginning a stated goal of making peace in Europe, and it had an effective method of achieving this by making European states interdependent - you can't attack those you depend on. And Europe has been largely peaceful ever since. So of course the EU had a huge effect on making Europe peaceful.
Open source Python libraries for IoT: sensors, protocols, cloud services
If it goes into a well managed landfill, no.

Certainly not to the same extent that an agricultural amendment will.
> Something called Edge from Microsoft is available for iOS (where it is a rebranded WebKit) and on Android (where it is a rebranded Blink, IIRC).

Why is it a problem that it uses webkit on iOS and Android? Why reinvent the wheel, when those rendering engines are already optimized for those platforms? The thing I care about is that it supports syncing of settings.

> If you primarily work with Windows 10, Edge makes some sense, otherwise it makes no sense.

If you primarily work with Mac OS, Safari makes some sense, otherwise it makes no sense. Why do I never hear that complaint?

Also, Edge on iOS and Android will soon have a built-in adblocker.

> The only downside to it I see is that you are using Windows 10... I value privacy and control of my devices a little more than 10% of battery efficiency.

Have you ever looked at the privacy controls of Windows? Also the battery efficiency is significantly more than 10%, and try find me an as versatile and user friendly alternative OS for pen capable 2-in-1s, that has better privacy controls.
Even with Quantum I still find Firefox is almost unusably slow on some pages. It also causes very spikey resource usage. I’d like to use it exclusively but sometimes when I want to cool down my laptop I just switch to Chrome. This is on a Retina MacBook.
I quite strongly disagree. Just like picture is worth a thousand words, working code (prototype) is worth a thousand words too.

If I decide to go out and code a prototype without asking anyone anything, where is the harm in that? You can criticize it after it is done. You could have done the same thing. And you can always throw it out.

And in my view, this precisely is "leading by doing". Linus Torvalds didn't seek consensus before he wrote Git.

In another response, you write, arrogant people are the biggest problem. I don't think doing something on your own is arrogant at all.

And I think, "being accountable for consequences" is exactly the "forgiveness" part. Although I am not a fan of hierarchical decision making systems.
So, LIGO experiment confirmed that Einstein theory is wrong. Right?
Capacitor Based Activity Sensing for Kinetic Powered Wearable IoTs
Thanks for the reference! Already shared with my parents who are quite worried about my phone-obsessed teenage sibling.
Any opaque, non-black (or very dark) paint, yes. You can add other pigments to paint, but if you want that paint to be opaque rather than translucent, you need to add titanium dioxide (or something that'll have the same effect).
America’s Millennials Are Waking Up to a Grim Financial Future
I think your central claim is sort of refuted by history, and I think there's two parts to it.

1. How relevant "natural" ecology is to understanding longevity of modern culture: unclear, probably not very.

2. Monocultures by nature are less robust, even in the context of human society: well, you need only examine how quickly distributed hunter gatherers were exterminated by less distributed agrarian societies, who were in turn more swiftly replaced by more centralized industrialized societies...

My personal hypothesis: It's probably more reasonable to say that humans were the first aspect of natural ecology to get really deep into economies of scale, and by virtue of that, retained a monopoly on that incredible power relative to the rest of natural ecology.
LazyFP: Leaking FPU Register State Using Microarchitectural Side-Channels
You'll get the lawsuit, not the link shortener.
Q&A on GDPR Compliance – 30 Most Burning Questions For Digital Businesses
5 Points to Consider Before Ditching Your Steady Job to Freelance
Can you post your styling and userChrome setup?

Sounds stupid but i like the concept of TreeStyleTabs but i always disabled it after some time. Firefox finally looks slick again on MacOS. And i want something nice to look at when i work 8+ hours with it. And Tree Style Tabs always turned me off somehow.
But the parent poster didn’t seem to be specifically referring to the WHO report, but the reporting around it, which definitely has a whiff of moral panic around it.

With all the “Fortnite Ruined my/my sons life” articles I’ve seen popping up in mainstream media recently, looks just the same as DOOM panic, all over again.

None of which prevents a sample of people having some serious Game-related addiction issue.
I'm sorry, I find it hard to believe. How would this even be legal? What database they were using? Sorry, it all makes no sense.
>... now when tv programs are so bad.

What? I don't know what you're watching, but I'm here living in the golden age of television, with a big backlog of shows that I would love to watch if I had the time.
Future home of The Island of Doctor Moreau or a Four-Assed Monkey (s01e05). Srsly: At some point, a sizable-enough brain develops a degree of consciousness. Are we really going to test the mad scientist hypothesis that your brain might be in a Petri dish somewhere and that your senses are artificial? NM: https://nypost.com/2015/08/19/scientist-creates-99-complete-...
I have heard people rave about stuff like that. I think it's a Wizard of Oz type of thing. Once you pull back the curtain, the magic is lost. For us, the curtain is non-existent. For people who aren't familiar with computer systems, the technology is indistinguishable from magic.
I am able to present myself in writing just about right. Would love to hear tips on how can I be more eloquent while speaking.
I am comfortable with public speaking, am just to awkward at dinner table / coffee table gossip.
The only thing that matters is that it integrates well and is efficient on the host OS, and that it can sync settings, bookmarks, reading list and stuff between your devices.

Edge on iOS and Android will have a built-in adblocker soon.
When the compactor in the truck smashes the used cat litter into the paper, maybe the task isn't the same anymore.
If you want the type to be more specific than float, you can create a more specific type.
> I think the subpar education of public schools is not caused by immigration.

How can you confidently say that?

All the evidence points to it being a key problem.

> And I value severity over quantity generally when it comes to moral issues.

How do you judge severity?

You seem to be using your feelings as the barometer. Reality is not so simple.

We know that a poor education significantly increases the likelihood you will get involved in crime, go to prison, live in poverty, etc.

So what do you think will happen when you screw up the education of hundreds of thousands of kids?
I think this is more an American thing and I don't see much of it here in Norway (arguably another western country). A lone ranger will not find much sympathy even if the solution works.

Not only does it apply in a company setting but if you were to build something on your property without permission from neighbours / government you will have to tear it down and face the fines even if in the end no one have an actual problem with it.
> d) That other people can also have done the same does not mean that they are worse than you, it may be that they see a bigger picture that you can't see.

I'm confused why you seem to be so sure that in the anecdote you shared, this isn't exactly what was going on. Could it be you have some unconscious bias against the person who took that action, leading you to see them as a rogue cowboy instead of a wise leader?
> Segaults come from architectures and operating systems, not from compilers.

But when you are programming in C, you are programming against the C abstract machine, not against an architecture or operating system. It's this machine that you are breaking when you invoke ub.
See... we've known for ages that recycling is a bit of a losing proposition: otherwise we'd get paid for our used TP rolls like we do with aluminium cans.

The distribution of labour in this case makes the economics even worse. The scenario you describe is a (I'm guessing, you're on HN), well-paid highly education citizen literally washing garbage before throwing it out, and paying for the privilege of an inefficient disposal system that requires routine intervention... I think an end-to-end total cost accounting wouldn't look too favorable.
Yeah, I think we can agree that there will probably be lots of interesting innovation in the distribution of illicit material. However, for an information technology to truly shape our culture, it needs a plausible path to go mainstream. None of the champions of current P2P crypto storage systems are claiming their focus will be on the distribution of said illicit materials. They all claim it will revolutionize transmission and storage of totally ordinary data, too.
The items that are worthwhile to recycle change depending on what various buyers are paying.
If you tie it to a Google account you can tune them by watching videos on topics you are interested in, as well as flagging videos & channels with "Not Interested". Their algorithms are definitely eager to find you a flood of content you'll enjoy. The hard part is seeding it with high quality channels.
Ah, just discovered it (still?) supports live bookmarks, based on RSS/Atom feeds (Right click on toolbar, add the "Subscribe" button, etc).

Having live feed icons in the bookmark bar has been the best way to follow news I ever used. Hope this gets support in other browsers, like Brave, too.
This is basically what it is : basic systems theory applied to basic genetic knowledge. Having worked in this field during my studies, I can say that most of the leading figures were not impressed by the Omnigenics paper. It was simply the right claim at the right time, it made a splash, but it will probably not change at all how research is conducted.

Some say that the view it is pushing (core vs peripheral genes) is simply wrong as evidence of it cannot be found in the data (and there is a lot of data), see the end of the article about Naomi Wray's article. Also see the many mentions of the paper's critics! I like the phrase "provocatively phrased extension of earlier ideas".

There are bigger issues that need addressing but all of them are much much harder to get right and they would probably not make it to Quanta magazine ;)
For example, phenotype heterogeneity and patient stratification are two big thorns in precision medicine's side.
99% can all think X is the most likely case without forming a consensus. It's a question of levels of evidence and reasonable alternatives.
Do you do any coding on that machine? If so, very cool.
Lets rename "Deep learning" to "Statistical Compression".
Its essentially distilled data from a dataset, limited by size of the neural network. There isn't anything "deep" there, the goal of NN is always towards overfitting the data.
> If I decide to go out and code a prototype without asking anyone anything, where is the harm in that? You can criticize it after it is done. You could have done the same thing. And you can always throw it out.

I don't understand this point. Are you suggesting coding a prototype on your own time? Otherwise if everyone in a team is free to choose to code prototypes who gets the actual work done?
Swift does have a lot of syntax, but it's quite well designed and that contributes to the reference guide being organised in a useful manor. So that complexity is more manageable than C++ or Rust.

Once they can remove lots of the ObjC compatibility parts, it should get better too.
I'd love to use Firefox full-time, but I have always had font rendering issues whenever I've tried it out (on debian). Not only cosmetic issues, like blurriness or ugly rendering, but sometimes even simply incorrect rendering of characters.
I really wish they offered a version without Pocket. I am not happy with it being included.
I think "awful and incomprehensible" would depend on what they are "watching." Last year, my job moved a couple of hundred miles. I can no longer listen to the morning radio show I used to listen to; but, they are simulcast on a regional TV station, so I can "watch" them. If I'm working from home, I'll put them on in the background.
> DataFrames tend to gain/lose columns on every operation, so to represent them in types I'd need a zillion types with code duplication or an interface for each field name. Some operations aren't even possible to type like pivot_table.

Couldn't this be done with dependent types?
So Roadside Picnic (https://en.wikipedia.org/wiki/Roadside_Picnic) vel Stalker is a documentary after all?
Probably to scare you out :) These seem to be the Souyz debris (green/gray painting), not too dangerous I imagine. Proton-M remains are completely different story though.
Just use a string and ISO 8601? “2018-03-25”
Stanford / Palo Alto gave up on a lot of recycling and went to “off-site sorting.” Stanford used to have 5! bins.

Another fail is “recycling” at Costco, where basically no recycling happens and people just throw things in carelessly into any of the 3 bins. Worse, the staff contribute to its demise equally by eliminating the sorting signs and turning bins around to hide their labeling. Red, green, blue ... go figure which is which.
How would ignoring the problem help?
Why financial planning is very important for a business growth
It would be the Crypto Farthing.
If you use Edge and like to have it sync with your mobile, it can make sense to use it on iOS or Android i guess, no matter which engine it uses.
The photos taken inside the Buran Project hangar are peak abandoned-pr0n: https://www.google.com/maps/place/Buran+Project/@45.94048,63... . Pretty interesting to see an actual space shuttle abandoned among all that '80s electronics and scattered paper-work.
Just wondering, if you've got 2,55 billion laying around, would you use it to solve a real-world problem or invest it, or will you burn it in some sketchy, potentially-illegal cryptocurrency bullshit with no real-world purpose?
I came in here to rant that YAML isn't for the same purpose as JSON and XML but then thought I'd better RTFA and realised that oh yeah one or two good points here.

The first criticism, where he's embedding exectutable code in YAML I kind of have to agree with - that seems crazy. I don't know why YAML would support this.

The remaining criticisms seem to relate to (a) the spec overreaching in terms of complexity and (b) differences in implementation, which I guess is some kind of an extension of (a).

I maintain however that YAML, JSON and XML are different.

If you want to make me feel cross and insulted give me a JSON file to edit. I think JSON is probably the best commonly used format for M2M and storage serialisation.

I wouldn't want you to use YAML for that though. There's two many different ways to do it and any kind of ambiguity never makes for good M2M.

For configuration-files it's great though, as long as you stay away from some of the more exotic features I suppose. It effectively provides a "user interface" of sorts by which your users can specify non-trivial configuration details.

The complaints about overlong and overcomplex yaml files could be extended to other commonly used formats.

With regards to XML, I'd say that YAML provides all the features you'd want to use from that format in a format that's easier to hand-edit as text. XML is "okay" for M2M but probably better for document storage where you have some kind of custom editor.

It's horses for courses. I wouldn't want to use YAML where I'd want to use JSON, or use XML where I'd use either of them, and neither of these have the semantic richness of XML either and so wouldn't be appropriate in whatever spaces XML should be used (which is far more limited I suspect than its current span of applications).

Ultimately when each is used to its strengths they're not interchangeable formats.
NPM Package – Break Down Long Strings into Twitter Threads
In this case it's a British 1930s ideal, and a very specific Guardian obsession with arguing every new middle class lifestyle they don't understand is the consequence of labour and housing market pressures and A Bad Thing For Everyone.

Wealthy young digital workers aren't paying premium prices for shiny work/live accommodation in Bali because they're been deprived of opportunities for housing and employment in Slough, they're doing it because the lifestyle appeals to them and they're amongst the few wealthy enough and flexibly-employed enough to be free to do so.
When Fascism Comes to America, It Will Be Wrapped in the Flag
On mobile it’s paywalled for me.