skysight-inc/HackerNews huggingface dataset:
> I tried Emacs/Spacemacs and for example, there's no decent tabbed interface. I mean a real tabbed interface, at least as good as Vim's. The answers I got on this topic ranged from: "you're not going to need it" (how do you know what I need?) to "use this random package which kind of provides a limited subset of the tabbed interface UX" to "write it yourself" (...).

I'd like to offer a different explanation, which I think it much more truthful and reflects the Emacs way(tm).

In Emacs everything (and I mean everything) is represented by the same type of primitives: Buffers made out of text. Every interaction with such a text-buffer is represented as lisp-code implementing an Emacs mode.

This is the core of Emacs. Everything in Emacs must build on this. No exceptions. And that's incredibly powerful.

Because of these "limitations" it means everything (and I mean everything) in Emacs can be processed using the same primitives, the same functions and the same keys.

There's no magic buttons, or drop-down lists, or special UI elements exempt from this.

I can search/grep for text in any buffer. I can recursively grep for results in my grep-result buffer. I can navigate these search results, the same way I would navigate a code-document. I can enable spell-check in any mode I like (like Git commit-mode). Etc etc.

It also means that any customization I've done to any part of Emacs, I can apply to any third party extension as well. It means I can customize and interact with a extension which extends another extension. There's almost no limits to what you can do with these simple but powerful primitives.

And all that in a simple and uniform way. Everything at your finger-tips. Both as a Emacs-package developer and an Emacs-user.

Once you get used to it, it's really a captivating thing and everything else starts feeling wrong.

If you want to make a tabbed interface... How are you going to represent that using those primitives? How will that work?

How will you make sure you tab-line/row stays in place and is exempt from other rules which governs the current buffer and the Emacs mode it runs (not to mention the user-customized rules for this mode)?

I'm not saying it can't be done. I'm just saying it wouldn't be very Emacsy, and it's probably not a trivial thing to implement either. Especially when you consider that all your code also needs to work in a terminal. Emacs should be able to work 100% in a SSH session too, you know. At least for me, that's one of it's many selling points :)

So non-trivial and not very Emascy. That doesn't sound like anything which is going to get lots of developer-time. Neither core nor third-party.
How one man is shaking up Portuguese food
That's true, you could, however in this case Power isn't exploiting a security vulnerability in Facebook. Power is acting on behalf of a user. This is like saying a maid is guilty of trespassing because a tenant provided his room key while the landlord has a strict "no roommates" policy.
Two startups that I know of who are trying to solve this problem:(shameless plug, I work for Duuoo)

http://duuoo.io

http://clanbeat.com
> An open question is "Is being purely functional, even excepting I/O, worthwhile?" Or is it, as was suggested to me via email earlier this year, the equivalent of writing a novel without using the letter 'e'?

This is a great question. I've been playing with pure functional programming, and I also noticed that applying it to video games is very hard. In other areas, FP provides many advantages such as testability and safe parallel execution. But for simple games these are not that useful. Simple games seem very well suited for the imperative, global state model.

There is one aspect that might make FP worth it for games and it's interactive programming. The immediate feedback loop described by Bret Victor [1], with the possibility of going back and forth in time is easier to achieve with a pure functional approach.

The Elm debugger [2] is an implementation of this concept, using hot swapping and functional reactive programming it's possible to design games interactively in a very unique way that it's hardly achieved with the traditional imperative approach.

[1] https://www.youtube.com/watch?v=PUv66718DII
[2] http://debug.elm-lang.org/
Just like PHP is widely used by one of the most important and successful Internet companies.

Legacy code bases don't make a language good.
Don't do that. My browser on mobile already has its own long-tap menu and has
a mode to open link in new tab on long-tap. You'll be interfering with many
similar operation modes if you implemented right-click menu in a web
application.
Opps, I'll update my post. Looks like peeyek had already pointed out that the pointer isn't const anyway.
> Trying to get vendors to open source anything is a hilarious exercise in futility.

Not really take Broadcom fro example, from https://wiki.archlinux.org/index.php/broadcom_wireless#Histo...

