skysight-inc/HackerNews huggingface dataset:
To help improve my OpenGL/graphics knowledge, I've started going through GPU Gems ( https://a248.e.akamai.net/f/248/10/10/http.developer.nvidia.... ) and building my own examples of the concepts in each chapter. I was very happy to find Glitter recently, as it made the obnoxious hurdle of setting up all the dependencies unnecessary.

Also, setting up Glitter was what led me to finally "getting" what CMake was for and how it fit into a development pipeline.
Mine too, especially for the light version for non-retina OSX!
His YouTube channel: https://www.youtube.com/user/obscuresorrows
One of the difficulties in engaging in theological discussions is that we all come to the table with different interpretations of particular terms and ideas. I know that I began this discussion by criticizing one interpretation, but that is because the author's interpretation of the tree as containing scientific knowledge seemed to directly contradict the very name of the tree. What I present here is what the Orthodox Church has taught, rooted in ideas from St. Ignatius, a bishop in the first century. I say this not as some kind of appeal to authority, but only to make clear that what I express has been upheld and refined for nearly 2000 years.

In the Orthodox Church, "original sin" isn't some sort of inherited guilt. Adam and Eve bear the guilt for their actions; the _ramification_ of their actions resulted in the disordering of all the cosmos, which is what all of humanity has sadly inherited. The Catholic (or perhaps more specifically Augustinian) idea that all share in the guilt of Adam is what leads to ideas like Christ needing to be a propitiatory sacrifice to appease an angry God. This idea is inconceivable in the Orthodox church. Nor does Christ exist only to reconcile original sin; He has always existed, and Orthodox theologians have said that if the fall had not occurred He still would have taken on flesh for the sake of uniting Himself with humanity.

It is this union in the Incarnation that makes humans "divine": Christ is fully God and fully man; as St. Ignatius said, "God became man so that man might become like God." If the intent was only to "get people to heaven," meaning to put them in some specific place after death, then there were certainly easier ways to accomplish this. But God has in His eyes the beautification of His beloved.

Christ's life is a perfect illustration not only of God's love but of the way in which all who follow Christ are empowered to walk. What we see in the Incarnation, Transfiguration, and Resurrection is what humanity is truly capable of: a love so powerful that it can annihilate death.
Well, Hack and many other fonts like SCP is a bit too wide for Asians, since they may mix source code with 文字 like this. That's why I made Iosevka [1].
[1]: http://be5invis.github.io/Iosevka/
Have you backed the project, and what are your expectations? I don't agree with the author that what they promise is out of reach of today's tech, they are relatively simple optimisation problems.
I don't think I disagree with that, I'm just saying that being with my children is not always fun or interesting. Louis CK has some excellent bits about this stuff.
When we give someone an IQ test we give them a made up set of problems to solve. We hope that if someone can solve these made up problems they will be better at solving problems that real life throws at them.

When we look at the research we find that if we know someone's score on an IQ test(how well they solve made up problems) we find they tend to do a little better(on average) at life then people who aren't as good at solving made-up problems. This is not meant to be the full measure of a man, or supposed to tell us the answer to what intelligence is.(This is probably a question a bunch of tenured philosophers could argue about until the end of civilization :) ).
Dr Dre's 'wall of sound' composed from 1000s of samples would be impossible now - licensing would be astronomical & unnatainable - only the underground could pull it off - it remains as a imperfect definitive milestone in American culture - as hard and raw as it needed to be and strong sweet, beat poised, & heartfelt like Coltrane. Unique.
Good, but not as good as a) Input Mono Narrow and b) Inconsolata.
"[T]he combination of (IO, bind, return) is the monad. It only makes sense to say the above in Haskell where there can be only one instance per type."

This is very important, and something that took me a bit to grok, and definitely got in the way of understanding for a while.

