skysight-inc/HackerNews huggingface dataset:
https://www.reddit.com/r/programming/comments/81mpg1/jep_326...
I couldn't imagine living like that, with no room for friends and leisure.
People arguing that type systems like TypeScript are useful, because even if they don't catch all errors, they still catch the most common ones.

The most common JavaScript error I encounter is accessing fields of undefined objects.

Can't we simply have a type-system for JavaScript that only prohibits undefined field access and nothing else?

If we accept that the system will be unsound anyway, why not focus on the main benefit and throw all the baggage out?
May I ask, how is it possible to prevent unloading the module?
The sinus headaches are related?!

I have celiac disease, and I also regularly used to get sinus headaches in college and high school, but I thought that was moving away from east coast allergies that helped. I only occasionally get them now, I should track to see if they clusters with the other, more dramatically obvious gi symptoms when I accidentally have gluten.

Maybe it’s access to more gluten free food since leaving college!

Is this a known thing? Do you have any papers around the sinus headaches?
Sure. So use something cinformant to the original standard.
Or your email isnt configured properly. Probably that one.
They were priming the app pump at the same time they were charging $100 for dev accounts, it wasn't something that came later.
A may lose his balance and step back suddenly.
I doubt that many developers saw having a Windows machine as an impediment to building apps. Microsoft does still have 90% market share in PCs.
It wasn't an option. They turned it on without asking for many people and you had to disable it with a flag.
I've read few impressions from Windows Phone users and they all liked it. It's a pity that it died. While I'm personally don't have much interest with it, competition never hurts. Currently iOS and Android basically divided the market: iOS for niche luxury phones and Android for average phones. I've found it hard to find Android with premium price ($1000), there are not enough phones to make a good choice, it seems like a lot of manufacturers just not interested with this market, for example.
Maybe made up languages are interesting in their own right because they're made up, and are therefore a totally different endeavor than a "real" language.

Maybe people like to occasionally do things just for fun instead of for practical reasons.

Also, where's your evidence that the people learning High Valyrian and Klingon aren't also learning Chinese, Russian, Spanish, etc.?
Effectively MS, who should have known the value of backwards compatibility, shot themselves in the foot by abandoning the PocketPC lineage.

Never mind that debacle early on when people discovered that WinPhone7 would lock an inserted SD card to that specific device (a rarely used "feature" of the Secure Digital standard). With the added irony that Symbian could unlock said cards while Android could just reformat it.

Frankly i maintain that the introduction of the iPhone rolled back smartphone development by a decade or more, as look were put before functionality and what used to be a workhorse device became a glorified media player.
Several years ago I joined a stealth-mode spinoff of a large telecom equipment manufacturer, and worked on deep-packet inspection (DPI) on 10Gb/s fiber-optic networks. The initial motivation for the project was a desire by telecom companies to obtain personally identifiable information and profiles for targeted advertising, and as we learned, a number of other interesting use cases, like reducing customer churn. At the NOCs there were a number of various servers in racks that were getting a feed of raw traffic for a variety of purposes. It wasn't a free-for-all, but it was eye-opening. I recall reading through a Cisco router manual for example (not the company I worked for) and seeing its port-mirroring capabilities blatantly promoted as a means for customer profiling and targeted advertising.

Outside of the telecom industry itself there was quite a bit of resistance to this sort of thing, and we had to go before the US Congress to explain what we were up to. Profiling for the sake of profiling was not smooth sailing, but if it was for the purpose of "security" then it was more or less a free pass. The forcus of our DPI technology turned to the task of network-based threat detection as its primary raison d'être, with customer profiling being an opt-in service by which users could obtain the security service in exchange for targeted ads.

In the years since, I don't expect that Telecom's desire to be much more than a "dumb pipe" has diminished in the least. They view the traffic they carry on their networks to be their property, in a way. They feel entitled to inspect it, throttle it, slice and dice it any conceivable way they can to maximise their profits. Its one of the reasons I quit.

Imagine the US postal service steaming open every letter and opening every package that went through their system, so they could plug your mailbox with targeted special offers or increase the delivery fees for certain things. Its all similar BS with ISPs, but it's all techie stuff and heavily lobbied so the public gets bamboozled.