Broadcom has a noted history with its support for Wi-Fi devices regarding GNU/Linux. For a good portion of its initial history, Broadcom devices were either entirely unsupported or required the user to tinker with the firmware. The limited set of wireless devices that were supported were done so by a reverse-engineered driver. The reverse-engineered b43 driver was introduced in the 2.6.24 kernel.

In August 2008, Broadcom released the 802.11 Linux STA driver officially supporting Broadcom wireless devices on GNU/Linux. This is a restrictively licensed driver and it does not work with hidden ESSIDs, but Broadcom promised to work towards a more open approach in the future.

In September 2010, Broadcom released a fully open source driver. The brcm80211 driver was introduced in the 2.6.37 kernel and in the 2.6.39 kernel it was sub-divided into the brcmsmac and brcmfmac drivers.
And automatically testing lots and lots of examples gets you closer in spirit to proving than example-based vanilla unit testing.
Warning: Forces you to login to read.
The Case Against the Media. By the Media
Which revision of the Dell XPS 13? Thanks in advance!
I see a good opportunity for government to make this a reality. Not per se a fan of gov regulation for many things but I don't see this moving forward very fast. There are initiatives left and right (e.g. Talos) but if a significantly large government body (EU?) would make it a requirement, that might change the game. Lobbyists would probably convince them otherwise (you need closed HW to catch terrorists... etc).
SCTP is problematic because middle boxes need to be made aware of it since it uses a different IP protocol. This is gonna require massive infrastructure changes and probably won't fly (like IPv6).

QUIC, which runs over UDP, is easier to adopt. However, in reality many ISPs and company networks de-prioritize UDP traffic so the quality of connection is unpredictable.

TCP is still the safest bet. We need to figure out a better (and magical!) way somehow...
Drones: Aside from the military applications. DJI is solving a significant problem in agriculture with this: http://www.dji.com/product/mg-1

VR: You say 'outside of gaming', are you aware of how large a market gaming is? (roughly a $25-$30B / year in terms of software alone, theres 50 million units of ps4 & xbone shipped)

Autonomous vehicles: Are you aware that John Deere is a leader in this field? https://www.washingtonpost.com/news/the-switch/wp/2015/06/22...
https://xkcd.com/1357/
Emperor Joseph II from Amadaeus: "My dear, young man, don't take it too hard. Your work is ingenious. It's quality work. And there are simply too many notes, that's all. Cut a few and it will be perfect!"
Russian physicists discover a new approach for building quantum computers
How the Hyperloop can kill you
That's not a very strong point -those benchmark sources usually look like "C in language X" and not like "idiomatic use of language X" - I'd bet they don't use immutable data structures and hand optimize code avoiding common patterns in functional programming for perf.

Which is my point - there are languages that can compile to similar code as C/C++ if you write similar code - but the idiomatic code is still slower because it doesn't map to hardware cleanly and have inherent overhead, this is why functional languages didn't catch on when we were heavily CPU bound, it was common for people to write ASM because they couldn't get good enough perf out of C compilers.

Now that we transitioned from vertical to horizontal scaling problem domain maps very nicely to functional languages (actor model/message passing style communication is practically transparent with immutable data function calls).
> Not if that person openly calls for committing war crimes and invading other countries.

Do you have any quote for that? Trump is acceptable for many people outside US, because he wants to limit US involvement in wars. His main opponent on other side has long history if initiating wars. There is a serious risk she/he would even start war with Russia.
The author does not think that, all he does is point out correctly that const-qualifying a pointer's target type cannot be used for optimization purposes as it does not make any actual guarantees about object mutability.

Note that in contrast, restrict-qualifying a ponter-to-const (ie `const int *restrict x`) does make such guarantees, but only callee-side.
Well, except that Bonobos and Chimpanzees are different species (most recent common ancestor about 2million years ago[1]) whereas Humans are still a single species (most distant common ancestor less than 200,000 years ago[2])

Social differences in (and within) groups of humans are of clearly massive, but 'genetic dispositions' and 'innate traits' not so much. The difference between nature and nurture is difficult to discern, when nurture is so obviously an overwhelming influence.

