skysight-inc/HackerNews huggingface dataset:
Trivial but expensive (and requiring some maintenance), at least with fotovoltaics

One of the reasons I think more people should be looking at solar-thermal rather than solar cells
The video is well worth a watch, but for those short on time, Mirage OS allows you to build networking apps in OCaml that run (either on Xen or *nix) with their own integrated kernel and customisable network/storage/processing stack.

Why would you want this? High performance, less resource overhead, better security (whole networking stack is type checked). This (and similar projects to it) could represent the next generation of web platforms.
I know they can do it, but how many times has it been tried or actually reportedly been done?
> I'd rather not watch a 40 minute video. Care to summarize?

I linked to the exact time where he starts to share his thoughts about generics.
So, just as a reference:

"Google I/O 2009 - The Myth of the Genius Programmer":
http://m.youtube.com/watch?v=0SARbwvhupQ

There are quite a couple of possible views in IT, which makes it hard for us
Dream On 3D
I have a humanized version of my API. It's called the web interface for my application.

This is a tremendously ill-considered idea that throws away decades of hard-learned lessons in API design under the auspices of "human friendliness" and isn't really anyway. Tell me, how do I know what types of resources are available, and what parameters they accept?

The structure is overwrought, the "GET for all actions" is INCREDIBLY dangerous, the entire thing is INCREDIBLY vulnerable to all kinds of attack vectors (no, I don't think "don't use cookies" is an acceptable solution to the problem). All so that you can have URLs that kinda-sorta resemble sentences?

Do not build your API this way. Please.
The door knocking sound is absolutely phenomenal in a sense that my brain has never been tricked like this by such a simple sound into thinking that it wasn't from my headphones but from the surrounding area.
To be fair most of the trending github projects are libraries for use in Haskell. There are very few actual applications - there is pandoc, git-annex and hakyll and that is it.
His endorsement of survivor bias seems like a gaff.
That's what I'm wearing right now. Since I almost entirely away from horrifically mismastered stuff, it works out OK. Bass may not be the strongest but I'm not personally a big bass person. They're definitely monitor-style headphones meant for accuracy rather than "bass-boosting". If you're looking for a closed headphone set with that as the goal, it's a decent buy as they seem to run ~$80, given how many people are tossing around multi-hundred dollar recommendations.

It really does seal you off from your environment a bit... I can't hear my cell phone ring in my pocket when I have them on.
OP here. I would love to hear any feedback or suggestions on the ReactFireMixin I made.
I got the figure from Amazon (having guess $4/gallon initially) but am happy to stand corrected. Even so, far more efficient than corn -> ethanol.
Whats wrong with the () -> {} syntax? Its nice and simple, and scales down well, so a -> a.b()
Tom Servo and Crow T. Robot argue Mac vs. PC:

https://www.youtube.com/watch?v=ixQE496Pcn8
What programming is like
I programmed in Forth some time ago and I wonder why didn't Wozniak implement Forth on his first computer. Surely, it would be easier to do and run faster than BASIC. That BASIC was a naive interpreter, it couldn't help being slow, except for the primitives that Woz coded in machine language, I'm sure they were fast.

Was it already clear for Wozniak in 1975 that Forth looks weird and people won't get it?
Just in case it's not clear, the break statements in my example are to break out of the switch(), not the while(). C's switch statements are like a computed goto.
Yes. It does not compile on my Mavericks machine. Same with every graphics package I've tried.
Anyone can be an attacker that can exert influence (legal/kinetic/digital) over:

Here: .
Here: .ly.
Here: .bit.ly.

The attack surface of freebsd.org is similiar except there is a different set of actors that can exert legal influence over .org.

Here: . # G/K/D same as bit.ly
Here: .org. # K/D same as bit.ly
Here: .freebsd.org. # K/D same as bit.ly
DLV: "Screw ICANN, I'm going to build my own DNS, with blackjack and hookers."
Yes, see: http://www.haskell.org/ghc/docs/7.8.1/html/users_guide/defer...
Yeah, but it carries no geopolitical weight. The EU is very inward-looking since it hasn't really converged to a stable state, and it doesn't present a unified face externally. The EU and Europe doesn't have a lot of power and it doesn't really care, because it's too busy with internal problems.
https://en.wikipedia.org/wiki/Ultrabook#List_of_models
"The other 'bible' was a book "101 Games in BASIC." I was a fan of computer games and knew that as soon as I had a computer of my own I would want to type in all these games to play."

I don't know for sure, but I think Mr. Wozniak is referring to the book edited by David H. Ahl, BASIC Computer Games:

http://atariarchives.org/basicgames/

Notes on the page mention the book was "[a]lso published as 101 BASIC Computer Games".

This book happened to be a great influence on me. Reading it in grade school gave me a small taste of what fun programming can be. I especially liked how some of the programs showed how simple rules can result in emergent and unexpected behavior. Not to mention how easy and fun it was to change the source (sometimes by accident... SYNTAX ERROR anyone?) and seeing what would happen.

Today, I have the distinct privilege to do effectively the same (different platforms, of course :)), and now it even pays the bills.
I didn't have my headphones handy, and I just randomly played the 22 kHz >> 8 kHZ test on my MBP's built in speakers and all of a sudden my dogs just started going nuts when the announcer gets to around 14 kHz. Oops!
I'm all for more posts like this and I hope we see more. I think it helps tear down the misconception that Haskell is only for people who do a ton of research beforehand.
> `~` is harder to search for, as well as not on all keyboards.