One thing you can do - and I don't know whether it makes sense to teach it this way - is think of the typeclass constraints as actual arguments (absent optimizations, that is literally the case anyway - GHC passes instance dictionaries). In that case, "the monoid" is that dictionary, and the type referenced is the carrier set, and a value of that type is an element of the carrier set.
I think you've made a mistake. The a glyph in your demo doesn't look like the glyph in the Github repository...
The Myth of the Ethical Shopper
Tried liberation mono?

https://fedorahosted.org/liberation-fonts/
I really don't like the font personally, but you know, can't argue with taste. I'm curious though - you're using Geany for working with Go? What level of support does it have?
Of all the companies out there in the world that could use some heat like this blog post generates, IMO TheGrid does not appear to be one of them.
I worked in a call center where people where simultaneously using a phone and keyboard number pad accurately and not even noticing. Subtle differences between the two but still interesting.
Did the "calculator" layout yield much worse results than the winning inverted layout? If so, I'm really curious about the reasons for the difference in performance.

Should actual calculators adopt the phone layout, too? I've always been curious why not all devices use the same order (PIN entry pads, phones, calculators, etc.)
I was about to point this out. I remember back from my H.264 days that arithmetic coding, while providing excellent compression, was terribly encumbered with patents.
Isn't there a simpler reason - a square design is easier to implement with a 3x3 matrix switch and the number layout ensures that the letters associated with the digits are in alphabetic order.
Factor – A Practical Stack Language
Oh my yes, this is very nice indeed. Probably the first real advancement I've seen in programming fonts in decades.
I'm pretty familiar with actually-good type systems, and as I've attempted to say, they do eliminate certain classes of problems. They just don't happen to be the types of problems I struggle with or find major productivity-burners. YMMV.

Orthogonal to all this is that I'm underwhelmed by Go's type system :/ If I was going to shoot for a language whose type system really helped me (in the ways I need/want help) it wouldn't be Go. It's pretty slick for some things (aesthetics aside) though.
Which book is that? Couldn't see from your profile :)
That more or less sums up my view on Go in a nutshell.
Also this video from their first time playing it (1 year earlier), which I found a bit easier to follow (it's also only half as long)

http://www.shutupandsitdown.com/videos/v/susd-play-megagame/
In my day we wrote Pascal in 9-point Geneva and we liked it! ;)
How probable is 'probable'?
At one company I worked at we named the two border routers after two hot girls from Sales.

Not sure it's a best practice though.
There are some very minor changes, but this got me thinking about tricky fonts are compared to software development in general. You can fork a font on GitHub and make some changes, but you can't really merge them back into the original font because fonts are expected to be entirely static. Perhaps they could accept pull requests for a DejaVu 2 or something.
I've used "Untyped" and "Trim" from this collection[0], and they were plenty readable. They take care of ambiguous characters and provide a wider space character than general-purpose proportional fonts.

[0] https://code.google.com/p/i3project/wiki/Fonts
I went through a stint of coding in proportional fonts about 15 years ago. Mostly, I liked it (I used to use Verdana myself, I think?) - you can often get a fair bit more on screen widthwise, which means you can have more files side by side, and the overall appearance is quite pleasing.

Don't recall anything specific that got me to change back, but change back I did in the end. Just a bunch of small things adding up, really, a combination of limitations in commonly available tools, and the repeated need to print nicely-formatted tabular things to the all-pervasive monospaced text console. Swimming against the tide just ended up being more hassle than I felt it was worth.
Made about £15 with dino sprint. It was never really about the money tbh, I just wanted people to enjoy something that I had created. It has 10,000+ downloads which im extremely happy with.
https://play.google.com/store/apps/details?id=com.wockawocka...
I've tried them all, Consolas included, and nothing even comes close to Dina -

http://www.donationcoder.com/Software/Jibz/Dina/index.html

† That's for Windows, not Macs.
I understand what you're saying. I didn't want to make a long post even longer, but I will try to clarify without hopefully writing stuff that's too obtusely theological. :)

