skysight-inc/HackerNews huggingface dataset:
> I think the problem is that you don't understand what a real result looks like in math

Unfortunetly I've been plauged with the task of reading some math papers to understand some things in the past. I still wake up in a cold sweat some times.

> So proof by "I worked through 6 examples and they all turned out OK so far"?
> That's not typically what a mathematician means when they say they proved something...

I'm well aware. That's why I included the quote marks. I mean a logical proof based on the relation of this "function's" suppositions in relation to the rest of the "functions" it is integrated with providing context and mathematical relations to the other parts of the conjecture you're working on.

> Formal verification of software systems remains a mostly academic pursuit. There's some promising early work, but almost none of "us" formally verify our software.
> So no, you're wrong. It does NOT work well in CS. Not at the moment.

I mean this is just blatantly wrong and ignoring the face of what I'm saying. I'm implying that 1) if you have a pinical example of computer science you can take a freshman-level CS student, give them a tour of the language, and let them loose on a problem and they'll understand what's going on. Some of the worlds most complex simulation sytems have children in highschool writing games in them. Things like Unity and Unreal engine representing thousands and thousands of manhours to create along with entire libraries of research, industry-funded experiments, and years of expertise. I'm saying that the common practices of programming can yield systems that are simple for anyone to maintain and work on. I can't say the same for mathematics. While I understand the concepts of derivatives, integrals, and calculus if tasked I'd most likely not be able to provide a formula to define the area of a new shape despite understanding the core material far better then most programmers understand the new project they've been flung into. 2) the concepts from computer science and programming can be adapted to suit math's needs and these adaptations can be fluid where novel augmentations of the processes that yield positive results can be further integrated into mathematics. Programming and computer science are quickly evolving fields and have a unique possition in that many people engage in them without formal training from a university because in most cases it's simple unneeded. You can pick up one book and then rely on the common goal of every computer scientist and programmer that came before you: abstraction of the concepts to yield a simple solution to arbitrarily complex problems. Because of this you can jump anywhere and pick up and run with your work.

I'm not saying these ideas are directly applicable with no modification. What I am saying is "these are the ideas that make my field possible" and suggesting that standardizing practices in the Math-heavy fields would not be a bad thing especially if these same standardized practices have been used to great lengths in our field to produce a set of very positive outcomes.
The Pope on Panhandling: Give Without Worry
Well, then you can go deeper and check out baseband firmware liberation project - OsmocomBB [1], since baseband firmware in a far worse shape than applications firmware (and TrustZone firmware) in smartphone industry.

[1] https://osmocom.org/projects/baseband
This is one of those times I loath Intel's "new" (several years old now) naming scheme. I've a 6 core i7 extreme...but it was one of the first or second gens, so it's hard to qualify it against current gen. I've also 64GB RAM, and seldom get near 50% usage w/o VMs running. IO seems reasonable, and yet streaming video stutters a lot, with say Civ6 on the primary monitor and streaming live TV on a secondary. I didn't use to have a problem with Civ5 & streaming live TV (i.e. TV stream was clean and Civ5 performed as crappy as Civ5 does), and when I look at task manager, the CPU is not fully tasked, so I presume it may be a GPU issue (anyone know of a taskmon like app for GPUs?).

Since I'm on the fast insider ring, I've tried both with and without game mode turned on (which supposedly now works), and both cause the TV stream to stutter. I don't even recall having this issue before they even announce game mode, but I can't be sure when I first had the problem, because I was also having physical internet issues in same time frame (thanks, Comcast).
If only we lived in an actual democracy https://www.youtube.com/watch?v=5tu32CCA_Ig
I see! I was trying to think from a technical perspective of them taking advantage of the amount of data they have and doing something -- what you're describing makes a lot more sense. Thank you!
Thanks for the feedback - so far this hasn't been a barrier to our adoption, but we may provide source access as part of an enterprise package. Do you have some examples of SaaS companies that have succeeded with the model you suggest?
Nope. That's what happens when you're under 25 (or in my case for one of the trips, under 21) and you need to purchase insurance and all the other fancy stuff and then also pay fees for convention center surcharges, airport surcharges, etc.

