skysight-inc/HackerNews huggingface dataset:
That's interesting. Is the code/result public in any way?
In the lightsaber building community rolled cellophane sheets are used to diffuse the light emitted form the LED evenly the refractive index changes between all the layers creates an even distribution of light this isn’t that different than how the diffusers in early LCDs work modern ones still use the same principle but they use a single patterned sheet or a very thin fused multilayer sheet.

You’ll have to play around to find exactly what fits your specific use case since there isn’t a single material that would work for every scenario.

For your use case I would hunt for old LCD monitors or TVs because they use a backlight, modern LCDs use edge illumination and the diffuser is a fresnel lease like sheet which might not work for a backlight.

So if you find an LCD TV which is 3-5 years old or older you’ll likely have a diffuser huge sheet to use for your lighting setup.
Fun fact: An Interscope executive's teenage daughter was/is responsible for Tupac being signed to the label. She really liked his demo and begged her father to sign him.
> everything from desktop apps to web infrastructure to mobile games

AKA mobile and Windows.

.Net is cross platform on mobile. Outside of it, if your project ever need to run in anything that isn't Windows, or communicate with anything that isn't Microsoft, then you can't use .Net. That makes it fit for enterprise CRUDs and not much else.
Yes. I think this is the first time I've seen a consumer level device with a licensing agreement that calls out market sector. I have seen those that call out geographic location.
>> At this point there's huge value in giving better access to the platform itself to start applying machine learning techniques directly on the camera.

What does machine learning have to do with photography? If there's an explanation for that, then I'd add why does it need to happen on the camera?
Download what you shoot instantly. Also, complete remote control when you need it.
I'm relieved that there is an actual term to describe this effect. It means that at least now a lot of people are aware of it.
> it's the catchy name

Coq's been around since 1989. Maybe those 28 years have something to do with it.
Because technology.
The problem exists in computer science too. For example, a researcher might publish an article about a novel algorithm, claiming to improve Java VM performance by X%. Except there is only pseudo code given, so replicating the result is nigh impossible. But if you succeed in implementing the algorithm, more often than not you discover that it only improves performance in the researchers specific setup and is net negative for normal workloads.
Isn't auto-focus a little more important?
The picture of a guy drawing a circle on the big DESKTOP monitor gave me a good laugh. Sorry, I cannot take the rest seriously I feel you think that is a good idea.
Am I the only person who thinks Google specifically and the mobile app market in general combined with previously subsidized by carriers phones have completely destroyed the consumers perception of the value of software? It’s getting near impossible to find quality apps (even on iOS, but less so) available for a premium price, I have to constantly settle for IAPs to disable ads, or just free apps that are littered with ads, tracking, and god knows what else when if much rather just pay like $49 for a properly made application with a permanent license.
Some people work on monads over linear logic that supposedly could simulate any imperative program and make them available for formal verification, so we will see. OTOH I definitely wouldn't want to spend time proving correctness of every single line of code I write; it would make programming "no fun" zone and require rocket-science level of understanding.
The most compelling reason I have for choosing CLR and C# over virtually anything else (and ESPECIALLY Clojure and Scala) is availability (and consequently cost) of skilled resources. Availability both today, and 5 or 10 years from today, depending on the project or program.

In my world (Fortune 500) boutique tech carries inherent risk.
Do you have any example proof scripts of some basic algorithms where the proofs can be almost fully automated in Isabelle?
I work at JPL and have begun using the ION implementation of DTN as part of a distributed computing research project. The development of this stack is very active, and momentum is pretty solid internally. It wouldn't surprise me to see more use of DTN in the near future. The lead devs are active and responsive despite being promoted away from front line work most of the time. Also, this is TRL 8/9, so ION / DTN is pretty stable.
How Amazon Delivers Packages in Less Than an Hour
If you have everything in one warehouse you can't do fast delivery that customers demand now. A lot of the big retailers have started leveraging their store networks to do same-day pickup and delivery.
I wish we had this issue in the US. I guess this means I wish we had readily available farmed deer meat in the US.
Sounds like a situation where there exists a fundamental absence of trust in the abilities of the team. That's... Probably not a good thing.
> BTC will make a massive rebound in 2018

