skysight-inc/HackerNews huggingface dataset:
> One group session every other week, with six other companies to share what we’ve accomplished and what we’re struggling with amongst people that are living exactly the same thing.

It's interesting to hear about the group sessions. In the incubator my company is participating in, our weekly group sessions are EXTREMELY structured - we're presenting our progress to a similar number of other companies, but we're required by the incubator organizers to put together very specific (and extensive) slide decks answering very specific questions (which, IMHO, don't make sense for every company to spend time preparing every week given that all our companies are in different stages). Are the YC group sessions similarly structured, or are they more like lightly-or-not-at-all-moderated roundtable discussions/support groups among friends?
Program Synthesis Demo
Cheers <3
France bans online book retailers from free delivery–Amazon now charges a penny
We still make phone calls.
I keep thinking about that tidbit and laughing.
Google Prepping "Material" Play Store Update
I like this, though, as it makes it more useful for specific purposes - especially alerts, buttons, and background colours.
You ideally need both. A good GPS to tell you where you are, and a good map (and the sense and skill to read it) to tell you how to get somewhere else.

My father once said a GPS is just a device to remind you how lost you are.
Yes. Done.

Submitters: please follow the HN guidelines and do not rewrite titles except when they are linkbait or misleading. Especially please do not editorialize in titles (i.e. put your own spin on them).
Re: dry runs - my bad, I should've checked more carefully.

Re: copying changed portions only - yes, http://bvckup2.com/#delta

Re: compare file contents - not for deciding if the file was modified or not, no. There was just no demand for this. That said, it's easy to add and it can be done more efficiently than doing a raw comparison between the original and the backup copies. That's because the delta copier computes file hash as a part of the process, so the app can simply go through the source file, redo the hash and see if it's changed since the last run. But as I said there were zero demand for this, so the comparison is done based on timestamps and the file size. Depending on the file system support the app automatically selects between comparing just the modified time or both the modified and created. HTH.
As a Haskell dev about to get into Rust (and appreciates occasional parallels to OCaml) I found this very insightful. I especially like the attention given to the tables of language literals.

Not that it takes away from the purpose of the post but I couldn't help but see some issues in the Haskell code.

The code under "Recursive data structures" is not valid, top-level code in a Haskell source-file isn't evaluated like in Ocaml, I'd remove the "let" keywords and put "main = " in front of the putStrLn function (which is also misspelled).

As others have mentioned, the ADT example is wrong, you need to use "data" instead of "type", and the convention for the optional type in Haskell is "data Maybe a = Nothing | Just".

hello x =
test x

This might be intentional, but it's very unconventional to put a newline after the equality sign in that short function.

if v /= 1 then collatz v
else return ()

This is better written as:

when (v /= 1) (collatz v)

and compares better with the Rust and OCaml code.
Taint isn't telling you who data came from. Only that it was external to the program. That's a much simpler challenge, particularly as it takes place within a single process's context.
I think his point is simply that if the regulation limiting the number of cabs had not been in place, DUIs would have already been reduced due to that. It's not anything about how uber of lyft work in particular that is contributing to the positive affect, just the increased ability to hitch a ride. So it sounds like you are not actually disagreeing with him, other than for the fact that uber/lyft deserve any sort of credit for it.
"very simple" is one of the best compliments an UI can get!
It's deceptively simple--looks like there's a lot of information and functionality packed in, and attention to details is apparent.

