skysight-inc/HackerNews huggingface dataset:
(creator of 3L)

No. Almost any language we use today can run on 3L and transpilers are planned for the future of 3L. The security features will still be provided via the underlying lisp though. Technically the same security mechanism could work for most languages but it is much simpler, easier, and more natural to implement in lisp.

Even languages like C can be supported safely via memory emulation (although right now that would mean it runs quite slowly but likely, although no guarantee, it will run well enough in the future as hardware becomes more powerful).
The biggest problem is the UNIX and Windows tradition that programs have all the rights of the user running them. Today, they should start out with the rights to read their own installed stuff, access their own private read/write prefs area, and use temp files. Anything more than that is at the discretion of the user.
Resources aren't really that cheap. Just try running a video game on a Macbook Air. It doesn't work.
That is not at all the case. If you try to solve a problem but only do it partially, no one blames you. If you try to make a profit by benefitting from a problem, then you have some moral responsibility, maybe not for the problem's existence, but for the people you benefit from. So the claim isn't involvement => blame, but profit => increased responsibility, which doesn't seem so outrageous.

The issue of mutually beneficial exploitation is a big problem in ethics[1]. People who say it's OK, subscribe to what's known as the "non-worseness claim", but many don't. That post you linked to is a shallow, uneducated piece that completely ignores the vast discussion on the topic in ethics literature[2].

Another thing is that even with the most generous interpretation, and even if you do subscribe to the non-worseness claim and find it ethically positive, in most such mutually-beneficial exploitation cases, no one is really trying to solve the problem, just to make the best of a bad situation. That is not bad per se, but let's not pretend Amazon is "trying to solve" the problem of homelessness.

[1]: http://plato.stanford.edu/entries/exploitation/#4

[2]: And that is a charitable description. It reads like an article about the motion of celestial bodies written today by someone who is completely unaware that physics has been an active discipline for centuries, and may have a thing or two to say about the subject. I don't expect everyone to be an expert on everything, and it's great that non-experts write about matters they've only recently been introduced to (as this can help others), but I find it hair-pullingly frustrating when people write about something by trying to deduce from first-principles without so much as googling to see if perhaps there has been some serious treatment of the subject before. It is doubly frustrating when it is those ignorant (though perhaps well-intentioned) articles are the ones that get referenced and discussed. It's like those texts actively erase knowledge.
This is great! I really love that Bitbucket is focusing on important stuff and not things like displaying GeoJSON and IPython Notebooks!
Yes, and plenty to read on the subject. Look around for blue light and sleep / circadian rhythm / melatonin production.

http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2831986/
I use WordPress, a huge PHP blob with a database, for my self-hosted blog. I somewhat agree with the parent and sister comments in that, as a programmer, the way these things work irks me out.

However, I don't agree with the apparently widespread conclusion that it follows, from this sentiment, that not publishing is better than publishing using a less-than-lovely platform. I also don't agree with the widespread corollary, "build your own blog", when as a result you get less features than the irksome WP would give you (a common omission is support for comments - I got some amazing comments over the years, if you think it's not worth having this feature, I think I see where you're coming from, and I think you should reconsider.)

I treat blogging software as I treat any other - I dislike most programs that I run, but I often still choose to run them because the result is worth it. I can't see how "it's not worth" to run PHP+DB in order to be able to publish your thoughts. This is not to say that, given today's alternatives, WP or similar should be chosen over those alternatives, just that not using any of the available options because they're all too irksome feels over the top.
> is it available anywhere for us all to follow along?

A mailing list to follow development will be available soon unfortunately I haven't had time to get it up and running yet.

edit: but check back to 3lproject.org soon or the kickstarter page. If you have kickstarted it I'll also make sure to send out an update.
Power differentials are irrelevant. Suggestions otherwise are unscientific Marxist hocus pocus that leads to destructive laws being instated.

