Multiply, divide, and floor

2020-08-14 15:28:28 @ The Endeavour

Let n be a positive integer and x any real number. If you multiply x by n, then divide by n, of course you get x back. Now suppose you multiply x by n, round down, then divide by n, and round down again. Do you get x back? Not necessarily. The last step ro Tweet

The State of Kotlin Support in Spring

2020-08-14 15:08:59 @ Kotlin Blog

This is a transcript of “The State of Kotlin Support in Spring” talk by Sebastian Deleuze from KotlinConf: Do you find this format useful? Please share your feedback with us! TOC: Why Kotlin? (1:30) Spring❤️Kotlin. How much? (3:17) Gradle Kot Tweet

The State of Kotlin Support in Spring

2020-08-14 15:08:59 @ Kotlin news

This is a transcript of “The State of Kotlin Support in Spring” talk by Sebastian Deleuze from KotlinConf: Do you find this format useful? Please share your feedback with us! TOC: Why Kotlin? (1:30) Spring❤️Kotlin. How much? (3:17) Gradle Kot Tweet

Factorio 1.0

2020-08-14 11:12:32 @ Hacker News 200

Article URL: Comments URL: Points: 740 # Comments: 224 Tweet

Podcast CB SyR 280: vacuna rusa para la COVID-19, parásitos, efectos visuales digitales en el cine y mucho más

2020-08-14 08:58:50 @ La Ciencia de la Mula Francis

