skysight-inc/HackerNews huggingface dataset:
> I wonder why you think so? The inferred types in a language like Haskell or OCaml are almost always exactly what the programmer would have written

I have no experience with ML-using languages but in Scala, which has inferior but still useful type inference, it is recommended to add explicit types to public functions/methods because otherwise, implementation details or errors might alter the signature.

Take for example:

data Tree = Node Leaf Leaf | Leaf Integral
makeEmptyTree x => Leaf x

I assume `Leaf` will be inferred as a type, while the programmer might have meant `Tree` to be the public API. (or vice-versa)
> Related: "legacy code is code that doesn't have tests" not sure who said this but also very true IMO

Michael Feathers in "Working with legacy code" (A book I can highly recommend)
If you think that's my attitude, you don't know me. I have lots of criticism for the language, but pretending a pointer isn't a pointer isn't the solution to people not understanding indirection.
A BreakDown of How to Now Add Your Games to Steam
FB would be happy to replace the internet with Facebook. I think we've all known this for some time now. It's not their attitude, it's their entire reason for being. It's a form of totalitarianism that we don't have a word for; that's beyond most people's imagination.

It would be fitting for FB to change their motto (?) to "We're not evil either." Lol
Related: http://thediplomat.com/2017/08/beware-the-war-against-aseans...
I was throwing out hypotheticals with a couple of friends a few days back. One problem that I felt things like Samsung DeX and Windows Continuum were trying to solve was the fact that all your devices are ultimately separate computers.

Your currently open apps, configuration, even things like your wallpaper - are still ultimately different across your devices. Each device has its own state, and while with things like cloud file syncing and Pushbullet and etc, you can make your devices at the very least aware of each other, in the end, they still have separate states.

The endgame would be to just have a single state, period. Your computer would be every device you have. You would be able to drag a window from your phone to your desktop to your HoloLens. Every file you have in your life, is always with you.

But that's the faraway future.

Something possible with today's hardware (but not software), however, would be to have phones with smart docks. Instead of just being hubs to connect the phone to a screen and a keyboard, they would also have processing power, and be proper computers in their own right to which the phone would be able to offload complex computations. But I'm thinking it should be less like an external GPU dock, and more like a server for remote compilation or video rendering. This way, for example, you'd even be able to do things like starting to render a video while your phone is docked, then undocking while the video is still rendering on the dock, or you could launch a game that runs on the dock and is controlled from your phone - something like AirPlay, but the processing takes place on the dock. So ultimately, while you still have multiple computers, there is only a single state, which is on your phone.

The software is the hard part here. We can build a smartphone and a smart dock, and have a fast enough data protocol to transfer content between each other through USB-C. But who will write the OS? Where do you get the apps? Why would Adobe bother porting After Effects to run on a phone of all things, and then also restructure it to be aware of the whole smart dock concept, when After Effects can do something like this today as it is? Why would game developers bother writing their games in a way that specifically supports this dock paradigm when they can get the same general idea on the Nintendo Switch for free? And so on.

This, just like OP's idea, would take a reboot. The problem with a reboot is that it's a reboot. You cannot do that. Microsoft cannot do it, which is why Windows 10 still runs very old software. Apple can't do it, which is why Carbon was a thing. Linux can't do that, because Red Hat and Canonical will not throw their customers under a bus.

But still, it's fun to daydream. Being told to stop even imagining the impossible is not exactly going to help innovation.
https://www.google.com/patents/US20170164007

Claim one: none of the transform block stuff etc. is new. The only thing added is:

> processing a binary flag or bit using the Boolean ANS decoder to generate an output value for the binary flag or bit using the ANS state; and

>processing a token using the symbol ANS decoder to generate an output value for the token using the ANS state;

That's just slotting existing ANS implementation as a module. Other entropy encoders were used in that exact stage prior to this.

The other claims 2-8 just add on ANS optimizations that aren't video specific whatsoever. Things including using a bytestream instead of a bitstream.