If I offer a worker in Indonesia $2 a day to work for me, they are perfectly capable of deciding whether it's in their interest to take the offer. The power differential is as irrelevant as the one between Microsoft and me when Microsoft, with its $100 billion capitalization, offers me a product and I decide whether I want to trade my limited capital for it.
This isn't an either or. The reason your phone gets all day battery life is because the kernel was designed to run well on an i386. Let the app frameworks have cushy memory management but implement the OS in C.
I gotta ask. I don't mean to offend. Keto diet sounds like a good way to lose weight. But does it make ones breath smell?
Why should I care at all about POSIX when not using C or porting UNIX software?

POSIX is just the part of UNIX that should have been part of the C runtime, but instead they made it into an optional standard.

Almost ever other programming language with richer runtimes don't have any need to depend on POSIX.

All their APIs for creating processes, threads, accessing file systems, communicating over the network aren't POSIX dependent.
How do zero values help here? Zero values would seem to me to make nil pointer panics easier to run across, because it means the language can silently insert nil into your data structures or assign nil to your variables without any syntactic indication.

> The problem with having nil is when you expect a value to be either a valid pointer or nil to indicate an error, and you forget to check for an error.

That's not the problem with null pointers. Null is used all over the place for non-error conditions. The problem is when an object legitimately might or might not be present, but the type doesn't encode that fact, so some code mistakenly assumes that the object is always present when it isn't.
why not? if it's all hot swappable and development at that level is as easy as in user space
Yes, how dare the government make the decision of what wage is acceptable for other people, and eliminate countless opportunities for mutually beneficial employment that would otherwise take place.

>statistically reduce harm.

That's an absolute fallacy. Any evidence on the issue shows they harm. Mutual consent, which only requires laws against fraud and contract renegement, are all that are needed from the government to foster prosperity.
Thanks for sharing this link, I had no idea Google had your location history so nicely accessible like this. I knew they kept track, but never once did it occur to me that I could see it.
Someone needs to make a big deal about how this is bad for business because it allows the Chinese/Russians/French/Welsh/whoever to steal American Innovations(TM) and then write to whomever this person will be challenged by in upcoming elections with "x is anti American Business" talking points. Both sides can play "Won't someone think of the children?"
Survival to cycling is very different than ruggedness. The power supply to my 2015 pixel (60 watts, btw) goes over type-C, I accidentally stood up with it plugged in, and the wires were pulled out of the connector. I didn't feel much resistance. The connector was still in the socket and the laptop was fine.

The worst part is that the cable is hard-wired to the supply so I had to throw out a very expensive supply instead of just replacing a cable. I had to pay for a real google supply because it is the only 60W available. The second closest is the Apple at 35W.

And, the google supply comes into stock once a month and sells out in two days each month. I had to wait and check the site twice a day. I suspect people buy them for other devices since they can't be matched.
Your belief that regulations are what provide people with a "living wage" is totally ignorant of how wages are set. By your logic, we could make the minimum wage $100/hr and make everyone upper-middle-class. That we can't is not because minimum wage only works in some income bands. It's become minimum wage doesn't work, period. It can't increase the net amount of capital available for paying workers. It only redistributes it, at the expense of the economic growth. Economic growth, meaning increases in total production, is the only source of increase in capital available for employer labor expenses, so minimum wage retards wage growth.
I'm the creator of 3L so feel free to ask me anything or point out how it will never work and is a terrible idea and is nothing new. :)
Yes, but also:

> Corporations, it seems, may have amassed at least a good chunk of that $1.9 trillion in mysterious savings because the stock market is rewarding them for it.

