skysight-inc/HackerNews huggingface dataset:
Every touchpad I had worked with was much better on Linux, touchpads on Windows were too laggy to even work with (if you are used to OSX)
Fonts...
I still haven't figured out how set up Windows fonts on 14" full HD to be readable -- small are small , large fonts are blurred.
There is no free lunch.
Are you aware of anyone working to add Python as a target language? Will Ragel 7's intermediate codegen language make that easier?
Hence why IDEs with their code navigation tools rule.
To add some color: Without much difficulty I was able to build a small POP3 server by describing the protocol as a Ragel grammar with the verbs implemented as semantic actions (a small amount of Go). It reads very nicely compared to a hand-built version of the same thing. The only real downside I found was that it was hard to tell what's wrong when your grammar isn't behaving as expected but no worse than other parser generators I've used.
Ah, the good old TI-99 series. I had the TI-99/4A and compared to its rivals like the Commodore 64, it was junk. To do anything cool with it you had to buy the bulky, expensive Peripheral Expansion Box. The TI-99 did make history in two ways:

* giving us the term "sprite" in the computer graphics sense. Such things were called different things on different platforms: "player-missile graphics" on Atari, OBJs on Nintendo, MOBs on Commodore. The designers of the TMS9918/9918A chip which the TI-99s used, named movable graphics "sprites" after the way they floated above the textual-grid display; and TI Extended BASIC provided a CALL SPRITE command.

* providing the first ROM-cartridge lockout system in a dick move that would later be copied by Nintendo and every other console manufacturer. The 1983 "beige" rerelease of the 99/4A would not boot unlicensed cartridges (though cassette- or disk-based games would still run).
I think a high level HDL would be great. C really isn't a good starting point because as you said it doesn't really fit the parallel hardware paradigm. The existing tools that do this feel like they're trying to shoehorn C into this application and it doesn't work too well, because of all the extra information you need to synthesize hardware, e.g. should every iteration of this loop happen simultaneously, or are you making a shift register?

Something that started with a Verilog/VHDL paradigm but provided higher level abstrations would be nice, a good analogy would be something like how Python is to C.
thanks for your detailed answer. It's an interesting stack ! Using docker for integration testing seems like a good idea.

> Although perhaps writing code in OCaml has made me somewhat overconfident in my code

Many Ocamlers could be caught of overconfidence. It's hard to understate how ML typing help seeing the data flow.
The landing page doesn't explain why do I need it.
A Short Story about Self-Driving Cars and Backdoors
Without using any math terms at all:

Suppose you've got a list of numbers:

5, 11, 26, 13, 215, 55, 68, 99, 3, 7, 41

And I ask: "Do any of these numbers together add up to 126?

You might have to try every combination of numbers to get an answer. It can be very slow to do, trying every single combination (imagine a list with thousands of numbers, and a very long goal number). Maybe there are no combinations!

But once you have an answer:

11 + 13 + 99 + 3 = 126

It is very easy to verify that the provided answer is correct (are all those numbers in my list? Yes, verified!)

Compare that problem to this one: Is this list of numbers in ascending order?

4, 7, 11, 22, 6, 35

The answer is "No, because of the 6." Finding the answer is much faster because you can do it on one read-through of the list. You aren't checking a huge number of potential combinations or anything.

The first problem is in the class of problems called NP-Hard.

Oof. Getting lengthy so I'll shush here. Hope that gives you an intuitive feel for it.
Lower project bids reduce the level of commitment on the part of both the client and contractor. With only $1 at risk, the amount of leverage the client can exert over the work product is minimal.

Volunteering is not the same relationship as contracting, and carries different kinds of project risk for the client.

Judging bids using price as the sole basis is easy, and poor procurement.
> it wouldn't surprise me if Moslem countries carefully watch their madrasah syllabi to make sure that Saudi influence does not infiltrate.