Christ says that one of the greatest expressions of love is to die for a friend. But who is it that dies for one's enemy? Yet this is what Christ does for humanity, forgiving them even while hanging upon the cross, and it is what He calls all Christians to offer to their enemies.

One way I think of this is that there is one mode of living, which I'll call economic, where we do things in order to receive things. That's what you've described in "if it makes others likely to cover for your sins as well". But what the Christian tries to live, what St. Silouan the Athonite would term theanthropic living, is that of humility: of loving even when there is no chance of receiving a reward. One might argue that in this other mode of life, one is awaiting some kind of heavenly reward. But I don't think that is the case because as one approaches God closer, one sees just how _unlike_ God one is; as a saint has said "none of the saints have counted themselves worthy of Heaven."

What I mean is that in approaching God we become aware in the depths of our heart of our fundamental wrongness towards others and toward God, and the great darkness that lies within ourselves. This isn't some kind of masochistic pleasure in self-hatred. It's an awareness that penetrates one's entire being. And _balancing this recognition_ is that God Himself loves us even unto death. Despite this incredible self-awareness, we are indeed not lost. Even more than that, we are empowered to become like God (theosis). The result of this is the joyful sadness of the theanthropic life: one accounts only oneself as deserving of death, while one sees all others as worthy of the Kingdom of Heaven. And really, this is what Christ Himself did in His life, His death, and His descent into Hades. But Hades could not contain God, and St. Silouan says that death also cannot contain any truly theanthropic person, for they become blameless. This is how death becomes the gateway to divine life.

Perhaps there is a rational way to justify suffering and even dying at the hands of one's enemy. I'd honestly be interested in hearing such an argument!
I love it too, using it on Xcode and iTerm
This could be really cool, but I can also see it getting distracting and increasing oversight. The >= and <= signs look nice in Fira Code and Hasklig, but I worry I'd accidentally see them as > and < when debugging. Either way, I can't really try it because neither of those are usable in vim with iTerm2 and I'm not changing my whole toolchain just to try a font.
You still see advertisements on YouTube?
Self-absorption in programmer culture
Comparing Google Docs to MS Office oh god.
I mean i always found Google Docs and Word Online aweful, mostly I need Docs Offline. There aren't many times where I need them only or need Collaboration and even for that there would be lots of Toolings.
Libre Office should be compared and if you are a Office 2003 User you wouldn't have a hard time to go to LibreOfice.
Also on Mac LibreOffice is really really lightweight compared to MS Office. Okai there are two things missing, which are used a lot. One is Excels preinstalled Table formats (on LibreOffice you need to define all of them by yourself, so no quick design). And second you can't easily migrate Mail Merge Docs from Office to LibreOffice.
OS X Terminal CSS
the ISA isn't open?
try Droid Sans Mono
Did anyone else notice that the bearded guy in the video is from the Coin promo?
I understand what you're saying, and I was worried that my comment might accidentally come across like this. Please see my response to TeMPOraL.
> I would Musk and try to save the world, but that just exposes me to the same type of assholes that made me sell minecraft again.

Musk doesn't wallow in self-pity. Notch is probably deeply depressed and until he recognizes that, he is not going to come out of this.
> Therefore it is worth entertaining the possibility that the NYT might be full of shit.

Irrelevant: we have no way of knowing, it's blocked. So whatever we want to say about CPC vs, NYT journalism is irrelevant, we are only getting the former. Unless you have a VPN, you are vastly uninformed - it is quite simple!

You just don't seem to get that, at all. Contigenics made an observation from China, where news sources are very limited because of the CPC. It is not from a position of open access to knowledge. You refuse to acknowledge that aggressive censorship exists in the PRC, but it is a verifiable fact. Come visit China and try to access NYT. Or buy a newspaper in the airport with blacked out articles.