What's the rationale for that? Perhaps low cash reserves correlates strongly with poor outcomes, and the association gets extrapolated into meaningless territory. But if there's so much cash, why not increase dividends?
Really poor people benefit from processed, calorie dense, vitamin-enriched food because it's the cheapest way to get fed. The harmful effects barely affect them because they cant afford to over-eat the stuff. So a processed food tax would be more harmful to the poor than a cigarette tax which, though burdensome, saves a lot of their lives. Food is good except its consumed in excess. Cigarettes are bad, period.
Docker Acquires Unikernel Systems
Discover one more: https://slaask.com/
This exists in SF, it's called called "Pit Stop SF": http://sfdpw.org/index.aspx?page=1805 and costs over $1mm a year according to the Chron: http://www.sfchronicle.com/bayarea/matier-ross/article/City-...
the same argument could be had against languages like Python, ruby, and JavaScript. making things easier to develop against often means that complex things exist that make things faster.

look at pypy for example: Python interpreter written in Python that's faster in many cases than cpython because they could build advanced features for optimising the underlying running code. writing an OS in C because efficiency seems like a load of hooey to me unless you have facts to back up your idea that for some reason the OS has to be the efficient thing.

software development comes down to 1 thing: delivering features. who cares if you need twice the servers to run your product of the alternative is you run out of runway and your project gets canned. hardware is cheap, engineering time is not
I don't think it's about the market value of Google search in isolation (which is large and positive). Instead, it's about two things:

1. The power of browser defaults puts browser vendors in a strong position to demand a cut from third parties that make money from being a default.

2. Yahoo and Bing (plus some regional options) are realistic alternative bidders for this preferred placement. That dramatically tilts the bargaining power towards the browser vendor. With an alternative, however, a browser vendor still makes some money if negotiations with Google break down. Beyond that, a realistic alternative means Google loses more. Assuming negotiations broke down, more users would end up searching at Google if there were no search engine default than would if there were an alternative one.

To build on the cable analogy, suppose sports leagues were required by law to license their broadcasts (with the same terms) to any cable channel that wanted them. In that case, it wouldn't be hard for someone to put together ZSPN and bid away ESPN's carriage fees. ESPN doesn't just get those fees because they have valuable content - they can demand those fees because they have control over that content.
Hi - for some reason the search bar keeps changing my search terms eg Australia --> Australium
I'm not sure what your question is, but the complicated thing with blood pressure is that it is regulated by your body. So if you do something or eat something that raises your blood pressure, your body will respond by lowering your blood pressure. And if you do things to lower your blood pressure, as it says in the article, your body will respond by releasing renin and aldosterone to increase your blood pressure.
>paradox/error

There is none. The ends don't justify the means (Kantian ethics).

There are network effects of a giant for-profit organization exploiting the jobless, vs a non-profit that is regulated to be aligned with the jobless.

If you're using rational beings as a means to your ends, they need to be part of the ends, which is why Amazon is being criticized.
This definitely seems like an improvement over the existing permissions system, but still seems to lack the granularity in resources to do things like per-bucket permissions in GCS.

It's a little silly to have to give a machine full read access to GCS if it just needs to download some packages/binaries but doesn't need access to things like database backups.
You're mistaking the context. You first acknowledged that Yahoo had to outbid Google to replace their search engine, which properly recognizes the situation: Google is replaced when it's outbid, or the real-estate owner otherwise has a better value gain to be had from other options.

In the case of Apple, they have numerous other highly valuable directions they could go with a piece of real estate on the iPhone, including selling it to Microsoft or Yahoo.

It would be like claiming that because every free app in existence isn't included by default on a phone, said non-included app/s must therefore have a negative value. My phone for example did not come with kik or viber pre-installed, therefore they have a negative value (not true).
Promo Bonus Agen Judi Online Terbaik Indonesia
Yes. The submitter looked up the right bill number but the wrong session. couchdive has the correct link.
I'm another person who was avoiding salt - thinking it was bad for me - and then discovered that I wasn't getting enough salt. My body's temperature regulation was a mess - hot & not sweating with a dry mouth and dry sinus. So I started putting a teaspoon of salt into my morning fruit smoothy - and suddenly all the symptoms went away. I wish I had known sooner.

