skysight-inc/HackerNews huggingface dataset:
Good point, perhaps it's because dance can be seen as a form of expression.

To a greater extent, if someone refused to talk but had the ability to you would probably think something weird of them. But probably wouldn't question that from a social pressure perspective.
They [0] ?

[0] https://en.wikipedia.org/wiki/The_World%27s_Billionaires
The name has to be a reference to Snow Crash.
Why is the last digit of n⁵ equal to the last digit of n? [video]
There is a startup from ETH Zurich [1] which develops technology to make relay attacks impossible. In short, they are developing a method to make the key proove its within a certain distance of the car. Some of the tech behind it: https://arxiv.org/abs/1404.4435

[1] http://www.3db-technologies.com/de/Anwendungen.3.html
How does it relate?
FB definitely adds much more value to my life than HN or reddit.
The economic case for the moon is harvesting He3, once you have figured out fusion of course.
How do you convert back to hard currency at that scale (hundreds of thousands of dollars)?
According to Wikipedia:

"the [Church-Turing] thesis has several possible meanings:

1) The universe is equivalent to a Turing machine; thus, computing non-recursive functions is physically impossible. This has been termed the Strong Church–Turing thesis, or Church–Turing–Deutsch principle, and is a foundation of digital physics."
I thought the same as my vision isn't exactly great, but you can tell the difference and I wouldn't go back. At least between my old ThinkPad T440 (1440x900) and my 15" rMBP that is.
ngrok is aimed at making applications that are under development available for testing by someone outside of your network, for testing webhooks, etc. It's not for production stuff.
Too extreme. If I understand correctly how it works any metalic enclosure will work. Tinfoil!
Just yesterday a friend was showing me the video where his white Mercedes was stolen in London in the exact same way! I guess someone made good sales on those relay boxes...
Yes, they explain it, but in a very hand-wavey way.
Because it is designed to be a currency. If it fails to be a currency, it's essentially a scam.

Maybe a middle line would be digital currency, like buying stocks, gold, books online. It's a good sign that I can make international purchases now though.
Shouldn't there be some kind of simple disable switch?

You might still want keyless entry during the day for routine shopping trips and such but for parking the car overnight you can live without it; and probably sleep a lot better too.
Also curious as you don't give much of an explanation?
7 typing and Hindley-Milner inference
Faith in BTC restored.
> If you're important to them, then people will do whatever they need to keep in touch with you.

Yes, but isn't it a bit ironic to say you don't use Facebook because it wastes your time, and then expect others to spend extra time communicating with you?
Yeah, the excuse for taking away freedoms usually is "security".

Walled gardens are one of the problems. They should be rendered useless.

It's a company that caused many people to suffer through Internet Explorer for 20 years. I don't think that security[1] or making the platform look bad[1] is the primary motivation with blocking competing browsers. MS saw that other companies got away with it using different tactics, so they just changed their approach.

[1] http://www.debugcomputer.net/uploads/images/ie%201.jpg
The appropriate headline here would be "Time Inc. Sells Itself to Meredith Corp., Backed by Koch Brothers". That is the actual headline of this article, and as far as I can tell, there is no inaccuracy in it nor any good reason to have changed it for Hacker News.
As someone who was worked with this page and develops a rust kernel, I have to disagree.

The two places of unsafe are barely just the minimum.

When interacting with UEFI you have to include a bunch more unsafe clauses since you'll be FFI'ing to PE-calling convention C code to wrap the UEFI methods. You'll have to allocate memory without being able to malloc which means passing a raw memory block, allocate in C, to rust and tell the frame allocator to use that.

Setting up a syscall is unsafe, you have to use a naked function with internal unsafeness and the entire construct is unsafe because a syscall can easily crash the system if it doesn't return properly.

You will have to dereference null pointers because on kernel level a null pointer is a valid address (my UEFI places a memory region at 0x00 for about 30 pages which is a great starting region) unless you waste a buffer region. But Rust and LLVM don't allow that safely at all.