I've got one receipt[0] on hand for $202.98 for 1 day.

I've also reserved a car for four days (4th to the 7th) for around $130 but when I picked it up, I ended up paying $450+ after insurance and the toll device was added on. The device was required because the state I live in (Massachusetts) has removed toll booths, so you can't pay by coins/cash. I was required to pay a fixed fee per day for four days for the device, despite the fact that I actually only drove on two days. The fee includes unlimited charges, so it might have made sense if I was on the highway everyday, but I was not.

The frustrating thing is that there's a lot of rental companies where you'll make the reservation for like $130 and they don't tell you how much insurance and the other stuff costs because it's different in each location. So you don't know you're getting fucked until you're signing the paper at the pick up area and it's too late. If I'd known it was going to be $450+, I'd have just booked a flight in the first place.

[0]: http://imgur.com/a/UmkcI

Edit:

And then if you're wondering why I didn't just switch to two one-day car rentals instead of one four-day rental to avoid paying for insurance, the toll device, etc. for the two days I wasn't driving, it's because then the price goes up significantly because it's a one way car rental - see[0].
The normal course of things the US went through since the seventies. The US is all in all an insane country with tons of nukes.

Let's hope he stops at just destroying the US alone and not start a World War.
NOAA is also the only source for river flood predictions:

https://water.weather.gov/ahps2/hydrograph.php?wfo=rev&gage=...

https://water.weather.gov/ahps2/hydrograph.php?wfo=fgf&gage=...
Product Manager is a position which is not always easily transferable.

As a software engineer these are the character traits I most value for a product manager:

- Knowledge about the history of a specific class of products; CAD, Mapping, consumer electronics... whatever it is we are selling.

- Capable of effectively translating customer needs to engineers.

- Capable of effectively translating engineer concerns to customers.

- The ability to prioritize requirements in succinct communication in both e-mail and in person.

Unfortunately "12 years of well known brands" does not mean much to me unless that experience is very closely related to the domain of the company. In a parallel example; I am not going to hire an 12 year expert in kernel hacking to build my SAAS payment system.

Unfortunately (for many people) software trends come and go fairly quickly. Business models of yesterday become the pejoratives of today. If your specific area of expertise has met such a fate... you need to re-tool.

Find a specific narrow niche in the larger business market and become an expert in that 1 thing. Grow outwardly from there. But target it based on your true personal interest... not what you think will be most profitable.
On the other hand, Rust's borrow checker eliminates very many correct programs (unless using unsafe code...not sure if that counts or not).

At a macro scale, I have no doubts that Rust's benefits will win out. Understandable abstractions, fearless concurrency, etc. At a micro level, I would be surprised if some ugly, reprehensible C wasn't faster.

I think Rust's approach to systems programming is superior in many ways. I just won't be surprised if it loses a microbenchmark.
I did a short video series for Pragprog.com on Phoenix that does not use a database, but does get you started.

It looks like it'll all be out of date by the time 1.3 hits though. :(

Anyway, it's at https://pragprog.com/screencast/v-bhphnx/build-real-time-web... if you're interested.
At all the Indian Airports, Malls, Train Stations, and Subway stations, they use a metal detector wand all over you despite of the Metal Detector gate. It's kinda weird.
To be the devil's advocate here, what situation can you imagine that would warrant a person to legitimately hide information or keep secrets from their own government?
Yes, the docked mode is grating at times. You've got these great mechanics and beautiful world but constant input lag. Very frustrating. I'd prefer to be able to sit down and play on a TV at a higher resolution, but it's a worse experience. It effectively makes it a mobile game.