You raise a really good point about wide-spread encryption being an impediment to ISP profiling. But there is a LOT you can surmise from user traffic even if you don't know the exact content of the encrypted payloads. Just analyzing IP addresses and times can reveal a ton of information about a person. My first patent [US20100161795] was in fact a NAT session detection and tracking technique to identify and track individual users within a household through TCP/IP analysis. Using this technique someone could get a pretty clear picture of how many people were in a household, their ages, genders, interests and patterns of activity, even without delving into the http payload of the packets. We didn't, but this kind of thing is most definitely possible, and I wouldn't trust other shady entities not to do it.
How do people like this have jobs?! Storing passwords in the clear is de facto, the opposite of secure, never mind good or “Amazingly” good security. I rarely root for someone losing their job, it’s a horrible thing, but there are exceptions and this is one of them. No one that far into the pit of their own illusory competence should be employed in a customer facing role.
The Lumia 520 was a very popular phone in emerging markets for a while. It was cheap compared to Android phones, had good battery life, decent build quality, decent specs. I think Microsoft just wasn't interested in markets outside the US.
Hows that kool aid tasting?
I think towards the end, Windows Phone was rebranded back to Windows Mobile again. See https://en.wikipedia.org/wiki/Windows_10_Mobile
Societies compete with each other like organisms. Successful societies propagate. Primary dimensions of competition are demographics, economics, and military. Thus the history of social organization is necessarily a history of extracting ever-more value from the labor of society's members.

Keynes and others seem to have labored under the delusion that the history of social organization is a history of ever-increasing happiness for society's members.
While this is true, it's critical to note that "valid" here doesn't mean "valid as in it follows the intention of the programmer who wrote it" but instead "valid as in it either terminates in a well-defined error condition or completes to an identically-typed result" (preservation and progress).

The engineering constraint is to ensure that the design and logic of the types themselves enable preservation-and-progress-validity to enforce meaningful semantic constraints. A sound and complete type system can still say things that aren't practically meaningful.
Agree with the sentiment, but amateur radio isn't the only game in town. I think the key is to pick something that appeals. These days robotics is a good way to get going. Also audio gear is a good choice for the serious listener, or effects/performance electronics for the musician.

What all these have in common is an engaging purpose that focuses learning, and endless challenge that always leads to new learning.

Amateur radio did it for me, and I still maintain a large radiosport station, but for my kid it was robotics that really lit up their eyes.
It wasn't in your heads. But I think his point is that it may be in others'.
IMO this guy gives a bad unhealthy impression; physically and mentally.

Furthermore: https://www.youtube.com/watch?v=Lc23vYwPihU
Try elm, no more undefined.
That's actually a really unusual, interesting and maybe also useful way to look at it.

Thanks!
Have you considered becoming a foster parent? It's short term if you want to dip your tow in, and there are plenty of opportunities to adopt if you really connect with one of the children. Especially as someone in tech, you could really make a difference in a child's life by setting them up with marketable skills and connections.
> His friend, named Gu Yi, who is a student studying abroad in the US, said he received a message from Kwon that said “something [bad] happened” on September 30. Gu has been unable to contact him since. An officer at the Yanji police department confirmed to US-backed Radio Free Asia that Kwon is currently in police custody. Officers at the same police department that answered the phone were unable to confirm Quan’s detention with HKFP.

Hannah Arendt, in "The Origins of Totalitarianism":

> The concentration camps, by making death itself anonymous (making it impossible to find out whether a prisoner is dead or alive), robbed death of its meaning as the end of a fulfilled life. In a sense they took away the individual’s own death, proving that henceforth nothing belonged to him and he belonged to no one. His death merely set a seal on the fact that he had never existed.
I was curious about WinPhone, in particular when they started touting the desktop dock functionality. But then i found that the only devices that would support it was way way outside my price range.
Yes. They already did some tests doing this.
So will humans continue to get bigger if we don't hit a world wide food constraint?
The fact is that this is not a big deal. Is a pretty uncomplicated thing as long as you have electricity (can have light, heat and liquid water from snow). Then, all that you need is some minute seeds cheap to travel, and 2-the secret weapon in this master plan: a few humans, or as cucumbers would say, the automatic urea's dispenser of mother nature.

Lettuce and its green cousins have a mission, they are the members of the team in charge of regenerating fast and cheaply the closed circuit of water. You put urea in the "no-soil" circuit and it magically vanishes. As a nice subproduct, you can have a salad too (if you want to order a dish low in calories in one of the coldest places in earth) and also a lot of fun growing it.
I miss MeeGo
> Grandpa’s pompous Lord Tywin Lannister response encapsulates exactly what’s wrong with NFL management: They insist on being the self-appointed guardians of America’s mythological vision of itself. Malt shops on every corner, Pat Boone crooning on the jukebox, and modestly dressed virgins sitting around with knees clamped together waiting to be asked to prom. This 1950s, Father Knows Best soundstage fantasy doesn’t stop with paternalistic and puritanical gender stereotypes, but also promotes simplistic notions about race and patriotism. The NFL’s anachronistic fancies aren’t just a misguided attempt to pander to what they think their traditionalist fans want, but also projects the hard-core conservative values of the mostly rich, white one-percenters who own the teams. We must live in their Disneyland – or else.

Great writing by Kareem. I always found the NFL control of players in the offseason, especially when it relates to marijuana use, extremely repressive and controlling. Lots of players and former players are waking up to it [1]