But you don't know. As I speak a few languages, I was able to check the instructions on one local language and I was able to see that among all the content that is supposed to be less fundamentally oriented there is this nice "kids, now we will learn who is unbeliever, think about those who you know who aren't Muslim" etc. Then you can actually check what the religious text tell about the unbelievers.

> ignoring the context in which then verses were revealed, and their practical interpretation

Sunnah is the context and they are even searchable online. So please don't scare people from reading Quran. They will surely understand more than when they don't even attempt to see what's inside. They can also search for the context and interpretations elsewhere, even Wikipedia has some:

https://en.wikipedia.org/wiki/Military_career_of_Muhammad

https://en.wikipedia.org/wiki/Category:Campaigns_led_by_Muha...

Interpretations abound:

http://mercyprophet.org/mul/node/1640

"Those who ridicule Prophet Muhammad and defame his life and message drive people away from virtue and deprive the world from stability and tranquility. These people are condemned and threatened by the Qur’an. Allah says in His Glrious Book, : {The ones who prefer the worldly life over the Hereafter and avert [people] from the way of Allah, seeking to make it (seem) deviant. Those are in extreme error.} [chapter of Abraham, 14:3]"

I actually want to be free to "ridicule" that self-claimed "prophet": I don't believe in him. He was only a mortal, and he was not more connected to God than Joseph Smith. And Joseph Smith was a fraud too, even if the guy who believes in him almost became president of US. And gods are just a human invention anyway. Imaginary beings who as the messages stumble to give "Guide us to the straight path The Way of those on whom You have bestowed Your Grace, not (the way) of those who earned Your Anger (such as the Jews), nor of those who went astray (such as the Christians)" but never even a single scientific hint for anything, like, why wouldn't any "God" leave the message in his holy texts "you don't understand now, but once later you'll see that the light has always the same speed." The humanity discovered it around a century ago. Imagine that this simple words were in some holy text. Wouldn't it simply prove that the imaginary beings called by us gods even exist?
The major problem with Islam is that I'd be dead after saying former sentences in front of most of the "submitted" (which is the meaning of the word "Muslim"). It's true that I'd be dead for the same words in Europe of Middle Ages, but that only proves that we know what we know today because we dared to stop being the "believers" or the "submitted."
It isn't necessary that a Unicorn must create something technically sophisticated and intricate. Airbnb is a service, not a tech product. This is an apples to oranges comparison.

There are plenty of startups that work on challenging engineering problems (though I'd have to google for the Unicorns who do that).
You still ignore that Christian fundamentalists who perpetuate violence? Or that right wing extremism is a greater threat to Americans that Islamic fundamentalism?
Could you cite a source on that? I'm not aware of any income tax bracket over 39.6%
There IS a way to tell google "display ads in these categories".

http://www.google.com/settings/ads
6 places with alarming fresh water problems
This was the common argument 10 years ago as open source CMSes - primarily WordPress and Drupal - started becoming more common. That eventually web developers would be entirely replaced by people who just configure plugins/modules.

As we've seen, software development has stagnated and almost gone away in the ten years since.
NTP Security Project announces public development release
s/government/employer/ and I'm sure there will be millions of Americans having no problem with it.
I totally admit I said 20-30% because that felt right to me. I guess I ought to sit down and look at the stuff governments provide that I appreciate (such as basic police protection and infrastructure) and how much that costs. And I should probably look at all the bad things governments do (unneccesary wars, intrusive nanny state rules etc.) and how much damage that causes.

Of course, there are other things that affect whether a tax rate seems reasonable, too. For example, in a country where the difference between rich and poor is great, it might make sense to tax the rich more than in a country where the difference is small.
Why would you want to do that?
On the Menu Today: Prehistoric Poop and Jerusalem Artichokes
My father invented something like the Programma during his time at Xerox in the 1960s.

They gave him $1 for the patent rights and didn't do anything with it.

Typical Xerox.
NextVR Hiring – Laguna Beach – ONSITE – Encoder Developer
please contact Tracy@nextVR.com

NextVR is expanding our virtual reality platform and we want your expertise. As an Encoder Developer you will be responsible for developing a robust video encoding platform for fully immersive stereoscopic 360 degree live video broadcasting. We're looking for passionate, creative developers who are excited about solving new problems in new ways.

Responsibilities

Architect and develop a low-latency video and audio encoding service on Linux

Develop and expand upon a high quality VR video streaming protocol that can be decoded on many platforms

Employ continuous integration and test driven development

Write clear, robust code on a consistent basis

Work closely with other developers working on disparate systems

Contribute works back to the Open Source community where possible

Help us produce high quality software

Requirements

BS in Computer Science or equivalent experience required

3+ years of experience developing in C/C++

Deep understanding of MPEG video encoding specs and formats including H.264 and HEVC

Experience in OpenCV, OpenGL and/or DirectX

Extensive 3D Math knowledge a must

A proven understanding of audio and video playback systems

Knowledge of virtual reality displays and SDKs a plus
Unlikely, but considering we have a Show HN section that is specifically intended for that, which garners its own interest, and competes against the other, non-Show articles for front page space, if the front page were filled with Show HN content, it would either be due to a slow news day, or because people were cranking out worthwhile-enough apps to merit front page supremacy.

Either way, your parade of horribles is unlikely to occur, or be that horrible if it were. To each their own though.
Someone needs to go around beating designers who mess with scroll.
Says it comes with a 128 GB SD card with the current blockchain. How long until a copy of the full blockchain is > 128 GB?
I like how the price and CPU power, the two most important aspects of a Bitcoin miner, are not listed anywhere on the page, forcing a click to the Amazon page where customers are likely to be disappointed.

"Growth hacking" has become very annoying lately.
This is my algorithms professor :D Dope!
Gamefounders is now funding its next cohort of game studios
All about Nikola Tesla
"Cruising through the trees that next morning in the real snow is something I'll never forget"

Yes! The first true powder run you make in your life after skiing/boarding for 20+ years on east-coast hardpack is a nearly religious experience.
A Homemade Distributed Computing Project
I was one of those folks who actually bought the personal license. Over years, SmallEiffel came along and improved the ecosystem. Of course, now Eiffel has a community/enterprise model. In any event, I do think that they were pricing them out of the market. Defense contractors, seem to like ada more. The feature that I miss from Eiffel is the Expanded (allocated on stack feature). Even haskell has some #untyped to deal with boxing primitives. I thought that Expanded was a stroke of genius: bringing specification to implementation without the middleman(aka heap).
Ah, that's pretty neat that you have an inverted index in there. I'm about to build one for the Wayback machine.
as I point out later in my comment, they probably don't have the love letter... they probably do have my alternate handles, as I sign on from the same devices.
At the hundreds of millions and higher club it's all a form of dick measuring contest anyway, so yes... Those people would do what they do even if the tax rate were 99%.
If you think to you might enjoy messing around with satellites, ham radio is pretty easy to get into these days. This is especially true for VHF/UHF, which is what amateur satellites use, and only requires the Technician license.

For equipment you just need a handheld VHF/UHF radio (as cheap as $25 for a Baofeng http://www.amazon.com/BaoFeng-UV-5R-Dual-Radio-Black/dp/B007... but I'd recommend a Yaesu, Kenwood, or Icom if you can afford it) and a simple yagi antenna (Google "tape measure yagi", or something like this if you don't want to DIY: http://www.arrowantennas.com/arrowii/146-437.html)

http://www.amsat.org/

http://www.heavens-above.com/

https://www.youtube.com/watch?v=c0CWz4Emyro

https://hamstudy.org/
> The material costs of feeding 100 people would probably equal the labor costs of one worker for one day. Nobody is going to make the labor compromise when the question is "Do I feed 10 people or 100 people".

But that's not the actual decision that needs to be made. It's more like do I feed no people because there's nobody to distribute the food that will work for free, or do I pay some people some small amount and feed some people. I guarantee decisions like that get made at all levels of nonprofits all the time, from entry level positions to directors. It is a market, and just because much of the time supply far outstrips demand, to the point that there is no monetary compensation (but there is theoretically other compensation), doesn't mean that always hold true at all times and in all locations.
NextVR is Hiring – Laguna Beach – ONSITE – 3D Developer
please contact Tracy@NextVR.com

NextVR is expanding our virtual reality platform and we want your expertise. As a 3D Developer you will be responsible for developing a robust video rendering engine for fully immersive stereoscopic 360 degree video playback. We're looking for passionate, creative developers who are excited about solving new problems in new ways.

Responsibilities

Architect and develop a cross platform video and audio rendering library for PC/Mac and Linux

Work with artists to develop tools for renderer calibration and configuration

Employ continuous integration and test driven development

Write clear, robust code on a consistent basis

Work closely with other developers working on disparate systems

Help us produce high quality software

Requirements

BS in Computer Science or equivalent experience required

3+ years of experience developing in C/C++

Experience in OpenGL and/or DirectX

Extensive 3D Math knowledge a must

Deep understanding of graphics pipelines

A proven understanding of audio and video playback systems

Knowledge of virtual reality displays and SDKs a plus

Location

Downtown in Sunny Laguna Beach, California
This is the second time in a week that we're falling all over ourselves wondering why swaps are through Ts. It's not hard: IRS is collateralized, Treasuries are not. With IRS every 3 (or 6) months, you have to cough LIBOR in order to receive the fixed leg. So essentially your maturity commitment is never greater than that, and indeed, for the vast majority of swaps receivers, mark-to-market collateral adjustments happen daily, so your credit risk is 24 hours! This is not the case for USTs where if you invest for 10 years, you have no clue for every single one of those 10 years if your principal will be repaid, and there is absolutely zero collateral adjustment. Why is this so hard for people to understand?

Ts are being printed without even the slightest regard for the (old-fashioned) concept known as fiscal rectitude. Swaps can be printed all day long but if the rates start moving you get paid/have-to-pay every 24-hours for the assumed risk. It follows that Ts are now a much riskier bet than swaps, and indeed, what surprises me, is why it has taken so long for this to be happening.
That's what HackerNews is for
I think they were given LSD or other psychedelics. I think the idea was to relieve their inhibitions and their language skills would broaden. This is why we have research ethic boards now.
the greatest overfitting of an investment scheme the world has ever known: markets must go up.
Tell us, please, what language comes to one's mind instantly afer reading this chapter below?

http://the-programmers-stone.com/the-original-talks/day-1-th...
How would this stop terrorism? "Because Paris" is no answer at all. It wasn't like the French authorities didn't know who the bad guys were, they just didn't know about the plan.
Uber’s actual contribution to American employment is relatively trivial
It's like one of those startup generators that mashes up buzz words to create a company. IoT + Bitcoin = $121M funding.
That's not the case. Amazon's e-commerce division is profitable. Last quarter it showed a bit over half a billion in profit.
That may be, but it is official church doctrine:

http://www.adventist.org/en/beliefs/humanity/creation/

"God has revealed in Scripture the authentic and historical account of His creative activity. He created the universe, and in a recent six-day creation the Lord made “the heavens and the earth, the sea, and all that is in them” and rested on the seventh day."
>> The fact that you earn anything at all, or that you don't get robbed, or that you have any property rights at all, is a function of the state.

The reason I earn is because I provide value for my employer. The fact that I don't get robbed, the same reason I have property rights, is a function of my readiness to beat the shit out of anyone stupid enough to try it. The state didn't show up to my job interview, and the state doesn't have my back when I'm walking the city at night.

The best the state can do is not screw up my contributions to society or property rights- they are derived from my own self, not some organizational structure that humans came up with so we could survive without learning how to respect each other.
Do you count backtracking as 'mechanical'?

This could be relevant to you: http://norvig.com/sudoku.html
I don't think this is designed to be a dedicated miner. It looks like it's just designed to facilitate transactions through an API.

> It is designed for developers to easily build Bitcoin-payable apps, services and devices
I'd also think that it's also Sturgeon's Law.

Except >99.9%
Nonsense, you just use git bisect to find the oldest ancestor that can still mate with a modern chicken and produce fertile offspring and there's your first chicken.
The first time I saw properties was in Eiffel, afterwards adopted by Delphi, which eventually found their way into C# and to many other languages.

Comparing to the original implementation of properties in C# (not how they look now), the Java way wasn't that different.

They just copied what was common C++ and Smalltalk practice back then, whereas Anders obviously had his Delphi experience.

Not that they shouldn't eventually improve it.
There is another good reading.)

http://the-programmers-stone.com/the-original-talks/day-1-th...
In addition to the other answers, I bet it's easier for a CFG to parse knowing that "->" can't also be "negate and greater than" (since negation is only a prefix op) whereas "=>" can easily be a fat arrow or greater-than-or-equal.
After School communications app getting critical press
Swift's High-Level Intermediate Representation [video]
Back when Sudoku was a big craze I noticed a relationship between people's approach to it and their chosen career path.

Quite a number of engineers I knew had written solvers of various sorts and rarely solved the puzzle by hand, the company accountant wrote little tally numbers in the box corners and worked by a process of elimination, and a lawyer whom I travelled with for many plane flights spent hours on them using some ad-hoc hunt and seek approach.
They can call it any way they fancy, something like "Majestic Royal Type Procession" would have been equally ambitious. But in a context of ML, type inference is a Hindley-Milner inference or an equally powerful equation solving system, and not just a pathetic "assign the RHS type to LHS blindly" as it is in C++ and C#.
The Secrets in Greenland's Ice Sheet
I don't think it's anything other than a bunch of marketing gobbledygook designed to get people to overpay for a computer.
I do actually think Zelda has higher human computational complexity than Mario (specifically, than Super Mario Bros; Mario 64 has a small degree of such complexity). In adventure games and "Metroidvania" games, when you discover a new item or ability, you have to think about everything you've seen and what new places and areas that item or ability may open up; they're not just non-linear in the "find where to go next" sense, but in the sense that you can go many places. And that doesn't just map to the classic "colored keys open matching doors", either, because obstacles in the world don't always seem like obvious "doors", and which items will help you progress doesn't always look obvious either when well done. Some games make it more blatant, blocking the way with something that clearly has only one solution, but other games reward exploration and allow "sequence breaking", or at least don't prevent it.

Zelda's main quest tends to have a lesser degree of this in practice; often it falls back on "use the item you just got in this dungeon to progress in this dungeon". And some games take it too far in the other direction, leading to the adventure game trope of "poke everything with everything else until something happens". But a good balance rewards players who remember huge parts of the world and reason about what could help them progress.
The easiest way to put it is probably to say that C is just not the right language for a system in which everything happens at once. You use a programming language to tell a CPU what to do, and you use an HDL to tell an FPGA what to be. An ensemble of explicit state machines is a better way to picture it.

If anything, a pure functional or declarative model might be a better starting point for high-level synthesis than a C-like imperative language. But most of the R&D seems to be going in the opposite direction.
There are a lot of advantages to a declarative approach, and a lot of risks and problems with hand written parsers and state machines.

A good example is the http code Zed wrote with ragel. From what I remember it was contracted by verisign because they wanted an implementation that actually followed the spec in detail, unlike all other code available at the time. That ragel code has been reused by a lot of embedded http servers in many languages now.
Sct – set color temperature
J'acquiesce.
Software performance in an ASM.js world
Tool to automate it: https://github.com/jakeogh/dnsgate