Contrast this with the too common designed-by-programmer UIs of Windows utilities, and I'd say this looks great.
Which was a bug in beta 2 that was corrected in beta 3. So the behavior in beta 3 matches the design quoted above. Hence kipple is correct.
Agreed would any sane president look at the generals projected 98% wastage rate for the first 5 waves ashore for operation Olympic and think well this new weapon could force a surrender but no I will give America her own Verdun or Somme what's 1/2 a million dead GI's and Squaddie's.
Open source software is important for modern science
http://en.wikipedia.org/wiki/Benefit_corporation
For reference, the Clojure rewrite is https://github.com/zk/clojuredocs and is hosted at http://clojuredocs.herokuapp.com/
Anyone familiar with standard wave mechanics will expect that crossing waves will pass right through each other. The part that confuses me is why the waves don't spread out laterally. For instance, take the waves in the article that went from the Indian ocean to the Mexican coast. Wouldn't they fan out across the entirety of the Pacific ocean after passing between Australia and Antarctica? Or maybe they do, but they're so big to begin with that even after they do so, they're still big enough to crash on the entire west coast of the Americas? Would the same storm have caused gigantic waves to crash on the much closer southern Australian shore?
App parking system shuts down in San Francisco
It also had an auto-playing video with sound. Very annoying.
I'm having trouble visualizing what you're talking about here. What do you mean by inland waves?
So, that is so important for you that if the team decides to have a convention in caps, you'll do it in your own way?
Why does the syntax matter at all? What would be the difference if Swift had exactly the same features and semantics but a different syntax?
I had a similar question. While we're playing with hypotheticals, say the Allies had gained atomic weapons in 1941. It's pretty easy to imagine that using them then would have been preferable to what followed. That the author apparently didn't consider such a thing makes me think this piece is excessively colored by his idealistic mindset. Too bad, sounded interesting until I saw how judgmental he is.
To be fair, if someone casually links to a HowTo for rsync-based snapshots, saying that he can't understand how a mirroring app can be used for setting up rolling backups is a pretense modesty.
> You misunderstood my first comment. I meant new C-like-in-syntax have nothing revolutionary semantically across the board.

Are you saying that the new features in Swift/Rust/C#/etc. aren't revolutionary? Or that they're not "across the board"? Or that they're not semantic? Which part do you disagree with?

> This is a double blow as each new C-like syntax ... contributes nothing semantically new.

This is demonstrably false. Do you mean that you don't think the new semantics are revolutionary enough? Or "across the board" enough?

Either way I have to disagree with you. Automated memory management is a semantic game changer, and applies nearly everywhere. Same goes for type inference, and optionals. ADTs are huge too. If your argument is that these are not important semantic improvements over C, then IMO you could not be more wrong.
So it could be that, for instance, police are getting laxer about DUI enforcement, rather than that people are driving drunk less.

This may be true somewhere, but not anywhere that federal anti-DUI funds are tied to purchase of new vehicles and equipment. In those places, i.e. most of the nation, there is no laxity, even though there certainly should be.
I'd love to help with building a backend, if the author or someone else decides to go that way. Just recently finished rewriting my blog in Clojure, complete with csrf protection, db, sessions, and a bunch of shinies as well.
> "The astonishing thing is, you'd think it would bump into a million other waves that are coming at it from every direction; that it would pass through other storms, spreading, bumping, traveling, that all this travel would sap its momentum. But, as Walter Munk would discover, that's not what happens."

Kinda weird that the article spends so long explaining high-school physics, and in such astonished terms. Zomg! Waves pass through each other! The Superposition principle! If they think that's cool, they should see some of the stuff you can do with light and sound.
Regarding -Werror, its considered by some to be bad practice for releases [1].

[1] https://blog.flameeyes.eu/2009/02/future-proof-your-code-don...
California High-Speed Rail–the Critics' Case
South Park episodes moving exclusively to Hulu
>"non-flame-based-cooking"

So, methods that don't rely on the convection of air to the pan. I would guess an induction cook top would be a better example than a ceramic element.

At a quick glance, if these efficiency percentages being thrown around are actually comparable(maybe not), than induction still beats fancy convection pots even with heatsink bottoms like these:
http://www.appliancemagazine.com/editorial.php?article=2257&...

> It looks like the inside of the pan has the same fins

I couldn't find out if it does. I found others, like the pots in the link above that have a flat inside.

My guess is that using a pressure cooker with an induction cooktop fed by on-site solar would be the most efficiency possible, but I have not done the math and would love to be corrected.