The very nature of a kernel is unsafe. It has to do very unsafe things in an unsafe way to enable software running in Ring 3 to make safe assumptions about it's environment as long as it gets scheduled.

Of course, Rust is somewhat better than C since it's type system allows one to express things without the entire construct blowing up every 2 minutes unless you're developing a kernel for years.
I hope they don't embrace, extend, extinguish.
Is 65 old enough? ;-)

Of course if I take off my glasses, then every monitor looks the same. But with proper correction, my vision is better than 20/20.

With my prescription computer glasses, the difference between low DPI and high DPI is like night and day. I can see every pixel on a low DPI monitor, while high DPI monitors look beautiful to me.

Please, everyone: do yourself a huge favor and get your vision checked and get some single vision prescription glasses if they are called for. It's hard to overstate the difference this will make in your quality of life.

Edit: Not sure why you were downvoted for a reasonable comment. It's true that your vision will get worse as you get older. Even if nothing else goes wrong, you lose your ability to focus your eyes dynamically. The lenses harden up and lock into a specific focal distance.

However, many of these vision changes are correctable. Progressive lenses are a great solution for "out and about" use. You can look up and down to see far and near things. They aren't very good for computer use, and that's where the single vision lenses come in.

It is a minor nuisance to switch back and forth between the computer glasses and the progressives, but being able to see clearly makes it all worth it.
Question: who buys these stolen cars, and would having a tracker on one solve the problem?

From experience I know that when it comes to computers, at least in San Francisco, even if you know the exact address where 20+ stolen computers are at, the police will not engage. Are most police similarly hesitant to track down stolen cars, or is that just a weird SFPD quirk about ignoring theft?
Its not the newspaper's fault people make poor decisions. If you write an algo trading bot its actions are on you.
' ...why not just use a real key? '

Because they break into the house to get the key. It's happened to a few people I know - one time they used a wire hook through a partly opened window.
If it is a ball it probably is a ground plate on the bottom and top with sense connector plates on the edge of the box where the ball is in. The ball moves around and if it gets a connection (ground to sense) a counter gets increased and a time gets reset and since you are moving the thing usually moves around and make some connection when braking/accelerating/steering. You need bumpy roads though on longer trips on the highway.
Dirt cheap, but unreliable. Straingauges (in my experience) generally need to be tuned for every gauge which makes them somewhat more expensive.
For those confused, like i was: https://en.wikipedia.org/wiki/SCP_Foundation
You get that impression because the article focuses on the problems at the bleeding edge of progress that have seen a lot of improvement right at this time. There are lots of problems that had been solved before and there are lot of problems that AI still can't solve.
x86 is unsafe. Period. A lot of devices are unsafe. Period.

You can write some device drivers in userspace. But you can't handle page faults in userspace. Those need to be handled by the kernel and will be 100% unsafe because any mistake will lead to a certain and quick double or triple fault.

Kernel Level Programming is very very different to normal user-level programming. There is no malloc. There is no segmentation. Nothing prevents you from dereferencing a null pointer. In fact, in kernel-land a null pointer is valid memory. You don't have any of the forgiving properties of Ring3 assembly code in kernel-land.
If it wasn't for pollution, it would be an exciting time to live in. Expect a new influx of Science Fiction books. The genre was born in XIX, the age of crazy progress. I think our time is a similar breakthrough, thanks to personal computers and the Internet.
It looks like it because Facebook-related stories always attract the same comments (pro-privacy, anti-time wasting, etc), but I don't think that's particularly representative of the community as a whole. There's very little benefit in posting to say Facebook is awesome if you enjoy using it, so we don't see that side of the argument here. That doesn't mean it doesn't exist.
End up inside a worm
Show HN: A puzzle with varying rules
But I like junk food.
Society doesn't need such callous people as you.
One of those may have been involved somehow, but there was definitely a rattling ball in there you could hear if you shook it. I'm having trouble finding images of how it worked, but many car forums discuss the "small gold bearing in a cylinder" that's used in the fob.

