skysight-inc/HackerNews huggingface dataset:
But they can't be compelled to.

If Apple has access to the data, the government can compel them to turn it over. The whole point of this setup is that Apple doesn't have access to the data, because they can't get the keys, and they can't reconfigure the HSM to give it to them.

Now yes, they could in theory change iOS and push out an update to everyone that breaks the security model. But the government¹ can't compel them to do that. The government cannot compel them to materially change their product and break one of the major advertised features of the device.

¹I'm assuming US government here. The rules would be different in China, but I guess China knows that even they can't compel Apple to break the security model of the device in this way, Apple would rather leave China than do it.
> I hope to sell more kits to validate the market and bring in some revenue to keep the project going.

This might have something to do with that. Also, he writes he believes the way to go is to injection mold the parts rather than to 3D print them.
There was a book about systematic drug use in Nazi Germany called “Blitzed” that is worth reading.

Meth was extensively used in the German military and probably contributed to the victory over France. Basically to can stay awake and endure, but cognitive ability is impaired in some ways.
ya its kinda crazy. the realization that nicotine doesnt actually calm you, just stops the lack of nicotine from stressing you out.
Wow never made this connection, very insightful observation.
The key to seiza is increasing the range of motion in your ankles. Definitely different people start at different places in terms of that range of motion, but unless you have an injury, you can eventually get there. A couple of quick tips: warm up before you do it -- even going for a quick walk will help. Don't force it. Try to stretch the ankles out a bit, but if it starts to get painful, stop. If you do it too much, you'll get inflammation in the joint, which will just make things take longer. Try to do seiza for short periods during the day. Ideally do it once an hour, but because you might feel self conscious doing it at work, etc, just try to do it whenever. Definitely every day. You can easily go from not being able to do it, to being able to sit seiza through a whole raft of boring speeches from the CEO at a Japanese staff party in only a few months :-)

Interestingly, the squat is a very similar problem, but in the opposite direction -- your ankles need to bend the other way. Lack of range of motion makes it so that you can't position your weight forward enough to stay on your feet. There is also the compounded problem of needing the flexibility in your hips.

Finally, sitting cross legged is also related to ankle range of motion -- but in a kind of diagonal way. To sit comfortably cross legged you have to be able to put the tops of your feet flat on the floor. Of course, this requires flexibility in your glutes as well, but if you don't have the range of motion in your ankles, your feet/knees are always going to hurt. A full lotus position is actually easier on your joints, but requires a lot more flexibility.