If any of those were a significant invention by the filee (I'm not going to rule that out, someone please chime in if there was one), why didn't they also patent their application to the entropy encoding stage of image encoding? Or the entropy encoding stage of all sorts of other compression applications?

I haven't read through all the others below claim 8, they look similar with the main variation being using instructions stored in "non-transitory memory" (hardware decoders), but there might be something more video-specific there.
Sorry, the marketing side of me got too excited. Yes it's wxWidgets.
I have a bit of a voyeuristic fascination with the relationships and personal drama of the people behind these types of famous and consequential efforts.

In the article Tim Ferris mentions that Ann Druyan was his fiancee at the time. I suppose it's common knowledge that she was also Carl Sagan's third (and final) wife.

NASA's Voyager, the Love Story [1] reveals that their affair grew out of and became an integral part of the project:

Just how do you stumble upon a woman in love and record her brain waves for an interstellar message? It helps when the young woman is herself a member of the recording team: Ann Druyan.

On June 1, 1977, Carl and I shared a wonderfully important phone call," she recalls. Without the aid of a date or even a romantic moment alone, the two had fallen in love during the mad rush to complete the Golden Record. "We decided to get married. It was a Eureka! moment for both of us—the idea that we could find the perfect match. It was a discovery that has been reaffirmed in countless ways since."

"My feelings as a 27 year old woman, madly fallen in love, they're on that record,” says Druyan. "It's forever. It'll be true 100 million years from now. For me Voyager is a kind of joy so powerful, it robs you of your fear of death."

According to her recent interview with LA Times they were a bit more circumspect about their Eureka moment than the NASA article would suggest:

During this period, she and Sagan, who was then married to his second wife, also realized they were "madly in love." Reluctant to jeopardize the mission, the pair waited until Voyager 1 had successfully launched before breaking the news to their significant others.

I feel this adds an extra dimension to this matter-of-fact statement from Ferris's article:

We disbanded soon after I delivered the metal master to Los Angeles, making ours a proud example of a federal project that evaporated once its mission was accomplished.

[1] https://science.nasa.gov/science-news/science-at-nasa/2011/2...

[2] http://www.latimes.com/entertainment/tv/la-et-st-ann-druyan-...
Downloaded, ran "make banks"... And played. [0]
Works like a charm!

And despite the seriously obfuscated nature, I only got three warnings on compilation.

Banks compiled down to 19kb (though dynamically linked), which is still fairly tiny (though much larger than the source code).

Now excuse me, I'm going to have some old school fun.

[0] https://imgur.com/RvEM5q2
You got that backwards.

> Ice cream melts based on the ingredients including cream. Ice cream with more cream will generally melt at a slower rate, which is the case with our Great Value ice cream sandwiches.

http://www.snopes.com/food/ingredient/walmarticecream.asp
It's not like you're gonna spend your whole time in the resort. Otherwise why bother going to Latin America? We have resorts here in the US too.

Indeed, most people who travel to Latin America want to travel and do sight-seeing. And that can be dangerous, especially for "gringos" (Anglo-Saxon whites) because they are perceived as wealth targets by kidnappers.

You don't really have that problem in a place like Thailand.
The huge majority of men go there for women, food, weather, in that order. (Not sure why this is getting downmodded - I know a lot of professional expats who live there and after a few drinks they all say those are the big draws.)
The current ability to compute values is not quite the same as formulas in a spreadsheet (which hide "behind" cells), this is meant more as a visual programming language where the operators are part of your data.

Example: http://strlen.com/treesheets/docs/images/screenshots/screens...

But yes, I must admit, that part is very unfinished.
At the moment we build for the armhf and aarch64 (64 bit ARM) because that's where we perceive to be a gap.

But there it would be pretty easy to add additional architectures if people want them.
> drive down wages

Yeah, because everyone knows that you have to pay less wages when you have two people do the job of one.
Michael Feathers quote I think.
Same here, I saw it at the top, after I read the comments and refreshed the main page, it was gone I found it on the 46th spot.
Any idea how would they evaluate highly skilled professionals?

Most importantly, a lot of people living in Thailand have an offshore source of income (a business or a freelancing contract), those people don’t need a regular work visa as they are don’t participate in the Thai Labor market. Is this law somehow applicable to those people?
VS Code is REALLY discoverable IMO.

Ctrl + Shift + P (on Windows, might differ depending on OS) brings up command palette or whatever it is called.

Start typing.

When it has narrowed down to the command you need, make a mental note of the shortcut next to it, then hit esc and use it.
Exactly. It's all about taste.

I think that comment was a little condescending. Personally I love Ben & Jerry's, and it's a little offensive that you think I "don't recognize quality" and I "only like it because it was first to market".

Allow that, it tastes God damned brilliant, and you can't take away from that.
The challenge is of course writing one that is fast enough to be used for runtime-compilation (imagine a service that compiles code).

I had to rewrite mine (https://github.com/chewxy/hm) twice, and finally removing typeclasses to be fast enough for a inference system I wrote.
> Using their suggested YAML format leads to another problem: there's no easy way to keep secrets outside of the configuration files, unless you build your own process around it

Isn’t that what the Secrets resources are for? Just use those, and mount them into your containers in the filesystem or environment variables.
So I glanced over this, and found that std::variant is in libc++, as you would expect, but in some cases, when you get a nice modern compiler, you might not end up with it linked to a nice modern stdlib.

So maybe some sort of mis-match got in your way.

Anyways, here's hoping you get to use C++17 in its full glory!
I started making this in.. 2007? Back then productivity apps on the web was in its infancy, and it certainly didn't appear as an option to me.

And yes, I'm also guilty of using the tools I'm familiar with, as a predominantly C++ developer, I enjoy efficient things.
Sada
adad
The system has changed - it's first to the patent office, now, and vast amounts of intellectual property is being legally stolen.
Symbolics is long dead, and Emacs lost the edtor wars. A modern developer coming to Lisp would much rather use Sublime, Visual Studio Code, or even vim with appropriate plugins. This set of assumptions is increasingly invalid.
That's the usecase for archive_timeout. I set it to 60 seconds. So at most I'll have lost 60s + the time to transfer the file to s3, which shouldn't be more than a couple seconds.
Publication doesn't help unless it's highly publicized, either. Theft is genius now.
No? The 'mirror test' has been passed by a range of animals, including apes, elephants and dolphins.
IIRC the VST SDK terms forbid the redistribution of the SDK itself ; which is partly what makes it GPL-incompatible. Whether this restriction applies on translated versions is legally grey.
That's actually how I got into that mode too. I picked up Phaser.js and started making something and quickly realized that games give the opportunity for states to change very quickly and often in unpredictable manners especially compared to CRUD or web apps. It's not as easily defined, so you kind of are forced to hold it all in your mind to understand the ramifications of some code you're running. Especially when that code can run 60 times per second, constantly, if you put it in the update loop.

Plus testing is not just running RSpec, you have to play the game, play it a ton, play it in stupid and unpredictable ways, and when something breaks try to figure out where it broke. So you have to hold that code in your mind the entire time you're playing, too, to keep an idea of what methods are triggering at any moment.

Games are an amazing way of forcing you to "see the Matrix" and read the code in your mind as it runs in real time.
i feel like i would've had similar feelings had i not learned (and pretty much fell in love with) clojure some years ago. now whether it's backend or frontend or even seamless code sharing between both - i am totally covered. react wrappers in clojure get unreal synergies with language design choices (immutable by default, convenient nested data structure manipulation, etc), things like this one - http://maksm.net/crypto-calculator/ is 100 lines of code including html templates.

obviously this all means having to learn another language but i dont need to touch js ever again and i'll take that trade any day.
All the warm, fuzzy pro UBI articles gush about how tech giants are generously willing to support UBI in the face of jobs going away. They then paint glowing pictures of how useful that money will be for underpaid workers doing "good work," like teachers and social workers.

They never go into how bleak a dystopian future we are talking about if large numbers of jobs that pay $20k-$50k or so disappear and now you have to live on $10k-$20k with little or no hope of ever getting a job again while inflation steadily erodes the real value of your UBI. Glad to see one article exploring that (dystopian view), though it fails to mention this aspect of UBI.

We need to resolve the widespread lack of affordable housing in the US and we need to fix our broken healthcare system. That would give ordinary people substantial relief.
Slightly OT: Everytime there's a discussion about living in SE Asia or Thailand people give many good reasons to go.

Very rarely to never one dares to mention girls there as a reason. In this thread there's one person only who does mention girls.

Since I have never been to Thailand or SE Asia I am just wondering how much weight does this factor have in decisions to live in SE Asia (this is a serious question).

Edit: Fyi, this post got so many downvotes and I just don't understand why. People try to hide the truth and want us to believe that everybody goes to Thailand because of all these amenities, good Internet but not the one reason I mentioned? If downvoters keep on this hypocrisis I will delete the post again. This is ridiculous. I would like to see one downvoter replying and explaining why he downvoted.

Guys, keep on downvoting. I think the downvoters are exactly those who visit Thailand just because of this one reason.
No, Leaf isn't a type.
Prerequisites for 'the zone' (why not call it flow? isn't it the same thing?):

a) You have to be interested and eager to get started. If you're not happy with the project, if anything else going on in your life is taking your attention, you will not experience it.

b) When you experience it, you feel like you're a 'real' engineer, like that is your true identity now, your imposter syndrome disappears. So ultimately, if you don't identify as a programmer, as opposed to identifying as someone who programs because it pays well or view it as just a temporary phase of your career until you do management or become a startup CEO or something, you may never experience it.

c) After you experience it, your brain goes "whoaaa" and needs to recover. You won't be able to experience it for at least another 2-3 days, in my experience.
You have a better living cost arbitrage in SEA, specifically in Thailand. With an easy availability of everything you’d need as an expat (simple apartment and car/moto rentals), you get a much better bang for you buck. The barrier of entry is low and you can easily set up a routine in less of a day.