https://en.wikipedia.org/wiki/Induction_cooking#Efficiency_a...
In science you give something a name so you can reason about it more easily. So yes, really.
...your program crashes spectacularly (and not on start, but on some unicode operation further down the line).

ISTM that it could be a good idea to try all potentially-dangerous unicode-related operations immediately on startup. That might be a good idea for a package or even an addition to the stdlib.
Sorry 'hacker' has a number of meanings and one of them is cyber criminals - trying to turn the clock back to some imagined golden age at MIT in the 60's is futile.
Why do you seem so bent on misunderstanding me? I am not talking about semantic improvements over just C!

E.g,

> Automated memory management is a semantic game changer

That has been there in other languages for decades.

By "across the board," I meant across all languages not just C-like languages.
Many Americans don't take physics in high school. I didn't and I'm a computer science phd student (so it's not that I wasn't intelligent enough to take it). I was surprised to learn that waves coming from different directions just pass through each other. I did take physics in college, from a guy who could barely speak English.
It was a design bug not a implementation bug.

Beta 2 behaviour matched the docs at that time but there was plenty of pushback about the behaviour in radars, Apple dev forums[0] and on the wider web[1].

Chris Lattner announced[0] the planned change on the forum 19th June.

[0] https://devforums.apple.com/message/989944#989944

[1] http://blog.human-friendly.com/swift-arrays-too-swift-and-fl...
Clesthyra that is. http://anathem.wikia.com/wiki/Clesthyra%27s_Eye
http://www.merriam-webster.com/dictionary/hacker

Full Definition of HACKER

1: one that hacks

2: a person who is inexperienced or unskilled at a particular activity <a tennis hacker>

3: an expert at programming and solving problems with a computer

4: a person who illegally gains access to and sometimes tampers with information in a computer system
Watching Wind Turbines in Snow Sheds Light on Inefficiencies
I have Netflix too and sometimes I download a movie before even checking if it's available on Netflix because there is so many titles missing when you are streaming...
And unfortunately for him the original point is quite cogent, and that no doubt Uber/Lyft should be given credit, for the bypassed regulations that negatively affect the world and thus have reduced total DUI's and deaths.
It's not at all obvious they'd lose. Github is not violating anybody's copyright. They're only distributing source code, presumably with the full consent of the authors.
And a link to his homepage where you might find more work on program synthesis http://research.microsoft.com/en-us/um/people/sumitg/
Yeah now it's perfectly clear :)
>I'm not subservient to helping cities-- I'm going to cities because of my own interests, and I absolutely reject any guilt to bringing down those cities.

That's the "for the community" view vs the "for the individual" view. When people start thinking in the second, more selfish, way, households, neighborhoods, cities and countries go downhill quickly.

I think that, paradoxically, as most things in life, it's the "community first" attitude that creates stronger and more empowered individuals. The "self first" attitude, despite the widespread mistrust, fear, hate and selfishness, also results to loneliness, depression, less power (because when you're just by youself you can be crushed more easily by others, etc).

>I dislike this attitude that sees people as pawns that we should move around for political goals rather than as people who are just living their lives.

It's not "political goals". It's solidarity, duty, love, connection, ties, roots, caring for where you live, caring for the neighbor, all those things. It's easy to dismiss them as "chains".
Looking at this immediately made me think of my induction hob back home in London. I think they're popular in Asia, but not at all in UK.

I think in the UK people get them mixed up with other forms of electric hobs. I take great delight in placing a piece of paper on one of the rings, placing a pan of water on top, and turning it on full blast. Visitors are amazed when the water boils extremely quickly, and the paper is just slightly warmed.

