skysight-inc/HackerNews huggingface dataset:
I figured you might be. ;)

"But what you're suggesting requires persuading a large group of developers to adopt a new language -- if you have a recipe for doing that, lots of people including me would love to learn it."

What I'm suggesting is a group of people interested in trying something and reporting the results try something and report the results. You don't have to convince anyone of anything as you're responsible for you, not them. :)

All you'd have to do is make sure the tutorials/guides, tooling, core libraries, and distribution are in order. Optionally a little bit of evangelism for awareness. Random person on forum or HN: "Hey, I'd like to try to write some business code or some service in a new language. What should I use?" Drop a Racket link, guide, and something on macros & live updates (if racket has it). I remember loving those when I played with LISP back in the day. I wouldn't expect any more from the Racket team.

Now, I'll drop Racket references in these tangents if you're saying you all sat around in Plato's Cave with no exposure to real programming past its shadows in academic papers and just came up with everything in Racket on your own. Just seems like there's some feedback loops in there from useful projects that caused improvements that make it more useful in practice. If you say no, I'll concede I'm wrong given you're part of the core team. Then be mystified at its evolution.
Once home batteries like Tesla's Powerwall become mainstream we may see another up-tick in self-financed systems, especially since those may have an effect on the price of electricity for people without them [1]. This is a lovely article on the latest developments and side-effects [2]

[1] http://www.bloomberg.com/news/articles/2015-09-24/batteries-...

[2] http://rameznaam.com/2015/04/14/energy-storage-about-to-get-...
Except what T-Mobile wants does not mean jack to what consumers want, and it is reflective of the times for a company to be trying to exploit consumers rather than provide value to them.

Of course every carrier wants you using wifi instead of their network. Its not their expense, but you would still be paying them for it. But people are not subscribing to often ludicrous mobile plan bills to be told to not use it.

We absolutely have the technology to provide a huge swathe of people broadband (as per the new FCC relabel) Internet access through long-range transmission based tech like GSM CDMA or WIMAX. That makes it insane to propose laying physical wire in the dirt or making an interconnected mesh of low power wifi routers as a substitute. The only real barrier is the draconian privatization of photons that makes up spectrum regulation. If we had a 95% open spectrum with some restricted for government and emergency communications you could easily have broad spectrum towers that could adapt to congestion and pair them with radios that will adapt frequency to optimize for range vs data rate vs congestion.

The limitations are entirely artificial and that should be pissing people off.
Not sure if it will fit your use case, but this was on HN a little while ago:

https://www.standupmail.com/
Cashiers, doormen, and croupiers do it.
probably leftover inventory
still interesting that this kind of a deal took place with m$ involved
Mathematicians Have Found Crazy New Ways to Cut Pizza into Equal Slices
Every time there's a minor version update I have to remind myself the sequence of upgrade incantations. It's pretty simple, but here's a gist that might help anyone upgrading from 9.4 to 9.5 with Homebrew:

https://gist.github.com/chbrown/647a54dc3e1c2e8c7395
Delphi/ObjectPascal above both Swift AND ObjC? Sure, that makes sense. If it's 1997.
Deep Work Helps You Produce at an Elite Level
Change for the sake of change can reveal good ideas. Every time I hear someone talk like this, I can't help but think of what we wouldn't have now if we kept sticking with things that "just worked."

In my opinion, introducing change that isn't a patently bad idea will always be a step towards something positive. If the change proves that an old idea is still the better idea, then we will have a better defined idea.
That is a very common but incorrect misinterpretation of the halting problem.

The halting problem says that there exist programs that cannot be proven correct; it says that for any property you want to prove computationally, no program can give you an answer for every last program. It doesn't say anything about "non-trivial" programs. In particular, if you write programs with awareness of the halting problem in mind, you can write extremely complicated programs that are provably correct.

One straightforward way to do this is with a language that always halts. The proof assistant Coq is based on such a language, and it's powerful enough to write a C compiler: http://compcert.inria.fr/

It is certainly correct that you can't stuff an arbitrarily vexatious program through a proof assistant and get anything useful on the other side. But nobody is interested in proving things about arbitrarily vexatious programs; they're interested in proving things about programs that cooperate with the proof process. If your program doesn't want to cooperate, you don't need an exact answer; you might as well just say "No, I don't care, I'm not trusting you."
Very small application. Works great!
Show HN: Simple podcast web player
I thought Arduinos didn't come with Ethernet on the chip, and instead you have a Heath-Robinson addon board which you speak SPI to another microprocessor which has the TCP/IP stack, MAC and PHY on?