It's 2017! 1080p or 60fps should be the minimum. To be fair that's not doable at $300 on a mobile gpu, but as a console that's rough.

re: screen + dock = scratches:

https://www.reddit.com/r/nintendo/comments/5xc6gw/using_the_...

Some really odd design choices. v2 should be nice, though.
Lumping social security in with taxes? You must be very good with numbers.
I definitely understand how it seems outrageous. One thing that helped give me perspective was to learn more about the inspiration for the characters and the band's relationship with Andy Warhol. [0] The characters in the song were based on Warhol "superstars", and Warhol even briefly managed the VU. I think outrageous is a fitting word for Warhol and that scene, especially when contrasted with the Top Ten from 1969.

[0] https://en.wikipedia.org/wiki/Walk_on_the_Wild_Side_(Lou_Ree...
I disagree that this is a great thing. I want to see reasonable behavior. I don't appreciate when businesses are basically out there to cheat me by any means they can conceive (offering me a different price than that guy beside me because they captured the mac address on my phone when I went into a fancy store, say).
I wonder how this will work for the UK post-Brexit. Do you have any educated guesses?
Spot on!

I'm lucky enough that my day job isn't that stressful that I do not get "burned out" when I get home to work on my personal projects.

I love my job and I love working with the people in the company. The culture is very good and not toxic. However, trying something new or building something fun, it is not possible always within the job. It's fixing bugs; figuring out processes, etc. But as long as I am not burned out at work, I still find a few hours every night to do something I really want.

Without my personal projects I would be bored to death.
In this market, switching industries can be difficult. If the goal is to switch industries, get in at a (slightly) lower position and work up.

Otherwise, try to stay in the same industry and go for a company that isn't as well known and where your experience would be especially helpful.

What are those "other roles"?
How much of product marketing vs product management vs project management vs people management do you currently do?
For the "other role" what is the same vs different to what you currently do (not what your job title is, but what you do)?

I feel you will get the best insight if you take a look at the differences between your current day to day tasks and the tasks for the "other roles".

I also think that interviewing for a leadership PM position is much more difficult...
Time you enjoy wasting, is not wasted time.
There is a legal requirement to not operate an illegal taxi service.
> and not then followed it up with something arrogant and dickish

I remember a comedian saying that he likes to say "I don't want to sound racist, but" and then follow it up with something that actually wasn't racist. As in "I don't want to sound racist, but do you have the time?" or "I don't want to sound racist, but can you tell me the way to High St?"
Exactly the point: the law has ceased to serve the people and has become irrelevant. It's on the government to change it in order for society to progress, not hold us back.

Remember, people are using Uber. Citizens. Voters. They are voting with their dollar for the superior product. The government's role has become obsolete in the transaction.
Would be commonplace in any banter with friends imo, normal affected brashness.
If you find youself watching AvE's vid-jeos and enjoying the content pertaining to machining Id sugest you check out This Old Tony [0]. He's the "Dad" to the AvE's "estranged uncle who can only come over if he wears an ankle bracelet".

IF you like the teardowns then EEVBlog [1] goes without saying for an electronics-perspective. I learn a lot just by watching him mess around and take apart piles upon piles of gear. It strikes me as him making the videos he wanted to see when he was a kid.

[0] - https://www.youtube.com/channel/UC5NO8MgTQKHAWXp6z8Xl7yQ

[1] - https://www.youtube.com/user/EEVblog
Sure, here's some evidence of dubious spending:

"And that shared mindset is frustration. Senator Mikulski was quoted by E&E Publishing’s ClimateWire as saying “We have said time and time and time and again to NOAA, ‘Get your act together’”… “Continual cost overruns are eating up NOAA’s budget, and quite frankly, eating up the budget and goodwill of this committee.”

Note that Sen. Mikulski is a liberal from Maryland, where NOAA headquarters is.

http://www.livingontherealworld.org/?p=633
> The military is 60 percent of the budget.

