mafm

It seems like there's some competition in this space after an initial breakthrough in 2016.

https://newatlas.com/rechargeable-zinc-manganese-battery-pnn...

http://enerpoly.com/technology/

Unless I've missed something, it would only require 1 customer with a serious risk appetite.

Great article. The package that ties notebooks to git-friendly markdown equivalents sounds it solves one of the main problems with using jupyter.

For Chinese, "Ni Hao" literally means "you good", equivalent to "hello".

If you actually want to ask someone how they're going, the phrase is "Ni Hao Ma", which is literally the question: "you good?"

The question version isn't something you'd normally use. It might be appropriate on meeting a friend if you knew they'd been recently ill.

Yeah, but that happened in places like the USSR, not in the free world.

Nice! Lots of really practical advice.

I wish I'd been given that advice before I wrote a compiler. Back then, the best advice was in Richard Bornat's Understanding and Writing Compilers and the dragon book - useful, but not a walkthrough.

The documentation seems to have a lot of off-putting mathy category theory stuff, and it didn't look like there are a lot of practical examples, but it would be cool to have an alternative to protobufs/thrift that can represent ADTs directly.

This link works for me:

https://web.archive.org/web/20170811235424/http://home.pipel...

That site was one of the better collections of lisp technical papers. I hope it's not gone for good, it was there earlier this year.

Thanks. (I have now looked up the correct way to quote).

> [...] I don't know why it is called Dynamic programming.

According to Richard Bellman, who came up with the name:

  An interesting question is, Where did the name, dynamic programming, come from?

  The 1950s were not good years for mathematical research. We had a very interesting gentleman in Washington
  named Wilson. He was Secretary of Defense, and he actually had a pathological fear and hatred of the 
  word research. [...] What title, what name, could I choose?
  
  In the first place I was interested in planning, in decision making, in thinking. But planning, is not a
  good word for various reasons. I decided therefore to use the word "programming"

  [...] it's impossible to use the word "dynamic" in a pejorative sense. Try thinking of some combination
  that will possibly give it a pejorative meaning. It's impossible.

  Thus, I thought dynamic programming was a good name. It was something not even a Congressman could object to.

Australia also grounded those aircraft today:

https://www.smh.com.au/business/companies/australia-grounds-...

The main reason markets existed historically was to ensure transactions were done in public. Prices were publicly observable, stolen goods were difficult so sell, etc.

Having a single market everyone trades in does have efficiency advantages, but the main reason we have had organised markets in jurisdictions all over the world, for thousands of years, is because the people making the rules wanted transactions to be done out in the open to keep the people doing the transactions honest.

I think this trick comes from Ben Klemens' "21st Century C".

If you like this, the book has some other tricks in it you might also like. (One example: you can define generic functions in C11).

Site is down for me. Here's a link to what seems to be the same paper on arxiv:

https://arxiv.org/abs/1801.08603

Late reply, but telescopes seem to be based on a similar thought:

(http://www.nuprl.org/documents/Constable/Automath-35years.pd...)

RECENT RESULTS IN TYPE THEORY AND THEIR RELATIONSHIP TO AUTOMATH, ROBERT L. CONSTABLE

What are those recent apps?

Animals like rats and pigeons actually do develop superstitious rituals.

Skinner documented it in 1948, and there's a fair bit of literature on it.

https://psychclassics.yorku.ca/Skinner/Pigeon/

As somebody who uses org-mode a lot, this looks pretty cool at first glance. Slightly surprised this isn't attracting more comments.

It may be addressed somewhere on the web site, but I'm curious about how well this integrates with git for tracking changes to a set of documents. Working well with git is one of the nicest things about org-mode.

Your crucial advance began with the Magna Carta.

The history of England is basically the story of how the Government of England became increasingly limited by the laws of England. (At least that was a central theme of David Hume's wildly popular 18th century "History of England".) And yeah, many people in England gave their lives fighting to progress that goal around the same time that the Americans declared independence.

"I am a cat" by Natsume Sōseki 1905. like Murakami, but the first Japanese author to write like that (?) All the other novels he wrote are great too.

Awesome link. Thanks.

Upvote because I think this is the 1st time a posting from the ucc website has made the HN front page.

Beautiful example of hash consing / immutable data structures.

Binoculars

I'd suggest putting it down as a learning experience and moving on. People will rip you off from time to time. Unless you have a good chance at a quick, profitable, resolution I'd suggest getting on with your life.

I've been ripped off for amounts in the tens of thousands of dollars on 3 occasions. I was pretty angry each time, but the only time I pursued it (and got my money) was the case where the counter-party was a large firm with plenty of sensible lawyers. Trying to get money back from individuals or small organisations where people have hurt feelings is an enormous hassle.

I'm curious about how much of the tone is the instrument and how much is the player.

I remember watching an Igor Oistrakh masterclass where he complained about the sound a young violinist was making on her cheapish violin. He said "play it like this" and then played the same note on his vastly more expensive instrument. I think everybody in the room was thinking something along the lines of 'I'd like to see him make that sound with the instrument she's playing."

The idea that all states (or their heads) are nominally equal is pretty recent. It came from the treaty of Westphalia, ~1650. I'm no expert, but I think that model wasn't really applied to states outside Western Europe until ~20th century.

Honestly, no point in waiting. I paid for google music for a couple of years before switching to spotify. Spotify is a lot better - more music, better recommendations. about the same price.

What is the better way that is banned?

Somebody at TU Delft did some work on making 3d scans / reproductions of paintings, and one of the artists they were scanning was van Gogh.

I think the reproductions were for sale, but they were pretty expensive (~$25K???).

Hackaday did a story on it in 2013: http://hackaday.com/2013/09/24/priceless-paintings-scanned-a...