The only thing I've seen that seems to really be viable for remote battery operation is the ESP2866. I have a Pi in my cupboard reading the electricity meter.

I really ought to learn Arduino, simply because it's so popular.
The last few paragraphs where he laid out what PG's actual desire might be (for VC funding to maintain the same tax status), was immensely helpful to me in understanding the whole exchange.

Why PG chose to make a side on argument towards that leaves me a little bemused, however
In an extreme example, I replaced a 10,000 line C method with one template of less than a page of C++ code. It was marshaling different structures for transmission over a mailbox port. All that code copied and pasted and one or two numbers changed depending on the structure size.
The Parse 1,000 objects limit
Yeah, that all sounds familiar from my research. Especially floating point given some famous recalls. Disturbing if it's missing. I'll try to remember to get in contact with them. Overdue on doing that anyway.
What would happen if more and more people start using solar along with the net metering? Who would pay for the infrastructure costs?
I wonder if a solution would be a payment to extend copyright.

I think the strongest argument in the article is about the disappearance of works, but, as pointed out, this doesn't really apply to Mickey Mouse. Instead of having a universal expiration, which is causing some works to die, have a shorter expiration but then allow those who are still monetizing their works to pay a portion to extend it. This would provide a less grey market alternative to lobbying and perhaps the revenue generated could be put back into the arts.
He covers that in the next section "Signedness" and more thoroughly in "System-Dependent Types" where he recommands (properly) using uintptr_t and intptr_t:

The correct type for pointer math is uintptr_t defined in <stddef.h>.
on turtleback
Good point! But that makes me think that maybe taking the average of a bunch of P/E ratios is mathematically stupid to begin with. I mean, you could have one with earnings of .00000001 which would make the P/E ratio enormous, or with earnings of -.0000001 which would make the P/E ration enormously negative. Or you could have earnings of exactly zero which would give you a NaN. So maybe this is just is an indication that the median P/E is a much more meaningful quantity than the average. Maybe taking the average of a bunch of ratios is meaningless, in general. Or maybe they are adding up total price of all stocks on the exchange / total earnings of all stocks on the exchange. In that case, you could get the result that the "mean" was much lower than the average, if there were a small number of stocks that were losing bucketloads of money.
I don't think they should pay retail either. But a power company is not a normal company, it's a government-supported effectual monopoly. So what they should pay for stuff is going to be by nature more political than economic.

My guess is that they're going to compromise at around 75% of the difference between retail and wholesale. Nobody, except the power companies, really wants to see solar disappear, so the solar side is going to have more political might in this fight.
Hm, how about reversing "toilet-to-tap" into "tap-to-toilet"? I guess its too complicated to flush toilet with water from shower or dishes.
I'm having trouble believing that it is [...] desirable

To make it less useful to build a NSA-style ASIC hash cracking cluster, like https://en.wikipedia.org/wiki/EFF_DES_cracker

I'm having trouble believing that it is [...] achievable

The point is not to write an algorithm that is only fast on x86, rather than ARM, POWER, whatever; it's to write an algorithm that uses so much memory that it's not orders-of-magnitude faster to use an ASIC that's just a bunch of compute cores connected to fast buses, rather than a general-purpose processor with megabytes of on-chip cache.
Why would you generally need to wrap calloc inside a macro or function? Just call calloc(1,sz)
> Somehow, the user inputting data into those fields of their own volition still does not constitute explicit consent to store and use that data for purposes of making the service/product happen.

The article says precisely the opposite ("Naturally when users enter information themselves that is considered consent"), so why are you saying that?

What you need to do is explain why you're asking for that information, and not use the information for other purposes without asking the user again.

> The law, as mentioned in the article, also has no provisions for legal, financial, or tax purposes.

You can store it as long as there are "legitimate grounds for retaining it". Legal or tax purposes certainly fit. A marketing database doesn't.

> I imagine there is an entire classification of apps that you could never produce useful results out of this, ie, you can't just import it into another service or app and continue on as if nothing changed..

There are plenty of services that provide cheap data transformation/syncing for when you want to move to another service. Sure, the mapping won't be perfect, but so what?
How to plan your next creative project
Was shocked to see Bordeaux #2! My wife and I are there right now. It's a beautiful city—probably my favorite in France so far. It's also very walkable and bikeable. Coming from the Silicon Valley (San Mateo area) it's a huge difference in lifestyle, but I love both: SV is more about work and outdoors while Bordeaux is more about fine living.
Depends on your definition of rudimentary. The C preprocessor sucks in general, but you can use it to implement all sorts of abstractions Go basically isn't capable of.
Absolutely! One thing I liked about Chargify was that you used whatever payment gateway[0] you wanted, including Stripe.