50% of the discretionary budget. You were embarrassingly close.

https://www.cbo.gov/sites/default/files/114th-congress-2015-...
If you're willing to apply to another company (LocalMotion by Zipcar, San Mateo, CA), I'll give you comprehensive honest feedback on your onsite, whether or not you get the job. We're looking for more Product people.
TL;DR: The idea you express -- a programming-like approach to mathematics -- has been around since the dawn of Computer Science. I could even make the case that this idea pre-dates the computer by a couple hundred years.

There are literally hundreds of researchers around the world working toward this vision. But this remains a niche approach, and there are some very real hurdles to wide-spread use. Therefore, exploring different approaches is certainly justifiable.

--

> Unfortunetly I've been plauged with the task of reading some math papers to understand some things in the past. I still wake up in a cold sweat some times.

I'm with you there :-)

Although it's perhaps telling that many CS papers are just as bad, if not worse, even when they come with code! Executable ideas aren't necessarily easier to understand...

>> formal verification is a mostly academic pursuit

> I mean this is just blatantly wrong

It's really not though!

Things have really picked up over the past 10 years, but a vast majority of the software we use -- and a vast majority of the software being created -- does not make significant use of formal proof.

And certainly not the sort of functional correctness verification efforts that would be analogous to formalized mathematics.

> Some of the worlds most complex simulation sytems have children in highschool writing games in them

This is like saying that multivariate calculus is child's play because children can manipulate things in R3. There's a kernel of truth, but it's mostly wildly incorrect.

Most Mathematicians generate proofs, not pretty simulations.

Besides, and more to the point, those kids can do that precisely because those engines/frameworks/languages abstract away a lot of very difficult mathematics that they couldn't hope to understand! Which is exactly what the work described in the article could achieve, in a different domain and for a user at a different level of maturity.

>I'm saying that the common practices of programming can yield systems that are simple for anyone to maintain and work on.

And I'm saying that the history of formal verification in CS and proof assistants in mathematics provide direct, empirical evidence that this just isn't true.

Doing formal mathematics in a proof assistant (aka programming language) is hard and time-consuming. Maybe one day soon it will be practical for most mathematicians, but that day is not today.

>I'm not saying these ideas are directly applicable with no modification

People have been trying your idea since literally the dawn of Computer Science. Look up "proof assistant" in Wikipedia.

"No modification" is the under-statement of the century. Figuring out those modifications is an entire not-so-cottage industry in CS research. There are entire families of conferences dedicated to the topic.

So again, I agree with you! But you're vastly under-estimating the difficulty of what you suggest, and as a result, disregard interesting and possibly complementary approaches.
This is not a rely to the original question. I just want to express my surprise that so many people here giving comprehensive and insightful opinions to the question. I earned a lot by reading these replies. Way to go guys!
View attacks in real time with Norse Attack Map
The process doesn't work as well as you think it does: https://www.youtube.com/watch?v=5tu32CCA_Ig
> Documentation seems to cover it pretty well

Sorry to break it to you, but this thing doesn't have any documentation at
all, it only has some shortish README. You should step out of your little pile
of JavaScript to see how the rest of the world looks like.
They purchased a hack for an old phone, according to the stories I read.
No that's not true, and it's another tiresome argument based on first order armchair logic sans application of actual subject related experience/knowledge.

Environmental diplomacy is hard, and made much harder by the fact that most tools to stop pollution require such massive cuts to industrialization (and western pollution first) that most countries can't afford to enact what is needed.

So we have had the weak predecessor of Kyoto, and then the even weaker Kyoto protocol. Which has been followed by nothing.

This just means that people are willing to play the game of lying to their populations and voters, who can't care or understand the issues because they have other existential problems to deal with.

