skysight-inc/HackerNews huggingface dataset:
While I can't comment on this situation in particular (a room of computer science researchers who couldn't understand basic notation), I can offer an anecdote about the lack of mathematical knowledge in industry.

Yesterday one of my coworkers submitted some code to perform an upsert to code review. His logic for calculating the diff set was extremely complicated, and subtly wrong, filled with comments. To me the idea was incredibly simple, because I only needed to think of the upserts in terms of set notation. So in review, I wrote the set notation implementation of the upsert, and then offered code to implement the idea.

My coworker was taken aback at how simple this set based implementation was, despite it being very basic set mathematics. While this was just an anecdote, I find that a lack of basic mathematical fluency peppers codebases with unnecessary complexity and myriads of edge cases that could easily be tamed with a slight application of mathematics.
I completely agree. I would really love to be able to examine and update the code running my car. It seems like opening up car computers is essential to retaining freedom of transportation. Especially when everything becomes self driving. After I read about the tunnel paradox I started worrying about the life and death decisions that my care might make on my behalf. I wonder what RMS thinks about this?
The Hollywood Exec and the Hand Transplant That Changed His Life
By your definition, any monitor that doesn't fill your entire FOV is too small.
Yeah, but we're talking about a doomsday scenario when Microsoft disappears overnight. They'd rather invest in a new .NET than have to rewrite their entire stack.
Opioid Addiction Is Eroding the Life Expectancy of Trump's Core Supporters
If someone is concerned with their ISP knowing the sites they visit, they can use TOR or a VPN to re-route that traffic elsewhere.

There is no way to avoid this.

The way the internet works right now, someone at some point has to know which server you want to connect to. It's your ISP or your VPN provider or the TOR nodes you're connected to, or some other lesser-known program that obfuscates your identity.
Sadly, we have some annual mandatory web-based training modules that use web applets in my workplace.
This is more likely regarding the fact that Google is obligated to warn their paying customers, and not obligated to warn their products. If these services didn't tie to G-Suite, there'd likely be no warning at all.
Got to agree with you.

The only thing the CoreCLR might be quicker at is starting up, and maybe a little better memory usage though I don't have any numbers and this is just a feeling from using both. Anyone know for sure on this?
I 'died' in virtual reality at the assisted suicide clinic Dignitas
Chinese AI startup Mobvoi says Xiaomi pushed unfair terms
That (and "this is how you create Kaiju" [2]) is what I was thinking.

For those who don't recognize it, "Glomar" is short for "Global Marine" and was a fake company setup by Howard Huges to do seafloor mining. It was actually a front where Huges helped the US government try to recover a sunken Russian sub. It's notable for being the case that caused the phrase "Can neither confirm nor deny" to have to be created, which is why it's called the "Glomar response".

[1] https://en.wikipedia.org/wiki/Glomar_response

[2] https://en.wikipedia.org/wiki/Kaiju
Can't we also say that mathematicians don't learn computer science? I don't understand what the point is.
Are you sure the money actually goes to Fedex? From the description it looks like the money goes to customs, which is a government agency. In that case, it's not clear why you're angry with Fedex, which pretty much has no choice but to charge whatever the government tell them to charge.
Why can't we just agree to do away with popup windows/overlays altogether? Then this kind of thing would be harder, and hacking a workaround would be more obviously bad practice.

Software interfaces are becoming common even in car consoles and heavy equipment. Bad UI is moving from annoying to life threatening.

'9' != 'yes'

Is a life threatening inequality if the '9' on a phone keypad, and the 'yes' is the confirmation of a popup. Are you calling 911 or agreeing to upgrade the os? Dramatically different intents yet indistinguishable if they should occur at the same time.

Popops are perhaps one of the best known examples of user hostile GUI patterns. Popups induce 'mode errors' and violate user security and safety by redirecting input at random and potentially critical moments of user interactions. We've known for a very long time, perhaps since the 90s that the correct way to notify a user must not assume user awareness and must not steal focus. Notifications should be added to a list that can be reviewed buy the user at any time. Never steel focus, never obscure users activity, never assume you have the users full attention or or mental capacity to make choices. The time for such considerations must be chosen by the user.
Doing things "right"...