Your comment about police dogs is interesting, because police dogs undergo intensive training and many breeds are used[3]

[1] http://www.nature.com/nature/journal/v486/n7404/full/nature1...

[2] https://en.wikipedia.org/wiki/Mitochondrial_Eve

[3] https://en.wikipedia.org/wiki/List_of_police_dog_breeds
The-serious-side-to-Paul-Krugmans-leprechaun-economics
I think its more nuanced than you make it to be. To me the message is "improve people's lives rather than disrupting them"
Iron.io is down
Their status page doesn't show actual status of their app (Only degraded performance), problem started on Friday and it deleted all our queues along with the messages, their support told me that messages will be restored, but messages are still not restored and it's Monday.
So.. first you jump to the conclusion that because this guy asserts TCP multiplexing is not favorable for his use case, you decide that all TCP multiplexing is useless and does not perform so HTTP/2 must be worthless.

Then you complain that you can't use HTTP/2 for some potentially useful cases.

Then you proceed to accuse Google of pushing HTTP/2 for improving the performance of their websites, effectively conceding that HTTP/2 does improve performance of multi-resource webpages.

Then you argue that it's actually a good thing when a multi-resource webpage is slow.
Vim has (more or less) the same buffer paradigm. And it still has a proper tabbed interface.

It can be done, it's just that there's no interest in the community or from the developers.

I can understand that, on the other hand such things make sure that a large number of people won't ever enter the Emacs community, for good or bad.

If you don't believe me about the popularity of the tabbed interface, I present:

- the addition of tabs to Vim

- the #1 feature request for Visual Studio Code, now implemented, tabs
A senior/experienced person offering potentially-qualitatively-better "stuff" in the realm of something like code isn't the point. I'm sure there are exceptions, but in general no one is saying, "Let things be bad." If something would be a lot better, it's not two cents, it's two dollars.

The point is that when the difference is opinion (or close to), such as matters of color, font, position, etc., there is no reason to tweak things. If you're not going to make a big difference, don't make one at all.
I don't think so. On the sites I worked on, adding SPDY gave a nice double-digit& load time benefit.

HTTP/2 does not require HTTPS. But all browsers decided this was a good thing, so browser require HTTP to enable HTTP/2. And you do not need to get a centralized CA to give you certs; just use your own.

HTTP/2 makes parsing way faster, which can save significant resources. It'll also cut down an ambiguity which might prevent some security issues.
It is clear that the author means "pointer to const" there.
China Halts Original News Reporting by Non-State Media
Marissa's Tumblr: Verizon to acquire Yahoo’s operating business
Ethereum hard fork creates a competing “Ethereum Classic” currency
> [...] the algorithms I am aware of for finding shortest paths require mutable vertices that store the scores and pointers (edges) for the best part found so far.

No problem. Traditional loops with mutable variables translate straight-forward to tail recursive calls, if you want to write your algorithm like that.

Though actually my argument was less about not mutating your functions internal variables---but about interacting with the world outside your function via a well defined interface. (In this case, via arguments and returned values.)

The most 'mainstream' language that encourages such a strong adherence to declared interfaces is Haskell. But the imperative D can do something similar:

"In a slightly less precise way, this means that pure functions always have the same effect and/or return the same result for a given set of arguments. As a consequence, a pure function for example cannot call other impure functions, or perform any kind of I/O (in the classical sense)."

http://klickverbot.at/blog/2012/05/purity-in-d/
When I am doing copy and paste, I choose emacs; when I want sane tab behaviour, I choose vim. Will spacemacs be good for me?
Last I heard, Assange worked for no-one but his own ego...

Really I am disappointed. I'm not even American but I would think that you would respect a man who has taken a bold stand against tyranny. This is how you regard him? In your estimation Snowden is an egotistical too?
Oh, that's a shame. Got to keep playing the un-remade versions on ScummVM then.
case closed, no new precedent needs to be set.
I like this analogy, it extends quite well.