So IMO induction is far more controllable, efficient, and faster than gas, not to mention so much easier to clean, and even a better pan for gas isn't going to change that.
Just to nitpick: it's using the seebeck effect not the peltier effect, they're the reverse of one another.
Show HN: WordyLinks – create URL redirects using memorable keywords
Too distracted watching the football...
Induction is terrible for the environment though, as you're turning high efficiency energy (electricity) into low efficiency energy (heat).
> The Bay Area has plenty of room for more housing. [...] If housing regulations were relaxed, developers would make room for millions of new residents, creating thousands of construction jobs in the process. That would alleviate the severe housing shortage currently plaguing the city.

Most people who bought houses in these cities while working wanted to sell up for as high a price as possible to retire in some cheap housing somewhere where they don't need to be close to a job. So they vote for city and county governments that restrict new housing permits. Reduce the supply of product to make the prices go up.

Those buying houses in smaller countries like Australia and New Zealand have had the complementary process available to them: boost the demand. They voted for the national governments that let in the most immigrants. That's why the housing industry didn't collapse in Australia/NZ around 2008 like it did in many US cities. They vote for the city governments that restrict new housing, and for the national governments that let in the most immigrants.

Reduce the supply and boost the demand to make the sale price on workers main asset go up quickly. They sell up, pay back the bank, and retire to some beach in rural Queensland.
The POTUS is unquestionably the most powerful person on the planet.

http://en.wikipedia.org/wiki/Powers_of_the_President_of_the_...

The ability to engage in wars of almost any scale by itself is enough to command the respect of anyone. They're suppose to have congressional approval but they regularly bypass that.

The President of the US also is tasked with appointing over 6000 of the top federal officials and federal judges. The POTUS can change the CIA director (which is arguably the 2nd most powerful organization in the world, only seconded by the US Navy), and the NSA, FBI, NASA, and many others.

Foreign and domestic policy is greatly influenced by the President, they can very easily change the direction of humanity, (Iraq and Afghanistan wars, millions killed, so much money spent, unknown what the world would be like today if they hadn't happened).

If the president really wanted to, he could declassify almost anything and even give the order to launch a nuclear missile (might require Emergency Powers, which he has the right to use).

Forbes says Putin is more powerful, it's debatable I suppose. http://www.forbes.com/powerful-people/list/
I find this particularly interesting since I had to implement a quantum simulator using Runge-Kutta numerical integration of the Schrodinger equation in school, for a computational physics class. It was fun to play with (great for making screensavers of waveforms), but I never got so far as learning how to implement quantum computing operations.

There are several programming languages being developed for programming quantum computers (such as QCL[1]), but not a whole lot of awareness of them as far as I know. It'd be really neat to see an open-source QC simulator like this become the basis of a common Quantum Virtual Machine to make quantum programming more accessible to the Interested Hacker.

[1] http://tph.tuwien.ac.at/~oemer/qcl.html
I think, the fact this behavior is documented makes this okay. It's not an EA's fault that users don't read the accompanying documentation then are surprised the software does some things as a part of its job. I mean, accessing any information (private or not) is okay if you had reasonably clearly stated you would/may do so.

However, the fact accompanying documentation is a mess, so it's very hard to comprehend it, makes this not really okay.
I always thought that of all the Microsoft "frameworks" ATL and WTL were the best thought-out and most useful, and reasonably lightweight. I never really got the hang of MFC, but WTL clicked very quickly for me.
Because programmers in general don't like non-C syntax.
> It could very well pass for a modest PhD thesis in a smaller university :)

This may be a bit far-fetched. Some might even say disrespectful to the bulk of PhDs out there, who typically worked several years (not weeks) to complete their dissertations.

From properly relating to current state of the art, to actually developing multiple (not just a single one) techniques improving it, and finishing by properly presenting all that work in a scientific manner: your nice trick has a long way to passing as a PhD.

EDIT: Ok, I didn't get the playful tone. Sorry.
I don't understand what high and low efficiency means in this context and how it applies to the environment. All electric stoves convert electricity to heat; do you mean to say that natural gas is the better environmental choice? Please correct me if I'm misunderstanding you.
wccftech.com on Hacker News? My world just collapsed. It's most unreliable tech website in the world.
That looks like someone took the 'everything is a file' unix mantra a little bit too far.
It's funny, this article is dripping with attitude about how Rust will bring poor naive C programmers who are caught in the 70s into modern language design.