SA requires you to learn Spanish and you’ll struggle a lot trying to figure out things in he beginning.
I first became interested in programming language theory back in high school when a guy in an IRC chat, who was a student at UIUC, asked me to do his homework for him. The assignment was to implement Hindley-Milner type checking with unification in OCaml. Thanks, lazy IRC guy!
All of this is possible without throwing out any existing technology (at least for Linux and Windows; if Apple doesn't envision a use case for something it's very likely never going to exist on their platform). Linux compositors have the ability to manipulate the window however the hell they want, and while it's not as popular as it used to be, you can change the default shell on Windows and use any window manager you can program. A database filesystem is two parts: a database and a filesystem. Instead of throwing out the filesystem which works just fine, add a database which offers views into the filesystem. The author is really woe-is-me about how an audio player doesn't have a database of mp3s, but that's something that is done all the time. Why do we have to throw out the filesystem just to have database queries? And if it's because every app has to have their own database- no they don't. If you're going to rewrite all the apps anyways, then rewrite them to use the same database. Problem solved. The hardest concept to implement in this article would be the author's idea of modern GUIs, but it can certainly be done.

On top of this, the trade-off of creating an entirely new OS is enormous. Sure, you can make an OS with no apps because it's not compatible with anything that's been created before, and then you can add your own editor and your own web browser and whatever. And people who only need those things will love it. But if you need something that the OS developer didn't implement, you're screwed. You want to play a game? Sorry. You want to run the software that your school or business requires? Sorry. Seriously, don't throw out every damn thing ever made just to make a better suite of default apps.
No, I like Linux.
Great tool
<a href="http://crackedpc.org/sony-vegas-pro-crack/">sony vegas pro 14 crack
Is American ice cream different from other countries when it comes to melting?