Which keyboards do not have a '~' key? How do those people type a path relative to their home directory? Use $HOME/foo/bar all the time?
So if it was possible to implement a hypervisor, why wasn't it possible, or feasible, to run Unix and ROS on the same machine?
I see, so this means results for Privacy Badger reflect a worst-case scenario. I've added links to the proper section in the Privacy Badger's README file.
> ...with hundreds of millions of users, what are our anecdotal experiences worth?

To Mozilla, any user's experience means little enough at best. On the other hand, any user's "anecdotal" experience of how well Firefox works, or doesn't work, means a hell of a lot to her.
http://en.wikipedia.org/wiki/Forth_(programming_language)

I checked the above link to confirm my recollection, but while Forth had been around for a while it wasn't really public until the 70s (versus BASIC). I suspect he wouldn't have even heard of it, or at least not realized its potential, in 1975.
http://m.timesofindia.com/india/Every-second-Indian-child-is...
NYC, NY (looking to relocate); Full Time

Stack: C++, Python, JS, WebGL, OpenGL

Resume: http://denchev.io/resume.pdf

Contact: mdenchev gmail.com

I'm a general programmer who's started specializing in computer graphics. I'm a strong self-learner who likes working with a team to solve interesting and complicated problems.

I'm looking for graphics related work be it data visualization, real-time interactive, or other. Feel free to contact me at the email above.
Note - I'm not in SV.

Until I graduated from college it was hard to get anyone to take me seriously or even respond. I think the barriers to enter the tech job market with no experience or degree is so much higher today.
Java like most open standards suffers from design by committee, whereas C# so far had Microsoft alone dictating where to go.

Add the Sun troubles into the mix, and slow the features go.
It's not unheard-of. My high school (in Waterloo, Ontario) had an internship program like this too, and it's how I got my first programming job in about 2000-2001, at age 15. There were about ten students in my class that got technology jobs of one sort or another that year.
That. And also mysterious "Xerox" directory, up to and including XP :)
Jets are not the first or even the tenth problem. We are burning coal for electricity as we speak.
My swedish mac keyboard layout forces me to use Alt ¨ + space to type ~. It's certainly annoying and I usually just type "cd" first.
Baby steps are fine as long as you keep moving your feet.
Chemical fuels have a great energy density. Problem is, they dump carbon into the air when you burn them (and also basic pollutants)

Exactly!

> So we just need: 1) fusion or similar "lots of 'free' energy"

Utilizing geo, hydro and solar (carpeting them in inhospitable areas) and fission is enough. Fission is particularly effective, the energy yield per kg of fuel for fusion is only 4x that of fission. Between less wasteful alternate reactor designs and extracting fuel from the ocean, if we start figuring things out now, things will be fine.

> 2) a process like this to soak up that energy + CO2 + H2O and emit nice energy dense hydrocarbons

This is well studied by the US Navy and others. It's especially cost effective when drawn from the ocean. Wikiterms: 'sabatier reaction', 'power to gas', 'carbon neutral fuel'.