I've started using sea salt exclusively, since grocery store salt is just extracted NaCl - which isn't what traditional salt, the salt that's been eaten for centuries, really is. Sea salt is said to have a composition of trace elements which closely resembles the human body. Sea salt has a much lower percentage of NaCl than the processed salt.

I should add that I don't eat a lot of processed food. I cook basic foods and put them in the freezer so I can eat them throughout the week. That is most of my diet. So most of my salt was probably just the occasional junk food I would eat.
> Is there a good language with the simplicity, portability, and control of C together with theorem-proving features?

Yes: C ;-) The Frama-C system allows you to write functional specifications of C code and verify them. Trivial example: http://frama-c.com/wp.html

It interfaces with the Why3 platform, which means that it can talk to dozens of automated provers out of the box. AFAIK it doesn't yet handle some things like dynamic allocation and free (the semantics of free in C is hard!), but it may be something you might want to play with.
I use a mix of stylish themes to achieve something similar, and hide Slack's grating UI and default colors.
I am pretty disapointed by the limited use cases pictured in the article. I pinged the author without success.

Check at bottom of ff4.org page 10 others.

E.g : Deliver your product with toggles off on each node of your cluster and when all are ready : toggle on - no more inconsistency during release - no rollback as you simply toggle off if not working.....
Thanks. :)

Genera (and other lisp OSes of the time) proved a lot of what 3L is building on. Unfortunately at the time the hardware required to run genera was expensive. Today the atmosphere is different.
This is very dependent. Spinning up your own status page takes incredibly little time, rather than paying $99/mo.

On the other hand, spending more elsewhere, say, to keep good books or to acquire customers, makes perfect sense.
Developing a standard for Rust would have incredibly few practical consequences, given that there are no alternative implementations. It would, however, consume a lot of people's time. That time could be spent on things with practical impact, such as compilation speed improvements, stabilization of features, and better optimization.

The reason why Rust was stabilized in advance of a standard is that stabilization had an immediate practical consequence: ceasing to break code. A standard, by contrast, would have virtually no practical use.
تور کیش قیمت استثنایی در هتل شایگان ورود ۴ بهمن
Sorry — that'll be the search trying to get a singular term from a plural.

I've tagged the images with singular terms to make them easier to search, so it will change terms like "bridges" to "bridge", or "men" to "man", unless I override each term. If anyone can suggest a better way, I'd be very grateful.

I'll add "Australia" as an override, for now. Thanks for pointing it out.
Isn't SSL/TLS certificates broken when all you have to do is to add one root certificate to MITM everyone else's SSL/TSL?
DANE – RFC 6698 alternative to CA
The issue is that you're using a gigantically emotionally loaded situation as a basis for designing a legal system.

That often ends very, very badly.
How a small design tweak got millions more people to use
- expressive language, including support for FP

- no need to copy-paste code for generic algorithms

- proper dependencies management
This might be an effect of too much protein in a diet. If you are controlling for carbs, then the solution is to replace protein with more fat.
Œœ is not part of the French keyboard layout either
Is there a practical guide to inexpensive home testing?

None that I know, might exist though. I mean, you can buy dead cheap properly working test kits for MDMA for instance, then why not for B12 you'd wonder.

But rather than testing the B12 itself you might just (or also) test if you have enough of it. Many vegans I know make a yearly appointment with their doctor for a blood test looking for defficiencies in a number of substances. Most are always fine btw. Oh and google came up with this: http://www.testcountry.com/products.html?product=1883. Again, hard to tell if it's ok - but you could compare it with blood test results. Then again, blood test might be cheaper than this kit.
I am extremely skeptics about keeping the same management in Sharp...
Isn't the whole point of outsourcing paying below minimum wage? (Also I guess more lenient pollution laws)
Yes! And further, consumer credit is maxed out. Henry Ford knew that he had to pay his workers enough to buy his cars. But since the 70s, it's become sufficient that they be able to borrow enough. It's been a good run, but ...
Undertaker had kept the name “Cain the Undertaker” during his career, read this and more on WWE:

http://goo.gl/8tJOig
How ironic the fuel once trumpeted to be "too cheap to meter" soon to be replaced with renewables, which will truly end up as too cheap to meter.
The startup funding money game is counterproductive
3L does do this. You can share as much data between the OS and user applications as you want. The OS doesn't really mediate anything so there is no overhead from copying data or messages between processes or enforcing some security mechanism. The language runtime enforces the references that are available to some code that gets run but that's it and that's all that is needed. You really don't need a separate OS program facilitating everything to serve as an OS.
In the default US International Çç is AltGr + ,

Also if you are on Windows you can use Microsoft Keyboard Layout Creator (MSKLC) which is a free tool to develop keyboard layouts.
Yes it is, and we all know it, but we are apparently unable to fix it.
On the contrary I'm looking for QUERTY from German stores.
What is the reason you decide the "Fully Source Mapped" feature? What's the advantage and disadvantage? Thanks.
While it's possible you have discovered some exciting new problem, Eclipse is likely more your problem than the JVM. I've never increased the heap size of IntelliJ from its default size of 750M except when dealing with extraordinarily large Scala projects. I've had Sublime Text use more RAM than that with some plugins.
I wouldn't see this as positive.

This fact is the major reason behind the whole undefined behavior story in C and its derived languages.

When the standard came to be, no vendor wanted to give up on the semantics that gave their compiler some kind of advantage.

So all those little issues were tucked into undefined bucket.
I can jump in here. I lost 16kg on a ketogenic diet.

My gut is a lot happier as evidenced by more regular and better (firm, soft, not runny) bowel movements.

There is a definite smell (breath) associated with ketosis. It varies by person but it is often noticeable.

I asked my wife to track it as it's very hard to notice it yourself and she says that my system produces a slightly metallic smell the isn't objectively bad, just different to normal.

I have Muslim friends and during Ramadaan there is a noticeable smell which is subjectively bad from some of them.

A friend who works as a nurse in a very low income area says that she can detect someone who isn't eating normally by the smell - very important to spot if that person is also pregnant.

It's a long way of saying: yes there is a smell, it varies by person.
>2 We could throw out the entire list and rebuild it in one go, but re-rendering large amounts of DOM is also slow.

Out of curiosity I tried swapping "<ul><li>Artichokes</li><li>Broccoli</li><li>Cabbage</li><li>Dill</li><li>Eggplant</li></ul>"

and the same without the broccoli and dill, back and forth a few thousand times using jquery.

The average time per change was 28 nanoseconds or 35000 changes per second (Chrome, MacBook Air). Trying swapping a list of 300 fruits for a list of 500 fruits was 1.4 milliseconds per change.

I wonder if using some convoluted framework to "solve—or at least mitigate" this might be premature optimisation? (As well as actually slower).
Combining all 214 subway systems into a single map
... Which brings another question mark. How do you switch tracks with a tube under vacuum and with running speed of hundreds of kph?
With that in mind, a radio spectrum analogy seems to be more apt.
I've posted reasons why here : https://news.ycombinator.com/item?id=10949667

more reasons:

On error handling, in Go most of libraries and even some part of the std lib, erros are constant string, which mean that for example you can only do

`err == foo.DUPLICATE_KEY_ERROR`

but you can't extract which key, or then you start to have to either use an external library to do some string masking/unmasking, which complicate quite things and add one more dependency, or just to say "screw it, i will just log 'duplicate key error" which is unoptimal

I really did try go, to the point I even proposed a fix in the std library for a long standing bug in the xml library https://go-review.googlesource.com/#/c/15684/ , but not all the reason stated above makes me consider go as "yes sure it's an improvement over php/python/c++" but rust is like an even bigger improvement
Evidence of a prehistoric massacre extends the history of warfare