Noone in the private industry, besides sports figures, would put up with the after hours and offseason controls the NFL puts on players. These are also young players that just got out of college and partying, they just came into lots of money, and they treat most like children or their own property. NFL and other sports owners, for one reason or another, really seem to believe they are OWNERS not just the boss.

[1] http://thelab.bleacherreport.com/jake-plummer-s-pot-crusade/
> Can't we simply have a type-system for JavaScript that only prohibits undefined field access and nothing else?

Yes, but it's not easy for cultural reasons. In order to detect undefined field access you need to know what the fields are at compile time, which is to say, you need classes. Javascript's original design was based on prototypes, which have a fundamental "impedance mismatch" with classes. It's possible to layer classes on top of prototypes. That's actually not so hard, you can find a lot of user-level implementations of classes out there (e.g. https://github.com/neverblued/js-clos). But to make that part of the language so that compilers will be aware of it you'd have to get the community to agree on a design, and that is very challenging. But it's a political problem, not a technical one.
I kept windows phone 10 up until this week.

I actually like that it pushes me to use mobile sites instead of apps.

Apps are closed ecosystems with app stores that charge a high markup. Sites are free and open.

I can use Uber Lyft, and Facebook without apps.

But with discipline you can do this on Android too.

Pros:

Beautiful Live Tiles
Simple interface
Unified look
Dark Mode
Less bloatware

Cons:

On Windows 10 mobile, the phone would freeze up or even restart as much as once per day

Drivers and software seem less optimized and performant even with powerful hardware

Never found a mobile site that allows depositing checks

No Firefox

So as of this weekend I'm now using a fast, stable, cluttered, and ugly Samsung phone loaded with bloatware.

I'm hoping LineageOS can make this more tolerable soon.
> whole data structures and algorithms are disallowed

Nothing is disallowed in rust. You may need a specialized crate or a small 'unsafe' block to work beyond the compiler's ability to prove your code meets rust's guarantees, but that's not the same as inexpressible.
Exactly, I think it's some sort of twisted pride — "I work more than you, so I'm superior to you" — and a remnant of Protestant work ethic. Work hard in this life, to be rewarded in the eternal afterlife. It has lost its religious connection, but the attitude remains.

I'll stay half an hour or an hour beyond by nominal working hours, if I have a time critical task that depends on me, but I'll compensate for it the next day. And I won't do it if it conflicts with my life outside of work. Then the work will simply have to be delayed a bit.

Luckily, I have only ever had colleagues and managers who understand this 100%. I've even had a few tell me directly that they wish they could have the same attitude and take better care of themselves.
I don't think you should blame Google for putting resources into a platform of less than 1% of the market-share that's not built by Google itself.

Google has actually been pretty eager in developing iOS apps AFAIK, sometimes releasing it even sooner than Android platform. If Windows Phone really gained traction, maybe Google will develop apps for it too. Remember it's more of a service company than a hardware company.

But MS never got out of that vicious cycle. Can't shift blame to its competitors.
Personally I've been using Video Speed Controller, which seems more popular. One of the things that revolutionizes your viewing experience - learn the default keybindings (s -slower, d - faster, g - toggle fast (1.8x speed)) and never be bored again.

https://chrome.google.com/webstore/detail/video-speed-contro...
Italians of the 1500s must have felt the same way about Michangelo. He redesigned the dome of St. Peters when he was in his 70s.
They basically priced it out of the range of those consumers that could benefit from it the most.
It's actually intended for TypeScript from the start.
Two of my favorite insights about aging come from the unlikely sources
of Star Trek episodes. In the series finally of Voyager, the older and
younger Captain Janeway meet face to face. After overcoming their
initial distrust, they come to realize that each has something to
learn from the other, and when they team up they're unbeatable even by
the Borg queen. I can take something away from that when writing about
work I've done in the past, which is like collaborating with my
younger self. His job is to have the bold ideas, mine is to correct
the errors and omissions, and neither of us is much use without the
other. The other insight comes from an episode of TNG when a dying
Captain Picard is given the chance by Q to relive an incident from his
youth that he regrets. Fully expecting to put everything right because
of his accumulated wisdom and experience, he succeeds only in
alienating his young friends and setting the rest of his life on a
course of mediocrity. Aside from the similar theme of the older self
underestimating the younger one, that story makes me look at all the
dumbass things I did when I was young in a different light. A lot of
them were due to having too big of an ego, but some measure of that
same personality characteristic was also an essential prerequisite to
doing anything worthwhile.
This experiment has been tried before. The main difference being this Cultural Revolution will be digitized, and the informants will be databases, not your neighbors.
Related open source project: http://openbci.com/

I have no affiliation with them just ran across it a while back and it has been sitting on my to-do list.
iOS users are the biggest cash cows for e-commerce in the US. Since Google is ad-driven and ads are ultimately paid by people that actually buy stuff it would lower the value of Google overnight by 30%.
What if it succeeds for the wrong people?
I don't mean to call the OP lier by any means. But anyone knows if there is any evidence that this video was taken on an autopilot engaged Tesla? Just want to be sure about it before I form judgment against Tesla.
The Current Version: Fixing MacOS Versioning
Not especially well. It's kind of helpful to understand conceptually what's going on, but ultimately the physical sense on land is completely different, and the student will still think almost entirely in visual terms unless they're already accustomed to taking coaching and have uncommonly good body awareness. Most of the time it's faster to just start the student off underwater and begin the process of learning that mapping between movement and touch without the visual part.
Soundness is a trade-off. If you can have static types that work for a lot of the Javascript already out there without soundness or no types at all, which one do you pick?

Type system traditionalists think that static typing is all just about universal type checking, they ignore development tools, code completion, or useful but not absolute best effort type checking. Programming in Typescript really is nice because the type system helps even if it isn't perfect. It shows that there is a lot in the design space between "no static typing" and "sound static typing". Evidence Java and Scala being widely used even if they are technically unsound (where soundness itself is really a gradient). Type systems simply aren't black and white as the fundamentalists would claim.
I'm not sure if irony is the correct word here, but I do find it funny how the "unpopular" comments in this thread have been faded to gray.
Only in Dev and Canary (and I believe Beta there for a little bit). And an option default-on is still an option.
Storing passwords in cleartext: don't ever
Some "gluten-sensitive" people (e.g. me) will request a GF meal because it's a relatively standard checkbox choice that can be accommodated without extra overhead, unlike a FODMAP diet; it's not that we imagine we're kinda sorta celiac. And wheat does stand out among foods found to disagree with me. (By antibody test if you're going to bring up the psychosomatic. Yes, mind-body issues happen but they seem to be overused to dismiss people's experience.)
Your comment is misleading. Certain cancers are indeed 'caused' by genetic changes, and researchers are actively looking for ways to prevent those genetic changes from occuring in the first place. But do you really tell someone with a familial mutation that we know causes thyroid cancer that they should be on a ketogenic diet?

Most therapeutics today are developed knowing that they will not have a substantially more beneficial effect than current therapies. We still develop these because even if they are not better they could reduce adverse events caused by our current best meds.

As far as I can tell in the last 80 years the Warburg effect has led PET scanning a viable way to detect the progression of many cancers.

To suggest that increased research into the Warburg effect is going to be the thing that leads to an explosion in novel therapeutics for cancer is wishful thinking, as far as I'm concerned. Cancer is complex, and while we could stand to learn more about metabolic changes in cancer, there's not going to be a magic pill for this one.
This is the reference AFAIK: https://en.wikipedia.org/wiki/Red_Queen%27s_race
A Stroll Through the Minefields – The Alchemy of Surviving the Startup Ramp Up
Hash-based Signatures: An illustrated Primer
I think I experienced it on HN and Reddit ;)