> then we've got a long-term energy future.

We're still going to have to act quickly, before the energy (and resources) required to initiate this industry is more than could be had with the then current reserves. A true debt. Thus squandering the selfless sacrifice made by dinosaurs many kilomillennia ago in order that we at least could bootstrap a space faring civilization.
"[I]f you have an existential type where only one way forward remains... you may as well just take that way forward. This is especially easy in a lazy language like Haskell."

This doesn't seem especially easy in Haskell (in that it doesn't seem harder elsewhere), but especially the case a lazy language like Haskell. In an eager language, (forall a . Renderable a => a) is isomorphic to (() -> IO ()) and subtly distinct from (IO ()).
The concern that the Lybian TLD registry might fake NS and/or DS records of 2LDs applies equally to unsigned and signed zones. So if that is a concern, why use an untrusted TLD, or why use DNS at all?

If you do not trust the Lybian TLD, configure a negative trust anchor for that TLD in your resolver.

Alternatively, if you want to pin that TLD to a particular KSK, configure that KSK as a (positive) trust anchor in your resolver.

If you do not trust the IANA at all, disable the IANA root in your resolver and add trust anchors for the domains you trust. Use lookaside validation if you find that too cumbersome and want to let others do that work for you.
Many international keyboards don't have a tilde key. For example it's not shown on the Finnish/Swedish MacBook Pro keyboard at all.

It's not difficult to type (Alt+¨ followed by a space), but you can't find it by looking at the keyboard.
Programming is very much like carpentry. You have your tools you're familiar with, shiny new tools you just bought and learning to use, and some tools you've heard about that might be better but meh, and you have a vision of what to build ... now start cutting some wood and see what happens.

Just like in carpentry you're busy thinking of several things at once: Where did I put my hammer? How will I clamp this to that? Wouldn't it be easier if I cut all these pieces together? I know I should glue this here but screws are good enough ... make a big mess then stand back and admire it all.

It's a practiced art of using tools to make something, it's just the end result appears on a computer screen.

It's not hard to learn either, just start simple. Put a word on the screen. Now draw circle on the screen. Now try to make the circle bounce. Now find shortest path between N number of cities in constant time.
Any HP laptop that isn't an Elitebook (or now, a ZBook) gets rightfully denigrated.
Ottawa, Ontario; Internship/Remote Work

Stack: C, C++, Java, JS

Resume: https://www.linkedin.com/in/antonkarpus

Contact: anton [at] karpus [dot] net

I'm a student currently majoring in CS but have a background in Finance (through first degree). Well rounded and eager to learn whatever is thrown at me. Ideally looking for part-time work or an internship in North America. If you're looking for a coder with a strong business sense, send me an email and we can chat!
Neurogrid: Mixed-Analog-Digital Neural Simulations
so you'd be twice as productive if you could type twice as fast?
Haxe now generates Python
You acquired the skills through programming.
> Was it already clear for Wozniak in 1975 that Forth looks weird and people won't get it?

Since he had an HP calculator, yes
Chicago - ideal role for developer who is also a musician

Reverb.com // Marketplace for musicians // http://jobs.reverb.com

We're growing quickly and our customers love us. Like so much. Founder's previous startup had $1B+ exit.
It's the number of distinct "3rd-party" domain names reached on average for the 15 visited web pages. So in the case of Disconnect, for the 15 URL visited, on average 93 "3rd-party" domains were touched. The web page domain in the URL address bar is deemed 1st-party. "Domain" is extracted as per Mozilla's Public Suffix List.
It's remarkably stupid to burn coal in a power plant and then in the neighboring lot trying to take the carbon from very diluted (less than one part per thousand) carbon dioxide in the air.

If these solar plants just fed the electricity into a well built power grid, the coal plants could be turned off and a huge amount of CO2 would be left unemitted.

Coal is unbeatable as a carbon storage method, and what's best, it's free as it already is in the ground, we just have to leave it there!

I'm sorry to say, but most of these energy schemes just make many people who understand anything about power generation cry.