I would rather know where flash beings and ends and have to jump through hoops. Actually I would prefer it never run at all ever. Flash not run is "right".

There have been too many security flaws where Flash would allow remote execution of arbitrary code, and that eventually means viruses. If my family gets a virus, then I am on the hook for it.
Exactly. This is a nomenclature issue. When this is spelled out it is easily understood. Math is not the issue here. Should CS students have an intro to abstract algebra? Probably. Do CS students (in those programs where CS isn't conflated with IT) take 3+ years of math courses? Yes.
One area I would argue benefits greatly from this type of formal treatment is the specification of business rules in software. I can be quite insightful to formally spell out requirements from the business, and then apply converse/inverse/etc. analysis to drive out missing cases.

Admittedly, most of us can do this in our head quickly (for easy cases), but I find the formal evidence lends itself well to more complex scenarios.
Thank you! I looked for something similar a while ago and came up empty. Whenever I asked math friends the answer was always "there's too much variation so a book couldn't tell you everything", which is probably true but even common things would help.

Someday I'd love to see a similar thing that's simply an operator to function index where you can read in code/pseudocode what an operator does on a (bounded for ease of reading) datatype.
Internet blackout protest?
Given the current news that Congress is gutting FCC regulations that protect the privacy of ISP customers and we already know where Net Neutrality is headed... Are there any plans for an Internet blackout protest in the works?
The energy requirements of getting things into space, and moving things in space around makes asteroid mining an unmitigated environmental disaster.
In the wild, the only creatures that
can hunt alone are apex predators

Unless you count spiders, various insectivorous mammals and reptiles, snakes, single celled predators, etc.
It's not about the math, it's about the notation. Mathematic notation is archaic in many ways. We keep using notation that is millennia old in some cases and centuries old in almost any other case.

To make things more difficult, any mathematician opposes vehemently to any change in notation or to use easier notation to pass the same concept.
such that.
Parking Lot Lung Cancer Screening Pays Dividends
...so is making fragile art and collecting the insurance a common scam or what? <_<

Not implying that this time was a scam, but I gotta think some people do it.
The world made it impossible to roll your own server, not Google. The proliferation of spammers in email has necessitated a cottage industry of security and filtering and all manner of mechanisms, automated and otherwise, to deal with the avalanche of bullshit streaming through that protocol.

Google's the blame party for a lot of things, but not the loss of email freedom.
I run my 4K 15" laptop at half res (2x2 pixel blocks) because I take lower res everywhere much rather than even one single app or bit of OS scaling poorly.

I might just not be very sensitive but I don't notice the positive difference when switching to 4K, but the negative ones such as various apps not respecting dpi scaling settings are immediately visible. On 15" any app that not scaled is unusable.
You can't just compare points because flags don't affect points while they do affect ranking.
They obviously did the math...

Cost to migrate internal apps to HTML5 = $$$$$$

Cost to bribe users to use an outdated, security nightmare = $$$

Come on fedex... this is next level stupidity!
Https://rubyonrails.org/ security cert from *.GitHub.com
Thus we have marketing and credit cards...
That's very weird. Located near Heidelberg is Karlsruhe, where i am a CS bachelor student (university is KIT). This is very basic and we are absolutely required to understand this without thinking twice.
We're actually talking to Google. If they don't up their game with their Alexa like device, AKA Google Home, it's next on the chopping block. Big disconnect there. She sounds like a robot, development tools are really a fraction of what Amazon offers.

The sales revenue is so high for their click model, their best minds are working on how to get people to click on ad's for shoes. Needs a shake up at Google, for sure. It's time.

Maybe everyone having to pass their fabled "white board" coding interview is leaving creative minds behind? Everyone just knows the best way to do a binary sort, and not much more. That's my thinking.
Sephora is betting big on augmented reality for beauty
Berlin: hiring hackers with python skills for threat intel platform
We are currently hiring enthusiastic and talented hackers in Berlin, with good knowledge in python to help us develop a malware related threat intelligence sharing platform. The system is designed to consume large amounts of data and therefor is designed to be distributed by nature (NoSQL, message queues etc). The platform performs automatic analysis (static and dynamic) of malware at scale and utilizes data analysis techniques to allow for automatic clustering.

Candidates can expect a well above average salary and a highly technical and skilled team to work with.

Please feel free to apply.... :)