Anyway, like I said, there is definitely a range of starting places for flexibility for each person, but no matter where you start you can get there (barring injury, or other kind of unusual mechanical problem). Strangely, I find seiza to be the easiest of the three positions even though I initially found it to be the hardest (after you fix the range of motion problem in the ankles, there isn't really any flexibility you need).
And if you find the vertical back angle more natural, you should try high bar squatting. With high bar you will also benefit from having your heels slightly raised with a plate under your heel or weightlifting shoes.
> It is difficult to understand why so many junior programmers use a dozen boolean state variables instead of a state machine, given that they learn it in CS or similar courses.

If you think that's a head-scratcher, the fact that senior developers consistently do the exact same thing must really confuse you!
Ask HN: Can the Facebook messenger app track your mobile browsing history?
Can facebook messenger (or any app really) on an iPhone access your mobile safari history? I know they do this from the browser (eg if you're on facebook.com), but I'm wondering if only having the messenger app installed will be able to track my web presence and delver ads based on it.

Thanks
> there is simply no way for anyone to send $99 to try to get at that randomness.

Sure there is: black bag your house and bug your laptop, or remotely compromise it.

If the original article's argument is basically correct then it means that for any alternative to PoW such as PoS compute-grinding work may be replaced by attempts to game the system or attack the system's security.

I'm also skeptical of the claim that PoW is necessarily more expensive than fiat currency issuance. To account for the cost of fiat you must include the cost of all the security, administration, and governance that is required to enforce the integrity of the system. A dollar costs a lot more than the paper it's printed on (or numbers in a database).
Not to self-promote too heavily, but I did an episode of my georgism-centric radio show about this very article[0].

Videogames really offer a fun space to explore economic instruments-- treating the real world as a laboratory is a bit more dangerous.

[0] http://seethecat.org/ep/2017-09-12.html
I am not talking about scientific applications.

I am talking about tens of millions of sterescopic photographs and viewing devices[1] made in the late 1800's, with stereoscopes being about as prevalent and accessible as radio sets and TV's before the transistor era.

You can still buy a 3D card more than a century old for under $5 in vintage stores around the US.

And yes, you can slide your cell phone into a stereoscope and enjoy your 3D/VR apps 1880-style. (Today's VR headsets for cellphones are just 1800-s stereoscopes with a rubber band).

[1]https://en.wikipedia.org/wiki/Stereoscope
Plenty of projects use GPL'd code but do not release the resulting product. It all depends on how it is put together whether or not that is in compliance with the GPL or not. Hard to say without having access to the resulting binaries.
We have worked with LLVM a lot for own own compilers and DSPs.

LLVM Intermediate representation in practice is C++, AST is C++. LLVM do not support many languages,many languages support LLVM, which is different.

That is many people, or languages' designers, have made the necessary work to make their languages compatible with LLVM IR. If the language is similar to C++, this is a simple task, if it is very different, it is very hard.

LLVM does not support other languages, in fact, codebase changes a lot making maintenance painful.
Hi. After reading the referenced article, a few cursory thoughts come to mind.
1. There is already some precedent, or at least methods of judging when communications should be forced over to law enforcement by telecommunications and similar companies. Although the context is foreign intelligence, one would think that national law enforcement would partner with the respective agencies to appropriate the assets (e.g. FISA, FAA, etc.). My thinking is missing the real context of the case and why the FBI needs the individual's assets.
2. If the emails originated or are accessed in the US, then it would be reasonable to assert that law enforcement can get warrants for search and seizure of a US system containing cached data, possibly issuing a gag and compliance orders for notification of such an event. Again, speaking without reviewing the "real" history of events from other resources beyond the initial article.
3. If the emails were not created or originated in the US, this appears to attempt to extend "the Act" to being able to step into another's soverign territory. The article didn't mention whether the FBI requested a warrant from the Irish Government.
The limit on growing a mega-region with bicycles is simply that bicycles' limited speed makes them impractical for travel of more than 10 miles for most people.

But Tokyo's 38M-citizen megaregion of train stations accessed by pedestrians and cyclists[0] is probably the best-scaled megaregion yet to exist.

[0]See this random suburban station in Tokyo full of parked bicycles:
https://www.google.com/maps/@35.7324121,139.4176845,3a,73.1y...
Samsung Stuns Apple by Partnering with Disney for AR Emoji
We have enough evidence of cooking the books in lots of different fields. Retraction Watch is a good site to see this.

The problem today is that there is no encouragement to investigate ideas that are different to the accepted models. Nor are this encouragement to do full scale duplications of reported results. Anomalies are only investigated if they don't appear to dispute the current consensus.

I had a recent discussion with a nuclear physicist that I admire about this and his response was to the effect that he would discourage such experiments. There was a lot more in the discussion which is not relevant here.

What we must be careful of is blindly assuming that our theories and models are correct. We have to realise that our interpretations of the results are many times based on deeply held beliefs that are not provable but are assumed to be true.
I’m not trying to argue against your premise about fitting in.

I would like to point out that autism is an actual specified condition. Being socially different or feeling inept about social situations does not put you on the autistic spectrum.

In some ways it’s incredibly insulting to imply that any discomfort in social settings is a sign of autism. Not least because is implies that autistic people can’t be capable, extroverted and able in social settings, which they absolutely can be.
It seems utterly nuts to me that someone could sleep at work as a reasonable alternative to drinking coffee. Most jobs and workplaces are just not at all set up to sleep during the working day.
Until 2007, Brian May was just another PhD dropout.

...if you forget him being the guitarist of Queen who also wrote about half of their songs.
What Happens When Millennials Grow Up? (2016)
SML overloading of builtins isn't specifically broken -- it just makes implicit assumptions about data types. That said, I'm with you about typeclasses and Ocaml's modular implicits.

If full-blown operator overloading is going to be allowed, modular implicits are definitely the way to go. If only builtin operators can be overloaded (probably a better solution in maintainable software), then a few specific typeclasses (like the current equality one) could be a more pragmatic solution.

In this particular case, I'd hedge my bets and use modular implicits, but limit them to a small list of builtin operators.
I think this is the first time I’ve ever gotten angry about a downvote.

tinyegg, I think it was an exemplary and inspirational action, and I hope your seed of courage bears fruit. Although it might be practical to add contact info to your profile :)
May I chime in? A gentle introduction to process algebras [^1] shows some examples of how you can represent programs as (possibly infinite) state machines. Essentially you define some operators to compose smaller programs (aka. processes) into larger ones, hence the name "process algebra". These definitions allow you to "see" your process as a generalization of a state machine known as a labeled transition system [^2]. And then you can exploit this representation to verify properties about the process. Lots of fun!

[^1]: https://pdfs.semanticscholar.org/12d9/eae1638729aeb237b5be44...

[^2]: These rules are called an operational semantics. There are other ways of giving semantics to a formal system: for instance, denotational semantics exploit recursive mathematical definitions. Each way has its pros and cons.
>> Another is the ability to easily retarget for AngularJS, Backbone, React Native, and so on by just swapping the compiler backend.

I couldn't find any reference to this in your documentation. Exactly how easy and/or do you have any samples projects I can check out? ReactNative would be my primary use and I assume alot of other potential users as well.
Depends on your operating system. If you are using Windows, Syncdocs is pretty reliable at backing up to Google Drive.

http://www.syncdocs.com/2011/09/backup-your-files-to-google-...
I'm familiar with the kind of amounts of storage (in terms of cabinets, # of arrays) for various reasons, and I assumed it was the iCloud storage because of how vast it is. On the other hand, with the high-end gear they're using, likely the cost/GB is insane and more than Google or AWS charges them. I can't imagine the big cloud providers are buying top-end arrays, but I could be wrong.
Direct Imaging and Spectroscopy of an Exoplanet with a Solar Gravity Lens
Are Humans the Greatest Things Created by the Human Hand? (2013)
In _parts_ of Europe.
Not strictly about separation, but a similar chain-of-links phenomenon: https://en.wikipedia.org/wiki/Wikipedia:Getting_to_Philosoph...
I drink two to three cups of coffee a day. Black. No sweetener. However, I have a major sweet tooth. Oversized Trader Joe's dark chocolate bars are my drug of choice. I can eat two or three pieces from a bar a day. I enjoy the chocolate largely as a dessert after dinner. I find that it doesn't interfere with my coding.

I have an uncle who destroyed his heart by abusing stimulants to get through med school, residency, etc. Ultimately, he needed a heart transplant. As a child, I learned from his mistakes and so my only stimulants in life are sugar and caffeine.

I am also a pizzaholic. I would eat an entire New Jersey thick crust pizza under the right circumstances, such as there being a pizza in front of me and no one there to stop me from eating it all. When I see pizza wasted at a meeting I cry inside.

I'm 37.
Stratolaunch Rumbles As Pentagon's Interest in Rapid Space Access Mounts
I can see the use of something like this. Redux shines most for large applications, but large applications are also where boilerplate is the most painful.
New understanding of ocean turbulence could improve climate models
>Also, it produces tons of false warnings when you try to enforce exhaustive switch-cases on enum values.

Dispatch tables are the way to go. Nested switch statements turn into a nightmare.

https://babbage.cs.qc.cuny.edu/courses/cs200/dispatch.html
We had a good conversation about this before down at https://news.ycombinator.com/item?id=16468276.

tl;dr: would you like the Electron app instead? It's available at https://documentation.pagedraw.io/electron/

It was tough for us, because we're big believers in the standards-based web. We 100% promise that all the code we generate works across all browsers.

Our editor was almost electron-only, but felt it was better to launch with Chrome + Electron than just Electron. Our editor isn't a normal webpage; it's doing all kinds of crazy nonstandard things webpages shouldn't do. It's only in the browser at all so we can re-use a web engine as our editor's rendering engine, since we occasionally show you snippets of compiled code.

I'm personally really sorry as an engineer that we don't support Firefox, Safari, and other browsers yet. It's on our roadmap :)
Will Polo be the first shitcoin buffet to offer fiat trading pairs?
Nice job. Reminds me of wikispeedia: http://www.cs.mcgill.ca/~rwest/wikispeedia/
They could provide a platform for crowd-sourcing the gathering of these metrics. Of course controlling for bias could be a huge problem - but then again, healthcare providers could simply correct biased metrics if they so chose.

The worst thing about hospitals is how they are incentivized to keep quiet about extremely important metrics such as sepsis/staph infection rates, effectiveness at treating certain conditions, etc.
New tools solve problems, but create some new (hopefully smaller) problems, which opens the possibilities for new solutions.
I’d say having virtually nobody dying of overdoses, going through withdrawals or detox, or being dependent makes it not a big issue, yes.
Honestly? Not really.

The hype around cryptocurrencies reminds me a lot of the hype around the Wii when it came out. People called its motion controls revolutionary, and collectively hailed Nintendo for ushering in a new era of motion controls. Consumers who saw exciting early examples of work like Wii sports bought the Wii in droves.

All of it, in retrospect, was mostly for naught. The technology for motion controls, (if it could ever be implemented satisfactorily) just wasn’t “there” yet. Even if motion controls were there, game designers faced the issue that they had no idea what exactly to do with this exciting new interface, and mostly they settled on just taking motion and “throwing it in”, giving everyone a lot of games that didn’t need motion, especially not the hare-brained “waggle” variety on offer. In the end, a lot of token efforts were made, and some successes and good games were made, but at large, today people mostly agree that motion controls, as made for the Wii, were mostly disastrous and had no real use case.

Crypto currencies seem to have a similar issue of a solution created without a problem it was meant to solve. They also seem to be getting just as “thrown in” to otherwise standard existing products and service workflows, have tech that isn’t “there”, and otherwise do not seem to be meeting their hype. I expect the discussion around them to follow a similar pattern.
> It also refers to time complexity: https://en.wikipedia.org/wiki/Time_complexity#Constant_time this predates the crypto jargon.

Looking at the very first sentence of your link: An algorithm is said to be constant time (also written as O(1) time) if the value of T(n) is bounded by a value that does not depend on the size of the input.

That is true in this case.

Also, from the article here: It shall be noted that the expression "constant-time" is traditional but slightly confusing: constant-time code does not always execute in a constant amount of time; rather, this means that any variation in execution time is uncorrelated with secret information.

You are drawing a distinction that doesn't exist.
Indeed. Whether you use OO or state machines depends on the architecture of your problem. There is unlikely to be a one-size fits all solution to every class of problem.

State machines are used extensively by HDL hardware design tools, and are easier to debug.
Netherlands: From drug tolerance to ‘narco state’
Thank you for your interest!

I have implemented everything from scratch using bare C++,
it was a lots of fun and very educational experience.

The challenges related to creation of a new programming language really depend on what kind of language you want to implement, i.e.: compiled vs interpreted, imperative vs purely functional, static vs dynamic typing, so on and so forth. All those choices bring its separate set of challenges.

In case of Huginn the most difficult part was to understand responsibilities of consecutive interpretation stages, i.e.: preprocessing, parsing, "compiling", execution. Other challenge was the design of internal data structures that represent/handle Huginn programs run time state.

I can go into more details if you are interested.

-A.
Right now our compiler has 4 different targets: JSX, CoffeeScript, Javascript (React.createElement), and Typescript. Support for React Native, Angular, and others is coming soon.
It's not some conspiracy. If you weren't taught that Pythagoras was a vegetarian, it probably has more to do with someone not wanting to inadvertently preach vegetarianism via some vague appeal to authority. And hey, it's irrelevant anyway, so why should it be taught? If you over-teach this stuff you're just as liable to create cults of personality.
Seems when I search a person, its mostly LinkedIn and twitter to the other match.
The measures you need to take to actually be secure are impossible for the powerful to take on their own volition because they do not understand how insecure everything really is. They'll take shortcuts.

Clinton wanted a Blackberry so she set up a email server in her garage. She didn't understand why the NSA didn't want to make her a Blackberry like they made for POTUS at great cost so she broke the rules and she got nailed. A shit ton of work goes into just keeping one person (mostly) cyber secure.
Erlang programming language to Barbra Streisand crashed the browser tab :)
Discovering your "flow" might help https://en.wikipedia.org/wiki/Flow_(psychology)
I remember someone posting some Perl 6 code and C code that did the same thing. The Perl 6 code was shorter, easier to understand, more correct (Unicode), and was reported to be faster for what they were doing.

There are things which are slower, but since it is a higher level language it may be easier to try multiple algorithms one of which may be significantly faster. It also has many useful features included, which can be optimized in ways that aren't recommended for user code. (writing the algorithm in NQP) There is also a code specilizer (spesh) and a JIT.

Basically for many things it can be fast enough. Also if you profile your code and find something that is egregiously slow you should report it. Many times such things get optimized quickly.
Wow, it's great this book is now available online for free!

It's definitely one of my all-time-favorite programming books - my own copy is well worn by use. It's not exactly cutting edge AI in 2018, but the general programming advice is timeless and the AI samples can be seen as a fun domain to play in.
Thanks. I'm not arguing that arctic sea ice is not changing, it obviously is changing during the seasons of a year and from year to year over the last decades -- I'm pointing out that the claim that "The Arctic will never be frozen again" is wrong.
Newton wrote far more on his religion than he did on physics and optics. But it turns out that the value of that writing was virtually insignificant next to what little he wrote on physics and optics.
Looking back at the context, I think you're right. It looks like Elon was just trying to explain to someone without much networking background that, like most link layers, they'd be using a link layer more simple than IPv6. He probably wasn't making a statement about lossy header compression that discards uncommonly used features.
If you go through the paper, it’s clear that the microgravity work is proven but the magnetic field work is still under development.

Also the pictures of the fibres are interesting, it’s hard to be sure but my mk1 eyeball estimate is that the magnetic process fibre looks slightly inferior in terms of even surface consistency. Which is a very subjective measurement but if they were of identical quality I would hope the paper author would do a better job of highlighting that fact.
Thinking Things Through: An Introduction to Philosophical Issues & Achievements
Looks nice but it's more a kanban board rather than a Trello clone. I don't doubt you're that skilled to build something like this "before lunch", but in my experience it is highly unlikely.

A few tips:

- Add a landing page or at least a demo of how it looks

- Remove those paddings and go full screen

- Remove transitions, they may look good but they're not usable in this case

- App feels heavy, not sure because of transitions, but feels slow.

Also if by simple you mean this:

- REST API and API documentation

- Invites sent via e-mail

- Full design

- Twitter integration

- Users and Abilities

- Multi-teams feature and ability to switch

Then I don't know what's simple anymore.
The link in your profile is broken, FYI.