skysight-inc/HackerNews huggingface dataset:
Imagine we have a particle-assembly device which we can trustily feed raw components and out comes planned assemblies. We could call this thing, a "3D printer" because it allows us to print things but in this particular case its literally the best 3D printer in the known universe, because: it recycles everything it prints.

So, we have this ideal device, and we send it up to one of these asteroids, in some form of redundancy of course (i.e. there is more than one ideal device, rather now a fleet of them), and the first thing that happens is that the fleet duplicates itself.

Then, we have the ability to remotely send print jobs, some sort of .. inter-spacial network of some variety or brand or another .. whereby anyone on Good Ol'^WNew Earth can send something to the print queue. If the job is printable (it is/will be) then the asteroid is consumed, bit-by-bit.

These bits fly themselves back to Earth for use. OR! They fly themselves somewhere else in space, for use ...

Okay, I think I'm getting a nice video game idea from this article at least. Time for some science!
Any proof for that?

Anyone has a copy of original article?

Link redirects to the main page of the website.
Save Electricity at Home a Favor for Your Wallet and the Planet
Why your business needs a Responsive Website Design?
It's done intentionally to make the owners a bit of money. They have direct download links on their website (click show all on download page), avoid the green Sourceforge link.
Can't, or just .. not enough rockets .. ?
>Carbon tax in Australia. All extra expenses were passed along down the chain to the consumer. We got rid of the tax. Prices stayed the same.

In general if a corporate think tank said something happened or something is going to happen and it impinges upon their profits, there's a better than even chance they're lying through their teeth.

See also: minimum wage, regulation of the financial sector, anything to do with debt, etc.
Yes, but that in turn was inspired by the patterns and idioms in assembly that didn't fuck up your codebase.

Simple conditional forward jumps, if, simple conditional backward jumps, while, and simple conditional backward jumps depending on a variable, for.
It's one of the best places on earth for astronomy. It's a very high mountain near the equator with suitable weather and clear skies.
>this fits really well into the age-old pattern of Western societies barging in and imposing their will on other cultures

>...justified by the Western societies

>...the pattern in Western history

You should try living in the East. A similar scenario in China would not go down the same way. The telescope would go up and there would be very little hand wringing involved in the decision.
I hear what you're saying and it makes sense. What would prevent such contracts from being a boon if we were all in one 'country'(the world), though? Is it to hold onto something deemed of value that some may consider arbitrary (speaking a particular language, celebrating certain holidays)? Perhaps some of the values held in certain countries are the things folks want to hold on to (personal liberty vs group cohesion, gun rights, etc). We humans are sure interesting.
Let's see, everything is just nodes and connections.

Category theory says everything is just objects and morphisms.

Brown's Laws of Form starts with "drawing a distinction".

Could this last be the starting point? Is it consistent with either the network or with Category Theory?

Lots to think about...
This is literally in the first paragraph of the story:

> The staccato pop of a cracked knuckle might sound like a balloon bursting — but it’s actually triggered by the formation of gas bubbles, rather than their disappearance.
I absolutely love this idea. Are you gonna do a trial every month? Any schedule for which trials you're gonna run?
Well, it would seem that their permits were not "in order" and therein lies the problem.
Something came up last time Sourceforge was discussed here, namely "why are projects still using it?"...

I'm the project lead for LXQt (http://lxqt.org). We inherited some infrastructure legacy from LXDE, which was hosted on sourceforge. Today, we have moved most of the legacy to Github but we're still using Sourceforge's mailing list system.

We're moving to a self-hosted mailman3 instance but it's been excruciatingly painful. Email is not fun to deal with.

So I'm pitching this to bored devs and entrepreneurs: Help us, and many other projects, by creating a "Github for mailing lists" with a web client featuring a clean high quality UI, easily browsable/linkable archives, etc. Make it open source, make it self-hostable, stuff in enterprise support. Make it quick and easy to create new lists.

This model can work. It's not unheard of either (cf. Discourse), but it just hasn't been executed properly yet, or is forum-only and does not support email properly. Right now, the UX of mailing list software is like IRC's. Very raw. If it were made more seamless, more approachable, overall easier, it would have a similar effect as Slack has had on unthreaded-async-topical-conversation.

PS: You should change your adblocker to uBlock Origin. It blocks Sourceforge as a malware risk.
Because of the way our current hardware is build, it is actually Imperative <=> low level (ignoring forth for a bit).

Because impressive constructs have a somewhat straightforward compilation path to assembly. Even when GC if involved.
In the UK Swiss water decaf is everywhere - maybe 50% of decaf. I buy my coffee through Amazon UK and there are lots of 'safe' decafs there.
On my ipad i can see the date in landscape mode, but not in portrait mode.
Mobirise Website Maker Software v2.6 is out
The permits were, but apparently the process for issuing them wasn't.
That is a fair question, and a "what if" type so its hard to answer. if you assume an ideal world with sane CEOs than it shouldn't matter what the investors expect. The startup should burn cash at an optimal rate to achieve the highest profit. Of course don't live in an optimal world...
Mobirise Responsive Website Builder v2.6 is out!

Main changes:

* Account panel

* Media editor

* Soundcloud extension

* PHP support for code editor

* Now all footer blocks will look the same on different pages

* Fixed a bug when menu overlaps the first block

* Some minor fixes

http://mobirise.com
FTP passwords can't be hashed. The right solution would be to support platform keyrings but ... https://trac.filezilla-project.org/ticket/1373
Aluminium smelters in Germany are actually getting a big subsidy. They're varying their electricity usage based upon the output of Germany's solar/wind farms and getting paid a hefty sum to do so (possibly too much).

This is having a negative impact on other smelters across the world.

Effectively they're doing the same job we were always told batteries would do.
But apt-get is exactly where you'd expect a ton of random rights.
We don't need to choose between these, it's developed world lifestyles that are causing the problem, not basic hygiene in the developing world.
No way I'm supporting this kind of behavior. Can you suggest an alternative to FileZilla ?
>Of course, we need to reach a gentleman's agreement regarding which formalism is a good “foundation” for defining everything else. My personal preference would be to define all other formal systems in terms of rules of inference.

If you are interested in defining "low cognitive load" that's a poor choice, in my opinion.

>I am fine with any, as long as the same choice is made for all languages being compared. What ultimately interests me is proving a type safety theorem, that is, a precise sense in which “well typed programs don't go wrong”, so perhaps this makes a structural operational semantics more appropriate than the other choices.

I'm not aware of any such thing, the kinds of formal semantics that academics prefer deal very poorly with the realities of finite execution speed and memory, the kinds that pratictioners use (which usually isn't referred to as "formal semantics" but rather "what does this compile to") deal very poorly output correctness.

However this has little to do with cognitive load, even if such formal semantics existed it doesn't necessarily mean it would be easy for a human mind.

> Sure, but the target languages used by most compilers are often themselves very complex. Which means a realistic compiler or interpreter most likely won't be a good benchmark for semantic simplicity.

If you agree that formal semantics is just a translation from one formalism to another, you can't claim that a formalism A is semantically more complex than formalism B without picking a formalism C as a reference point.
It's not "really shitty" to the owners of the medallions, the risk of a loss of the artificial monopoly should have been baked into the price from the start.

That the prices got as high as they did indicates the confidence the owners had over the stability of their political situation, which I have no sympathy for.
Older thread about Sourceforge: https://news.ycombinator.com/item?id=9623142

Just don't use them.
I instead can perfectly see an incomprehensible and slightly ridiculous automatic translation to Italian, with no link that gets me to the original. Who on earth can think that's a good idea?
I completely understand. In fact we expected to hear this from a lot more users. But if the feedback we see is representative, people care a lot more about not having duplicates.