I would add that the difference is that in Black Mirror, it was other people that are giving you up/down-votes. Here, it's the government.

I'm not sure if that makes it better or worse.
Frankly i see the pressure coming from the financial world.

There is a massive, blinding, focus on quarterly profits and dividends.

This leads to all kinds of hype cycles and cargo cults to try to goose the stock price, no matter how hail mary or unhealthy it is for the corporation in the long term.
Because excel files are the lingua Franca of the corporate world. Much easier to share an excel file with the numbers formatted to HR/finance/management expectations and a few graphs (which they can modify to their liking if necessary), than a word file with embedded graphics and tables (which they can’t change so they’ll ask you to redo the graphs in puce or whatever). Or god forbid a jupyter notebook... FWIW I worked once with a network graphing tool for a fairly involved HR topic (mapping out all possible career paths within an engineering department) and I spent half my time learning the tool, and the other half exporting images and importing them in PowerPoint.
> The most common JavaScript error I encounter is accessing fields of undefined objects.

TypeScript has optional null checking if you want it. Given that it supports union types, null/undefined tracking fit nicely into the language.
Show HN: Interactive Tutorial for Learning IntelliJ Shortcuts
I didn't want to convert you :D

I just wondered if the linked feature would be useful for orgmode users or if it isn't really relevant. Maybe it would help someone else to use Glyph in a similar manner.
> For example you can be on a NTT fiber line but use a different ISP on that line

as an american living in a major city, this exceeds my wildest dreams of internet service.
My recollection of theory is many mammals (that we know survived to evolve) at the time of the KT crash were tiny, and burrowers and able to use both of these (less exposure to damage from initial strike and need less resources to survive/procreate) to out survive the dinosaurs.
Not much. Maybe that there is not much point in spending money moving 100Kg of water in vegetable's form all around the world when you can put 10 gram of seeds in your bag instead.