Two more cases to consider: the landlord has a "no sharing keys" policy, and it has told the maid, "you may not enter, regardless of which keys you have".
Look at the reddit post I referenced for citations. It lists 6 citations for the first part or my statement and 2 citations for the second part (look for "invading").
I think the total potential winnings could be $50,000 because it's $25k top event prize for "each task". The 2 tasks I see are: "stow task" and "pick task".

But to your point, $50k doesn't have quite the same glamour as $1 million.
Discussion: https://news.ycombinator.com/item?id=12154528
Yes, VBA is a break away from the nice purely functional world of spreadsheets.

Simon Peyton Jones once did some work on giving Excel more programmatic power without having to go to VBA.

http://research.microsoft.com/en-us/um/people/simonpj/Papers...
To what extent does the proving of theorems about your code play in your development process? I ask because that was singled out as one of the main reasons for using functional languages by Eutectic in the comment that started this sub-thread.
Completely agree.

The issue here is that Google accounts are a "free service" (obviously advertiser funded), and they're not even really tied strongly to real people. A given account could be shared between people, or change owners over time.

I've always felt that, done right, this could be a revenue opportunity for Google - offer a premium account where you give them your proper identity details, and tick a few boxes about how you want your account to be managed if you lose login access (reset to someone who can show ID? destroy?). I'd gladly pay a non-trivial amount to get decent service like that in an emergency.

As it stands, you're not paying Google anything. You're not the customer, you're the thing being sold.

With no revenue from users, it's understandable that they won't entertainment appeals about their decisions.

I suspect they wouldn't want to offer a premium account though, due to the bad press of admitting the problem.
Pokémon Go player crashes his car into a tree
No, it is built right on top of Erlang for seamless integration, and of note is that it was created by Robert Virding, one of the original creators of Erlang along with Joe Armstrong.

LFE macros deliver true homoiconicity to Erlang.
It is a Lisp 2, and supports function and macro definitions at the REPL.

I prefer it to Elixir, because I prefer Lisp. Robert has also created a Lua 5.2 written in pure Erlang.

Evidently, Erlang's actors and BEAM VM were influenced by the JVM and Scala, so I guess doing a JVM Erjang was in the cards. [1]

[1] https://www.infoq.com/news/2011/04/erlang-copied-jvm-and-sca...
https://www.emacswiki.org/emacs/TabBarMode
Your first part was irrelevant: if you cast away const, of course variable must have been const in first place. As other have already mentioned, casting itself is not an undefined behavior (and sometimes even have legitimate reasons, mentioned in my earlier post). On the other hand, trying to modify const variable though non-const pointer is undefined behavior.

P.S. if you downvoted to disagree with this (on my parent post), please provide an opposite example, because as a C programmer, I would really be interested to be proven wrong on this matter.
Why Writing Correct Software Is Hard
You want to make sure that you have the Steam Link wired into your network, rather than on wireless, because that makes a huge difference.

Otherwise, it's gotten so they are pretty decent now. When the Links first came out, they were quite laggy and unstable, but after a hundred or so patches, it's settled down.
This is very interesting and something that I can really apply at work?

Does anyone knows how this compares to Gerber-to-svg? https://github.com/mcous/gerber-to-svg
A 65+ character line is already ugly. 80 is an arbitrary but sensible cutoff.
App that prepare anyone for any trip in 8 min: uPackingList
Everyone has gone through this: you need to quickly get ready for that unexpected business trip, that last-minute weekend getaway or that long-awaited grand vacation. There are so many things you need to bring and chores you need to do that you try to juggle these lists in your head. You get mad, irritated and tired.

Fortunately, the uPackingList application from NIX Solutions can help you through it all.

The application takes into account the purpose of trip and the destination location, and selects the most suitable items accordingly.
Create a new emotion
How UX and UI design contribute to the success of mobile apps
You can learn more about the application there: http://upackinglist.nixsolutions.mobi/
Just stop using Facebook
What on earth is this comment even about. First of all, HTTP/2 has a lot of advantage over HTTP/1.1, like server push. Saying it doesn't provide the benefits it claimed is wrong. It uses a single TCP connection, which for websites that require a lot of them (hint: lots of people nowadays do. You've got the webapp trend to thank for that) actually IMPROVES things. TCP overhead is not negligeable. And then there's the header compression algorithm that's included in HTTP2 that further helps getting size down.