I don't know if you can negotiate with the gateway directly at large volume even if you're going through Chargify - I suspect not, but it'd be worth a shot.

[0] https://www.chargify.com/payment-gateways/
Syphilis is believed to be a New World disease.

I guess I'm not informed enough to start picking a number, but as far as I can tell, the life expectancy upon reaching adulthood has historically been notably lower than it is today, even prior to the horrors of civilization.
> I don't have a mentor assigned to me, but I do work closely with the lead engineer to ramp up.

Congratulations, you've just found your virtual mentors here on HN!

Now-- go find your own local, real-life mentors. Seek out senior engineers, grab some coffee, share a meal together, ask for their specific advice. Pro-Tip: make a friend, don't ask 'will you be my mentor'.

Ideally, you'll want 3-5 go-to-guys with whom you can share ideas, compare notes, and get solid feedback. Think of it as building your own personal brain trust. The onus is on you to make this happen.
The grid doesn't need your energy most of the time, but when it does need your energy it tends to be right around when you're giving it, because peak solar production lines up pretty well (admittedly not perfectly) with peak electricity consumption.

If having a bunch of household solar saves the power company from spinning up expensive peaking plants, you're saving them a ton of money and performing a great service.

Of course, if enough households have solar then you'll exceed what the system needs even at peak times. But we're so far away from that point that there's no reason to discuss it in the context of current policy.

The big question to me in this case is, when the power company buys back solar power at wholesale rates, are they paying average wholesale rates, or are they actually paying the marginal wholesale rates at the time in question? How well do their retail rates reflect their peak marginal costs?

In many places, residential rates can end up below cost at peak times, even with time of use metering. In a situation like that, switching from net metering to paying true wholesale rates could be a net gain for homeowners with solar. But I have a feeling the setup here is not quite so fair.
Normal view of bulletin board: http://www.digicamsoft.com/cgi-bin/rebelBB.cgi

Rebol Github: https://github.com/rebol/rebol
Look, Go might be gaining in popularity, but there's just no way it could compete with behemoths like Apex, Ladder Logic, and ABAP.
I think wholesale prices or fees make sense. The combo of the two is a little ridiculous. It starts to make more sense to just burn off excess solar rather than send it back to the grid.
Much lower than that, probably more like 1 per 50K or so.