Distributed responsibility is another name for "not my problem".
Really not impressed with my XPS 13. The screen automatically changes brightness depending what is shown on it (dynamic brightness). The touchpad works really poorly, detects palm touches as clicks all the time. Nearly impossible for me to type without clicks. Messing with settings reduced palm clicks but made the pad unresponsive to clicks from my finger.

Had lockups until I upgraded kernel and flashed now BIOS. Audio had really loud hissing until I opened alsamixer and set controls to exactly the right values (got of a wiki page). To be fair, the audio is noisy on Windows 10 too.

My old Lenovo X200 works nearly flawless on Linux. Again, pretty disappointed with Dell.
I'm working on a big Elixir project, and at first Ecto was frustrating (I was learning both Ecto and Elixir). However, upon spending a bit more time with it and learning the basic blocks that defines it, I can say it's a pleasure to work with.

I think this is the case whenever we encounter some new language or new framework/library. In the beginning it's frustrating because we don't master the basic building blocks and cannot write code fast enough. But once we have a solid foundation, a whole new world opens.
It's at least the second 'life is short' article in a short period on HN.

It's possibly pointless (These life is short articles are a dime a dozen but do people actually change their lifestyles?)

It's a common meme, dying people pull emotional strings so their stories often travel not on merit but emotions.

A few reasons why someone might?
Ask HN: Advice you would give to a 21y/o who needs a job; pursuing CS degree?
Hello everyone,

I'm currently 21, and I'm in university perusing a computer science degree (I'm in first year.) Money is tight, so I need a job soon. All I have is a few projects on GitHub so far; a Facebook engineer liked one of them, and someone who works at Microsoft tweeted one of my projects and the other employee interfaced my software as bot in a very popular messaging app. That's all I really have to my name, and I've been programming for around six or seven years so far but nothing really interesting came out of it.

I've been working a couple of jobs non cs related in the past, but I am looking to get a head start on my cs career. Should I continue to pursue non-cs related jobs, or should I try to invest my time in trying to see if I can get an junior/entry-entry level job at a tech company? I don't think a non-cs job at minimum wage would be able to pay for my university costs, but then again an entry level computer science job would be pretty low as well.

What advice would you give to someone in this situation?
You don't really have a say in the US, at least. Laws pass 30% of the time, whether the voters love it or hate it: https://www.youtube.com/watch?v=5tu32CCA_Ig
I think this is a good point, and I'm not sure why it's been downvoted.

It's important to consider the sometimes positive externalities of the current levels of defense spending. Even more so, it's important to consider where we or others have come to rely on those positive externalities.

For example, I'd be perfectly happy with the US withdrawing from many parts of the world and closing foreign bases. However, I do imagine there would be sometimes not so subtle consequences to doing so. Is the current balance of global power sufficient to prevent large scale and disastrous conflict? Do we risk tipping that balancing in one direction at some point?
No go zones are not a thing, seriously.
They need to live in the same namespace, otherwise you'd practically need different syntax for importing something from a crate, or a module. You can use `extern crate foo as bar`, if you are having namespace issues.
> this 60 day "grace" period is a bit of an unspoken rule

It is a documented rule now since Jan 2017.
That's a very different bar than you set just a post up.
Come on, there's no way you can say taxis are superior to a frickin button that you press to instantly get a car. Even if the prices were the same, I'm pretty sure most people would still choose Uber.
Maybe B has overwhelming power now. But if B's position is untenable, that will eventually become apparent. And yes, that may take far too long to be of any good.
mikeash was being sarcastic.
You should take a look at world military budgets... actually look at the countries that are spending the money.

$1.7T/year in total military spending worldwide.

China at 200B, Russia at 70B.

Iran? 22nd largest military budget at $10B.

The rest of the big spenders are our friends and allies. I'm not going to count up every country, but roughly 1.3T to 1.4T is spent by the US + allies + friendly countries.

Who are we preparing for war with?
how dare you utter such impure thoughts on a forum named "Hacker News". Regulations is always for the greater good!!! /s