It's like to an IT guy, some client suggested you ran their enterprise databases on an Arduino over Bluetooth, because they heard it's a cool new thing.
Check it out: http://en.wikipedia.org/wiki/Tilde#Keyboards
The thrust of the article had nothing to do with PC as a violation of free speech, but rather a discussion of the social currency that can be cheaply bought by holding the right opinions (at least outwardly).

The point about how not everyone can hold the high moral ground relative to everyone else is well made though, and the Nirvana analogy is perfect.
Get in touch with the developers and work with them to get it building. Often times they don't have access to your platform, so just being that helps. Anything you can do on top of that is gravy.
In some categories, yes.

In many others, especially those requiring vector or matrix arithmetic (medical imaging, physical simulations, modeling, graphics, scientific computing, video games), there's simply no competition.
Appsdeck, EU-based PaaS, is now in open beta
>And since it uses remote database servers that police access online, floods of data won't cause system crashes or be expensive to store. Most agencies, Edson said, "don't have lots of bandwidth lying around."

I dont really get what they mean here. Are they saying since the DB is in the cloud/remote it isnt subject to crashing?
> Which keyboards do not have a '~' key?

Most euro keyboards need at least AltGr + key, possibly 2 keys (because ~ is a dead key, so a space is needed to insert the character itself)

> How do those people type a path relative to their home directory? Use $HOME/foo/bar all the time?

It's common to `cd; cd foo/bar`
With open source projects there is often a page of feature requests that anyone can contribute to. [0, 1] The problem is that often these are buried deep in a website, and the user has to dig through to find it. The up-side to this is that project maintainers are not buried in a dearth of feature requests. Though for popular projects I don't think it would be hard to find someone to volunteer to sort through the requests acting as a filter or curator.

What if you could put bounties on specific accepted feature requests, like a targeted, more user-friendly BitHub?[2] You could even offer small bounties for submitting a feature request that is accepted and implemented. I think that this would be reasonable because the "idea person" is adding some value to the product.

[0] http://dev.deluge-torrent.org/wiki/Development/PluginIdeas

[1] https://github.com/WhisperSystems/TextSecure/issues?labels=f...

[2] http://bithub.com/earnpoints
Los Angeles, California · Remote / In-House · Full-Time

Configuration / QA / firefighter engineer, Mid-Senior level, 7 years experience. Experience in Python, SQL, BASH, CentOS/Debian Linux, IIS/Apache/nginx, CVS/git/hg, Cybersource. Some PHP and Wordpress. Some SharePoint.

Have worked in many different aspects of IT, everything from Desktop Support, Front-end dev, Linux Sysadmin, Level 3 support for live event ticketing operations. Ideally seeking Downtown Los Angeles based company that offers occasional remote work opportunities. I'm not a full dev, I'm the person who knows a lot of everything and can quickly fix things.

Hobby is video production: http://experimentalhalfhour.com/

And I have a lot of experience in video tech, studio setup, framerate/ratio/codec, the whole thing. I own a mobile studio, and have worked with Echolab, Ross Carbonite, Harris, Grass Valley, D9, DVCAM and lots of other pieces.

Linkedin: https://www.linkedin.com/in/brockfansler

Email: brock.fansler [at] gmail [dot] com
Relevant: http://www.nrl.navy.mil/media/news-releases/2014/scale-model... http://www.washingtontimes.com/news/2014/apr/10/game-changer... .

You can see why the technology would appeal to the US Navy, even if it's not quite price-competitive with other means of getting jet fuel: they're keen to untether their carrier groups from the supply chain as much as possible, which is partly why they have the convenient nuclear reactors already.
Louisville, KY; Remote/Seattle/San Francisco; Full Time

Stack: C/C++, PHP, Python, Go, Erlang, JavaScript

Resume: http://careers.stackoverflow.com/jbcrail

GitHub: https://github.com/jbcrail

Contact: jbcrail at gmail dot com

I've been a software engineer for 15 years. I've largely been part of small teams that built a data warehouse ETL utility which processed billions of customer records nightly for a dozen Fortune 500 companies; a distributed document store with terabytes of historical data, an ISO consistency requirement, and a strict availability guarantee; and a service-oriented platform managing internal business data worth millions of dollars in revenue.

I'm currently interested in functional programming languages and distributed systems. I currently have committed to GitHub for 260 consecutive days for various personal and open-source projects.
High schools in Australia have electronics classes.