When I carry ice cream in warm weather(Germany) it melts to a puddle in about ~4 minutes.
Filings under first to file is still subject prior art from any existing patent or publication. The only publication that won't count as existing prior art is a publication from the inventor his or herself under a one year grace period.
I dare say we can call this "yes, for many popular languages, in many modern IDEs".

Might I suggest taking a fresh look at IDEs? It sounds like you might be stuck in text-editor land, wondering how green the grass is on the other side (or if they even have grass). IDEs do indeed provide grass, and a significant portion of the time it'll even trim and weed itself when you look at it and wonder if it's time to mow.
Contrary to what a lot of people here have said about boring tasks, I find that's the easiest way for me to get into the zone.

While it may not be my most economically productive part of the day (aka I'm not working on the hard, important problems) there's no doubt that for the 10-15 minutes one of those menial tasks requires, I'm in that special state.

An environmental trigger for me is to play familiar music. It doesn't have to be a special playlist; any album I've listened to >50 times will suffice.

Remaining in the zone requires incremental progress (momentum) which I think is easy to find in a boring, repetitive task that's squarely in your wheelhouse.

The real productivity sweet spot is when you're able to get that momentum going on a valuable project.
Breaking Out into the Workforce After a Bootcamp
Flight connections in SA are significantly more expensive, there are virtually no low-costers.
I would love to see the same stats on my personal posts as I do on my page's post. How many people have seen it, the breakdown of their demographics, etc. The problem is, seeing those stats on a page (and a page that I pay FB to advertise for me) is really disheartening: the numbers are incredibly low even though I pay FB to show it to people. I'm sure the numbers are similarly low on my personal page as to how many of my 100+ friends actually saw my post come across their feed.
>> C++ started this with "auto",

C++ most certainly did not start this. It had been in ML
(orginally developed by Robin Milner) for decades. It has been a feature of every ML derived language, and Scala had it back in 2004.
In ML, constructors aren't subtypes of a sum type. And that's a good thing.
Author here, AMA.
Just discovered this is on hn again, it has been on here at least once before:

https://news.ycombinator.com/item?id=11247372

https://news.ycombinator.com/item?id=13578662

https://news.ycombinator.com/item?id=3394418

But hey, I don't mind the attention :)
For sure! MacSec has gained in popularity lately, and a lot of the issues the author raises have been solved by other efforts.
Fwiw I lived in Vietnam for 6 months and had girls stop me in the streets to take a picture with me and give me their numbers.
Oh yeah! Cycling fast gets me there too. It's weird, just put your brain in a position of risk and your get pretty quickly to focus zen. I wish I had a a simple formula like this to get in the zone more often when programming.
Thank you! I had been meaning to write something like this for myself. It's more useful than line numbers, which typically change often.
I don't think it's necessarily a contradiction. You either have to run your own server, or you have to trust someone else at which point you might as well just use Facebook. The entire point of Disaspora is that you don't have to trust anyone. Once you have some random, unknown person hosting it for you, you're just using Facebook but with fewer people.
Some people prefer the culture, the food, the party scene, the girls. Also, it's pretty safe and comfortable for expats. Also, English is widely spoken in Southeast Asia
I agree. The article the GP posted posits that they are equally wasteful, but ignores the fact that:

- The thing that they are wasting, capital, was created out of thin air by the act of switching to PoS

- There are large negative externalities to burning power by mining with hashes, which increase the cost to society of using PoW vs. PoS.