applications can be sent to:

joelthomas . at . bdn d[o]t de
I'm one of the people who made this. This was actually a hackathon project so we didn't use the analog input and instead faked the keyboard presses to the emulator.
What is the difference between this and a blogging platform + email newsletter?

Perhaps this is a criticism, perhaps it means you should broaden your scope.
Anyone who doesn't use that nomenclature on a regular basis is bound to need a refresher legend. The concepts are easily remembered (and used in all kinds of programming). But which direction the e points is less easily remembered.
Google Voice will live on in some form via Project Fi. They make efforts to hide it, but Fi is very Google Voice-y. It even conflicts with Google Voice associated with the same Google account.
It struck me the other day that when using Go codegen tools which generate packages based on a template, e.g. [0], the Go developer is doing manually what the OCaml compiler will do with functors at compile-time. The concepts are fundamentally the same...the effort just happens in different places.

[0]: https://github.com/cheekybits/genny
lol... what?
Hi, I'm actually one of the people who wrote this. That's exactly correct.
Couldn't the same be said about TypeScript? "I wish Microsoft would drop TypeScript at this point. It's been a nice contribution and spurred some competition. But there is no real vision for how it's going to add a lot of value above and beyond Flow."
I was very into "ML-style" up until recently. Even had a short contract using F#. I'll happily code in that style if need be - there actually isn't a static OO language that does what I want but I know it could exist.

Is prolog considered functional? I should revisit it at some point.
Gemini: Utility for regression testing of web pages using screenshots
The map is a bit disingenuous for airports due to the metric used and the contours shown (out to the 35 LEQ contour?!). Federal Aviation Regulation Part 150 established Ldn/DNL as the cumulative noise exposure metric for use in airport noise analyses and is used to determine mitigation eligibility (usually around the 65 DNL contour).

I suspect there are more than a few people at the FAA and airports around the country who are not impressed that the U.S. Bureau of Transportation Statistics published this map. Community relations are hard enough without maps that use the wrong metric and show contours beyond a reasonable value in an urban area.
How (and Why) I Switched from JIRA to Clubhouse
How about coherent strategy within a company?
Figured it was something like that. Sounds like a lot got lost in translation…
So does my workplace. Why do all offices use such horrific legal training software? Is that a valuable market to break into...
This, it's clearly just the notation that's the issue. I believe that CS has notation better figured out than the math world in general. Since there's way more emphasis on good abstractions, and overall language design (due to the different use case). While mathematicians seem to be much more focused on the underlying concepts, the notation being an afterthought.
Quick - time to start an "Ocean Free - Environmentally Controlled Metals" certification. We could make....10's of dollars
For a second I thought they were discontinuing Google voice and almost panicked as my main number is my Google voice number.

Actually, has anyone migrated away from Google voice to a better service ? I would be willing to pay a little bit.
I think we should look at the correct operation T on the set of all computer scientists. If T is an operation that restricts the set to computer scientists in the field of theoretical computer science (TCS), then the opposite seems to hold as mentioned in this post, which talks about TCS math being more rigorous than applied math: https://windowsontheory.org/2014/10/12/applied-mathematician...

If, loosely speaking, T maps you to 'average computer scientist', then the situation is different. And so on.

So depending on the type of T, subset or groups of computer scientists or metrics you are looking at, Lamport's observations hold water.
Getting a "Your Connection is not private" message on Chrome / "Invalid Certificate" on Opera.
In {f ∈ [1..N ⟶ 1..N] : ∀ y ∈ 1..N : ∃ x ∈ 1..N : f[x]=y}