You could write just the same kind of article about how Rust will bring out-of-touch theorists into modern software engineering where you actually need a C-level of performance and predictability. And then show examples of all the same "for" loops with mutable variables that you're used to writing in C have direct analogs in Rust.

But both bits of snark would miss the point, which is: Rust is awesome precisely because it merges these two schools of thought into something that preserves the advantages of both.
Of course, this assumes the case that also other weapons hadn't been developed as well.

One of my favorite weapons, where my username is derived, was actually very effective in it's own right.

http://en.m.wikipedia.org/wiki/Bat_bomb

Of course, a bat bomb wasn't a sure thing, but Fat man was much more complex than little boy, which wasn't as efficient, and we didn't have much more nuclear material than a few bombs worth at the time.

So, in hindsight, I don't think it's easy to say whether or not the atom bomb was absolutely necessary to ultimately prevent many lives (on both sides) from being lost. I do believe it was very effective to that end, however, with the side effect of letting the nuclear genie out of the bottle.
I don't understand what semantics are illusory? Swift semantics for value types (including structs, arrays dictionaries and strings) are copy on assignment (return and argument passing). The fact that most of the copies are optimised out doesn't actually change the semantics.
Essentially, this article is complaining that Nadella is playing politics. When you're dependent on mass complicity, boasting airy platitudes and leaving the plan publicly undefined (that is, saying a bunch of stuff that's impossible to disagree with) is the only way to succeed. You don't become CEO of Microsoft by being a political ignoramus. Nadella knew this would go public and is using it to project the image the company wishes to attain for itself. It doesn't matter if it's real or not, the mere act of repetition does much to reinforce the belief in the audience's mind.

I've learned that the most successful C-levels will almost never commit anything substantive to writing. Send them an email looking for direction and it's always, "Let's talk about that tomorrow". There are a lot of strong political reasons for that.
Solar panels require sunlight of sufficient strength, something you can't rely on.
rarely have I seen so well-laid out a post on such a subtle topic

I'll have to disagree. I thought the author was quite muddled in their thinking on values vs variables. One of the biggest misunderstandings in the article, and the reason why the proposed "solution" is worthless, is that all the examples discussed are of the form:

let a = …
var b = a

while in reality a much more common "assignment" situation is that an array gets passed as a procedure argument, which has consistent behavior in both the older and the newer Swift array semantics, but would turn into a mess with the proposed "fix".
Although I really have disdain for people like this, and I condemn his actions. He's clearly got a few screws loose or his terrorist toddler years seem to have lapsed into puberty..

But I thought that t-shirt was a nice touch..
I agree that CSS is not AOP, but not for the reason you state. From my perspective both CSS and AOP incorporate a declarative rule based programming language. (At least most AOP does).

The difference relevant here between the two is that CSS applies its rules over data, and AOP applies its rules over code. (another big difference ofc is that CSS is a DSL whereas AOP is a general purpose technique)
I don't know but I think it is a paradox.

Here is why:

You put up a firewall to make you secure. So you should be secure. But by putting up a firewall you fail to secure something else or you are lax in another area of security. Because you think "it's been take care of. So I see it as a paradox. Although it could be ironic if someone put up a firewall but then was hacked because of something they didn't do thinking they didn't need it if they had a firewall. That would be an irony.
What's up with that guy wearing thick gloves while using that lathe? Isn't not wearing gloves while working with a lathe like rule number one?
The interesting observation is how the economy correlates to dui arrests. Either through people maintaining their lifestyle but not being able to afford a cab or police departments reacting to cuts in funding.

Crediting uber is a startup echo-chamber delusion.
Much easier to read to who? Not to me at least.

Code readability is subjective and depends on experience and familiarity.