He participado en el episodio 280 del podcast Coffee Break: Señal y Ruido [iVoox, iTunes], titulado “Ep280: Vacuna Rusa; Arecibo; Parásitos; Energía Negativa; Efectos Visuales: Entrevista Carolina Jiménez”, 13 ago 2020. «La tertulia semanal en la [… Tweet

Apple Music on Android asks user's card details to avoid Google's 30% cut

2020-08-14 06:10:58 @ Hacker News 200

Article URL: Comments URL: Points: 438 # Comments: 135 Tweet

Epic Files Lawsuit Against Google, Too

2020-08-14 05:41:15 @ Daring Fireball

Similar opening statement to their suit against Apple, substituting “Don’t be evil” for “1984”: In 1998, Google was founded as an exciting young company with a unique motto: “Don’t Be Evil”. Google’s Code of Conduct explained that this admonishment wa Tweet

On the complexity of finding a local minimizer of a quadratic function over a polytope. (arXiv:2008.05558v1 [math.OC])

2020-08-14 03:30:00 @ cs.CC updates on arXiv.org

We show that unless P=NP, there cannot be a polynomial-time algorithm that finds a point within Euclidean distance $c^n$ (for any constant $c \ge 0$) of a local minimizer of an $n$-variate quadratic function over a polytope. This result (even with $c=0$) Tweet

Some Preliminary Result About the Inset Edge and Average Distance of Trees. (arXiv:2008.05677v1 [cs.CC])

2020-08-14 03:30:00 @ cs.CC updates on arXiv.org

An added edge to a graph is called an inset edge. Predicting k inset edges which minimize the average distance of a graph is known to be NP-Hard. However, when k = 1 the complexity of the problem is polynomial. In this paper, some tools for a precise anal Tweet

Dynamic Complexity of Expansion. (arXiv:2008.05728v1 [cs.CC])

2020-08-14 03:30:00 @ cs.CC updates on arXiv.org

Dynamic Complexity was introduced by Immerman and Patnaik \cite{PatnaikImmerman97} (see also \cite{DongST95}). It has seen a resurgence of interest in the recent past, see \cite{DattaHK14,ZeumeS15,MunozVZ16,BouyerJ17,Zeume17,DKMSZ18,DMVZ18,BarceloRZ18,DMS Tweet

On Testability of First-Order Properties in Bounded-Degree Graphs. (arXiv:2008.05800v1 [cs.LO])

2020-08-14 03:30:00 @ cs.CC updates on arXiv.org

We study property testing of properties that are definable in first-order logic (FO) in the bounded-degree graph and relational structure models. We show that any FO property that is defined by a formula with quantifier prefix $\exists^*\forall^*$ is test Tweet

On graphs of bounded degree that are far from being Hamiltonian. (arXiv:2008.05801v1 [cs.DM])

2020-08-14 03:30:00 @ cs.CC updates on arXiv.org

Hamiltonian cycles in graphs were first studied in the 1850s. Since then, an impressive amount of research has been dedicated to identifying classes of graphs that allow Hamiltonian cycles, and to related questions. The corresponding decision problem, tha Tweet

Flexible constraint satisfiability and a problem in semigroup theory. (arXiv:1512.03127v2 [math.LO] UPDATED)

2020-08-14 03:30:00 @ cs.CC updates on arXiv.org

We examine some flexible notions of constraint satisfaction, observing some relationships between model theoretic notions of universal Horn class membership and robust satisfiability. We show the \texttt{NP}-completeness of $2$-robust monotone 1-in-3 3SAT Tweet

Assigning times to minimise reachability in temporal graphs. (arXiv:1802.05905v4 [cs.CC] UPDATED)

2020-08-14 03:30:00 @ cs.CC updates on arXiv.org

Temporal graphs (in which edges are active at specified times) are of particular relevance for spreading processes on graphs, e.g.~the spread of disease or dissemination of information. Motivated by real-world applications, modification of static graphs t Tweet

Graph Drawing via Gradient Descent, $(GD)^2$. (arXiv:2008.05584v1 [cs.DS])

2020-08-14 03:30:00 @ cs.CG updates on arXiv.org

Readability criteria, such as distance or neighborhood preservation, are often used to optimize node-link representations of graphs to enable the comprehension of the underlying data. With few exceptions, graph drawing algorithms typically optimize one su Tweet

An Efficient Data Retrieval Parallel Reeb Graph Algorithm. (arXiv:1810.08310v3 [cs.CG] UPDATED)

2020-08-14 03:30:00 @ cs.CG updates on arXiv.org

The Reeb graph of a scalar function defined on a domain gives a topological meaningful summary of that domain. Reeb graphs have been shown in the past decade to be of great importance in geometric processing, image processing, computer graphics, and compu Tweet

On the tree-width of even-hole-free graphs. (arXiv:2008.05504v1 [cs.DM])

2020-08-14 03:30:00 @ cs.DS updates on arXiv.org

The class of all even-hole-free graphs has unbounded tree-width, as it contains all complete graphs. Recently, a class of (even-hole, $K_4$)-free graphs was constructed, that still has unbounded tree-width [Sintiari and Trotignon, 2019]. The class has unb Tweet

A new notion of commutativity for the algorithmic Lov\'{a}sz Local Lemma. (arXiv:2008.05569v1 [cs.DS])

2020-08-14 03:30:00 @ cs.DS updates on arXiv.org

The Lov\'{a}sz Local Lemma (LLL) is a powerful tool in probabilistic combinatorics which can be used to establish the existence of objects that satisfy certain properties. The breakthrough paper of Moser and Tardos and follow-up works revealed that the LL Tweet

Graph Drawing via Gradient Descent, $(GD)^2$. (arXiv:2008.05584v1 [cs.DS])

2020-08-14 03:30:00 @ cs.DS updates on arXiv.org

Readability criteria, such as distance or neighborhood preservation, are often used to optimize node-link representations of graphs to enable the comprehension of the underlying data. With few exceptions, graph drawing algorithms typically optimize one su Tweet

Cadences in Grammar-Compressed Strings. (arXiv:2008.05594v1 [cs.DS])

2020-08-14 03:30:00 @ cs.DS updates on arXiv.org

Cadences are structurally maximal arithmetic progressions of indices corresponding to equal characters in an underlying string. This paper provides a polynomial time detection algorithm for 3-cadences in grammar-compressed binary strings. This algorith Tweet

Cut Sparsification of the Clique Beyond the Ramanujan Bound. (arXiv:2008.05648v1 [cs.DS])

2020-08-14 03:30:00 @ cs.DS updates on arXiv.org

We prove that a random $d$-regular graph, with high probability, is a cut sparsifier of the clique with approximation error at most $\left(2\sqrt{\frac 2 \pi} + o_{n,d}(1)\right)/\sqrt d$, where $2\sqrt{\frac 2 \pi} = 1.595\ldots$ and $o_{n,d}(1)$ denotes Tweet

Inset Edges Effect and Average Distance of Trees. (arXiv:2008.05674v1 [cs.DS])

2020-08-14 03:30:00 @ cs.DS updates on arXiv.org

An added edge to a graph is called an inset edge. Predicting k inset edges which minimize the average distance of a graph is known to be NP-Hard. When k = 1 the complexity of the problem is polynomial. In this paper, we further find the single inset edge( Tweet

On Testability of First-Order Properties in Bounded-Degree Graphs. (arXiv:2008.05800v1 [cs.LO])

2020-08-14 03:30:00 @ cs.DS updates on arXiv.org

We study property testing of properties that are definable in first-order logic (FO) in the bounded-degree graph and relational structure models. We show that any FO property that is defined by a formula with quantifier prefix $\exists^*\forall^*$ is test Tweet

On graphs of bounded degree that are far from being Hamiltonian. (arXiv:2008.05801v1 [cs.DM])

2020-08-14 03:30:00 @ cs.DS updates on arXiv.org

Hamiltonian cycles in graphs were first studied in the 1850s. Since then, an impressive amount of research has been dedicated to identifying classes of graphs that allow Hamiltonian cycles, and to related questions. The corresponding decision problem, tha Tweet

On seat allocation problem with multiple merit lists. (arXiv:2008.05844v1 [cs.DS])

2020-08-14 03:30:00 @ cs.DS updates on arXiv.org

In this note, we present a simpler algorithm for joint seat allocation problem in case there are two or more merit lists. In case of two lists (the current situation for Engineering seats in India), the running time of the algorithm is proportional to sum Tweet

Assigning times to minimise reachability in temporal graphs. (arXiv:1802.05905v4 [cs.CC] UPDATED)

2020-08-14 03:30:00 @ cs.DS updates on arXiv.org

Temporal graphs (in which edges are active at specified times) are of particular relevance for spreading processes on graphs, e.g.~the spread of disease or dissemination of information. Motivated by real-world applications, modification of static graphs t Tweet

Optimal algebraic Breadth-First Search for sparse graphs. (arXiv:1906.03113v3 [cs.DS] UPDATED)

2020-08-14 03:30:00 @ cs.DS updates on arXiv.org

There has been a rise in the popularity of algebraic methods for graph algorithms given the development of the GraphBLAS library and other sparse matrix methods. An exemplar for these approaches is Breadth-First Search (BFS). The algebraic BFS algorithm i Tweet

An Algorithm Framework for the Exact Solution and Improved Approximation of the Maximum Weighted Independent Set Problem. (arXiv:2008.01961v2 [cs.DS] UPDATED)

2020-08-14 03:30:00 @ cs.DS updates on arXiv.org

The Maximum Weighted Independent Set (MWIS) problem, which considers a graph with weights assigned to nodes and seeks to discover the "heaviest" independent set, that is, a set of nodes with maximum total weight so that no two nodes in the set are connect Tweet

Boosting Data Reduction for the Maximum Weight Independent Set Problem Using Increasing Transformations. (arXiv:2008.05180v2 [cs.DS] UPDATED)

2020-08-14 03:30:00 @ cs.DS updates on arXiv.org

Given a vertex-weighted graph, the maximum weight independent set problem asks for a pair-wise non-adjacent set of vertices such that the sum of their weights is maximum. The branch-and-reduce paradigm is the de facto standard approach to solve the proble Tweet

UI Component Explorer Storybook Releases 6.0 with Live Edits, Storybook Composition, Zero-Config

2020-08-14 03:29:00 @ InfoQ

The Storybook team recently released the sixth major version of Storybook. Storybook 6.0 features zero-configuration setup, live edit of component examples, and support visualizing several storybooks in the same component explorer window (composition fea Tweet

Street View of 1940s New York

2020-08-14 03:23:56 @ Hacker News 200

Article URL: Comments URL: Points: 219 # Comments: 70 Tweet

Continued fractions with period 1

2020-08-14 02:36:06 @ The Endeavour

A while back I wrote about continued fractions of square roots. That post cited a theorem that if d is not a perfect square, then the continued fraction representation of d is periodic. The period consists of a palindrome followed by 2⌊√d⌋. See that post f Tweet

Google Boots Fortnite From Play Store

2020-08-14 01:57:39 @ Daring Fireball

Google’s statement: The open Android ecosystem lets developers distribute apps through multiple app stores. For game developers who choose to use the Play Store, we have consistent policies that are fair to developers and keep the store safe for users Tweet

A bevy of ones

2020-08-14 01:14:12 @ The Endeavour

Take any positive integer d that is not a multiple of 2 or 5. Then there is some integer k such that d × k has only 1’s in its decimal representation. For example, take d = 13. We have 13 × 8457 = 111111. Or if we take d = 27, 27 × 411522633744855967 Tweet

What's new in PHP 8?

2020-08-14 01:01:34 @ Hacker News 200

Article URL: Comments URL: Points: 200 # Comments: 130 Tweet

Fortnite seems to have been removed from the Play Store as well

2020-08-14 00:56:09 @ Hacker News 200

Article URL: Comments URL: Points: 465 # Comments: 479 Tweet

A free video streaming service that runs on a ESP32

2020-08-14 00:02:52 @ Hacker News 200

Article URL: Comments URL: Points: 316 # Comments: 45 Tweet

★ Epic Goes to War With Apple Over the App Store

2020-08-13 23:32:35 @ Daring Fireball

Epic, in a very savvy way, is waging this war as much or more in the court of public opinion as they are in any court of law. And, ultimately, Apple stands to lose more in brand equity than in dollars, no matter how this turns out. Tweet

Feds say Yale discriminates against Asian, white applicants

2020-08-13 23:17:41 @ Hacker News 200

Article URL: Comments URL: Points: 487 # Comments: 625 Tweet

Arecibo radio telescope goes dark after snapped cable shreds dish

2020-08-13 23:16:55 @ Hacker News 200

Article URL: Comments URL: Points: 251 # Comments: 58 Tweet

Why the Mauritius oil spill is so serious

2020-08-13 23:03:38 @ Hacker News 200

Article URL: Comments URL: Points: 281 # Comments: 92 Tweet

Adventures in Improving AI Economics

2020-08-13 22:58:51 @ Hacker News 200

Article URL: Comments URL: Points: 227 # Comments: 67 Tweet

Amazon Braket – Go Hands-On with Quantum Computing

2020-08-13 22:16:38 @ AWS Blog

Last year I told you about Amazon Braket and explained the basics of quantum computing, starting from qubits and progressing to quantum circuits. During the preview, AWS customers such as Enel, Fidelity (Exploring Quantum Computing with Amazon Web Services Tweet

Epic Games releases "Nineteen Eighty-Fortnite" ad

2020-08-13 22:16:35 @ Hacker News 200

Article URL: Comments URL: Points: 312 # Comments: 156 Tweet

Epic Games has filed legal papers in response to Apple [pdf]

2020-08-13 21:36:50 @ Hacker News 200

Article URL: Comments URL: Points: 665 # Comments: 629 Tweet

AWS Step Functions adds updates to ‘choice’ state, global access to context object, dynamic timeouts, result selection, and intrinsic functions to Amazon States Language

2020-08-13 21:26:14 @ AWS Blog

Developers can use AWS Step Functions to design and execute workflows that connect services such as AWS Lambda, AWS Fargate, and Amazon SageMaker into a rich application. A workflow consists of a series of steps, with the output of one step being the input Tweet

Periodic Reminder That the Dow Jones Industrial Average Is Moronic

2020-08-13 21:06:04 @ Daring Fireball

Lu Wang and Vildana Hajric, reporting for Bloomberg: Apple Inc.’s planned stock split will diminish its influence on the Dow Jones Industrial Average after the iPhone maker’s 100% surge since March lows nearly dragged the price-weighted measure back t Tweet

Alexander Artemenko: moira

2020-08-13 21:04:49 @ Planet Lisp

This small library, made by @ruricolist , implements an abstraction over bordeaux-threads . It is able to restart threads in case of errors. Moira monitors all started threads. In the next example, I'm creating a thread which runs 5 iterations and f Tweet

Apple just kicked Fortnite off the App Store

2020-08-13 21:03:23 @ Hacker News 200

Article URL: Comments URL: Points: 1646 # Comments: 1314 Tweet

Apple removes Fortnite from App Store after Epic attempts to bypass fees

2020-08-13 20:57:34 @ Hacker News 200

Article URL: Comments URL: Points: 584 # Comments: 475 Tweet

Thanks to An Explainer

2020-08-13 20:40:44 @ Gödel's Lost Letter and P=NP

Conrad explains all Keith Conrad is a professor in the mathematics department at UCONN—the University of Connecticut. My dear wife Kathryn Farley and I are about to move to join him—not as faculty but as another resident of the “Constitut Tweet

CNBC: ‘Uber CEO Says Its Service Will Probably Shut Down Temporarily in California if It’s Forced to Classify Drivers as Employees’

2020-08-13 19:09:47 @ Daring Fireball

Lauren Feiner, reporting for CNBC: Uber would likely shut down temporarily for several months if a court does not overturn a recent ruling requiring it to classify its drivers as full-time employees, CEO Dara Khosrowshahi said in an interview with Ste Tweet

Announcing YC Build Sprint and 20 Equity-Free Grants

2020-08-13 17:51:04 @ YC

We’re excited to announce our first-ever YC Build Sprint. This is a 4-week period to work intensively towards a defined goal alongside a community of thousands of other founders. The sprint will kick off on August 24 and be administered through our free St Tweet

Global Wave Discovery Ends 220-Year Search

2020-08-13 17:15:10 @ Quanta Magazine

An 18th-century physicist first predicted the existence of a chorus of atmospheric waves that swoop around Earth. Scientists have finally found them. Tweet

Air pollution is worse than we thought

2020-08-13 16:59:27 @ Hacker News 200

Article URL: Comments URL: Points: 313 # Comments: 229 Tweet

"Much" of the Rust/Wasmtime team hit by layoffs at Mozilla

2020-08-13 16:42:26 @ Hacker News 200

Article URL: Comments URL: Points: 414 # Comments: 328 Tweet

Docker update ToS: Image retention limits imposed on free accounts

2020-08-13 16:21:15 @ Hacker News 200

Article URL: Comments URL: Points: 257 # Comments: 225 Tweet

Simons Institute Gets Another Decade

2020-08-13 16:10:00 @ Computational Complexity

  Great news out of the Simons Institute. The Simons Foundation has ensured a second decade of research and innovation for the Simons Institute for the Theory of Computing, based at UC Berkeley, through a $35.5 million grant. The grant, which will Tweet

Distributed Systems Pattern: Segmented Log

2020-08-13 15:58:00 @ Martin Fowler

A single log file can grow and become a performance bottleneck while its read at the startup. Older logs are cleaned up periodically and doing cleanup operations on a single huge file is difficult to implement. A Segmented Log splits the logfile in Tweet

Epic direct payment on mobile

2020-08-13 15:55:31 @ Hacker News 200

Article URL: Comments URL: Points: 406 # Comments: 352 Tweet

IBAN length and DESI score

2020-08-13 12:16:14 @ spinellis.gr

Looking at the formats of European country international bank account number (IBAN) codes, I noticed that the IBAN length didn't seem to be significantly correlated to the country's population. Could it be related to the country's IT maturity? I tested Tweet

The cult of the free must die

2020-08-13 12:06:33 @ Hacker News 200

Article URL: Comments URL: Points: 258 # Comments: 357 Tweet

Ask HN: Has anyone migrated off containerized infrastructure?

2020-08-13 11:56:04 @ Hacker News 200

I'm constantly aggravated by various quirks of containers, and don't really remember any big problems with non-containerized infra. A random and non-exhausting list of things that bother me from time to time: — Must build an image before deploying and it Tweet

Building a Banking Infrastructure with Microservices: QCon London Q&A

2020-08-13 11:38:00 @ InfoQ

In a few years, the number of microservices has grown from 100 to 1600 at Monzo, and it continues to grow. Microservices are split when responsibilities grow, or merged when services are tightly coupled. Engineers can generate, deploy, scale and monitor Tweet

‘2020: An Isolation Odyssey’

2020-08-13 05:26:56 @ Daring Fireball

At first glance I thought this was just an exquisitely well-done gag, a recreation of some still frames. But it’s more than that. This short film by Lydia Cambron actually works . It’s magnificent. If you want my advice, watch the movie before you ev Tweet

Rene Ritchie on Apple’s Decision Not to Allow Xbox Game Streaming on iOS

2020-08-13 04:25:26 @ Daring Fireball

There are like a dozen different points Ritchie makes in this video where I was like, “Yes, that’s exactly what I’ve been trying to say.” The whole “What is a computer?” bit around the 5-minute mark is particularly well-done.  ★  Tweet

Symbol pronunciation

2020-08-13 03:18:51 @ The Endeavour

I was explaining to someone this evening that I’m in the habit of saying “bang” rather than “exclamation point.” Here’s a list of similar nicknames for symbols. These nicknames could complement the NATO phonetic alphabet Tweet

New – High-Performance HDD Storage for Amazon FSx for Lustre File Systems

2020-08-12 23:45:20 @ AWS Blog

Many workloads, such as genome analysis, training of machine learning models, High Performance Computing (HPC), and analytics applications depend on multiple compute instances accessing the same set of data. For these workloads, clusters of compute instanc Tweet

Alexander Artemenko: glacier

2020-08-12 21:57:57 @ Planet Lisp

This is the library by @_compufox . It is a wrapper around Mastodon's API allowing to write bots for this messaging platform. To test the Glacier , you need to create a development application for Mastodon and get the API access token. Here is an art Tweet

Vsevolod Dyomkin: Announcing CL-AGRAPH

2020-08-12 21:50:00 @ Planet Lisp

AllegroGraph (agraph) is one of the hugely underappreciated pieces of software freely available to the programming community. Especially this relates to the Lisp community as agraph is one of the largest, most successful, and mature Lisp software projec Tweet

ChromeOS.dev — A blueprint to build world-class apps and games for Chrome OS

2020-08-12 18:30:00 @ Google Developers

Posted by Iein Valdez, Head of Chrome OS Developer Relations This article originally appeared on ChromeOS.dev. While people are spending more time at home than on the go, they’re relying increasingly on personal desktops and laptops to make ever Tweet

‘Zombie’ Microbes Redefine Life’s Energy Limits

2020-08-12 16:05:05 @ Quanta Magazine

A new model shows that the denizens of a vast, ancient biome beneath the seafloor use barely enough energy to stay alive — and broadens understanding of what life can look like. Tweet

Records and Pattern Matching for Instanceof Finalized in JDK 16

2020-08-12 07:30:00 @ InfoQ

Final releases of records and the new pattern matching functionality for instanceof are planned for JDK 16. By Johan Janssen Tweet

Tripp Mickle Profiles Tim Cook, Without Any Access, for the WSJ

2020-08-12 03:47:36 @ Daring Fireball

Tripp Mickle wrote a long feature for The Wall Street Journal, “How Tim Cook Made Apple His Own” ( News+ link ): After Steve Jobs’s death, Silicon Valley anticipated Apple Inc.’s business would falter. Wall Street fretted about the road ahead. And loy Tweet

Apple Signs Martin Scorsese to First-Look Film and TV Deal

2020-08-12 03:22:09 @ Daring Fireball

Justin Kroll and Mike Fleming Jr., reporting for Deadline: Two and one-half months after it stepped up to become the producers of Killers of the Flower Moon , Apple has inked a first-look deal with its director, Martin Scorsese. The master filmmaker Tweet

Mozilla Lays Off 250 Employees, About One-Third of Its Workforce

2020-08-12 03:00:58 @ Daring Fireball

Catalin Cimpanu, reporting for ZDNet Zero Day: Furthermore, Mozilla’s contract with Google to include Google as the default search provider inside Firefox is set to expire later this year, and the contract has not been renewed. The Google deal has his Tweet

Career and Resume Advice: Student Edition

2020-08-11 23:05:55 @ YC

With the launch of YC's list of startups hiring for fall 2020 interns, I've been getting a lot of requests for advice from students about their upcoming fall plans. I provided some resume tips previously, and now I want to answer some frequently asked ques Tweet

Alexander Artemenko: cl-json-pointer

2020-08-11 22:13:03 @ Planet Lisp

This library implements RFC 6901 - a format for accessing nested JSON data-structures. It some sense, JSON pointer is similar to JSON path , but more suitable for use as a part of the URL fragment. cl-json-pointer 's README provides many examples, Tweet

Social Distancing From the Stars

2020-08-11 17:00:42 @ Quanta Magazine

Professional astronomers may not point their telescopes by hand anymore, but COVID-19 has still closed observatories and impeded research. Tweet

Cost tracking for OpenShift on AWS

2020-08-11 16:10:24 @ AWS Open Source News

AWS provides a collection of tools and services to give customers the ability to manage the resources within their AWS accounts. In this article I will briefly explore some of these tools and services, as well as an open source project that can be used to Tweet

Distributed Systems Pattern: Quorum

2020-08-11 16:07:00 @ Martin Fowler

Distributed systems may get partitioned, when the nodes in the cluster no longer talk to all the others. Unmesh explains that, because of this, we need a quorum of nodes within a partition to accept a change. more… Tweet

Distributed Systems Pattern: Write-Ahead Log

2020-08-11 16:07:00 @ Martin Fowler

In the latest part of his collection of Patterns of Distributed Systems, Unmesh faces the problem of a server failing in the middle of a complex update. A write-ahead log first saves and replicates the data for expected update in an append-only l Tweet

How to become a Redis maintainer one contribution at a time

2020-08-11 16:04:09 @ AWS Open Source News

Madelyn Olson may not be the most well-known of open source developers, but chances are you’ve benefited from her work. Olson is a new maintainer for and a longtime contributor to Redis, one of the world’s most popular databases and regularly touted by dev Tweet

Twistors and the Standard Model

2020-08-11 15:13:46 @ Not Even Wrong

For the past few months I’ve been working on writing up some ideas I’m quite excited about, and the pandemic has helped move things along by removing distractions and forcing me to mostly stay home. There’s now something written that R Tweet

PyTorch 1.6 Released, Microsoft Takes over Windows Version

2020-08-11 15:00:00 @ InfoQ

PyTorch, Facebook's open-source deep-learning framework, announced the release of version 1.6 which includes new APIs and performance improvements. Along with the release, Microsoft announced it will take over development and maintenance of the Windows v Tweet

Is there a zip code that equals its population?

2020-08-11 14:09:21 @ The Endeavour

I noticed yesterday that the population in a zip code near me is roughly equal to the zip code itself. So I wondered: Does any zip code equal its population? Yes, it’s a silly question. A zip code isn’t a quantity. Populations are always changi Tweet

React 17 to Ease Migration Pains for Future React Versions

2020-08-11 13:30:00 @ InfoQ

The React team recently released React 17 (first release candidate), two years after React 16. React 17 strives to ease the migration between future major versions of React by enabling two concurrent versions to coexist. React 17 additionally has a few b Tweet

This Week in Rust 351

2020-08-11 06:00:00 @ 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 Tweet

Pavel Korolev: :claw honing - First milestone

2020-08-11 02:00:00 @ Planet Lisp

Huge first milestone for :claw honing is reached - I've run C++ library routines ( PhysX ) from Common Lisp without writing any C/C++ myself, without writing any bindings manually. :claw generated C adapter and CL bindings, I only built the form Tweet

[Sponsor] Tara AI -- Smart Project Management

2020-08-11 01:03:03 @ Daring Fireball

Most project management software (a) takes a lot of time to configure, (b) is not built for cross-functional teams, and (c) takes focus away from releases. The status quo is that engineers spend precious time wading through tickets. We’ve been dedicated Tweet

AWS Glue version 2.0 featuring 10x faster job start times and 1-minute minimum billing duration

2020-08-10 23:21:26 @ AWS Blog

AWS Glue is a fully managed extract, transform, and load (ETL) service that makes it easy for customers to prepare and load their data for analytics. Glue is “serverless” – you don’t need to provision or manage any resources and you only pay for resources Tweet

★ Dithering Preview

2020-08-10 22:23:10 @ Daring Fireball

A free podcast with the best clips from each month’s episodes. Tweet

Yours Truly on Antony Johnston’s ‘Writing and Breathing’ Podcast

2020-08-10 20:18:18 @ Daring Fireball

Antony Johnston — best known as the creator of the excellent and right-up-my-alley Atomic Blonde  — hosts a podcast devoted to writing, and he was kind enough to invite me on. I could talk about writing — what I do, how I do it — forever, even though, Tweet

Alexander Artemenko: simple-rgb

2020-08-10 19:58:45 @ Planet Lisp

Two days ago I wrote about Dufy - the color manipulation library. While preparing that post, I found another library which is more practical if you need to work only with RGB . It is able to convert to and from string representation and has some func Tweet

Sycophancy Sweepstakes Winner: South Dakota Governor Kristi Noem

2020-08-10 18:22:49 @ Daring Fireball

Jonathan Martin and Maggie Haberman, reporting for The New York Times: Since the first days after she was elected governor of South Dakota in 2018, Kristi Noem had been working to ensure that President Trump would come to Mount Rushmore for a firework Tweet

Dropping launch storyboards

2020-08-10 16:18:13 @ Use Your Loaf

When Apple introduced SwiftUI at WWDC 2019 it seemed like the beginning of the end for storyboards. Unfortunately you still needed a launch storyboard for the system to show while your app launches. That changes with Xcode 12 and iOS 14. Launch Storyboa Tweet

Mitochondria May Hold Keys to Anxiety and Mental Health

2020-08-10 16:06:47 @ Quanta Magazine

Research hints that the energy-generating organelles of cells may play a surprisingly pivotal role in mediating anxiety and depression. Tweet

InfoQ Live Virtual Event on Aug 25th: Session Spotlights and Roundtables

2020-08-10 15:00:00 @ InfoQ

The inaugural InfoQ Live (Aug 25th) is a one-day virtual learning event that deep-dives into building and operating microservices and distributed systems. Discover practical strategies for the current environment that you can put into use straight away. Tweet

Fibonacci numbers and ingrown bark

2020-08-10 14:15:49 @ The Endeavour

The previous post looked at the images of concentric circles under functions defined by power series. The terms of these series have the form zθ(n) / θ(n) where θ(n) is a rapidly increasing function of n. These series are thin (technically, lacunary) becau Tweet

A Balanced Menu: The 3 Elements of the BoS Conference USA Online Schedule

2020-08-10 13:27:43 @ Business of Software Blog

We’ve thought long and hard about how to build a great schedule for an online conference. After attending and running several online events and conferences, we’ve experienced the positives and negatives of the virtual event world. As we drew u Tweet

AWS Releases Amazon Fraud Detector into General Availability

2020-08-10 13:00:00 @ InfoQ

Amazon Fraud Detector is a fully-managed service on AWS providing customers with the capability to quickly identify potentially fraudulent online activities, such as the creation of fake accounts, loyalty account and promotion code abuse or online paymen Tweet

Dropbox Improves Sync Performance Using a Modified Brotli

2020-08-10 13:00:00 @ InfoQ

After analyzing the performance of several common lossless compression algorithms, Dropbox engineers have slightly modified Google's Brotli encoder to improve their engine sync performance. This reduced median latency and data transfer by more than 30%, Tweet

ATLAS (LHC) descarta la anomalía en la universalidad leptónica observada por LEP-2

2020-08-10 10:19:24 @ La Ciencia de la Mula Francis

El gran colisionador electrón-positrón LEP-2 (CERN) observó una anomalía a 2.7 sigmas en la universalidad leptónica de las desintegraciones de bosones W en leptones tau. En concreto, BR(W → τν) […] La entrada ATLAS (LHC) descarta la anomalía en l Tweet

SoundSource 5

2020-08-10 04:50:00 @ Daring Fireball

So let’s just get this out of the way: Rogue Amoeba was last week’s sponsor here at DF but the sponsorship was for Loopback, for which I just posted my end-of-the-week thank-you. But this week they also released a major update to another of their ex Tweet

Loopback

2020-08-10 04:45:00 @ Daring Fireball

My thanks to Rogue Amoeba for sponsoring DF last week to promote Loopback, their amazing Mac audio utility that makes it easy to move audio between applications. Stuck on Zoom calls? Pipe in music and sound effects, or enhance your microphone. Podcasters, Tweet

Random Thoughts on the Pandemic

2020-08-10 03:38:00 @ Computational Complexity

  1) Contrast the following two points and, if you have an intelligent way to fill-in-the-blank for the second one, please comment. a) When Trump says `open the schools or I will cut of funding' I disagree, or at least he should talk more about how Tweet

Gurman Story on Apple’s App Store Ban on Game Streaming Services From Back in March

2020-08-10 00:07:22 @ Daring Fireball

Mark Gurman tweeted a reminder of this story he reported back in March: Cloud gaming services, where users stream games live over the internet, are growing in popularity, especially as faster fifth-generation, or 5G, wireless networks proliferate. T Tweet

Apple Is Fighting Trademark for Prepear’s Pear-Shaped Logo

2020-08-09 23:56:34 @ Daring Fireball

Apple, in its legal filing: Consumers encountering Applicant’s Mark are likely to associate the mark with Apple. Applicant’s Mark consists of a minimalistic fruit design with a right-angled leaf, which readily calls to mind Apple’s famous Apple Logo a Tweet

Call error function on rethrow after trace exit.

2020-08-09 22:50:31 @ luajit

Tweet

Alexander Artemenko: trivial-features

2020-08-09 22:41:17 @ Planet Lisp

This little library unifies the way how do different features are represented in *features* variable. It provides information about an operating system, endianness and CPU architecture. Unification simplifies writing the cross-platform libraries. Fo Tweet

Fix handling of errors during snapshot restore.

2020-08-09 18:08:38 @ luajit

Tweet

Micronaut 2.0 Enhances Tooling, Improves Support for Serverless and GraalVM

2020-08-09 15:00:00 @ InfoQ

Object Computing, Inc. (OCI) has formally released Micronaut 2.0, a major release of the full-stack JVM-based framework that helps create microservices-based, cloud-native and serverless applications utilizing languages such as Java, Groovy, and Kotlin. Tweet

Concentric circle images go wild

2020-08-09 00:36:07 @ The Endeavour

HAKMEM Item 123 gives two plots, both images of concentric circles under functions given by power series with rapidly thinning terms [1]. The first is the function and the second is The lower limits of summation are not given in the original. I assumed at Tweet

Bootstrap 5 Removes jQuery Dependency

2020-08-09 00:00:00 @ InfoQ

The new Bootstrap 5 removes jQuery and no longer supports Internet Explorer (IE). By Vivian Hu Tweet

Diary, 2003-2020

2020-08-08 23:30:01 @ John Carlos Baez

I keep putting off organizing my written material, but with coronavirus I’m feeling more mortal than usual, so I’d like get this out into the world now: • John Baez, Diary, 2003–2020. Go ahead and grab a copy! It’s got all my best t Tweet

Diary, 2003-2020

2020-08-08 23:30:01 @ Physics Phorums

I keep putting off organizing my written material, but with coronavirus I’m feeling more mortal than usual, so I’d like get this out into the world now: • John Baez, Diary, 2003–2020. Go ahead and grab a copy! It’s got all my best t Tweet

Alexander Artemenko: dufy

2020-08-08 22:42:45 @ Planet Lisp

This library is named in honour of Raoul Dufy , the French painter. It provides functions for color manipulation and conversion in various color spaces. To experiment with Dufy we'll write a two helper function to convert RGB colors from and to hex Tweet

Fran Allen: 1932-2020

2020-08-08 16:40:43 @ Gödel's Lost Letter and P=NP

We lost a great computer scientist. Frances Allen was one of the leaders who helped create the field of compilers research. Fran was an elite researcher at IBM, and won a Turing Award for this pioneering work. Allen also collected other awards. Perhaps the Tweet

Really Big Experiments That Physicists Dream Of

2020-08-08 10:15:00 @ Backreaction

This week, I have something for your intellectual entertainment; I want to tell you about some really big experiments that physicists dream of. Before I get to the futuristic ideas that physicists have, let me for reference first tell you about the curre Tweet

Really Big Experiments That Physicists Dream Of

2020-08-08 10:15:00 @ Sabine Hossenfelder

This week, I have something for your intellectual entertainment; I want to tell you about some really big experiments that physicists dream of. Before I get to the futuristic ideas that physicists have, let me for reference first tell you about the curre Tweet

★ Decoding Apple’s Statement to Business Insider Regarding Xbox Game Pass

2020-08-08 05:59:00 @ Daring Fireball

Running this statement through my Applespeak-to-English decoder ring, what I hear is not that they won’t allow Xbox Game Pass because they can’t review each game separately. What I hear is that game streaming services are not allowed in the iOS App Store. Tweet

‘Judges Holding Hearings Over Zoom Need to Get a Clue’

2020-08-08 00:32:37 @ Daring Fireball

Brian Krebs: Predictably, the Zoom hearing for the 17-year-old alleged Twitter hacker in Fla. was bombed multiple times, with the final bombing of a pornhub clip ending the zoom portion of the proceedings. Your honor, I’d like to submit a Motion t Tweet

The Etymology of ‘Cherry-Pick’

2020-08-08 00:28:10 @ Daring Fireball

I wound up looking into the etymology of “cherry-pick” while writing this post earlier today, and I’m simply astounded by this note from Merriam-Webster: The first known use of cherry-pick was in 1965. I’m shocked that cherry-pick is so rece Tweet

Quantization and Dirac Cohomology

2020-08-08 00:23:40 @ Not Even Wrong

For many years I’ve been fascinated by the topic of “Dirac cohomology” and its possible relations to various questions about quantization and quantum field theory. At first I was mainly trying to understand the relation to BRST, and wrote Tweet

Pour One Out for Toshiba

2020-08-08 00:21:50 @ Daring Fireball

Simon Sharwood, writing for The Register: Toshiba has finally and formally exited the laptop business. Toshiba has made laptops since 1985 and claims to have been the first to make a mass-market computer in the now-familiar clamshell form factor. By Tweet

Facebook Fired an Employee Who Collected Evidence of Right-Wing Pages Getting Preferential Treatment

2020-08-07 22:56:00 @ Daring Fireball

Craig Silverman and Ryan Mac, reporting for BuzzFeed News: Individuals that spoke out about the apparent special treatment of right-wing pages have also faced consequences. In one case, a senior Facebook engineer collected multiple instances of conser Tweet

Alexander Artemenko: macrodynamics

2020-08-07 22:05:02 @ Planet Lisp

Found a useful library for writing macro and using dynamic variables during expansion. I didn't try to figure out how does it work (yet) but decided to make a more visual example than the code from library's README. Let's pretend we tried to write the c Tweet

Purported Bug in Instagram’s Hashtags Has Been Favoring Donald Trump

2020-08-07 21:41:00 @ Daring Fireball

Ryan Mac, reporting for BuzzFeed News: Earlier this week, a search on Instagram for #JoeBiden would have surfaced nearly 390,000 posts tagged with the former vice president’s name along with related hashtags selected by the platform’s algorithm. Users Tweet

Report from CCCG

2020-08-07 19:46:00 @ 0xDE

I spent the last few days participating in the Canadian Conference in Computational Geometry, originally planned for Saskatoon but organized virtually instead. Tweet

Behind the Design: Sayonara Wild Hearts

2020-08-07 17:40:07 @ Apple Developer News and Updates

Art can reflect emotions we can’t process in spoken word alone: Paintings capture these feelings in color and scale, films reflect our world back to us through new light, and music puts melody to the words we don’t know how to — or cannot — say. The Tweet

iOS Dev Weekly - Issue 468 - Aug 7th 2020

2020-08-07 16:39:29 @ iOS Weekly

Comment You’ve likely seen Kane Cheshire ’s post this week talking about his experiments with Process and a Swift package manifest file. If not, read that before continuing here. It’s not surprising to se Tweet