## Linus Torvalds: “Do No Harm”

Wednesday, November 22, 07:25 UTC @ Hacker News: Newest

Article URL: https://... URL: https://... 209# Comments: 90

## Join the Battle for Net Neutrality

Wednesday, November 22, 04:41 UTC @ Hacker News: Newest

Article URL: https://... URL: https://... 553# Comments: 163 hnrss is a labor of love, but if the project has made your job or hobby project easier and you want to show some gratitude, donations are very much appreciated. PayPal and Bitcoin both accepted. Than

## On the Geometry of Stabilizer States. (arXiv:1711.07848v1 [quant-ph])

Wednesday, November 22, 01:30 UTC @ cs.CG updates on arXiv.org

Large-scale quantum computation is likely to require massive quantum error correction (QEC). QEC codes and circuits are described via the stabilizer formalism, which represents stabilizer states by keeping track of the operators that preserve them. Such states are obtained by stabilizer circuits (consisting of CNOT, Hadamard and Phase gates) and can be represented compactly on conventional computers using $O(n^2)$ bits, where $n$ is the number of qubits. As an additional application, the work by Aaronson

## XSAT of Exact Linear CNF Classes. (arXiv:1711.07474v1 [cs.CC])

Wednesday, November 22, 01:30 UTC @ cs.CC updates on arXiv.org

It is shown that l-regularity implies k-uniformity in exact linear CNF formulas. Consequences for exact satisfiability of this formula class are discussed. In particular it is proven that XSAT-satisfiabilty can be decided in sub-exponential time, namely O(exp(sqrt(n))), for l-regular exact linear monotone CNF formulas.

## Aligned Drawings of Planar Graphs. (arXiv:1708.08778v3 [cs.DS] UPDATED)

Wednesday, November 22, 01:30 UTC @ cs.DS updates on arXiv.org

Let $G$ be a graph topological embedded in the plane and let $\mathcal A$ be an arrangement of pseudolines intersecting the drawing of $G$. An aligned drawing of $G$ and $\mathcal A$ is a planar polyline drawing $\Gamma$ of $G$ with an arrangement $A$ of lines so that $\Gamma$ and $A$ are homeomorphic to $G$ and $\mathcal A$. We show that if $\mathcal A$ is stretchable and every edge $e$ either entirely lies on a pseudoline or intersects at most one pseudoline, then $G$ and $\mathcal A$ have a straight-l

## On estimating the alphabet size of a discrete random source. (arXiv:1711.07545v1 [cs.DS])

Wednesday, November 22, 01:30 UTC @ cs.DS updates on arXiv.org

We are concerned with estimating alphabet size $N$ from a stream of symbols taken uniformly at random from that alphabet. We define and analyze a memory-restricted variant of an algorithm that have been earlier proposed for this purpose. The alphabet size $N$ can be estimated in $O(\sqrt{N})$ time and space by the memory-restricted variant of this algorithm.

## Approximation Algorithms for Rectangle Packing Problems (PhD Thesis). (arXiv:1711.07851v1 [cs.DS])

Wednesday, November 22, 01:30 UTC @ cs.DS updates on arXiv.org

In rectangle packing problems we are given the task of placing axis-aligned rectangles in a given plane region, so that they do not overlap with each other. In Maximum Weight Independent Set of Rectangles (MWISR), their position is given and we can only select which rectangles to choose, while trying to maximize their total weight. In Strip Packing (SP), we have to pack all the given rectangles in a rectangular region of fixed width, while minimizing its height. In 2-Dimensional Geometric Knapsack (2DGK)

## Edge Estimation with Independent Set Oracles. (arXiv:1711.07567v1 [cs.DS])

Wednesday, November 22, 01:30 UTC @ cs.DS updates on arXiv.org

We study the problem of estimating the number of edges in a graph with access to only an independent set oracle. Independent set queries draw motivation from group testing and have applications to the complexity of decision versus counting problems. We give two algorithms to estimate the number of edges in an $n$-vertex graph: one that uses only $\mathrm{polylog}(n)$ bipartite independent set queries, and the other one with $\sqrt{n}\cdot \mathrm{polylog}(n)$ independent set queries.

## Maximizing Non-monotone/Non-submodular Functions by Multi-objective Evolutionary Algorithms. (arXiv:1711.07214v1 [cs.NE] CROSS LISTED)

Wednesday, November 22, 01:30 UTC @ cs.DS updates on arXiv.org

Evolutionary algorithms (EAs) are a kind of nature-inspired general-purpose optimization algorithm, and have shown empirically good performance in solving various real-word optimization problems. However, due to the highly randomized and complex behavior, the theoretical analysis of EAs is difficult and is an ongoing challenge, which has attracted a lot of research attentions. During the last two decades, promising results on the running time analysis (one essential theoretical aspect) of EAs have been o

## Approximating Geometric Knapsack via L-packings. (arXiv:1711.07710v1 [cs.DS])

Wednesday, November 22, 01:30 UTC @ cs.DS updates on arXiv.org

We study the two-dimensional geometric knapsack problem (2DK) in which we are given a set of n axis-aligned rectangular items, each one with an associated profit, and an axis-aligned square knapsack. The goal is to find a (non-overlapping) packing of a maximum profit subset of items inside the knapsack (without rotating items). The best-known polynomial-time approximation factor for this problem (even just in the cardinality case) is (2 + \epsilon) [Jansen and Zhang, SODA 2004]. In this paper, we

## Fine-Grained I/O Complexity via Reductions: New lower bounds, faster algorithms, and a time hierarchy. (arXiv:1711.07960v1 [cs.DS])

Wednesday, November 22, 01:30 UTC @ cs.DS updates on arXiv.org