...

> I'm sure a lot of BTC bulls have full knowledge of this possibility
You can interop with other
.NET code. That's very attractive sometimes.
Most programming jobs on the world are for writing enterprise CRUD, that is not a public activity and not technically challenging (it is challenging, but in other ways) enough to be of interest here.
There is a negative incentive as well. Most return policies are thirty days, so if you shop months early you have no recourse should a gift be found to be defective at Christmas.
https://ldpreload.com/blog/signalfd-is-useless

SignalFD leaves a little to be desired.
Importing the self-signed certificate itself into the root certificate store is actually an okay solution for this, assuming it's done properly (no CA bit set).

(obviously, that's not what they did)
I'm sure Bitfinex would happily give him some "USD"* for it, just as soon as they fire the printing press up again.

* Internet monopoly money
I don't think this is a popular opinion at all, so thank you for expressing it. The shouting down of unpopular ideas drives me crazy - all progress is based on unpopular ideas. I think if you do a risk analysis weighing the cost of not having nukes in the face of an alien invasion, vs the threat they pose to ourselves - I think the smart money is in getting rid of them.

Remember also that nukes may not be that effective against an interstellar civilizations and the technology that implies. Almost certainly useless against the point defenses a ship that travels at a fractional percentage of lightspeed would need for targeting and deflecting/destroying small space debris. On the Earth itself it should be suicidaly useful, but if the aliens feel we're a threat to them on the ground they can simply sterilize the planet from space.

Bottom line, if we're visited by a hostile alien race, it's likely to be game over - even with home field advantage.
Because everyone who trots out the "you're the product" cliché wants to be the customer, and this is what that looks like.
Why would you want to do that? What do you find missing in 2017's Java and JVM comparing to other solutions?
My Database/Company (https://www.drugbank.ca) contains a list of CC0 names they could use that are international, and it's updated daily.
> I definitely wouldn't want to spend time proving correctness of every single line of code I write; it would make programming "no fun" zone and require rocket-science level of understanding.

Fortunately, you don't have to. Formal verification can be done as little or as much as you want (and personally, I find it's quite fun, but that's subjective).

You can look at it like it's testing on steroids - you can not only verify that some part of your code works for certain inputs, but you can verify that it works for all inputs! (for the definition of "work" that you decide to give it).
Google Announced Change in AdWords’ Budget – What You Need to Know
Yes, I am in the same boat. I started my PC career in DOS with Turbo Pascal then C++, then in Delphi/Oracle after college. I started C# full force around 2005 or so and have been using it ever since.

Delphi was way ahead of it's time.

PS: Commodore 64 was my first love.
Do you have an area of applications in mind that spends a big slice of its computation time on integer -> ascii conversions?

I don't know if the situation has changed now, but a lot of the "big data" systems I worked with several years ago liked to use text formats (JSON, CSV, TSV, XML) for their input/output --- and I always thought it was a pretty stupid idea, since the data volumes were in the gigabytes and terabytes range.
I think the problem is complexity. A compositing window manager should not be terribly complex and it should be reasonably possible to get all the bugs out over time. One problem is feature creep. Features that were not part of wayland due to security concerns are being implemented anyway - warp pointer, color picker, etc.
The base is a ponzi scheme. Promise to pay people over 65 a guaranteed sum per month and hope that the taxes on working people can fund it.

You're right that it doesn't have to be a ponzi scheme. The government could increase the age of retirement and/or lower the pensions. However that's not possible in practice, it doesn't get you elected and it'd provoke massive strikes for months.

The government would rather accumulate debt for 20 years than cut any pension. Then the next generation has to deal with unfunded pensions and trillions of debt. It's actually possible to go beyond recoverable and collapse because of the non elasticity, this has happened before historically.
>Even more important, if you don't have several graduate students working for you during tenure (supplementing your research & teaching efforts), it's going to be hard to tenure there either.

I think you ignored his point altogether. I was at a top university. While it was common for an engineering professor to have between 5-10 students and 2 post docs, the folks in the social sciences like anthropology have much less (2-5 students is what I would guess). Someone has to pay them and those disciplines have little grant money.

Just checked my school's anthropology department: 25 faculty members and 75 graduate students - so roughly 3 per faculty member. Their Electrical engineering department? Almost 6 per faculty.
I think this is a video camera that’s supposed to compete with something like RED.
And throw overcapacity at the problem. If a bad day gives you 5% renewables with the current capacity then you "only" need 20x more capacity. Combining with other solutions this overcapacity factor goes down significantly.

And once you have intermittent excess energy that is essentially free some opportunities to use it might spring up, e.g. run various electrochemical processes for free and store the products or smelt aluminium or something like that.
They are using a devboard from Avnet (Microzed) - I assume If they were designing the board themselves they wouldn't bother.
The UK police are dealing with a scandal where they supress evidence physical child rapists are guilty if they happen to be muslim.
Your argument is a contradiction to itself. Ukraine was invaided after it gave up its stockpile of nuclear weapons.

https://en.m..org/wiki/Nuclear_weapons_and_Ukraine
A while ago a bunch of makers of documentaries and journalists asked camera manufacturers to support encryption, but most of the companies, if not all, ignored them. Does this project support encryption?

https://freedom.press/news/over-150-filmmakers-and-photojour...
Thorium though doesn't need isotopic enrichment though.
they can develop a fully-fledged nuclear program with ICBMs and hydrogen bombs but they can't scour public resources about launch detection systems
You can technically do everything with an all open-source stack. But you will have to create most of your workflow and integrate your tools by yourself. The all integrated official environment is closed-source only.

On Linux you'll be a second-class target for libraries. The language itself is well supported, but only it.

About future Microsoft behavior, your guess is as good as mine.
I think it's meant to compete with cameras like those manufactured by Red, which cost $50,000 for the base model, and a few accessories will put you into six figure territory pretty quickly.
Success bias. Exactly what I thought :)
See Zuckerberg buying the houses that surround his and building himself a massive walled-off privacy compound in Hawaii for examples.

"Privacy is dead.. unless you're the one trying to destroy it"
This is going to be for people (companies, startups) that want to build on top of it. It's going to accelerate development and/or create opportunities in specific verticals.
They don't
presumably the reason you would have IR satellites looking for launch plumes in the middle of the ocean is in fact to detect submarine-based launches
Setting up a standalone LoRa gateway using Atom-IT server
Can you help me understand, how can the V100 have 10x the TFLOPs of the P100, but only get a 2.5x speed increase in training a neural net according to nvidia's docs? https://devblogs.nvidia.com/parallelforall/inside-volta/

Do we need significant software changes to take advantage of the new power? Are the TFLOPs somehow not directly comparable?
Wouldn't the high oxygen concentration during that period have done something to counteract the carbon-sequestering effect of Carboniferous trees? I imagine the amount of wild-fires burning would have been significantly higher because of the high oxygen concentration, thus burning off a lot of the dead trees. One way or another the planet is going to maintain an equilibrium.
>I think we should keep nuclear weapons around to lessen the risk of an alien invasion.

What risk? What "alien invasion"? People understand about the speed of light and all right?

Alien civilizations might exist somewhere, but alien invasions are fairy tales for geeks.
What's really needed is a mathematical analysis of size of the bug space compared to the size of proving code required to cover it. I.e. to get to 99.5% confidence that a system of size N is bug-free it would take a proving system of size f(N). Is f polynomial, a small exponent, a large exponent? If it's a large exponent, then the more you take on, the farther you get from your goal, and the narrowly targeted efforts are the best we can do.
A real code review takes a lot of time. With the time available typically you can only find superficial things like style.
AF isn't typically used for cinema. The camera operator or an assistant will manage focus: https://en.wikipedia.org/wiki/Focus_puller
Not exactly. More like:

Number_of_retirees * averagr retirement_payment = number_of _people * average_retirement insurance_payments

You can also prop up the right side with tax money from other sources.

I'm not saying it's perfect or even that it works well.

But there is nothing inherent in it that requires a growing economy.
It's not that simple. Defects don't necessarily have to cause problems, depending on how you design your software (think OTP-style architecture). And avoiding problems is in fact what you always need, not low defect rates. It's just so happens that sometimes you can only achieve decent reliability by pursuing very low defect rates. But for a lot of software it cannot economically beat other approaches.
I don't like code reviews, but it has a few benefits:

Pros:

1. Developers pay more attention to what they throw over the wall as a completed tasks because they will get grilled on it.

2. Reviewing other people's code is good for learning a new system.

3. It keeps creating of methods that already exists to a minimum and boosts proper code reuse (of existing, difficult to find code).

Cons:

1. It takes a lot of time.

2. Petty arguments over style rather than technique. It can devolve into minutia / trivia.

3. Once a developer "gets the idea" of how the organization wants coding done, it becomes more of a seemingly pointless routine.

I suggest code reviews for a developers first 3-6 months, or when working with new (to them) modules / subsystems. After that, skip it (unless they are slow to conform).
The system is intended to cover all aspects of inventory control, not just tracking the location of reusable equipment. It's about knowing what they have and where it is.
This is usually synonymous with “devops” transformations as part of huge personnel problems (read: no young people want to join / stay) in most large, old companies that are facing a form of a late-life crisis that was plainly visible decades ago to anyone but the willfully blind.

The standard situation of the usual F500 and government technology stack is a Petri dish of half-finished projects by an army of consultants maybe a couple years out of school charged at $300 / hr to the customer and everything is solved by throwing bodies at problems when a square peg was sold for a non-Euclidean hole because the decision-makers are so directly inexperienced in how technology works that 25-year old tech sounds like it’s cutting edge on a marketecture deck (or presume that something written recently couldn’t possibly be archaic already). It’s a lot like failed relationships with dozens of illegitimate children that you’re paying child support on.
@fernly 100% agree. However, personally, I'm fine with a basic raw network since I can't stand most of the Facebook/Youtube/Linked in crap content anyway. I'd probably pay for legacy internet for the 20years it will likely take for content to migrate and network reliability to mature to the point where I am comfortable cutting the legacy Internet cord.

Ideally, all I want is a mesh node that I can buy, plug into a power supply, then have an app (accessed via the legacy internet/mobile network) that displays a map telling me how detached I am from the bulk of other mesh users. If I have limited/no connection, I would gladly knock on commercial/residential doors between myself and the bulk network and offer to buy them a node, to "build a bridge" and improve my connection.

The two challenges seem to be reliability and expansion to a global grid without relying on legacy backbones. For the former, resilience will of course improve with increased node density. For the latter I'm sure it will take a well funded, coordinated effort. I would gladly pay an annual tax to a new gov't agency - perhaps an extension of the National Park Service (1), to build and maintain a grid of mesh nodes accross the US, with connections to the legacy GIG backbones.

1.) The National Park Service preserves unimpaired the natural and cultural resources and values of the National Park System for the enjoyment, education, and inspiration of this and future generations.