I should add, for anyone who hasn't read the post I linked to above, that the original timestamp is always available from the user's /submitted list (linked to from their profile) and the /from list for the site (linked to from the domain name in the title line for a story). The relative (re-upped) timestamp is only shown on the front page and the /item page. Over time, the two converge, since the re-upped submissions to date have all been recent, i.e. less than a day or two old.

The intention is definitely not to make the original timestamp (or any other information) unavailable, and we'd be happy to hear suggestions for how to handle it differently.

Showing the history of comment edits is another matter. Sometimes people post things that they shouldn't post, and it seems decent to give them a way out by deleting the comment or editing out the sensitive or egregious bit. I think that's a fair privilege to trust users with—it's part of having a real community and good conversation, and although a few do abuse it, it really is surprisingly few. Except for a few perfect souls, we all blurt out things we shouldn't, so we all benefit from this. And we'd hate for bad real-life things to happen to people over what they post here.
> In my book, that makes the native Hawaiian culture inferior to my own.

I'm sure if you took honest stock of your culture there would be no shortage of episodes many times more egregious than this forced permit reevaluation and by your own shoddy reasoning that would make native Hawaiian culture superior to your own.
English Google Webmaster Central Office-Hours Hangout
Sad Topographies
Lessons learned from launching a SaaS tool on Indiegogo
No, that's a completely irrelevant point that doesn't address mine in the slightest. If we had to be perfect before calling out bad behavior, we'd never be able to hire any police.
They deleted the press release.

It's available on the Web archive: http://web.archive.org/web/20151202203337/http://telecom.kz/...
How Nike Have Combined Growth and Green
Interesting concept, shame it's limited to the US (understandable due to dubious legality of shipping unclassified chemicals between jurisdictions).

Been interested by the apparent 'attention enhancing' qualities of L-Theanine, although not gone as far as purchasing any. By coincidence someone got me into drinking green tea a couple of weeks ago, I haven't noticed any visible change. Although I expect my problem is concentrating on the right thing, rather than simply failing to concentrate.
Another possible source of purchase order financing is existing investors. For example, I am a major investor in (and a board observer of) a young startup that is just ramping up production. I've indicated to them that, should the need arise, I would be willing to provide some financing to help bridge a gap in their cash flow. Obviously, I would have to be very careful not to massively concentrate my financial risks (or to throw good money after bad, if a loan is needed because the company is struggling). However, no bank is going to know them as well as I do, and, if it really is just a cash flow issue, then I am highly incentivized help them out. Any interest I would collect on such a loan would pale in comparison to the increase in the valuation of my stake in the company.
My guess is that he meant things like "fat makes you fat and causes heart disease", or "fruit juice is good for you", or "margarine is better for you than butter" or "meat causes cancer" etc.
Free Downlaod AIMP v3.60 Build
Actually I think they do outsource a lot and those are the actual target audience, when reading between the lines of statements like "having junior devs straight out of school" or the quality of the Android tooling.
This may not be relevant on a "start ups" site of HN, but some people argue that debt is inevitable to grow any business, which I would argue against.
I'm surprised the data is elided for the last row, seems it would be the most interesting.

At any rate 0.17 MB/sec (Kingston C10) 4k random write vs 8.2 MB/sec (OWC) is a staggering 48x speed difference. That is like the difference between 1 Ghz and 20 Mhz. Very useful and interesting comparison.
Web design using 12 column grid
> This is a classic example of worse-is-better.

C won over Lisp, not because “worse is better”, but because the C's advantages over Lisp (performance on cheap machines) were more pronounced than the other way around (“safety” achieved by means of lots of runtime checking - by no means was it possible to statically rule out errors). Lispers fancy their language of choice the pinnacle of computer science, but the falsity of this claim becomes evident under close scrutiny.

> Go vs. Rust plays out quite similarly to what worse-is-better would predict.

I see a brighter future for Rust in the long run, for the following reasons:

First, Go doesn't do enough for the programmer: Haskell and Erlang are safer and easier to use, and have much better parallelism and concurrency stories. What kind of silly value proposition is “safer than C” or “less verbose than Java”? Rust offers something genuinely new: half-assed attempts at “better C++s” have existed for a while, but “safer C++s” haven't.