HTTPS-only is NOT a protocol limitation. It was pushed by BOTH Google AND Mozilla, in the name of security, like all the new features coming to the web (need webrtc ? Https. Want the camera ? https. Want https ? https). I'm not actually too sure I like that trend either, it feels like shoving candies down my throat. I like candies. But not like that.

However, saying this is a Big Google Conspiracy is ridiculous. I mean what the hell does cookie have to do with anything.

PS: On a separate note, could we get 10.0.0.X, 192.168.X.X, 127.0.0.1 and the file:// protocol counted as "Secure" please ? It's a pain to have to create a self-signed certs just to develop stuff.
Oh, if you had some higher math you are already ahead of the game. (I did the same, but I got lucky and had heard of Monoide even in German.)

Yes, it's a bit of a shame that some things are so abstract that we can really give it good names. For example, the operation in the monoid is just any old operation that's associative. What name do you want to call that? I don't see anything that improves on the little Kringel that we make on the black-board, or the <> that Haskell uses.
An iOS Markdown editor without a single line of code
I get it, the author was very irritated that Thiel spoke for trump, so he wrote a really bad article full of personal attacks, misinformation, belittling comparisons etc. Why did the NYtimes publish this garbage ?
Facebook did block their IP address.
1) Why would they be infringing on a patent if they open source their own code? Could you expand on this point please.

2) Seems like a small subset of devices. And the FCC only has power in the US right?

3) Surely they have to document their stuff internally anyway. And being opensource can mean free documentation. Same for support.
Citing what people say - and in this instance what Trump says - to expose what their political goals or non-goals are is hardly fear mongering. None of the statements I made compared Trump to Hitler, you may want to re-read. The comparison was made to underline how absurd the statement of the parent poster was because by his line of reason you could - literally in good conscience - even support Hilter "because some of his goals align with mine and I don't care of the world burns as a result".
No, a toxin is a poison, usually produced for predation or defense. As Wikipedia correctly notes,

In the context of quack and alternative medicine the term "toxin" is used to refer to any substance supposed to cause ill health.

What the body produces and might need to eliminate is metabolic byproduct or waste, nothing to do with "toxins". The term used in this context makes me cringe.
F-Droid has an .apk of the old FOSS version: https://f-droid.org/repository/browse/?fdfilter=otp&fdid=com...

Along with multiple alternative apps: https://f-droid.org/repository/browse/?fdfilter=otp&fdpage=1...
PS I feel your joy on finding a nice way to abstract your domain and represent it just right.
I cannot explain it but it is odd which stores I cannot use it at. Almost all the chain restaurants, coffee shops, and such, have it. No signature or pin, just the card, which I find just as insecure. I want to have to enter a pin else I am going to Apple pay if I can.

Now my grocery store, Publix, doesn't take the chip card but I don't mind swipe and pin. they also don't do Apple pay so I am out for that option.

So give me A/Pay, chip and pin, or forget it. I guess since I have not suffered an identify theft issue I am not totally dead set against retailers not up to date.
He's not literally Hitler. He is literally someone with narcissistic personality disorder whose grip on reality seems even more remote than usual.

Narcs are barely a step up from psychopaths. They literally lie professionally and have no conscience to speak of.

They're also famous for having no empathy whatsoever. So the chances that Trump genuinely cares about the struggling and low paid is zero.

There is absolutely no rational reason to want someone with NPD as president.
It's interesting to me that Scott Thompson was kicked out for not having a degree (or rather, lying about having a CS degree that he didn't have) - https://en.wikipedia.org/wiki/Scott_Thompson_(businessman) - this happened in the Sillicon Valley we know, with Zuckerbergs and Gates. Seems incredibly strange.

Before being CEO at Yahoo, he was working as CTO at eBay/Paypal, which would indicate to me he is more than competent enough. I wonder if he might have been more successful than Mayer if he had been at the helm longer -- he does seem to have history of success in leadership positions.