This paper initiates the study of I/O algorithms (minimizing cache misses) from the perspective of fine-grained complexity (conditional polynomial lower bounds). Specifically, we aim to answer why sparse graph problems are so hard, and why the Longest Common Subsequence problem gets a savings of a factor of the size of cache times the length of a cache line, but no more. We take the reductions and techniques from complexity and fine-grained complexity and apply them to the I/O model to generate new (cond

## Hyperbolic pseudoinverses for kinematics in the Euclidean group. (arXiv:1711.07560v1 [math.MG])

Wednesday, November 22, 01:30 UTC @ cs.CG updates on arXiv.org

The kinematics of a robot manipulator are described in terms of the mapping connecting its joint space and the 6-dimensional Euclidean group of motions $SE(3)$. The associated Jacobian matrices map into its Lie algebra $\mathfrak{se}(3)$, the space of twists describing infinitesimal motion of a rigid body. Control methods generally require knowledge of an inverse for the Jacobian. However for an arm with fewer or greater than six actuated joints or at singularities of the kinematic mapping this breaks do

## The Hidden Binary Search Tree:A Balanced Rotation-Free Search Tree in the AVL RAM Model. (arXiv:1711.07746v1 [cs.DS])

Wednesday, November 22, 01:30 UTC @ cs.DS updates on arXiv.org

In this paper we generalize the definition of "Search Trees" (ST) to enable reference values other than the key of prior inserted nodes. The idea builds on the assumption an $n$-node AVL (or Red-Black) requires to assure $O(\log_2n)$ worst-case search time, namely, a single comparison between two keys takes constant time. This means the size of each key in bits is fixed to $B=c\log_2 n$ ($c\geq1$) once $n$ is determined, otherwise the $O(1)$-time comparison assumption does not hold. Based on this we calc

## $n$-permutability and linear Datalog implies symmetric Datalog. (arXiv:1508.05766v5 [cs.CC] UPDATED)

Wednesday, November 22, 01:30 UTC @ cs.CC updates on arXiv.org

We show that if $\mathbb A$ is a core relational structure such that $CSP(\mathbb{A})$ can be solved by a linear Datalog program, and $\mathbb A$ is $n$-permutable for some $n$, then $CSP(\mathbb A)$ can be solved by a symmetric Datalog program (and thus $CSP(\mathbb{A})$ lies in deterministic logspace). At the moment, it is not known for which structures $\mathbb A$ will $CSP(\mathbb{A})$ be solvable by a linear Datalog program. However, once somebody obtains a characterization of linear Datalog, our re

## Convergence Results for Neural Networks via Electrodynamics. (arXiv:1702.00458v4 [cs.DS] UPDATED)

Wednesday, November 22, 01:30 UTC @ cs.DS updates on arXiv.org

We study whether a depth two neural network can learn another depth two network using gradient descent. Assuming a linear output node, we show that the question of whether gradient descent converges to the target function is equivalent to the following question in electrodynamics: Given $k$ fixed protons in $\mathbb{R}^d,$ and $k$ electrons, each moving due to the attractive force from the protons and repulsive force from the remaining electrons, whether at equilibrium all the electrons will be matched u

## Deletion-Robust Submodular Maximization at Scale. (arXiv:1711.07112v2 [cs.LG] UPDATED)

Wednesday, November 22, 01:30 UTC @ cs.DS updates on arXiv.org

Can we efficiently extract useful information from a large user-generated dataset while protecting the privacy of the users and/or ensuring fairness in representation. We cast this problem as an instance of a deletion-robust submodular maximization where part of the data may be deleted due to privacy concerns or fairness criteria. We propose the first memory-efficient centralized, streaming, and distributed methods with constant-factor approximation guarantees against any number of adversarial deletions.

## Revisiting Connected Vertex Cover: FPT Algorithms and Lossy Kernels. (arXiv:1711.07872v1 [cs.DS])

Wednesday, November 22, 01:30 UTC @ cs.DS updates on arXiv.org

The CONNECTED VERTEX COVER problem asks for a vertex cover in a graph that induces a connected subgraph. The problem is known to be fixed-parameter tractable (FPT), and is unlikely to have a polynomial sized kernel (under complexity theoretic assumptions) when parameterized by the solution size. In a recent paper, Lokshtanov et al.[STOC 2017], have shown an $\alpha$-approximate kernel for the problem for every $\alpha > 1$, in the framework of approximate or lossy kernelization. In this work, we exhib

## On $P_5$-free Chordal bipartite graphs. (arXiv:1711.07736v1 [cs.DM])

Wednesday, November 22, 01:30 UTC @ cs.DS updates on arXiv.org

A bipartite graph is chordal bipartite if every cycle of length at least 6 has a chord in it. In this paper, we investigate the structure of $P_5$-free chordal bipartite graphs and show that these graphs have a Nested Neighborhood Ordering, a special ordering among its vertices. Further, using this ordering, we present polynomial-time algorithms for classical problems such as Hamiltonian cycle (path) and longest path. Two variants of Hamiltonian path include Steiner path and minimum leaf spanning tree, a

## Mixed Integer Programming with Convex/Concave Constraints: Fixed-Parameter Tractability and Applications to Multicovering and Voting. (arXiv:1709.02850v2 [cs.DS] UPDATED)

Wednesday, November 22, 01:30 UTC @ cs.DS updates on arXiv.org

A classic result of Lenstra [Math.~Oper.~Res.~1983] says that an integer linear program can be solved in fixed-parameter tractable (FPT) time for the parameter being the number of variables. We extend this result by incorporating non-decreasing piecewise linear convex or concave functions to our (mixed) integer programs. This general technique allows us to establish parameterized complexity of a number of classic computational problems. In particular, we prove that Weighted Set Multicover is in FPT when

## A Tight Lower Bound for Counting Hamiltonian Cycles via Matrix Rank. (arXiv:1709.02311v2 [cs.DS] UPDATED)

Wednesday, November 22, 01:30 UTC @ cs.DS updates on arXiv.org

For even $k$, the matchings connectivity matrix $\mathbf{M}_k$ encodes which pairs of perfect matchings on $k$ vertices form a single cycle. Cygan et al. (STOC 2013) showed that the rank of $\mathbf{M}_k$ over $\mathbb{Z}_2$ is $\Theta(\sqrt 2^k)$ and used this to give an $O^*((2+\sqrt{2})^{\mathsf{pw}})$ time algorithm for counting Hamiltonian cycles modulo $2$ on graphs of pathwidth $\mathsf{pw}$. The same authors complemented their algorithm by an essentially tight lower bound under the Strong Exponen

## Running in Circles

Wednesday, November 22, 00:45 UTC @ Signal v. Noise - Medium

## Warning Signs About Another Giant Bitcoin Exchange

Wednesday, November 22, 00:11 UTC @ Hacker News: Newest

Article URL: https://... URL: https://... 229# Comments: 148

## Ketamine lifts rodents' mood only if administered by male researchers

Tuesday, November 21, 23:06 UTC @ Hacker News: Newest

Article URL: http://... URL: https://... 218# Comments: 108

## Uber Paid Hackers to Delete Stolen Data on 57M People

Tuesday, November 21, 22:02 UTC @ Hacker News: Newest

Article URL: https://... URL: https://... 1219# Comments: 454

## Google Collects Android Users’ Locations Even When Location Services Are Disabled

Tuesday, November 21, 21:11 UTC @ Daring Fireball

Keith Collins, reporting for Quartz: Many people realize that smartphones track their locations. But what if you actively turn off location services, haven’t used any apps, and haven’t even inserted a carrier SIM card? Even if you take all of those precautions, phones running Android software gather data about your location and send it back to Google when they’re connected to the internet, a Quartz investigation has revealed. Since the beginning of 2017, Android ph

## I'm Testifying to Congress about Data Breaches – What Should I Say?

Tuesday, November 21, 20:43 UTC @ Hacker News: Newest

Article URL: https://... URL: https://... 465# Comments: 170 hnrss is a labor of love, but if the project has made your job or hobby p

## A Man Who Has Lived Alone on an Island for 28 Years

Tuesday, November 21, 20:25 UTC @ Hacker News: Newest

Article URL: https://... URL: https://... 329# Comments: 56

## HQ CEO: If You Run This Profile, We’ll Fire Our Host

Tuesday, November 21, 20:15 UTC @ Hacker News: Newest

Article URL: https://... URL: https://... 304# Comments: 66 hnrss is a labor of love, but if the project has made your job or hobby project easier and you w

## Tradeoffs of Using Mobile Frameworks like React Native for Mobile Development Projects

Tuesday, November 21, 19:09 UTC @ Gorilla Logic

One of the real challenges of mobile development projects is that most applications need to be developed for both IOS and Android. Java is used for Android and Swift and Objective-C are used for iOS. When time and money aren’t a factor, using native mobile application development delivers some real benefits. Native development makes it […] The post Tradeof

## F.C.C. Announces Plan to Repeal Net Neutrality

Tuesday, November 21, 17:38 UTC @ Hacker News: Newest

Article URL: https://... URL: https://... 254# Comments: 42

## CNBC’s Google Pixel Buds Review

Tuesday, November 21, 16:54 UTC @ Daring Fireball

Todd Haselton, writing for CNBC: There’s nothing I recommend about the Pixel Buds. They’re cheap-feeling and uncomfortable, and you’re better off using the Google Translate app on a phone instead of trying to fumble with the headphones while trying to translate a conversation. The idea is neat, but it just doesn’t work well enough to recommend to anyone on any level. Hardware is hard.

## FCC plan would give Internet providers power to choose the sites customers see

Tuesday, November 21, 16:42 UTC @ Hacker News: Newest

Article URL: https://... URL: https://... 1212# Comments: 581

## Replacing x86 firmware with Linux and Go

Tuesday, November 21, 16:19 UTC @ Hacker News: Newest

Article URL: https://... URL: https://... 417# Comments: 120

## Can You Sell Water? Part 2

Tuesday, November 21, 16:18 UTC @ Signal v. Noise - Medium

## Will Artificial Intelligence Replace Marketing Jobs?

Tuesday, November 21, 16:05 UTC @ Signal v. Noise - Medium

## Hidden Supercluster Could Solve Milky Way Mystery

Tuesday, November 21, 15:50 UTC @ Quanta Magazine

Astronomers generally stay away from the “Zone of Avoidance.” When one astronomer didn’t, she found a giant cosmic structure that could help explain why our galaxy moves so fast.

## Blue-collar wages are surging. Can it last?

Tuesday, November 21, 15:16 UTC @ Hacker News: Newest

Article URL: http://... URL: https://... 236# Comments: 525

## A circle of zeros: Jentzsch’s theorem

Tuesday, November 21, 15:10 UTC @ John D. Cook

Take a function that has a power series with a finite radius of convergence. Then the zeros of the partial sums will be dense around the boundary of convergence. That is Jentzsch’s theorem. Here are a couple plots to visualize Jentzsch’s theorem using the plotting scheme described in this post. First, we take the function f(z) […]

## La breve visita de ‘Oumuamua, el asteroide interestelar

Tuesday, November 21, 13:47 UTC @ La Ciencia de la Mula Francis

‘Oumuamua (1I/2017 U1) es el primer asteroide interestelar observado. Cualquier imagen artística lo muestra con forma de cigarro; el lego no se debe dejar engañar, ya que se trata de una hipótesis, pues lo único observado es un punto […] Leer más

## Desktop compositing latency is real

Tuesday, November 21, 13:17 UTC @ Hacker News: Newest

Article URL: http://... URL: https://... 480# Comments: 262 hnrss is a labor of love, but if the project has made your job or hobby project easier and you want to show some gratitude, donations are very much appreciated.

## Skype Vanishes from App Stores in China, Including Apple’s

Tuesday, November 21, 13:07 UTC @ Hacker News: Newest

Article URL: https://... URL: https://... 217# Comments: 154

## Google collects cell tower info even if location services are disabled

Tuesday, November 21, 12:49 UTC @ Hacker News: Newest

Article URL: https://... URL: https://... 664# Comments: 261 hnrss is a labor of love, but if the project has made your job or hobby project easier and you

## Why does man print “gimme gimme gimme” at 00:30?

Tuesday, November 21, 12:10 UTC @ Hacker News: Newest

Article URL: https://... URL: https://... 522# Comments: 151

## Extensions in Firefox 58

Tuesday, November 21, 10:50 UTC @ Hacker News: Newest

Article URL: https://... URL: https://... 268# Comments: 285

## Low Hanging Fruit of Programming Language Design

Tuesday, November 21, 10:43 UTC @ 250bpm-blogs

Recently, I've read a paper about code duplication. The authors analyzed GitHub repositiories for duplicate code. They've found an unexpectedly high amount of code duplication. In their own words: This paper analyzes a corpus of 4.5 million non-fork projects hosted on GitHub representing over 428 million files written in Java, C++, Python, and JavaScript. We found that this corpus has a mere 85 million uniq

## Mono's TLS 1.2 Update

Tuesday, November 21, 08:34 UTC @ Miguel de Icaza

Just wanted to close the chapter on Mono's TLS 1.2 support which I blogged about more than a year ago. At the time, I shared the plans that we had for upgrading the support for TLS 1.2. We released that code in Mono 4.8.0 in February of 2017 which used the BoringSSL stack on Linux and Apple's TLS stack on Xamarin.{Mac,iOS,tvOS,watchOS}.

## HAWC, dos púlsares y el origen del exceso de positrones en los rayos cósmicos

Tuesday, November 21, 08:10 UTC @ La Ciencia de la Mula Francis

Hay un exceso de positrones de alta energía en los rayos cósmicos (observado por PAMELA y AMS-02). Su origen podrían ser púlsares, la materia oscura u otra fuente exótica. El análisis de los púlsares Geminga (PSR B0633+17) y Monogem […] Leer más

## How do groups work on Linux?

Tuesday, November 21, 06:08 UTC @ Hacker News: Newest

Article URL: https://... URL: https://... 223# Comments: 59 hnrss is a labor of love, but if the project has made your job or hobby project easier and you want to show some gratitude, donations are very much appreciated. PayPal and Bitcoin both a

## Of SVG, Minification and Gzip

Tuesday, November 21, 05:48 UTC @ Hacker News: Newest

Article URL: https://... URL: https://... 204# Comments: 48

## The first known object to enter our solar system from deep space

Tuesday, November 21, 05:01 UTC @ Hacker News: Newest

Article URL: http://... URL: https://... 353# Comments: 107 hnrss is a labor of love, but if the project has made your job or hobby project easier and you want to show some gratitude,

## This Week in Rust 209

Tuesday, November 21, 05:00 UTC @ This Week in Rust

Hello and welcome to another issue of This Week in Rust! Rust is a systems language pursuing the trifecta: safety, concurrency, and speed. This is a weekly summary of its progress and community. Want something mentioned? Tweet us at @ThisWeekInRust or send us a pull request. Want to get involved?

Tuesday, November 21, 04:59 UTC @ Gödel’s Lost Letter and P=NP

To give a Hilldale Lecture and learn about fairness and dichotomies UB CSE50 anniversary source Jin-Yi Cai was kind enough to help get me, Dick, invited last month to give the Hilldale Lecture in the Physical Sciences for 2017-2018. These lectures are held at The University of Wisconsin-Madison and are supported by the Hilldale Foundation. […]

## Orthogonal polynomials and the beta distribution

Tuesday, November 21, 04:44 UTC @ John D. Cook

This post shows a connection between three families of orthogonal polynomials—Legendre, Chebyshev, and Jacobi—and the beta distribution. Legendre, Chebyshev, and Jacobi polynomials A family of polynomials Pk is orthogonal over the interval [-1, 1] with respect to a weight w(x) if whenever m ≠ n. If w(x) = 1, we get the Legendre polynomials. If w(x) = (1 […]

## How to prepare for a one-on-one meeting as an employee

Tuesday, November 21, 02:43 UTC @ Signal v. Noise - Medium

## iPhone 7 Plus and Portrait Mode Lighting Effects

Monday, November 20, 18:20 UTC @ Daring Fireball

Steven Troughton-Smith discovered that portrait mode lighting effects can be edited on an iPhone 7 Plus after using a hex editor on an exported photo to enable the feature: Just to add insult to injury, if you AirDrop that photo back to the iPhone 7 Plus now it shows the Portrait Lighting UI, and lets you change mode. So Portrait Lighting is 100% an artificial software limitation. 7 Plus photos can have it, 7 Plus can do it. My understanding is that these effects

## The Best iPhone Fast Chargers and Wireless Chargers

Monday, November 20, 18:15 UTC @ Daring Fireball

Joanna Stern, writing for The Wall Street Journal: Wireless charging means you can toss your phone on a pad (sold separately!) on your desk and it will charge throughout the day. With a fast charger (sold separately!), you can plug your phone in and go from zero to 50% in 30 minutes. Both can make a real difference in how you combat battery anxiety disorder. But figuring out which gear you need is complicated. I went in search of the best options for both speed and wirel

## BuzzFeed: McMaster Mocked Trump’s Intelligence in a Private Dinner

Monday, November 20, 17:58 UTC @ Daring Fireball

Joseph Bernstein, reporting for BuzzFeed: Over a July dinner with Oracle CEO Safra Catz — who has been mentioned as a candidate for several potential administration jobs — McMaster bluntly trashed his boss, said the sources, four of whom told BuzzFeed News they heard about the exchange directly from Catz. The top national security official dismissed the president variously as an “idiot” and a “dope” with the intelligence of a “kindergartner,” the sources said.

## Various Physics News

Monday, November 20, 16:56 UTC @ Not Even Wrong

First, two local events, involving well-known physics bloggers: Last Thursday I had the pleasure of attending an event at NYU featuring Sabine Hossenfelder and Natalie Wolchover in conversation. You can watch this for yourself here. If you’re not following Hossenfelder … Continue reading →

## A Mathematician Who Dances to the Joys and Sorrows of Discovery

Monday, November 20, 16:00 UTC @ Quanta Magazine

Federico Ardila opens up about his journey as a mathematician, teacher, Colombian transplant, DJ and creator of mathematical spaces.

## Swift Codable With Custom Dates

Monday, November 20, 15:02 UTC @ Use Your Loaf

How do you decode a JSON feed that has several custom date formats? If you are lucky using a dateDecodingStrategy might be enough. Unfortunately it has limited support for the .iso8601 format and you can only set one strategy at a time so it does not help when you have two or more different date formats. An Example From The iTunes RSS Generator I am using the iTu

## Benefits of Product-mode

Monday, November 20, 14:45 UTC @ Martin Fowler

Sriram continues his examination of why products are better than projects by looking into the benefits of product-mode thinking. With products you can quickly change direction and have faster cycles to get ideas into production - which are the consequences of truly iterative development. Product teams' more stable team members result in better knowledge retention and more architectural integrit

## Speed of change: The talks of TEDNYC x BMW i

Monday, November 20, 13:54 UTC @ TED Blog

The speed of change is a constant in our lives. Sometimes it’s worth slowing things down, to look at what might be changing without us even considering it. To celebrate the efforts of innovators, change-makers and dreamers who are reimagining the future, TED has partnered with BMW i. In a special session of talks hosted by TED […]

Monday, November 20, 13:15 UTC @ Computational Complexity

By now as you've read from Luca or Scott or PhD Comics or a variety of other sources on the dangerous changes to the tax code that passed the US House of Representatives last week. Among a number of university unfriendly policies, the tax code will eliminate the tax exemption for graduate

## Type-safe Parsing of JSON without any Reflection

Monday, November 20, 12:33 UTC @ APIDesign - Blogs

In need of compiling Java ahead-of-time? See jsonparse example showing a Maven project that can turn your Java code into self-contained, small (less than 5M) and effective code suitable for your microservice or lamda as a service setups.

## Regolito

Monday, November 20, 11:00 UTC @ brucknerite

—Bitácora, anota: estoy a un kilómetro de Dieciséis. Me acerco desde el este siguiendo la ruta autorizada. Acabo de dejar el rover en el punto C. Veo la pequeña cadena de las Smoky al norte y la montaña Stone al sur. Me guiaré por ellas. —Bitácora, anota: he andado unos seiscientos metros. Debo estar cerca, … Continúa leyendo Regolito

Monday, November 20, 10:19 UTC @ La Ciencia de la Mula Francis

La universalidad leptónica implica que en las desintegraciones débiles de alta energía no hay diferencia entre los leptones (tau, muón y electrón), ya que el efecto de su masa es despreciable. LHCb ha observado una nueva anomalía, un pequeño […] Leer más

## photostream 111

Sunday, November 19, 20:14 UTC @ Martin Fowler

Wakefield, MA

## La Traca #1 Luciérnagas: El microondas, los peritios y el radiotelescopio

Sunday, November 19, 12:42 UTC @ La Ciencia de la Mula Francis

Esta semana ha nacido La Traca (de la Ciencia), mi sección en el programa de radio Luciérnagas de Dante Cáceres. Divulgación científica en la Radiotelevisión Diocesana, en el canal de Radio Santa María de Toledo. Se emite todos los […] Leer más

## The Talk Show: ‘Christmas Mitzvah’

Sunday, November 19, 04:59 UTC @ Daring Fireball

## Nintendo at Its Best

Friday, November 10, 18:56 UTC @ Daring Fireball

Chris Compendio, reviewing Super Mario Odyssey for Paste: I found that this videogame was persistent in its mission to bring me joy. Super Mario Odyssey is extra — in that same area in the Wooded Kingdom, I stood next to a boom box, and Mario, without any button prompt, automatically began dancing to the music. When I left Mario alone for more than a few seconds, he would lay down for a nap, and a bird would eventually land on his nose, with each kingdom having a differ

## How to influence culture when you’re not the CEO

Friday, November 10, 18:38 UTC @ Signal v. Noise - Medium

## Member of the Band – Managing Director, Costa Rica Software Development Mario Merino

Friday, November 10, 17:57 UTC @ Gorilla Logic

Much like a pod of whales or a pack of wolves, did you know that a group of gorillas is called a band? In this blog series, we’re going to introduce you to members of our band – engineers, technical recruiters, PMs, designers, and more who make up the most important asset in Gorilla Logic…our […] The post Member of the Band – Managing Director, Costa Rica S

## Naturalness is dead. Long live naturalness.

Friday, November 10, 17:16 UTC @ Backreaction

I was elated when I saw that Gian Francesco Giudice announced the “Dawn of the Post-Naturalness Era,” as the title of his recent paper promises. The craze in particle physics, I thought, might finally come to an end; data brought reason back to Earth after all. But disillusionment followed swiftly when I read the paper. Gian Francesco Giudice is a theoretical physicist at CERN. He is maybe

## Naturalness is dead. Long live naturalness.

Friday, November 10, 17:16 UTC @ Backreaction

I was elated when I saw that Gian Francesco Giudice announced the “Dawn of the Post-Naturalness Era,” as the title of his recent paper promises. The craze in particle physics, I thought, might finally come to an end; data brought reason back to Earth after all. But disillusionment followed swiftly when I read the paper. Gian Francesco Giudice is a theoretical physicist at CERN. He is maybe

## 10 ways to rock Google Calendar

Friday, November 10, 15:41 UTC @ x.ai

We’ve organized ten of our most helpful Google Calendar tips in a single post to help you launch your productivity into the stratosphere. The post 10 ways to rock Google Calendar appeared first on x.ai.

## The future is quantum

Friday, November 10, 14:00 UTC @ IBM Blog Research

Some of the most important technical advances of the 20th century were enabled by decades of fundamental scientific exploration, whose initial purpose was simply to extend human understanding. When Einstein discovered relativity, he had no idea that one day it would be an important part of modern navigation systems. Such is the story of quantum […] The post The future is quantum appeared first on <

## Friday Q&A 2017-11-10: Observing the A11's Heterogenous Cores

Friday, November 10, 12:41 UTC @ NSBlog

Apple's newest mobile CPU, the A11, brings a new level of heterogeneous computing to iOS, with both high and low performance cores that are always on. With the release of the iPhone X, I set out to see if I could observe these heterogeneous cores in action. (Read More)

## Eric Ries Companies Lean Startup Way London

Friday, November 10, 11:44 UTC @ Business of Software USA

The Startup Way Our London event with Eric Ries, November 15th, 6-9pm, will sell out today. He will be talking about his new book, The Startup Way, #StartupWay and empowering the entrepreneurs in your organisation. Here are some of the companies that will be represented… The BLN – DHL – A Million Ads – BIG cic […] The post Eric Ries Companies Lean Startup Way L

## Forking the iPhone

Friday, November 10, 00:35 UTC @ Daring Fireball

Jean-Louis Gassée: What we see is Apple is doing what they do best: Taking chances. They made a risky bet with the iPhone X and covered it with the iPhone 8. The new and improved perception of Apple might come from the realization that both bets are winning, and that the iPhone X is a radically new, as opposed to a merely improved, breed of smartphone — and probably is the start of a new succession of carefully incremented future models. A fork is exactly r

Thursday, November 09, 23:50 UTC @ Daring Fireball

Raquel Rutledge and Andrew Mollica, reporting for The Milwaukee Journal Sentinel: Seven years ago, TripAdvisor repeatedly removed a post written by Kristie Love, a 35-year-old mother of two from Dallas. Love told how she had been raped by a security guard at a highly rated all-inclusive Mexican resort owned by the global chain, Iberostar, based in Spain. She wrote how, after an evening with friends, she had returned to her room to find the electronic key card no longer opened h

## Most-Used OS in the World?

Thursday, November 09, 23:49 UTC @ Daring Fireball

Andrew Tanenbaum, creator of the MINIX operating system, in an open letter to Intel CEO Brian Krzanich: Thanks for putting a version of MINIX 3 inside the ME-11 management engine chip used on almost all recent desktop and laptop computers in the world. I guess that makes MINIX the most widely used computer operating system in the world, even more than Windows, Linux, or MacOS. And I didn’t even know until I read a

## Horace Dediu: Apple Watch Will Soon Generate More Revenue Than iPod at Peak

Thursday, November 09, 22:55 UTC @ Daring Fireball

Bookmark this for the next time you see someone claim Apple Watch is a flop. ★

## The value of human, exploratory testing

Thursday, November 09, 22:29 UTC @ Signal v. Noise - Medium

## Notcho

Thursday, November 09, 21:50 UTC @ Daring Fireball

Notcho, from Cromulent Labs: Not a fan of the notch? Want to hide the horns? Now you can quickly and easily create wallpapers that hide the notch on your new iPhone X. It’s a clever little hack: you give Notcho an image, and Notcho lets you export a version with black bars and rounded corners at the top to hide the iPhone X’s sensor array notch. I don’t actually think this is a good idea — if there’s anywhere where I think embracing t

Thursday, November 09, 19:08 UTC @ Computational Complexity

A soon-to-be professor asked me recently if I could share some ideas on on how to advise students. I started to write some notes only to realize that I had already posted on the topic in 2006. Have students work on problems that interest them not just you. I like to hand them a proceedings of a recent conference and have them skim abstracts to find papers they enjoy. However if they stray too f

## ★ Twitter’s 280-Character Own Goal

Thursday, November 09, 18:32 UTC @ Daring Fireball

https://...

## New in Basecamp 3: To-do Groups

Thursday, November 09, 18:11 UTC @ Signal v. Noise - Medium

## Visualizing complex functions

Thursday, November 09, 16:54 UTC @ John D. Cook

It’s easy to visualize function from two real variables to one real variable: Use the function value as the height of a surface over its input value. But what if you have one more dimension in the output? A complex function of a complex variable is equivalent to a function from two real variables to two […]

## Q&A with Will Scott: Innovative Young Engineer applying AI to accessibility

Thursday, November 09, 16:47 UTC @ IBM Blog Research

Three IBM researchers have been named 2017 Innovative Young Engineers by the National Academy of Engineering (NAE). Griselda Bonilla, Kun Hun, and Will Scott joined the the nation’s 82 brightest young engineers to take part in the NAE’s 23rd annual US Frontiers of Engineering symposium. Engineers ages 30 to 45 who are performing exceptional engineering […] The post Q&A with Will Scot

## Biology as Information Dynamics (Part 3)

Thursday, November 09, 16:14 UTC @ Azimuth

On Monday I’m giving this talk at Caltech: • Biology as information dynamics, November 13, 2017, 4:00–5:00 pm, General Biology Seminar, Kerckhoff 119, Caltech. If you’re around, please check it out! I’ll be around all day talking to people, including Erik Winfree, my graduate student host Fangzhou Xiao, and other grad students. If you can’t […]

## How to Get Press Coverage for Your App

Thursday, November 09, 16:01 UTC @ Dan Counsell

Every developer dreams of launching their app and getting it featured on all the most significant tech news sites, then watching as their app rockets up the charts. Unfortunately, this doesn't just happen out of the blue. To get this type of coverage you need to work with the press,

## Everything Changes At 25 | Peldi Guilizzoni, Balsamiq | BoS Europe 2017

Thursday, November 09, 11:08 UTC @ Business of Software USA

Giacomo “Peldi” Guilizzoni, Founder and CEO, Balsamiq Balsamiq founder Peldi had a dream that he would create a business that ran itself from his back bedroom forever. It soon became clear that life was complicated by the success of the product. Many of the big decisions at Balsamiq have been motivated by a desire to nurture the […] The post Everything Changes

Thursday, November 09, 04:12 UTC @ Daring Fireball

Buying a domain from Squarespace is quick, simple, and fun. Search for the domain you want, or type any word or phrase into the search field and Squarespace will suggest some great options. Every domain comes with a beautiful, ad-free parking page, WHOIS Privacy, and a 2048-bit SSL certificate to secure your website — all at no additional cost. Once you lock down your domain, create a beautiful website with one of Squarespace’s award-winning templates. Try Squarespace for free. When you’re ready to

## The Omni Show

Wednesday, November 08, 21:15 UTC @ inessential.com

I’m the host of a new podcast: The Omni Show. Here’s the announcement on the Omni blog with all the details. There’s a Twitter account, @theomnishow, you can follow. I’m super-excited to be doing this, partly because my co-workers at Omni are interesting, and partly because some of it may actually be useful — that is, l

## Understanding Apple’s Multinational Tax Payments

Wednesday, November 08, 21:09 UTC @ Daring Fireball

Great piece by Shawn Tully for Fortune: I figured that if this reporter found corporate taxes baffling, so did lots of sophisticated Fortune readers. So I dug into the financials of Apple to grasp how the world’s most valuable publicly traded company accounts for taxes. Albert Meyer, a forensic accountant and former academic who runs investment firm Bastiat Capital, helped explain how and why Apple books or defers taxes on different categories of income, and which rates it applies t

## Barry Ritholtz: ‘Why Apple Should Buy Netflix’

Wednesday, November 08, 21:01 UTC @ Daring Fireball

## Shut Up and Calculate!?

Tuesday, October 17, 21:23 UTC @ Not Even Wrong

I noticed recently that Nima Arkani-Hamed was giving a talk at Cornell, with the title Three Cheers For “Shut Up And Calculate!” In Fundamental Physics. No idea whether or not video is now or will become available. From the abstract … Continue reading →

## I totally mean it: Inflation never solved the flatness problem.

Tuesday, October 17, 16:23 UTC @ Backreaction

I’ve had many interesting reactions to my recent post about inflation, this idea that the early universe expanded exponentially and thereby flattened and smoothed itself. The maybe most interesting response to my pointing out that inflation doesn’t solve the problems it was invented to solve is a flabbergasted: “But everyone else says it does.” Not like I don’t know that. But, yes, most people

## I totally mean it: Inflation never solved the flatness problem.

Tuesday, October 17, 16:23 UTC @ Backreaction

I’ve had many interesting reactions to my recent post about inflation, this idea that the early universe expanded exponentially and thereby flattened and smoothed itself. The maybe most interesting response to my pointing out that inflation doesn’t solve the problems it was invented to solve is a flabbergasted: “But everyone else says it does.” Not like I don’t know that. But, yes, most people

## Quantum Computing: Breaking Through the 49 Qubit Simulation Barrier

Tuesday, October 17, 14:47 UTC @ IBM Blog Research

Quantum computing is at the threshold of tackling important problems that cannot be efficiently or practically computed by other, more classical means. Getting past this threshold will require us to build, test and operate reliable quantum computers with 50 or more qubits. Achieving this potential will require major leaps forward in both science and engineering. […] The post Quantum Computing: Brea

## Swift 4.1 Release Process

Tuesday, October 17, 10:00 UTC @ Swift.org

This post describes the goals, release process, and estimated schedule for Swift 4.1. Swift 4.1 is a source compatible update to Swift 4.0. It will contain a few additive enhancements to the core language as well as improvements to the Swift Package Manager, Swift on Linux, and general quality improvements to the compiler and Standard Library. Swift 4.1 is not binary compatible with 4.0. It contains a variety of under-the-hood changes that are part of the effort to

## FreeBSD-SA-17:07.wpa

Tuesday, October 17, 08:00 UTC @ FreeBSD Security Advisories

## Is Haskell the right language for teaching functional programming principles?

Monday, October 16, 19:18 UTC @ Lambda the Ultimate - Programming Languages Weblog

No! (As Simon Thompson explains.) You cannot not love the "exploration of the length function" at the bottom. Made me smile in the middle of running errands.

## A Microstory

Monday, October 16, 18:23 UTC @ 250bpm-blogs

My grandfather, said Alex, used to be a lawyer. He have done a lot of pro bono work when he was young. And there was one thing, he told me, that was constantly bugging him. All the petty criminals he was defending treated him with suspicion. They got along just all right with the prison guards who often treated them unkindly or even cruelly. They were friends with all the janitors and the cooks. Yet the very person who came to defend them, of h

## Reductions between formal languages

Monday, October 16, 15:59 UTC @ Computational Complexity

Let EQ = {w : number of a's = number of b's } Let EQO = { anbn : n ∈ N} (so its Equal and in Order) Typically we do the following: Prove EQO is not regular by the pumping lemma. Then to show EQ is not regular you say: If EQ was regular than EQ INTERSECT a*b*= EQO is regular, hence EQ is not regular (I know you can also show EQ with the Pumping Lemma but thats not important now.) One can view this as a reduction:

## Standard Sirens

Monday, October 16, 15:52 UTC @ Sean Carroll

Everyone is rightly excited about the latest gravitational-wave discovery. The LIGO observatory, recently joined by its European partner VIRGO, had previously seen gravitational waves from coalescing black holes. Which is super-awesome, but also a bit lonely — black holes are … Continue reading →

## Central trajectories

Monday, October 16, 13:14 UTC @ Journal of Computational Geometry


## Using Dynamic Type With Web Views

Monday, October 16, 11:42 UTC @ Use Your Loaf

Sometimes it is convenient to use a web view to show some static HTML content in an iOS app. If you have adopted dynamic type elsewhere in your app it can look odd if that text does not also respect the user’s choice of content size. Luckily there is a way to use dynamic type when displaying text in a web view. Using Apple System Fonts It turns out to be easy to use dynamic type with HTML content. You just need to choose the Apple system font

## On Modern Propaganda

Monday, October 16, 10:09 UTC @ 250bpm-blogs

The propaganda of yesteryear used to be of "four legs good, two legs bad" kind. It praised its authors and denounced their enemies. As kids during the communist era we've learned how, in capitalist countries, food is burned or dumped into the sea while children in Africa are dying of hunger. As teenagers we've listened to Radio Free Europe which taught us about human rights violations in the eastern block. From ou

## Cenicienta

Monday, October 16, 08:00 UTC @ brucknerite

Mi luna favorita ocurre justo después de la nueva, cuando apenas tiene uno o dos días. La literatura ha hecho llover cascadas de lírica y prosa sobre la luna llena en forma de nocturnos paisajes románticos o monstruos entrevistos a su luz acerada, pero para mí esa luna es poco más que un foco que … Continúa leyendo Cenicienta

## Ontogeny Recapitulates Phylogeny

Sunday, October 15, 16:06 UTC @ 250bpm-blogs

You have surely heard about the idea that the development of embryo recapitulates stages in the evolution of the particular organism. The idea is no longer embraced by biologists. Still, human embryo does have slits that resemble gills and tadpole has a tail that it loses as it matures. The current uderstanding is that yes, development of embryo does reflect the course of evolution but the correspondence is so quirky and intricate that we can't really accept it as a law of natur

## Applying probability to non-random things

Saturday, October 14, 18:00 UTC @ John D. Cook

Probability has surprising uses, including applications to things that absolutely are not random. I’ve touched on this a few times. For example, I’ve commented on how arguments about whether something is really random are often moot: Random is as random does. This post will take non-random uses for probability in a different direction. We’ll start […]

## 50 Years of Electroweak Unification

Saturday, October 14, 14:47 UTC @ Not Even Wrong

The 50th anniversary of electroweak unification is coming up in a couple days, since Weinberg’s A Model of Leptons paper was submitted to PRL on October 17, 1967. For many years this was the most heavily cited HEP paper of … Continue reading →

## A Thought on the AI Risk

Saturday, October 14, 10:36 UTC @ 250bpm-blogs

I am not an expert in the field so take this with a huge grain of salt… When we hit a sigularity I have no idea of what's going to happen. In fact, nobody else does. But until then there's a more mundane risk that worries me. What if we modify the problem this way: What if the algorithms remained as dumb as they are today, or even as dumb as they were in 1950's, but, to compensate, they would get an ability to control human behaviour? That would be pre

## Undecidability of contractibility

Friday, October 13, 16:38 UTC @ Complex Projective 4-Space

In the last post, we discussed Voevodsky’s homotopy type theory. One of the important notions is whether a space is contractible, this being the base case for the inductive definition of homotopy levels. It turns out that the algorithmic undecidability … Continue reading →

## Mind-Blowing Quantum Mechanics

Friday, October 13, 15:01 UTC @ Sean Carroll

Trying to climb out from underneath a large pile of looming (and missed) deadlines, and in the process I’m hoping to ramp back up the real blogging. In the meantime, here are a couple of videos to tide you over. … Continue reading →

## Is the inflationary universe a scientific theory? Not anymore.

Friday, October 13, 10:53 UTC @ Backreaction

Living in a Bubble?[Image: YouTube] We are made from stretched quantum fluctuations. At least that’s cosmologists’ currently most popular explanation. According to their theory, the history of our existence began some billion years ago with a – now absent – field that propelled the universe into a phase of rapid expansion called “inflation.” When inflation ended, the field decayed and its

## Is the inflationary universe a scientific theory? Not anymore.

Friday, October 13, 10:53 UTC @ Backreaction

Living in a Bubble?[Image: YouTube] We are made from stretched quantum fluctuations. At least that’s cosmologists’ currently most popular explanation. According to their theory, the history of our existence began some billion years ago with a – now absent – field that propelled the universe into a phase of rapid expansion called “inflation.” When inflation ended, the field decayed and its

## Using IoT and machine learning to track the progression of lung disease

Friday, October 13, 04:01 UTC @ IBM Blog Research

Chronic obstructive pulmonary disease, a.k.a. COPD, is a progressive lung disease which causes breathlessness and is often caused by cigarette smoke and air pollution. By 2030, it is expected to be the third leading cause of death worldwide, with 90% occurring in low and middle-income countries, according to the World Health Organization. The Centers for […] The post

## Hacking the SNES Mini

Thursday, October 12, 14:11 UTC @ Dan Counsell

The SNES is probably my all-time favourite console, as a kid, I spent countless hours playing Mario, Zelda, Street Fighter II, Mario Kart, and numerous other classics. Last year, while I was suffering a severe case of “gaming nostalgia” I decided to hunt down and purchase a SNES from eBay

## Lessons from the Nobel Prizes

Thursday, October 12, 12:52 UTC @ Computational Complexity

We've had a big week of awards with the Nobel Prizes and the MacArthur "Genius" Fellows. The MacArthur Fellows include two computer scientists, Regina Barzilay and Stefan Savage, and a statistician Emma

## Open standards for deep learning to simplify development of neural networks

Wednesday, October 11, 19:58 UTC @ IBM Blog Research

Among the various fields of exploration in artificial intelligence, deep learning is an exciting and increasingly important area of research that holds great potential for helping computers understand and extract meaning from data, e.g. deciphering images and sounds. To help further the creation and adoption of interoperable deep learning models, IBM joined the Open Neural […] The post

## Various Topics in Interpretation of Quantum Mechanics

Wednesday, October 11, 18:43 UTC @ Not Even Wrong

A couple of recent discussions about quantum mechanics that may be of interest: There’s a recent paper out by Don Weingarten that looks looks like it might have a different take on the fundamental “many-worlds” problem of, as he writes: … Continue reading →

## What could we learn from quantum gravity? [Video]

Wednesday, October 11, 16:46 UTC @ Backreaction

## What could we learn from quantum gravity? [Video]

Wednesday, October 11, 16:46 UTC @ Backreaction

## The era of AI — and the technologies that will deliver it

Wednesday, October 11, 15:43 UTC @ IBM Blog Research

I recently participated in a panel at Applied Materials’ 2017 Analyst Day to talk about artificial intelligence (AI). Yes, a materials company asked me, an executive overseeing semiconductor research, to join other technologists to give our view of AI – demonstrating how interest in AI has permeated all aspects of the IT industry! To lead […] The post The era of AI — and the technologies that w

## The 2017 Monktoberfest

Wednesday, October 11, 15:29 UTC @ tecosystems

it begins A post shared by stephen o'grady (@stephenogrady) on Oct 5, 2017 at 6:37am PDT On March 3, 2011, I sent an email to a few people internally, subject line “Conference Thoughts.” It was about the possibility of RedMonk hosting its first event, one that that would later come to be called the Monktoberfest.

## The 2017 Monktoberfest

Wednesday, October 11, 15:29 UTC @ tecosystems

it begins A post shared by stephen o'grady (@stephenogrady) on Oct 5, 2017 at 6:37am PDT On March 3, 2011, I sent an email to a few people internally, subject line “Conference Thoughts.” It was about the possibility of RedMonk hosting its first event, one that that would later come to be called the Monktoberfest.

## Theory

Wednesday, October 11, 02:56 UTC @ The Search for Planet Nine

Every die-hard fan of the scientific method knows that Karl Popper was a baller. While his achievements clearly extend far beyond analysis of the scientific method alone, he is arguably best known for his work on

## On Fixing that NSNull Crasher in Overcast

Tuesday, October 10, 23:08 UTC @ inessential.com

I don’t normally head home after lunch, but today I was on the bus going back to Ballard, about to open iBooks on my phone and get back to reading The Caledonian Gambit (which I’m thoroughly enjoying), when I decided to check Twitter first — and saw Marco’s tweet about Overcast’s oldest crash. I’ve written before about how I love

Tuesday, October 10, 18:30 UTC @ News - Apple Developer

## The Complete Friday Q&A Volumes II and III Are Out!

Tuesday, October 10, 16:19 UTC @ NSBlog

It's finally here! I'm pleased to present The Complete Friday Q&A Volumes II and III. (Read More)

## AI-based financial advisor for low-wage workers

Tuesday, October 10, 13:00 UTC @ IBM Blog Research

## Is the Textbook Market doomed?

Thursday, October 05, 17:35 UTC @ Computational Complexity

STORY ONE: I always tell my class that its OKAY if they don't have the latest edition of the textbook, and if they can find it a cheap, an earlier edition (often on Amazon, sometimes on e-bay), that's fine. A while back at the beginning of a semester I was curious if the book really did have many cheap editions so I typed in the books name. I found a free pdf copy as the fourth hit. This was NOT on some corner of the dark web. This was easy to find and free. There were a fe

## Evolutionary Architecture book published

Thursday, October 05, 16:51 UTC @ Martin Fowler

Over the last year or so, three of my colleagues: Neal Ford, Rebecca Parsons, and Pat Kua, have been working on the book "Building Evolutionary Architectures". The book is now done and available. It's does a great job of capturing what we at ThoughtWorks have learned about this topic over the last decade or so. I wa

## Two Days, Two Different Honors for IBM’s Zurich Lab

Thursday, October 05, 13:00 UTC @ IBM Blog Research

This past week IBM’s Zurich Lab participated in two very special events. As a follow up to the formal events surrounding the Kavli Prize, the Kavli Foundation and the Norwegian Academy of Science and Letters have started a series of symposia featuring their Laureates to not only recognize their accomplishments in a more public setting, but […] The post Two Days, Two Diffe

## Xcode 9.1 Improves Display of Fatal Errors

Thursday, October 05, 12:00 UTC @ Swift.org

Swift has language constructs that allow you to specify your program’s expectations. If these expectations are not met at runtime, the program will be terminated. For example, indexing into an array implicitly expresses an expectation that the index is in bounds: // Program will terminate if 'index' less than 0 or greater than 'array.count - 1'. let element

## Azimuth Backup Project (Part 5)

Thursday, October 05, 06:02 UTC @ Azimuth

I haven’t spoken much about the Azimuth Climate Data Backup Project, but it’s going well, and I’ll be speaking about it soon, here: • International Open Access Week, Wednesday 25 October 2017, 9:30–11:00 a.m., University of California, Riverside, Orbach Science Library, Room 240. “Open in Order to Save Data for Future Research” is the 2017 […]

## /u/dtolnay on Serde question about serializing recursively?

Wednesday, October 04, 23:51 UTC @ gilded : rust

Using the data structures from arena-tree as an example of a tree, something like the following could work. use serde::ser::{Serialize, Serializer, SerializeStruct, SerializeSeq}; impl<'a, T> Serialize for Node<'a, T> where T: Serialize { fn serialize<S>(&self, serializer: S) -> Result<S::Ok,

## A second set of eyes – Using computers to aid melanoma detection

Wednesday, October 04, 19:45 UTC @ IBM Blog Research

The deadliest skin cancer is melanoma, which will be responsible for over 9,000 deaths in the United States in 20171. Melanoma is unique among cancers in that it arises as a visible and identifiable mark on the surface of the skin – unlike cancers of the breast, lung, or colon that develop hidden from our […] The post A second set of eyes – Using computers to aid melanoma detectio

## Private Online Communication; Highlights in Systems Verification

Wednesday, October 04, 16:07 UTC @ ACM Queue - All Queue Content

First, Albert Kwon provides an overview of recent systems for secure and private communication. While messaging protocols such as Signal provide privacy guarantees, Albert's selected research papers illustrate what is possible at the cutting edge: more transparent endpoint authentication, better protection of communication metadata, and anonymous broadcasting. These papers marry state-of-the-art cryptography with practical, privacy-preserving protocols, providing a glimpse of what we might expect from tomor

## Dictionary and Set Improvements in Swift 4.0

Wednesday, October 04, 12:00 UTC @ Swift.org

In the latest release of Swift, dictionaries and sets gain a number of new methods and initializers that make common tasks easier than ever. Operations like grouping, filtering, and transforming values can now be performed in a single step, letting you write more expressive and efficient code. This post explores these new transformations, using some grocery data for a market as an example. This custom GroceryItem struct, made up of a name and a department, wi

## The case of the different jsch 0.1.54 binaries

Wednesday, October 04, 10:48 UTC @ Emilian Bold's blog

As part of the Apache NetBeans IP clearance we are combing through all the code and dependencies. One interesting thing we bumped into was that the jsch 0.1.54 binary JAR we are using has a different hash (and size) than the binary JAR from Maven Central. The old hash is 0D7D8ABA0D11E8CD2F775F47CD3A6CFBF2837DA4, the new one is DA3584329A263616E277E15462B387ADDD1B208D. The binaries are 278,612 bytes vs 280,515 bytes in Mave

## Kaizen of Programming

Wednesday, October 04, 09:16 UTC @ 250bpm-blogs

I've started programming early, in 1984 when I was 11 years old. Back then I just had an idea of what the program should do and I did whatever was necessary to get there. After that initial period of pogramming I haven't cared about it too much. I did whatever programming assignments we've got in school and later whatever work I needed to do to feed myself, but that was it. In the spare time I was mostly drinking with artists. That changed in 2004. Back then I star

## FreeBSD 10.4-RELEASE Available

Wednesday, October 04, 08:00 UTC @ FreeBSD News Flash

FreeBSD 10.4-RELEASE is now available. Please be sure to check the Release Notes and Release Errata before installation for any late-breaking news and/or issues with 10.4. More information about FreeBSD releases can be found on the Release Information page.

## Michael Cohen 1992-2017 and Vladimir Voevodsky 1966–2017

Wednesday, October 04, 02:19 UTC @ Gödel’s Lost Letter and P=NP

Two more tragic losses coming before a greater tragedy Composite of crops from src1, src2 Michael Cohen and Vladimir Voevodsky were in different stages of their careers. Cohen was a graduate student at MIT and was visiting the Simons Institute in Berkeley. He passed away suddenly a week ago Monday on a day he was […]

## Update Your Apps for iPhone X

Tuesday, October 03, 21:30 UTC @ News - Apple Developer

iPhone X features the stunning 5.8-inch Super Retina display, enabling even more immersive app experiences. Start testing your apps now to make sure they are ready to take advantage of the Super Retina display by respecting safe areas, supporting adaptive layouts, and more.Learn about updating apps for iPhone X.

## Accessibility

Tuesday, October 03, 20:18 UTC @ inessential.com

As a young developer I didn’t pay that much attention to accessibility. I figured that most people didn’t need those features, and it was something I could get to later. Plus: adding those features wasn’t easy back in those days. Things have changed. For one thing, supporting accessibility features — at least on Macs and iOS — has gotten much easier. It’s almost delightful with how much you get for free and how easy it is to add what’s missing. Apple deserves a huge amount

## IoT neurons go macro, go global with DyBM

Tuesday, October 03, 12:00 UTC @ IBM Blog Research

Imagine covering the globe with a sheet of artificial, internet-enabled neurons. And these Internet of Things (IoT) neurons could send their local information to other neurons just like the synapses in our brains. For example, a ground temperature neuron at one location gets collected and shared with air quality neurons, and vice versa. This spatio-temporal […] The post IoT neurons go macro, go global with

## Yet another year in which you haven’t won a Nobel Prize!

Tuesday, October 03, 07:17 UTC @ Backreaction

“Do you hope to win a Nobel Prize?” asked an elderly man who had come to shake my hand after the lecture. I laughed, but he was serious. Maybe I had been a little too successful explaining how important quantum gravity is. No, I don’t hope to win a Nobel Prize. If that’s what I’d been after, I certainly would have chosen a different field. Condensed matter physics, say, or quantum things. At

## Yet another year in which you haven’t won a Nobel Prize!

Tuesday, October 03, 07:17 UTC @ Backreaction

“Do you hope to win a Nobel Prize?” asked an elderly man who had come to shake my hand after the lecture. I laughed, but he was serious. Maybe I had been a little too successful explaining how important quantum gravity is. No, I don’t hope to win a Nobel Prize. If that’s what I’d been after, I certainly would have chosen a different field. Condensed matter physics, say, or quantum things. At

## Easier Swift Layout Priorities

Monday, October 02, 12:35 UTC @ Use Your Loaf

Working with the priorities of Auto Layout constraints can be a bit of a pain with Swift. You often just want to set a priority that is one more or one less than some other priority. Unfortunately the strong type safety of Swift means you cannot just treat the priority as a number the way you could with Objective-C. Layout Priorities Consider a typical auto layout setup where I have a label and a text field arranged to horizontally fill a view:

## Homotopy Type Theory

Monday, October 02, 12:30 UTC @ Complex Projective 4-Space

2017 has been an unfortunate year for Fields medallists. Maryam Mirzakhani, who won the Fields medal in 2014, passed away at the untimely age of 40. Two days ago, she was joined by Vladimir Voevodsky, 2002 Fields medallist, who was … Continue reading →

## "8th" - a gentle introduction to a modern Forth

Monday, October 02, 00:26 UTC @ Lambda the Ultimate - Programming Languages Weblog

Found on the ARM community's embedded blog. It seems that Forth may be making a comeback. "8th" - a gentle introduction to a modern Forth 8th is a secure, cross-platform programming language based on Forth which lets you concentrate on your application’s logic instead of worrying about differences between platforms. It lets you write your code once, and simu

## Monty Hall (1921-2017) and His Problem

Sunday, October 01, 18:44 UTC @ Computational Complexity

## The case of the missing frames

Sunday, October 01, 00:59 UTC @ composition.al

In my last post, I wrote about a wave equation simulation that I spent a lot of time with as part of my ParallelAccelerator for Julia benchmarking effort. To illustrate the post, I made an animated GIF of the simulation running: