skysight-inc/HackerNews huggingface dataset:
The situation isn't remotely similar to C++. After you prove an algorithm correct in C++, you can still generally not guarantee that it is used correctly by the program--the needed preconditions and postconditions are not expressible in its type system, and code that passes the C++ type checker can easily violate invariants elsewhere. In Rust, after you prove code in an unsafe module correct with respect to its type, you can use the module from any safe block and still preserve memory safety and data race freedom.

The important thing that is different about code proved in Rustbelt is that the guarantees can be made local. Once you prove a semantic type for a particular piece of unsafe code, you do not have to know anything about that unsafe code when you prove some other piece of unsafe code correct, as long as they are independent of each other (including unsafe code that is invoked parametrically). This means that the proof effort does not scale with the size of your overall code, or quadratically with the number of unsafe modules, but linearly with the number of unsafe modules. That's absolutely not true in C++; it works entirely because of Rust's precise accounting of ownership.

Finally: even in Rust that uses a lot (relatively speaking) of unsafe code, only a small percentage of the overall code is unsafe. Typical codebases have many hundreds of lines of safe code per line of unsafe code. This means the proof effort is quite reasonable. Automated proofs about C and C++ programs are not trivial and all known techniques do not scale to real code that is more than a few hundred lines, and proof assistant based techniques generally must either prove things about the entire program, or use restricted subsets and annotate them with information very much like what is in Rust's type system. The sel4 microkernel is one of the largest formally verified C programs, and it took 20 man-years of effort and hundreds of thousands of lines to prove, while the actual C code clocks in at under 10,000 lines. While the sel4 proof effort cared about more than memory safety, a significant amount of it was devoted to that. By contrast, I have personally written 10,000+ line Rust codebases with 4 lines of unsafe in them (and even those could be avoided if I were willing to sacrifice a bit of performance); I used only a few standard library functions, and third party crates like Rayon that have undergone a fair amount of verification effort themselves. Memory safety in Rust actually scales to realistic codebase sizes.

The existing result isn't everything; there is still a lot of work to do to make sure it's accurately capturing all of Rust's semantics. But most of the "hard parts" have been done--we are pretty confident that the encapsulation I'm describing actually works. That is far better than the situation in C++.
Yeah, to me Canon has the edge in lens library which really matters more than the body(unless you're shooting sports).

Lenses like the 35/1.4, 85/1.2, 135/2, TS-E family and others just can't be found else where(although some of the Zeiss stuff comes close).
You can't explain why. :(
Software should not be patented at all.

Math has not been patentable under any scheme until recently, where over a series of lawsuits the US courts have effectively made a subset of it (software) patentable.

And it all started thanks to seeing a computer operated manufacturing process as something patentable over the same process done without a computer...
related, https://phys.org/news/2013-04-emergence-complex-behaviors-ca...
Harry Harrison covered this idea in “A Transatlantic Tunnel, Hurrah!” [1], which only had to compete with coal powered flying boats and nuclear trains.

[1] https://en.wikipedia.org/wiki/Tunnel_Through_the_Deeps
more about causal path entropy, https://phys.org/news/2013-04-emergence-complex-behaviors-ca...
Similar in Polish, but for some reason, in Slavic languages from the Balkans it is "Ipsilon".
Takeoff is the hardest part requiring the most power, unfortunately.
Did they fix the coil whine on the Dell machines?
Maybe check out Dat[0] - especially useful if you need some kind of distributed data store. The main implementation is in Javascript.

[0] https://datproject.org/
Why Flutter Will Change Mobile Development for the Best
Maybe America should wait a bit to see how it goes before jumping on the bandwagon. There isn't much to gain by adopting these (potentially beneficial) standards sooner rather than later.
Inertia and well established tech. Pros with money invested into lenses. Short sensor to mount distances have numerous advantages on the other hand.
Net neutrality would be a good example.
That's not a feature of e-mail. That's a feature of gmail. The dots do matter for many other e-mail providers.
That seems overkill... to ask any js lib author who transforms a string to another string to use this API. The async version doesn't even use promises, so can't be `await`ed... why should anyone choose to do this?

Edit: Kay it returns promises, but still, overkill.
> No, it isn't, because it may call code that uses unsafe constructs. (That's why you don't have to put an unsafe block around your code every time you push a value into a vector.)

For the last time: if you have proven the module using the unsafe code correct, you do not have to treat code calling it as unsafe, and safe code calling it is guaranteed to be free of data races and memory safe.

> No, only the code that uses unsafe constructs needs to be treated as unsafe. You could easily make a tool that automatically inserted 'unsafe' tags around C++ code that used unsafe constructs such as pointer arithmetic. The fact that this tool is built into the Rust compiler is just a convenience.

That wouldn't solve anything at all. C++'s type system cannot and does not enforce safe usage of APIs like string_view; it doesn't matter whether the safe code is using "unsafe constructs." If you choose to mark all C++ or C libraries that rely on invariants that can't be proven safe by the type system as unsafe, you will quickly find that essentially your entire program is covered in an unsafe block. The difference in Rust is not that it has unsafe blocks, but that its type system can safely encapsulate interesting APIs whose proof of safety is nontrivial.
A possible defense of cargo cult science?
Tangentially related as well, I had 1 blueberry muffin for breakfast and 2 slices of bacon
While I don’t disagree, I wonder how much harm we should allow our own citizens to endure in terms of the abuse of their data while we wait for someone else’s experiment to conclude.
7 things I learnt from one of the best startups you’ll find
interesting article, but there’s a small mistake. i don’t think it’s accurate to say that sea otters spend a lot of time on land. i think it’s actually fairly rare for them to go on land.
I was hoping for a bit more in-depth material - allowing the experts to explore their topics a bit more and potentially talking about potential solutions? Where is the call to action for the viewer? What now?

It's good for non-technical folks to watch, but nothing really new since the 'Humans need not apply' 15 min documentary [0]

[0] https://www.youtube.com/watch?v=7Pq-S557XQU (2014)

Edit: added link to humans need not apply
>Your reasoning assumes, there can be no one interested in developing automated way to collect garbage

That's ridiculous, my reasoning assumes no such thing. I'm well aware that there are, and for at least decades have been, many people engaged in that exact activity. (Whether they "love" it or not.) And yet, we still need many many people who are willing to undergo the drudgery of manually collecting garbage. My reasoning does assume that we will continue to need those people, albeit in decreasing numbers, for decades to come.
To nitpick even more, gawk (GNU Awk) is a superset of POSIX Awk. I'm not very familiar with the differences, but I always use specifically gawk---I got too annoyed with some of the BSD userland that ships with macOS, and learned to prefer GNU versions.
> But shouldn't it be harder to kidnap targets in an industrialized country with a functioning local police force, effective control of its borders / airspace, and well-organized, well-funded counterintelligence agencies?

Which country has all of the above? I’d argue many (most?) western countries don’t.
One thing about Nikon is that they've always used a more advanced process technology in its same generation camera compared to Canon. If Canon used .5um, Nikon would use .35um, for example. This always helped with the ISO sensitivity & dynamic range of Nikon's sensors, which were always less noisy than Canon's. The Nikon D3 changed everything, for example, by allowing impossible shots at sensitivities previously unheard of.
You could at least charge substantially more for longer term patents, and use the money to fund looking into the validity of said patents properly.

If filing long term bogus patents becomes sufficiently expensive and likely to be ultimately rejected, they'll probably become less common.
> DSLR technology when mirrorless is obviously superior

There is no tech superior to another. Mirrorless requires extensive battery usage for previewing your pictures. A DSLR can take thousands of pictures continuously. That's why the Sony Mirrorless 35mm digital cameras have a some kind of weakness: their autonomy on a single charge is about 300-400 pictures. An equivalent Canon or Nikon DSLR can take easily 1500 pictures on a single charge.
So I bailed after the first X minutes. Why cant we just unplug the power and/or the network cable and move on from this FUD?
A Database of Fugitive Slave Ads Reveals Thousands of Untold Resistance Stories
I found Hetzner's domain robot to be easy to use and cheap:
https://www.hetzner.com/registrationrobot

The major downside is the limited range of TLD's it allows you to register: .de, .com, .net, .org, .info, .biz, .eu and .at (other domains are available through Hetzner's normal webshop)

With domain robot have full control over handles, name server entries, auth codes, etc. Annual fees are low (from EUR 3.28 to EUR 12.90) and don't increase year over year. The only additional cost are if you use their name servers (0.50 Euro/year).

Automation is only available through email interface.
My dad always shot Nikon (until recently when he picked up a smaller Fuji thing), but I personally have always preferred Canon for two reasons:

1: Variety of lenses. When I was into photography ~10 years ago, you could buy 4 different Canon 70-200mm lenses; an F4, F4 w/ image stabilisation, an F2.8, and an F2.8 w/image stabilisation. This meant that they had a great bit of glass within multiple different price ranges, and it made it much easier to get into their ecosystem.

2: The menu system on Canon cameras is really logical, for me. Nikon menus have always confused the hell out of me.
So make them pay for externalities, and you’ll see the necessary reduction.
X230 user here (non-IPS). The touchpad isnt just crap, it’s unusable. I’ve also had issues with non-intel wireless card.
There isn't much to gain for who? If regulations will help companies see that hoarding personal data is a liability they will do less of it, and US consumers will have less to lose in each new data breach by companies. That's a lot to gain for consumers!
The Failure of Monetary Stimulus
Whether you like the Catalonian politicians or not is irrelevant to my point. There are really only three questions that matter:

1) Are they violent?

2) Are they supported by the local population?

3) Are they willing to work with the national government?

The answer is clearly yes to all three. That means Spain needs to deal with them politically, by winning votes, not by calling them rebels and traitors and tossing them all in jail as if it were the 1600's.

Go look at the UK for an example of how to do it. Scottish nationalists had their own problematic attributes from the perspective of many English, but the resolution was peaceful, democratic and accepted by both sides.

Spain has utterly failed at this, and the rest of the EU has simply nodded their heads, let them get on with it and indeed is helping them by arresting the Catalonian leaders in preparation for extradition.

In an article on China grabbing political dissidents to bring them back to China for incarceration this is highly relevant to any claim that Europe has a moral high ground.
It is possible. The Sony 35mm Mirrorless bodies can adapt Nikon FD lenses with an adapter.
The Channel Tunnel cost ~£200m per mile. The Atlantic is ~4000 miles across. That implies the Atlantic crossing would cost £800bn, slightly more than a trillion dollars and roughly the cost of the Iraq war and occupation.
Hey, glad you liked it! I'm working on a new update that does exactly that! So, thanks for your suggestion.
It also helps to be in a state that values their junior colleges. In Virgina the community college systems have a standardized set of classes, and deals with mant state universities where virtually all the credits transfer over. I only had one class I had to take over again, and looking back the version taught at my junior college really was quite different.
Regulation comes up later in the film. Ross Anderson, professor at Cambridge University recently wrote, https://m.cacm.acm.org/magazines/2018/3/225467-making-securi...

"Once software becomes pervasive in devices that surround us, that are online, and that can kill us, the software industry will have to come of age. As security becomes ever more about safety rather than just privacy, we will have sharper policy debates about surveillance, competition, and consumer protection. The notion that software engineers are not responsible for things that go wrong will be put to rest for good, and we will have to work out how to develop and maintain code that will go on working dependably for decades in environments that change and evolve."
I just bought an A6000 mirrorless camera and love it! I’ve had it for a couple of weeks and so far it’s been great. Low light shooting is excellent and 1080p 60FPS video is nice. I don’t care for the integrated WiFi so don’t use it.
It's because SLRs are superior to mirrorless, since there are no advantages of a mirrorless camera over SLR tech.

SLRs don't have the latency that mirrorless cameras have, which is important for sports & journalism. If you're shooting still-life, then mirrorless is probably fine.

SLRs also have better phase-detect AF sensors available to them. Mirrorless phase-detect sensors are primitive, and eat up image sensor area, so they can't be as sensitive.

Also, mirrorless eats up batteries, since you now have to power the sensor and viewfinder full-time.

Really, companies need to stop making mirrorless cameras, since they're not useful. I don't know why anyone would buy them.
I'm a volunteer ambulance officer in Western Australia. We certainly don't carry thrombolytic agents. What we do have though is a protocol for getting stroke patients (with good predicted outcomes) into a helicopter or fixed-wing aircraft ASAP so they can get to a hospital with a thrombectomy (clot retrieval) service. If called promptly, then there shouldn't be many patients that we can't get to the right care within a suitable timeframe.
Hey, I think you don't understand what blockchain is. This is the reason why you mentioned distributed hash table. :( Can you explain how can I make trusted mmo lifecycle database if the system requires anyone can participate the node? I think you can't solve. If you can, explain it.

I think that you are feeling good when you scoff something new. It's not productive communication.
Thanks for the feedback, I'll take it onboard and try my best to implement it.
Really saddened by this news. I’ve spent $$$ and time there over the years and fondly remember the experience.
It is a day's hike from the roadhead, on an established trail, and at the point of the split, the water flows freely. The run-off from a single storm could be enough to close off one branch, and if left to its own devices, this fork would probably open and close repeatedly before settling on one direction.

Pics and more info: http://www.amusingplanet.com/2014/09/parting-of-waters-creek...
Maybe you're opposed to using government aid which is fine; but if you had to work to pay for community college you probably could've qualified for Pell Grants that would have paid for everything since community college is so cheap.
The sensor is just one thing. There are numerous categories of lenses where the Sony offering is either inexistent or completely overpriced vs what Canon or Nikon offers. Sony cannot win just everywhere, at least right now.
EU is the largest contributor of foreign aid by far.

EU is the only significant entity taking global warming seriously and acting on it.

EU takes in far more refugees than USA, China, Japan or Australia... combined.

So - that moral high ground.
If they don't do item 1, you could pull off the scam by just staying logged in to the same session forever.
Do you have anymore information on that, a link perhaps?
Leica also sells the Nocticron for a little over a grand, and that lens is a jaw-dropping MFT spin on the Noctilux.

I mostly do video, but I really love MFT for photos too.
Community college gave me transfer agreement to UC Davis. I went to UCLA instead, though I think I would have happier at Davis.

Anyway, at UCLA, all the most motivated students went to community college first (the ones in the department undergrad club, the one in honors research programs, the ones who eventually got phds)
>"I had about $13k loan debt at the end of 4 years, and I paid that off 2 years later even though it took me 9 months to land a job (because I didn't study CS and went for web development)"

That's not too bad at all. Can I ask how long ago was this?
Awesome List of P2P resources:

https://github.com/kgryte/awesome-peer-to-peer

Personal bias tilts to web tech. WebRTC will require you to centrally implement all your peer broker and logic. But take a look at something like Peer5 Video CDN to appreciate scalability:

https://www.peer5.com/
Yes it's like one of those double row press fit connectors usually used for displays in phones that fit better than they look like they will. If you are soldering in your first question is why am I using eMMC. SBC computers are a good use case for it imo.
This doesn't sound right. Would like to see the numbers.
The problem with that might be the licensing costs once you use it commercially (eg. at work). IIRC the license prices aren't public, but you're looking at over $10k in any case.

I personally prefer J to K in the APL family of languages. They also have a relatively cheap database, Jd [1]. Individual licenses are $600. Still a bit too much for my data mangling needs. :)

[1] http://code.jsoftware.com/wiki/Jd/Index
Yes, I picked up one on the refurb store, I've been very pleased so far.
GDPR seemed unnecessarily overburdensome and limiting last time I looked into it. I don't think we should have anything like it.

I don't really buy this concept that you have a reasonable expectation of privacy on other people's websites and the site owners don't own data collected on their services unless the EULA specifically says something to the contrary.

As a practical matter, if we make it even harder to target advertisements then we'll end up with even more of these "you've run out of articles" type sites. I don't want to have to pay the ISP and then also pay every individual website. Collect all the data on me you want to make it so.
Actually, both the M8 and the M9 use a Kodak sensor. They are even using the same sensor design, the M9 just having proportionally more pixels according the larger sensor area. But the individual pixel design is the same in both sensors (it is also the same sensor design used in the first FT-camera, the Olympus E-1, there of course only featuring 4.9 megapixels, due to the smaller sensor size).

There were considerable difficulties getting a 35mm sensor working in a Leica M camera, due to the light reaching the corners of the sensor at very oblique angles. The M9 used strong offset microlenses on the sensor to fight with that, the more recent CMOS sensors are very "shallow" and thus less sensitive to the light angles. Also, the design of the infrared filter created a lot of problems. The M8 had a to weak one - which resulted in Leica giving free infrared filters for each M8 owner. The M9 one worked, but turned out to be insufficient stable, so many M9s got a free sensor exchange (fortunately free even out of warranty).

With the M(240) and especially the M10 Leica finally seem to have fully succeed in making a true digital M. The M10 is especial, as the body size is finally identical to the film based M cameras, the M8-M(240) were about 3-4 mm thicker.
I note that 2061 and 3001 are still available if we want to see what a remake of the full series could be like.
I tried their calculator with 18 tons (36,000 pounds). It said ~1050 trees @ $0.10 per tree, so $105 total per year. vs $45 or whatever on Terrapass.

Let’s shoot for an order of magnitude difference. How might we sell it for $4.50 a year?
The book of Frenkel (the guy of the photo), Love and Math, is one way to go from zeto to not being 100% clueless about the Langlands program, and enjoy the time at the same time. Very likable.
It would never make its money back, and neither would the War (as a matter of course).
Physics-alum-turned-artist builds kinetic sculptures powered by wood and springs
Isn't that kind of like saying core curriculum isn't important?
A somewhat accessible account of the Langlands Program can be found in Edward Frenkel's book Love & Math.
WebTorrent.
If they do business in Europe at all, they're going to need to comply anyway. GDPR compliance is our biggest development push at the company I work for. We face heavy penalties as a provider of our software in the EU as a saas provider.
Everyone in this thread has a beard like Richard Stallman
It is, but lens mounts are largely proprietary and SLR lenses are big. Some wide angle lenses are also heavily corrected in order to accomodate a swinging mirror. Even if you can fit them with an adapter that retains most features, you wouldn't want to lug around a heavier lens, when you could just sell it and buy the native equivalent, which in some cases even performs better due to physics. There is no point in using a SLR mount for mirrorless as it's oversized and will negate the cost and size advantages of shorter flange to sensor mirrorless designs.