Second, Rust plays much more nicely with other languages. Rust is no more difficult than C to call from, say, Python. On the other hand, Go seems to be more of an all-or-nothing proposition: “If you want to use Go libraries, use them from applications written in Go.”
What's your opinion on Nix?
In C (using openssl):

* http://blog.cros13.net/2014/08/cheap-entropy-using-your-rtl-...

* https://github.com/pwarren/rtl-entropy

In Go, potentially (using its native encryption library, possibly a worthy trade-off in terms of security and speed(0))

* https://github.com/jpoirier/gortlsdr

* https://github.com/porjo/hamsdr

* https://github.com/bemasher/rtlamr

0: https://github.com/rfjakob/gocryptfs#performance
I use my OpenVPN VPS without any troubles.
fast 4K random writes are nice, but you know what is nicer? Filesystem designed for flash and OS tuned to NOT write randomly all the time. Pees routinely corrupts root partitions and stop booting because system images are not tuned for SD card usage, and EXT4 is terrible at being on flash.
31 Days, 4 Pull Requests, 1000s of Stories: Looking Back at Hacktoberfest
Epson In-Office Paper Recycler
I'm not sure what the disconnect is, this seems like fairly minor language. If you build roads and buildings where there's nothing it's going to have some impact, that's all I read from that.
I had read the article, I assume the commands satisfy the criteria -

1. People can play with.

2. HN users can try it out, give you feedback, and ask questions in the thread.

I might be wrong, but awaiting your thoughts/clarifications.

Thanks!
Or a new battery that holds twice the power, charges twice as fast and costs half as much. Yeah, or that.
The problem is not FileZilla, but SourceForge. They do this to all their files.
Isn't the problem with such interventions that returning a species to previous population levels can great an imbalance? What predates this species; are the predators able to keep the levels down such that this species doesn't boom and wipe out its food source?

Any sudden dramatic changes in population seem like causes for ecological concern.
I am most familiar with are in Checkpoint Firewall. They include several features that would limit this through session verification that tracks every packet, the sequence numbers associated (uses prediction), TCP flag states, etc.

When the attacker submitted sequence numbers that were not correct for the connection, it would send a TCP reset to both the client and the server; forcing the attacker to begin the attack sequence again with the first SYN. If it recognized a replay (sequence numbers used twice) like would happen here too, it would also reset the session. There are others as well such as packet data enforcement (if the packet data portions did not match up to a valid session) and session proxying too.

Lastly, it would lock out that attacker as a DDOS based on the traffic patterns (TCP sliding windows have been exceeded, or too much data in one direction and nothing returned).

The idea during design was that there are insecurities the TCP protocol inherently permits (like this one), how can we limit those. The answer basically is that if a session displays 'errant but technically permitted by RFC' behaviors, the firewall should force a reset on the connection.

If your conclusion at this point is can't this block valid traffic, the answer is yes it can, and these features are often turned off or limited for that reason.

Be aware that I have not pieced this together completely - it would take more detailed research and time to provide valid evidence - this is just off the top of my head over few minutes.

HTH...
You can use TensorFlow to train your own networks and setup your own ML pipeline.
However, GADTs and TFs are completely opt-in, so it seems a bit of a stretch to construe this as a generally bad thing. IME it's not as if library authors are arbitrarily (i.e. for no good reason) using GADTs or TFs instead of plain old type parameters in their APIs.
Fast, simple and asyncronous web-framework for Python 3
Is Facebook Luring You into Being Depressed?
Sad, but very true...
Your argument takes the form, 'culture x does a, culture y doesn't do a, a is good therefore culture x is better than culture y'

The argument is clearly ridiculous on it's face and as I said above trivially disproved by any number of direct and inverse examples.
Cloud Consulting Firm Services
Accelerize360 cloud consulting firm services focused on driving business value solving problems and help companies implement, optimize, support and drive more ROI from their cloud solutions.
Mauna Kea was in competition with a site in Chile's Atacama desert ( already popular for very large scopes ).