But they do happen and depending on where you live they happen a lot more frequently (Romania, for example, where driving is a bit like a video game but you only get one life. (And for pedestrians it is like 'frogger', and they also only get one life.)
A 5-year project to develop “rigorous formal foundations for Rust”
Did they grandfather "old" free dynos, or can you live with the forced off-time?
Microsoft loves Linux: Deep dive blog series
Or some obscure library found on github that's effectively become abandonware. Now you've just inherited a legacy codebase to maintain because some of your coworkers wanted to use a small subset of its functionality!
I don't see where the argument against retail (possibly minus a small amount) comes from.

Effectively, they're deleting load from close to the end user from the utility's books. If that load hadn't been deleted, the utility would have charged retail pricing in order to generate it.

The small negative adjustment from retail would come from the fact that the utility is still servicing the solar user as a retail user. So still needs to charge a set amount for admin costs & transmission (NOT generation) infrastructure.

Paying them wholesale is pretty ridiculous, and is a blatant abuse of the fact that they're a monopoly enshrined in law. If the state decides that you can't sell your electricity to anyone else because they anoint a utility, then that utility should absolutely be banned from exploiting that position to compensate solar generation less than it could.

If utilities can't balance their long-term amortizations of recent/new plants, then the state government can step in an reimburse them over the top for the disruption.
I interpreted the comment a bit more generously that you did. You're absolutely corrent that it's possible, and I'll go as far as to say even desireable, to write provable correct code. However, I've never seen a demonstration of probably correct hardware. I interpreted the comment as reminder that even binary is, ultimately, a leaky abstraction.

I used to work in a facility where they'd test systems for radiation hardness. Get the system running, then shoot a proton beam travelling a significant fraction of the speed of light directly at the processor. It doesn't matter if the code was proven correct Dijkstra, it will eventually manifest bugs under these conditions.
Which is hilariously fitting.
Your last sentence answered your question. Scale when it's a problem.
I asked on Twitter, and got several recommendations https://twitter.com/hyperpape/status/685476672393605120.
Why I'm joining the Dart Team
That's up to Nevada to decide. Won't happen for some number of years, what the world's going to look like then is going to be very different. No problem kicking that can down the road.
I think the argument he's making isn't that it's perfect but instead that this logic doesn't hold. Old techniques are not inherently bad. They're only bad if we actually did discover something new in the meantime. In this case I think we have learned since then, but the article doesn't say that; it just says the old stuff is old and thus bad.
Cosmic rays are no excuse not to throw an exception on integer overflow.
This was a great read! But I wish the article would have mentioned how tiny the microscopic time-reversal effects are, compared to macroscopic time reversal. The microscopic effects are too small to explain why we have such a clear direction of time.

Our direction of time is defined by the observation that entropy (or "chaoticness") always increases with time. If you mix orange juice with water, you will not see the result unmix itself again, even though the interactions between the individual molecules are perfectly reversible.

In fact, you can build a toy-universe in your head, where all interactions are time-reversible, and you would still observe that the chaotic-ness increases with time, unless you start with a completely random initial state (in which the chaoticness stays roughly constant). This increase in chaoticness is comletely unsurprising: It's a simple consequence of the fact that there are much, much more "states" in which a system looks chaotic, than states in which it looks ordered. Therefore, a system transitioning from state to state is much more likely to be in one that looks chaotic, and very, very unlikely to ever go back to a state that is non-chaotic.

The real mystery, for me, is: Why was the initial state of our universe so completely non-chaotic? Why did the universe not start out in a state that is essentially equal to the heat-death [1]? The microscopic processes that are not time-reversible might have something to do with this, but it's not clear at all how they can solve this mystery.

[1] https://en.wikipedia.org/wiki/Heat_death_of_the_universe
This doesn't happen in the UK, because the advertising standards body would spot it. I have never seen a paid political ad on UK television. They occasionally appear in newspapers.

The UK press doesn't pretend to be independent though, and is very big on telling voters who to support.
Those "Tiny" houses do it already. We have the technology.
This is covered in the article:

> Ultimately, none of this may matter: Even if Mickey’s copyright does expire in 2023, Disney has no less than 19 trademarks on the words “Mickey Mouse” (ranging from television shows and cartoon strips to theme parks and videogames) that could shield him from public use.

It goes on to talk a little more about it as well.
Not very pertinent but when I saw the middle of the water undulating, I was hoping a sea monster would appear.
2015 was the year that Adobe's Flash finally began to die
>> Solar is only really practical if it fits into the grid system, otherwise there's no real point. The energy it gives you goes up and down, and not in sync with your own household needs.

>>So you need something to do with excess capacity.

The simplest solution is to push it onto the grid. With net metering you can get the energy back later at not cost. It's like using the grid as a battery.

The alternative of course is to up the installation cost a bit and install an actual battery system in the home. Much like those available from Juicebox:

http://www.juiceboxsolar.com/home/

So this whole thing about net metering is really just delaying the problem the power companies are experiencing. Hardware prices will continue to fall, and at some point the solar installation plus battery will cost the same as today's installation and the demand will return.

At that point we're likely to see some fees just for connecting to the grid. And after that, we'll see larger batteries and more panels so that people can unplug from the grid completely.
Direct link to publications from Jeremy England's group at MIT:

http://www.englandlab.com/publications.html
Ask HN: BountySplit.com: UBER + Affiliate Marketing
Affiliate marketing for personal services? Earn 5-15% for referring others to post their project on bountysplit.com. Am I on to something?
A discounted rate is certainly reasonable, maybe not wholesale if the goal is to encourage solar. Wholesale rate plus high fees is ridiculous, though. That seems to serve no purpose except to make solar nonviable. That could easily make it more expensive to have solar than not (without even accounting for procurement and installation costs).
NVEnergy, Nevada's primary power producer, is behind this and a couple of other recent controversial decisions. The company is ultimately controlled by Warren Buffett and has proven to have far too much political influence. Own some casinos and want to leave NVEnergy because of absurdly high power rates? Sure, just pay an "exit fee" of $126.6 million for the privilege of having the right to buy power from other companies [1]. Own a data center? Good, you'll only pay $27 million to leave [2]. Now we have this decision, which destroyed the economics of solar for both future and existing solar users in the state - unsurprisingly, for the benefit of NVEnergy.

It's pretty rare that political corruption is this transparent. Normally at least some attempt is made to cloak it. In Nevada, this is apparently not necessary.

[1] http://www.reviewjournal.com/business/casinos-gaming/3-strip...

[2] http://www.reviewjournal.com/business/energy/casino-companie...
8 Secrets Smart People Know About Time Management – [Infographic]