Unfortunately, Google wants to show me links to buy stuff. It's getting impossible to find "standalone" web pages these days.
That can't be true, because the request/reply still has to travel all the way to the key and back.
in Europe they are often sold in parts like spare parts, it is then much easier than selling the complete car
I don't want to repeat the same comment too many times in this thread, so I'll just mention it one more time here. If you can't see the difference between a low DPI and high DPI display, it's time for a vision check and a good pair of prescription single vision computer glasses.

This is like a reading prescription, but adjusted for a farther distance. Reading glasses are typically adjusted for a 16" focal distance. That's much closer than you would use a computer. If you use a laptop on its own without an external monitor, that's usually about 20".

I took my ThinkPad to my optometrist the first time I did this, so we could be sure of the correct distance. When I saw how crisp and clear my screen was with the prescription, compared to the blurry mess I'd been suffering with... if I may indulge in a pun, it brought tears to my eyes.
> I don't have much justification, but I believe it's false. There is a lot more to the universe than computers. Computers cannot simulate even elementary physical systems accurately.

Correct me if I'm wrong, but wouldn't a system that computes a non-recursive function be some sort of box where, given the same inputs, you invariably obtain the same outputs; however there is no way of finding any mathematical or algorithmic expression that could, in any finite amount of time, predict the same result? To find yourself in that situation, you need a physical process that is intrinsically non-computable; being unable to compute the sum of computable processes is not enough.
Even if I had gotten in at Sept it would've been quite the return by the time it hits 10K by the end of 2017 or earlier.
Much like the "world" winners of things like the Superbowl and WWE Wrestling - Time I think is very much seen as an American brand and not much notice is take of things like "Man of the Year" outside of it.

It's a shame it's being bought by this lot though - of course they can make their man of the year whoever the like now, including Trump and other controversial people.
The Power of tmux Hooks
Because they interview them but they aren't a "cultural fit".

Nothing is more important than protecting "the culture".
https://medium.com/@bchesky/dont-fuck-up-the-culture-597cde9...

The article above says that "Culture is simply a shared way of doing something with passion.", but in fact means "same as us: young white/indian/asian boys".

"Culture" is a get out of jail free card that allows anyone to deny a job to anyone at all whilst sounding entirely credible and important.

If you really want diversity then you would require reasons for rejecting any candidate, but you're not allowed to say "they weren't a cultural fit".
This further emphasises the need to eat locally.
>I code on a pair of Samsung 4K 55" Curved TVs

I would love to see a photo of this setup. It sounds simultaneously awesome and ridicules!
this is standard requirement in case your key fob just breaks down while you are on the highway for example
What's your definition of consenting adult? A person with a gambling problem is about as able to give informed consent as a mentally retarded person.
I've heard this been mentioned before, but I entirely disagree. The more likely culprit is the 35 years of post-war Franco rule, it crippled Spain under a period when most global brands were being established. It's also no coincidence Zara was founded in 1975, now the world's largest apparel retailer.
Oh, I think I misread my parent's comment. On my fob, it was purely to unlock the doors when you approached the car. It didn't involve itself with the ignition or running of the car. That was still an old-school key (but with the tiny improvement of a known resistor ohm-age in the key itself†)

† http://ricksfreeautorepairadvice.com/gm-anti-theft-systems-o...
At least for motorcycles I know you also make more money selling in parts. Of course this ignores the work spent disassembling...
Tiny ball of mercury that moved inside a glass bubble. The glass has tiny contacts on the inside and the mercury would short circuit at least two at a time. It would detect sudden moves.
This is one type of tech that worked like that but maybe not exactlly like yours.
Whenever I look at Kubernetes, I can't help myself but think that it's overcomplicated, with too many moving parts. Almost as if to incentivise using the hosted solutions instead of rolling it on your own on some VPSs. I can deploy a HA Swarm Mode cluster anywhere in minutes, while I'm not sure even where to start with Kubernetes. Do I use juju (recommended Ubuntu way), or do I use kubeadm? Which network add-on do I use? How do I upgrade (the procedure seems to be different with each version)?
Interestingly, for many people here, the solution to the problem is even more technology.

Is there a study demonstrating that more advanced keys actually reduce stealing ?
But not all jamon is the same , apparently.

Not, alas, to my typical Northern English palette though.
https://www.google.ca/maps/place/Tzar+Bomb+Crater/@73.718067...

This one is the biggest bomb ever detonated. I can't find any ground pictures of the site though. Anyone find one that's not airborne?
Union Types vs. Intersection Types
Check out ZeroTier [1]. You can place all your devices on a virtual LAN. Not affiliated.

[1] https://zerotier.com/
As long as people like it as jewelry and are prepared to dig it up the price of gold will approximate the cost of digging it up as it has done for 2000+ years. Bitcoin doesn't have that.
Probably similar to your description, but it was a solid ball that rattled. The enclosure was metal as well I think, though maybe some sort of laminated shell with alternating contacts?

I'm really trying to find a diagram of it, but my searches aren't yielding much.
Which front end technology would you select today?
If you had to decide which frontend technology to select for a big e-biz web application, which would you select? Keywords are responsive design, mobile first, latest browsers are allowed. CDN features may be leveraged.

Looking forward to a discussion regarding server-side rendering vs. client-side rendering vs. performance and so on.

Thanks for your input.
It is possible. The article tells you why few people visit: It's a long trek.
Better late then never:Time to replace micro-service architecture with Kafka
> Rc<T>

Rc requires memory allocation. When you boot a kernel you don't have that. Until you set it up, you can't use anything that requires a heap, only stack values.

The best solution I found is to use C code to allocate raw memory and then go through the elaborate process of setting up kernel address space, after which you setup a frame allocator, after which you can setup interrupts and finally use pagefaults to normally use kernel heap.

But wait there is more! During a pagefault interrupt you can't use the kernel heap in a writeful manner that is not inplace. Since a page fault during a page fault is a double fault and thusly your only option is to crash the kernel. You can only read from the kernel heap, modify in place in the heap and write to pagetables.

Same goes for some other interrupts. Which btw, violate a lot of ways Rust code likes to work. An interrupt is like a coroutine but you don't have a nice runtime that abstracts it for you, instead the IRQ just smashes into the active execution and let's hope you haven't held any locks to important kernel stuff at that moment because you will have to crack that lock open.
Then you can track it all the way to the shipping container
New Opportunities in AR with Apple's ARKit
That only goes if you're willing to fight the firmware all the time. Bonus, crap colours if it's a cheap TV. Doesn't matter for programming, but if you occasionally do anything else besides shuffling text around...
Re – Find your next favorite thing using Machine Learning
Yes, for me 1920x1080 on say a 20-inch is the absolute minimum with these LED monitors that are all the rage now. Even the old CRTs looked better with a lower pixel density; I wonder why
Sure, they do their best to give an explanation after discovering it works, but nobody ever publishes the hundred other models they tried that don't work out.
Interesting to see how Ethereum pops up whenever technical aspects are revealed and how Bitcoin pops up whenever the price crosses some boundary.
Yes, not quite sure who's ire I raised, but I'm in the older quadrant myself and I do need my computer glasses to work.
Bitcoin World’s 30th Largest Currency, Market Cap Closes on Mastercard
I know Erlang says that and I have always been a bit mystified by it.

Definition of soft real time: "the usefulness of a result degrades after its deadline, thereby degrading the system's quality of service".

Well, duh. That's pretty useless. Any system in production is soft real-time by that definition.

There's really nothing special about Erlang that makes it amenable to "pretty quick" responses. It is not as if admission and rate control are baked into BEAM. If you don't pay attention to your messaging architecture, head-of-line blocking will kill you.

I know that they claim that their sharded-GC design helps with shorter pauses, but there's no real evidence to back the imputation that other GC designs have really held back the industry; consider the large number of sites that have been implemented in Java/Python/Ruby. I have put Java/Scala/Go/Erlang systems in production, and rarely have I have ever had to worry about GC tuning.
Looks heavily influenced by Unity. Kinda random that Amazon is building a web based Unity competitor. Doubly weird when you consider that this is their second game engine project. They are already building one called Amazon Lumberyard, forked from the serious AAA game engine CryEngine [1], and it appears at first glance to be entirely separate from this one.