When I was in grades 7-9 it was mandatory, then elective after that. We didn't flash chips back then (in the late 90's) but I bet they do now.

We mostly did hands on of making circuit boards (acid etch), and soldering all the components together for simple little circuits. I only stayed in electronics until grade 10, but I know they made some pretty cool stuff in grade 11 and 12.
I know it sounds a little goofy and I am not trying to be difficult just to be a dick, it was a genuine/good-faith response. Is it really that different than:

Cert Pinning: "Screw the CA cabal, I'm going to build my own PKI, with blackjack and hookers."

Certificate pinning only works when I interact with gmail via FF/Chromium on port 443. When postfix connects to gmail over 25/465/587 we fall back to the CA-cabal if (a big if) postfix is configured to verify certificates.

We can take the madness full circle:

DLV+DANE: "Screw pinning certs in the browser, I'm going to pin all the things, with blackjack and hookers."
Fair enough, I'm for whatever works!
read the comment, read the article and did all the tests. Got to this one and it still freaked me out. That's crazy.
Maybe mori could include core.rrb-vector[1]. Other interesting persistent data structures (by the same author) are persistent sorted maps and sets[2].

[1] https://github.com/clojure/core.rrb-vector
[2] https://github.com/clojure/data.avl
This is off-topic as an HN comment. You're welcome to send such questions to hn@ycombinator.com, as the guidelines ask.
Ask HN: What makes a great programmer?
Just curious, as I want to be one. I'm always looking for ways to make my code better, learn more about my chosen language/framework. I get that the ability to "learn how to learn" is a big part of programming also.

So, basically, how do you become the best programmer one can practically become?
Wow. I worked on Millwheel as a summer intern the summer before last. At the time it was a team of about 11 people. I'm honestly pretty surprised to see this comment as I thought it was just a small internal research project.

Have you seen any references to it in the wild other than the Google Research paper?
Denver, CO: Remote, Full Time, Contract

Stack: Python (Pyramid, SQLAlchemy, and more)/ C++ (C++11 and up)

Resume: http://bertjwregeer.com/Resume-files/BertJWRegeer-Resume-Apr...

Contact: bertjw@regeer.org

I am a very strong Python/C++ programmer having worked as the leader of a small team helping build a backend distributed high availability fault tolerant messaging system. I helped design/build the cryptographic requirements for the system and have a really good understanding of cryptography primitives and how to use them secure to build applications.

Lately I have been spending a lot of time working on open source projects such as Pyramid.
Can I live and work from anywhere?
I am very wary of arguments about simplicity, as what people usually mean by "simplicity" is "stuff I already know". Indeed I believe this is a large part of the reason for the popularity of Go: it is basically a statically typed and performant Python / Ruby. You don't need to learn much new to use it if you already know these languages.

The problem with this is how are we to advance if we never adopt new ideas?

Furthermore, I believe that the core of functional languages are very simple. Do you understand logical ands and ors? Then you understand algebraic data types. Do you understand high school algebra? Then you understand generics and higher kinds. It's all very simple but just maybe not stuff you're used to.
California used to have amongst the highest per pupil education funding, which started changing in the 70s and is now amongst the lowest in the US. This article explains some of the history http://california-in-crisis.news21.com/node/24

The consequence was "more" available to students and teachers.
Can someone explain the “Covert Redirect” vulnerability in OAuth and OpenID?
It's tractable, but a lot more manual than it should be. It makes everyone sad.
I'd love to see a comparison with non-Python ORMs. I've used Sequel for Ruby and it's wonderful but, even though I've used SQLAlchemy as well, I don't have a sense of pros and cons of their respective general approaches.
Very cool!

I had started on a basic GOL recently as well (HTML5/Canvas): http://srolfe.github.io/GameOfLife.js/

Still very much a WIP, but it was getting there.
Exactly. A conforming implementation must do that. I didn't find one that doesn't, although I didn't look too hard either.
Covert Redirect FAQ
The W3C doesn't understand password security
They're saying that most individual police departments don't have the IT resource to scale a crowdsourcing system, and that by centralizing both the resources and software development they expect the system to be able to scale.

In reality they're just exposing themselves to a single point of failure, but hoping their single point of failure is more robust by virtue of shared learning.