Censorship taints all discussions about Chinese vs. Western press, it is there, everyone know it is there, and it can't be ignored or brushed off as some silliness. I've been here for 8 years and that just becomes more and more true; only the apologists think otherwise.
To your latter remarks. That just sounds like "life" to me. For instance, if you were moving on to, say, California, I'd tell you to enjoy the astronomical cost of living, relentless taxation, real drought issues(most of Texas is drought free as of this year), catastrophic earthquakes, mudslides, wildfires...
He's the founder of Sandwich Videos, I believe: http://sandwichvideo.com/people/.
They make pretty cool stuff :)
Well, it looks like the code would have to be special purposed unless they just didn't support over 512MB. I would imagine the work would be far in excess of what is normal. NetBSD tries to run everywhere. OpenBSD has retired some platforms.
The typical stay on the ISS is about six months, however there is currently an ongoing mission for astronauts Scott Kelly and Mikhail Korniyenko to stay on station for a total of 342 days.

This still does not exceed the 437 day stay by Valeri Vladimirovich Polyakov (on the Russian space station Mir)
شركة تنظيف فلل بالرياض 0559369228
i really love ProggyCleanTTSZ can't see myself switching specially for a font called "Hack"
In THINK Pascal? In all those years I've never found another IDE that was as productive as this gem.
That doesn't answer the question of how rump is ignoring OKL4 research.
From what I can tell, an initiative by some consumer advocates (under the umbrella of the W3C) made enough noise and got a few people from some companies to join a mailing list and do a few conference calls. Most of the major ad companies (Quantcast, KISSMetrics, etc) didn't even join the group. Predictably, since the industry has no interest in advancing the issue, the group died without achieving anything.

That post just reinforces my view, in my opinion.
“It’s a gigantic social phenomenon. People find ways of getting money by impeding society. Once they can impede society, they can be paid to leave people alone.”