What does the colon : mean?

It used to be that:

| = given that

, = and

but, I have never seen a : used in math.
New Snapdragon 835 tests show SoC doesn’t beat the 821 in every scenario
I think the most interesting thing the article states is the following question (and proposed answer):

Is it possible to get compare-and-swap without the log?

TL;DR: I don’t think so.

Riak Ensemble is such a system that utilizes single-decree Paxos in order to try to achieve CAS: https://github.com/basho/riak_ensemble

If the only the distinguished leader is allowed to publish a proposal for value change, then this allows you to preserve the CAS invariant. Unfortunately, this comes at the sacrifice of liveness. If you then have a second Paxos group to elect the leader, then this removes the liveness issue. On view change, you have to contact a quorum of nodes, and re-propose a new epoch in order to avoid issues.

I'm curious if someone can poke a hole in riak_ensemble's algorithm.
A service specific to side projects should have specific features, like, for example, GitHub commit tracking: let the developer see the new commits he has pushed to GitHub and explain the changes they introduce in a new post on Prehave.
Is it a web startup by any chance?

This thing doesn't happen in finance. Or generally speaking places that require a hard degree, and in extreme cases test maths aptitudes.
Inactive teens develop lazy bones
Ask HN: Questions about Global Warming
I trust the scientific consensus, that is, global warming poses a real threat. I've eagerly read the comments in https://news.ycombinator.com/item?id=13941923 as well as Dr. Guy McPherson's statements. Climate science is not my field, so I'd appreciate if you could answer the following questions. No sugarcoating. 1) What are practical, in hand solutions to such threat, if any? 2) How can I prepare myself to survive through the worst-case scenario? 3) Where's the best place to move preemptively? I imagine that the means of food production will be in the hands of a few countries.
A New Twist in iHeartMedia’s Debt Struggles
The foundations of CS, ML, Cryptography, Algorithms, etc... are expressed in mathematical terms. If you are unable to understand Them... well. Programming is not computer science.
Exactly. This is basically just a for loop in a symbolic notation.

Math would be an entirely more enjoyable subject if it were communicated in more practical terms that can be executed on a CPU.
I'll try this again. Section II makes "monopolization" illegal, which is different than being a monopoly.

From the DOJ:
Monopolization requires (1) monopoly power and (2) the willful acquisition or maintenance of that power as distinguished from growth or development as a consequence of a superior product, business acumen, or historic accident.

https://www.justice.gov/atr/competition-and-monopoly-single-...
That same argument could be applied to functions (or procedures, if you prefer) as well as macros, and yet I don't believe anyone sane is arguing against functions/procedures. Bad code is bad code, just as bad metacode is bad metacode.

I don't believe that Lisp macros are particularly tricky for a professional-level programmer. Yes, students can use them improperly — but students can and will use anything improperly! One grows out of it eventually.
Where flash is concerned, for me, doing things right is exactly what Google are doing here.
I’m getting really fed up with Google. Yet another time when they nudge me towards using a service, only to retire it a while later. A separate app for SMS again , just when I’m comfortable with centralizing it in Hangouts. And Allo and Hangouts aren’t compatible, right? Every time I jump on Google’s newest app bandwagon it seems to end up being another ephemeral thing.
I'm not a big fan of legislating technical standards, but in this case I think I could support it. IM has become a fundamental communication mechanism. Imagine how held back society would be if we had 50 different voice standards rather than the singular phone system we have now. IM needs to be forcefully standardized.
Just to be clear I'm not advocating everyone write their own anonymous function-object every time they want to map over something, just that "x -> x * x" can be short hand for such a function-object with nothing lost.