IMO, the internet is an information landscape, very much tied to our geographical landscape, that should be free and protected just like any river or mountain.
If you search "Counting Defects" in the pdf posted by Morendil ( https://pdfs.semanticscholar.org/feb0/0dd349ad701e1e4045282b... ), you get some of the methodology on page 78 (the page with "78" written on it, not PDF numbering):

> When a reviewer or consensus of reviewers determines that code must be changed before it is acceptable, it is a “defect.” If the algorithm is wrong, it’s a defect. If the code is right but unintelligible due to poor documentation, it’s a defect. If the code is right but there’s a better way to do it, it’s a defect. A simple conversation is not a defect nor is a conversation where a reviewer believed he found a defect but later agreed that it wasn’t one. In any event a defect is an improvement to the code that would not have occurred without review.

I'd say that's a bit looser of a definition than I'd prefer, but it's at least good that the study didn't try to use some metric like "number of inline comments", since often times I use inline comments for praise or to mention possible alternatives that may or may not be any better than the code.
I live in America, and the insistence on playing music at every location has long bothered me. It tends to never be music that I care much about, and the volume often makes it difficult to hear other people when you're in larger groups. I don't mind music at clubs, but consistently playing music at bars, for example, makes it difficult to go to bars and have a conversation with friends.

I've heard a number of justifications for the existence of the music, but I don't often find any counter-examples (places without music) here in the US.

I'm half Finnish, and travel to Helsinki relatively often, and if you want to see what its like to not have music constantly playing, go there. It's incredibly refreshing to be able to go to a bar or a restaurant and not have music playing (if its not a music specific venue). My wife, who is not Finnish at all, noticed it immediately as well, and thought it was great. I really wish some places in the US would actively encourage a quieter environment.
Where did you see in the article that it was just for professional services? The way the article presents it, that number includes everything related to the system (hardware, software, training, and so on).
>two glucose molecules make up sucrose, or table sugar

Sucrose is made from one glucose molecule and one fructose molecule. Two glucose molecules mostly commonly make maltose.
Sounds great, I'll try that, thank you. My project uses WS2818 LEDs as sort of pixels, so I want them to blend into each other a bit but not too much (I don't want them to look like points of light, but I also don't want them to bleed into neighboring LEDs).

I'll try cellophane, thank you!
> I was not aware that they would do such things for division by arbitrary large numbers.

They don’t, just 10000 is not large enough :-) But yeah, apparently 32-bit 10k division works on GCC ARM as well: https://godbolt.org/g/ebJqrw