Is Amazon really getting value out of all the dev time they are putting into building game engines? I'm not aware of any games built in Lumberyard at all, though I haven't been paying much attention.

[1] https://aws.amazon.com/lumberyard/
Well...at least it's not OpenStack!

Out of the couple of stacks I tried, kops was the easiest to set up. Juju and kubeadm were so-so.
Both of these seem way more complicated than using the buttons to open doors (i.e. disabling the easy unlock feature) - but I probably just missed the sarcasm again ;)
It would certainly become interesting if Firefox was largely just a WASM interpreter with OS extension in which a Browser Engine runs, written in Rust, compiled to WASM. Though I imagine to get proper sandboxing I'd probably implement a Ring System similar to x86 Rings for privilege seperation.
I can no longer edit my original comment, so I'll take the opportunity to pull back a little bit and say I don't wanna make it seem like I think TS's type system is useless, but rather it's nothing special.

That said, I guess it's much better than nothing at all (JS).
This is common in many states when local governments go bankrupt.
So what is the reason that white/indian/asian boys are preferred? Genuinely curious.

I have mostly experience in London and there the landscape is extremely diverse. Why would any company not hire any ethnicity if they are good at what they do?
Needs to be viewed also in context to the market.
https://en.wikipedia.org/wiki/The_Bell_Curve
Things that bugs me: cast to (long) when they should use intptr_t.

EDIT: And gettoken() should check against buffer: index < sizeof token.

EDIT 2: And I'd store the tag in a separate variable, because bit abuse in a pointer is plain and simply asking for problems.
An interpreter written in assembly is still an interpreter. Yes, it may have control over stack frames. But so does a compiler, and the code generated by a compiler doesn't incur interpretation overhead. If you want performance, compliation is the way to go. And that's what fast Lisps do.
And webrender as rendering layer for desktop apps to replace electron
What do you mean by "cash out"? Everything that you own can go to zero: cryptocurrency (obviously), fiat money (hyperinflation, see Zimbabmwe now), real estate (see what happened in eastern Europe when the Russians came).

I agree that each asset class comes with risk, and that euro and dollar is currently less risky than crypto. But remember that each has its own risk. Fiat money goes down at about 2% each year, if you're in a proper economy. Did you see the quantitative easing that was done on the dollar? Scary.

Do you think people in Zimbabwe are "cashing out" to their local currency? https://www.bloomberg.com/news/articles/2017-11-15/bitcoin-s...

Some people are even "cashing out" to expensive real estate I read, not dollars.

Don't make the mistake to think euro's or dollars are the unit of value, they are not. Their price goes up and down just like everything else. History was not kind to fiat money (see French revolution for example).

Bitcoin is in a position to compete with central banks and commercial banks with fraction reserves. The chance of crypto really getting that far might be low, but it is still there, don't forget about that.

Nobody can be certain of the "bitcoin bubble", and nobody can be certain of the "worldwide bitcoin takeover of fiat money". Maybe it will end somewhere in between. It's all chances. You have to play on the risk factors of each, not on "I believe ...".

You don't cash out, you properly organize your assets.
It is. But I think humans are generally incapable of comprehending exponential growth.
I'm not sure if materials on edx are still available but Quantum Mechanics and Quantum Computing [1] course there was mindblowing. I was surprised how the ideas and maths were simple enough.

[1]: https://www.edx.org/course/quantum-mechanics-quantum-computa...
If you build such a list by consing new elements to the front, then it's insertion sort. If you build the list from a balanced binary tree it's merge sort.

---

One important difference between this and quotient-inductive types is that there are examples of "types with equations" which cannot be expressed as a rewriting system, e.g., free groups.

It's a still a cool feature to have this built into the language.
The US is crazy about race as always. Just hire the most qualified person for the job.