Industry OO doesn't seem much like OO at all. C# constantly adding new and innovative syntax to make getters and setters as simply as possible (much simpler than writing an immutable class with a proper constructor) suggests to me my views are a bit fringe as well.
I never understood why people in comment sections ask something that can easily be googled. I'm not you secretary, do your own work if you question something, but sense you're lazy... by the definition of discrimination and the federal law about discrimination, it is illegal. However, we have a legal system not a justice system so most citizens are screwed.
4K should be seen as qualitative upgrade over 1920x1080, and I know the pain of trying to work with that few vertical pixels. However 2560x1440 is still 16:9 but the 1440 pixels is enough for me. So my upgrade path will be to 5K (5120x2880).
Despite the title mentioning Poland, the only poster to illustrate the article is actually in Czech language. Funny thing.
"Road and Aviation Noise in the United States" is at the top.

> future versions of the National Transportation Noise Map are envisioned to include additional transportation noise sources, such as rail and maritime.

That's in About.
>For those most invested in the old-school Darwinian view of the survival of the fittest and violence as virtue, then, the message is clear: Just relax.

You can't have laws without violence.
All this discussion about what the future is in the messaging space...

The future is disarray, just like the present and just like the past.

IM isn't a particularly difficult problem to solve, even at scale. (and certainly not at startup scale)

It's not a good advertising medium, and nobody will ever spend significant money in that space.

It's an add-on feel good service.
NoRedInk is hiring for engineering, product, and QA. Help kids learn to write
Mathematical Notation – A Guide for Engineers and Scientists (book)
Thank you! I got to the comments to find exactly something like this.

About the post, though, it would be way more constructive if the author would propose a way for people to learn what their lacking instead of just complain about it.
How come so many are complaining about this being a notation issue? It is as standard a notation I've ever seen for expressing this. It's perfectly okay to be an engineer/developer and not read that on the spot. But if you're a graduate student or young faculty member doing research in computer science and give that as the explanation, I think that's just being defensive.

When I took CompSci 101 15 years ago, basic mathematical notation like this was necessary to pass.
and it was absolutely not up to the task.

In what way? The chief complaint I've heard about XMPP over the last couple of years is about excessive power consumption on mobile. And my own experience is that those concerns are highly over-stated.
really? it's not that different from the notation i am used to.

{f ∈ [1..N ⟶ 1..N]| ∀ y ∈ 1..N: ∃ x ∈ 1..N: f(x)=y}

would be the notation i am used to. I believe it's called set comprehension in english.
Thanks for this.

Do you personally see anything developing from these announcements?

It's hard to sort out true potential benefit from all the hype, just like it's hard to sort out legitimate technical/business criticism from people who have a strong vested interest in bitcoin.

Being technically naive on crypto currencies, it's difficult for me to judge the objectiveness of criticism or praise.

Every time I see what I think is an objective evaluation of the state of ethereum, and then look at that person's commenting history or blog posts, they typically 1) have a vested interest in ethereum, or 2) have a vested interest in alternative currencies.

Where does somebody go for good, as-objective-as-possible information from people who aren't invested in either technology?
By definition of discrimination, judging someone based on their criminal record is discrimination. The law can say whatever it wants. That doesn't change the meaning of words.
There's Julia Evans' Zines[0], although they're a different style than the linked guide. I have them printed and pinned to my cube wall.

[0] http://jvns.ca/zines/
I know that is true of the regular Howard University campus, but what about the new program that's the subject of the article?
Mozilla's Obsidian API Proposal (Web GPU Draf Proposal)
Sometimes I think they named themselves Alphabet, Inc. so that they can have 26 different versions of a product, one for every letter of the, er, alphabet.

Their executives need to get on a whiteboard and make a few simple mandates, such as:

1. There will be a single protocol for messaging across all Google properties, compatible with open protocols where feasible.

2. There will be a single “app icon” on Android, and single app on each major platform, for achieving communication. All legacy messaging services will be available from this point.

3. Every reasonable handle for identifying users will be supported, including: profile names, E-mail addresses, real names, and legacy messaging user IDs.

4. Effective immediately, every single team working on every Google chat product will report to Foobar McManager, whose compensation will depend directly on achieving integration goals by $DATE.