> why is TFA worried about the speed of itoa?

Because itoa is slow.

I once needed to read / write large (100MB+) G-code files. Profiler showed me it spent majority of time in standard library routines like itoa / atof / etc.

Replacing itoa with http://fmtlib.net lead to much faster code.
I found the missing features in Wayland problematic -- especially not being able to share windows during video conferencing which eventually forced me back to X (on Fedora 27).
I always wondered why there has been no real successor to VB. This looks promising!
Probably memory bound.
I make good money and have a rather expensive and esoteric hobby[1]. Knowing that a family member has donated, say, $20 or $25 to a cause that matters to me, like ensuring that people have access to preventative health care, gives me a lot more than an object of equal value ever could.

[1] If you happen to have a few thousand dollars sitting around, I would absolutely love to have an Ebony 4x5" camera, or perhaps this 8x10" Deardorff field camera: https://www.ebay.com/itm/Deardorff-V8-8X10-camera-355mm-F9-S...
And my first thought was of pipe organs.
You are not the only person; I've thought this for quite some time. Way back in 2007/2008, I remember telling my co-worker, who was at the time building what later became a very popular time-tracking app for iOS, that app prices would trend to zero over time. People simply want free and appear nearly completely incapable of asking the basic question "What am I paying with other than currency?" They think $0 equals free.
Does you no good, yes. But to your family? Friends? Conspirators? More importantly if you store ur illicit gains in Crypto, it becomes that much harder for the govt to seize. No Swiss banks here to help the govt seize your wallet and private keys.
This sounds as if skilled Java developers are harder to find that C# developers. Is this indeed so?