— Richard Stallman, 1986 (http://www.gnu.org/gnu/byte-interview)
Zach Tellman – Always Be Composing
"Seeing" tampering is a completely different proposition than preventing tampering. Any good centralized architecture can demonstrate tampering. Google docs does this all the time.
68k is dead.
Geany doesn't support Go out of the box, but you can configure it to have excellent support. In the preferences, you can tell it the "go build" commands, and it will be able to build & run your project in Geany's integrated terminal and attach gdb for debugging. Also in the preferences you can tell it the format of go error messages, which allows it to highlight lines with compile errors.
I think given your clarification here I can directly state that (a) I don't think this is necessary and (b) I don't think C-H is a good name for this exactly. Point (b) is a bit silly to discuss, but point (a) is key.

I think there are workflow and ux efficiencies for having the compiler reject programs which are poorly typed. This typing can arise from either internal or external verifications for all I care, but the ergonomics of each vary a lot as well.

I think for both practical and ergonomic reasons, completely automated proofs are weak. There's no reason not to run them if you agree with the validity and importance of the theorem they represent, but by their nature the meaning and effectiveness is highly limited.

By having your proving language align with your programming language you sidestep this issue by forcing everyone's hand into revealing their intentions to the verifier. From a process perspective, this keeps people from cheating ("whip and bondage and all that") and it also, more imprtantly encourages the code author to tell a complete story of what they're doing instead of merely creating the artifact. This is great for the more "conversational" style of proving that occurs with things like Agda, Coq, Epigram.

External proofs can act similarly but I think your examples are often really archaic. It seems to me that I nteresting theorems must be derived alongside your program be they internal or external. JonPRL is an interesting demonstration of this method (as is NuPRL, but you can't really access that one).
I posted it because I had no idea of this limitation (quirk?) of the MIPS32. I guess that's why the 64-bit R4000 (MIPS III instruction set) came pretty early in the 64-bit cycle.
Permissioned ledgers haven't actually been deployed anywhere. The entirety of this technology is marketing hype, without much of a definition past "Cure's whatever ails your ledger"
I'm particularly fond of semi-bold. I find light is too narrow for my vision and taste. After a while of using the light version, it starts to blur together, but semibold works well. But my wife uses light and regular on her high DPI Lenovo.
"And I know there are some big Larps in California, but those still only have about 100 people at any one time."

Well, we've got at least two LARPs in the UK which have been well over the thousand mark for a while now: Lorien Trust (https://www.lorientrust.com/) and Empire (which is run by Profound Decisions - http://www.profounddecisions.co.uk/empire). [I'm excluding Curious Pasttimes, since I have no data, but suspect it's also 1000+]. Typically Empire (which I play and have a better idea of numbers) has around 1500 people: around 1300 players and 200 crew.

Empire is interesting from a Megagame perspective because it places the players as the movers and shakers of the world and then gives them the levers of power -- there are senators dealing with the temporal politics of a ten-nation Empire, the synod wrestling for the protection of man's mortal soul, the mages who bargain for power from the alien beings from outside Creation or for those aliens to not deal with the Empire's enemies. And it's on a timescale of four weekends a year, for years, rather than a one-off game. (This isn't even the only large LARP they run -- I believe their mythological era Odyssey game is several hundreds of players)

And as the comments of the article say; Germany has some epic LARPs too -- and pretty sure other places do too.

That said, I'd love to play in one of these tightly plotted megagames...

[full disclosure: I play Empire, have played Odyssey, and played Lorien Trust a long time ago and wasn't a massive fan. If you book for either of the first two games with 570.2375 we'll both get money off.]
I will be really happy when other Linux Distros can run APK files. I mean, really really happy. It would be like Christmas.
btw. you don't need any knowledge of machine learning today to do machine learning. most clouds provide that feature. you only need to feed data to it.
Jihadist US teen gets 11 years for blog, tweets about crypto and Bitcoin
I think you're pointing out the difference between the "art" and "science" of architecture. A similar thing arises, IMO, in technical products between product and technology. There's a whole hell of a lot of psychology on the product side, and I think there always will be. Constrained by some artificial line to the technology side, I take my bet that mathematical tendencies will dominate.
Back in 2010, I had a chat with Nick Patterson (one of the authors on that Nature paper) about the admixture problem. At the time, he was looking for an efficient algorithm for reconstructing ancestral trees subject to admixture. What he didn't realize at the time was that he was trying to solve a special case of Steiner Tree!
If you're looking for a programming font, you might like this old relic: http://www.bok.net/MonteCarlo/
If it's "bitcoin-like" then it will be similarly used as bitcoin. The efficiency blockchains offer is regulatory arbitrage. If the proposed system is not-actually-bitcoin-like, and doesn't circumvent regulations, it's hard to see what efficiency is being offered, over a centralized system.

I have no idea if bitcoin is useful for banks. What does seem fairly certain is that these "Bitcoin without the bad guys" pitches are pretty flimsy.
A Cryptologist Takes a Crack at Deciphering DNA’s Deep Secrets (2006)
Qi Magazine
I think there is a distinction between misleading marketing and scamming. If you promise "revolutionary AI" and only give the customer templates and algorithms, well, at least the customer have a program that can make websites. That's useful.

A scam, on the other hand, would not deliver anything at all...period. That is because, no matter how easy it is to produce the templates and algorithms, it's just cheaper to take the money and run.

Obviously, it's scummy to mislead your consumers to get them to buy a product. But I would say that misleading your consumers to buy a product that doesn't even exist is even scummier.
Ideas are Cheap
i am sure so sure its a scam - check out the FB page and videos of the demo etc. An ex member of the team that got fired and now causing problems ? or maybe I am the ever optimist :-)
I Ubuntu Mono on all my machines.
The only efficiency that blockchains offer is making KYC and regulatory encumberances redundant. In every other way, blockchains are inferior to incumbent systems. What will likely happen is that the regulatory hurdles that make incumbent systems inefficient will be reduced a bit, under the pretense that doing so is better compromise than using the alternative (bitcoin).