Technically they were both very close but in the end the decision went to Mauna Kea mainly for proximity to other facilities.
When Destructive Behavior Makes Biological Sense
I'm sorry but unless I'm missing something, I don't think that rises to the level of "something you've made that other people can play with".
How do you propose to analyse the data you collect?
Fair point: Europe and its descendants don't have anything like a monopoly on imperialism (and China in particular has that history going back a long, long time). I'm presumably focused on European imperialism because it's my heritage, and because Europe's age of imperial expansion has played a particularly widespread role in world history for the past few centuries. And also, because it's the one involved in the conflict in question here.

It's probably worth considering how these attitudes evolve over time, too. I'd guess that a hundred years ago, the U.S. wouldn't have done much hand wringing in this case, either.
Words like "debt" can be tricky to pin down, which is why we have an accounting profession who's job it is to establish a cohesive and consistent language system with specific meanings.

Kickstarter money represents both revenue and a liability for the company that is doing the project. There are many types of liabilities which are not exactly debt in the sense that we think about a bank loan (which is also a liability). The thing that all liabilities have in common is that they represent an obligation of the company which could require them to spend money or other assets to fulfill. This does not mean they have to satisfy the liability, it just means that there is a financial justification for any work they do relating to that.

I am sure the accounting profession is continually being tested with new business models and trying to capture the financial reality for people who are playing very different games in the world of capital.
Amazing Stop Motion Art, New York
Earth has lost a third of arable land in past 40 years, scientists say
The paradox of gentle murder
[TextArea.com] I made a small and clean blog any advise?
That's not quite accurate... FileZilla has opted into the bundle-with-crapware program [1] to make some money.

[1] https://news.ycombinator.com/item?id=8849950
Does http://librelist.com/ match your requirements?

"It is a place for FOSS communities to discuss all the things they want without ads, censorship, signup requirements, bundled apps, or requirements that you use any particular email client or service."
$400, God, I prefer dying. Then I think it misses a On/Off button on the sleeve, to make it compatible with automatic calls for emergency, and a speaker to beep, in case we forget to turn it off, and also it could detect car collisions with an accelerometer, ect... This is for fitness, there needs something oriented for health, and I think it could be cheaper, couldn't it? It'd sell well, because then it has utility. Even if I bought this I'd still have to hack the software, it seems. But it's interesting to know about.
The linked diagrams are interesting but a little overwhelming:

- https://www.math.ucdavis.edu/~greg/zoology/diagram.xml

- https://www.math.ucdavis.edu/~greg/zoology/diagram.pdf
SourceForge are adding the malware but the FileZilla people are acting as if it's not a problem and refusing to help people / accept that there is an actual virus in the executable they link on their site.

"It's not our problem, it's SourceForge" - stop f'ing using SourceForge then!

Their ambivalence and complicity in distributing this malware is probably the behaviour GP was talking about.
All you have to do is imagine what kind of computer you'd be using if it were left up to the culture in question to develop it.

It would probably have wooden beads on wires.
you win just for the project name.
DREAMS, FANTASIES, AND REALITIES: INSIDE HONDA'S JAPANESE R&D LAB
Huh, that got cut off in the reader view I was using. Thanks.
Nope, all links direct to Sourceforge.
> If you are interested in defining "low cognitive load" that's a poor choice, in my opinion.

I'm interested in “low cognitive load without sacrificing technical precision.” It's a much harder goal to achieve than “low cognitive load if we hand-wave the tricky details.”

> However this has little to do with cognitive load, even if such formal semantics existed it doesn't necessarily mean it would be easy for a human mind.

Which is exactly my point. I only consider a language simple if its formal description is simple.

> If you agree that formal semantics is just a translation from one formalism to another, you can't claim that a formalism A is semantically more complex than formalism B without picking a formalism C as a reference point.

No disagreement here. I even stated my personal choice of C.